Showing posts with label panmagic. Show all posts
Showing posts with label panmagic. Show all posts

Wednesday, 8 August 2018

Magic Tetragonal Octahedra

On the 8th April 2018, I was one of several magic square enthusiasts to receive a copy of a paper entitled "Magic Tetragonal Octahedron" that was sent to us by Miguel Angel Amela. Miguel is a prolific writer on recreational mathematics, and his papers are always a source of inspiration. This paper was no exception, as it prompted me to look into his subject, and make some humble contributions. What immediately interested me was that Magic Tetragonal Octahedra suggested possible links between numerical magic and geometry. Similar connections have already motivated my previous research in subjects that range from magic tori, to area magic squares and perimeter magic squares. The third dimension of Magic Tetragonal Octahedra offers new possibilities.

Magic Tetragonal Octahedra


In his paper dated 8th April 2018, Miguel points out that many parallels can be drawn between normal magic squares and tetragonal octahedra. For example, in the octahedral family, the tetragonal types (known as tetragonal octahedra, or tetragonal trapezohedra, or tetragonal deltohedra) have 8 kite faces, 16 edges and 10 vertices. These totals can be compared with the 8 complementary pairs (for example 13 + 4 = n²+1), the 16 numbers (from 1 to 16), and the 10 magic line series (4 rows + 4 columns + 2 diagonals) that constitute a normal magic square of order-4. Miguel also observes that 8 faces + 16 edges + 10 vertices add up to 34, which is the magic constant of a normal magic square of order-4.

If the 16 edges of a tetragonal octahedron are numbered from 1 to 16, and if each of the 8 faces has 4 edge numbers that total 34, then we are looking at a Magic Tetragonal Octahedron. Miguel's first example is illustrated below:
Panmagic Tetragonal Octahedron
Magic Tetragonal Octahedron by Miguel Angel Amela - Graphics by William Walkington

Miguel then checks if this Magic Tetragonal Octahedron is also purely magic. Purely magic is the term used by George Styan for magic squares where nM + N is magic, and M + nN is also magic, (when M and N are the basic matrices and n is the order of the square). For the first example of a Magic Tetragonal Octahedron (illustrated above), this is not the case, as shown by the factorization that follows:

Panmagic Tetragonal Octahedron factorisation - not purely magic
Magic Tetragonal Octahedron Factorization by Miguel Angel Amela - Graphics by William Walkington
Please note that for the factorization shown above, the natural numbers 1 to 16 are replaced by the numbers 0 to 15. Miguel points out that in this example, the basic octahedral matrices are non-magic, and that when the multiplier is interchanged, the result B is not a Magic Tetragonal Octahedron. The octahedral matrices are not mutually orthogonal.

Miguel then shows the factorization of a Purely Magic Tetragonal Octahedron, as illustrated below:

Purely Magic Tetragonal Octahedron factorisation
Purely Magic Tetragonal Octahedron Factorization by Miguel Angel Amela - Graphics by William Walkington
In this second case, the basic octahedral matrices are magic, and when the multiplier is interchanged, the result D is also a Purely Magic Tetragonal Octahedron. The octahedral matrices are mutually orthogonal.

In his conclusion, Miguel Angel Amela indicates that using a Quick Basic program with 9 independent variables, and compiled with QB64, he has found that the total number of Magic Tetragonal Octahedron solutions is 1,792 (8 x 224), and that 128 (8 x 16) of these are Purely Magic.

Miguel states that his paper was inspired by a book that was sent to him by George Styan in 2012: This book by Fitting Friedrich is entitled “Panmagische Quadrate und Magische Sternvielecke.” The section that briefly describes Magic Tetragonal Octahedra is subtitled “Beziehung der magischen (8,2) - Sterne zu Körpern mit magischen Eigenschaften,” and can be found on the pages 62-63 of the 1939 edition of the Scientia Delectans, Germeinverständliche Darstellungen aus der Unterhaltungsmathematik und aux verwanden Gebieten, Heft 4.

Observations and Further Developments


Looking more closely at the examples given by Miguel Angel Amela I noticed something that had previously escaped my attention: I realised that 2 out of the 10 vertices of the Magic Tetragonal Octahedron were pole vertices where 4 edges met, whilst all of the other 8 vertices were the meeting points of only 3 edges. I therefore examined the pole vertices in more detail, using the same letters proposed by Miguel. For this study the polar vertices are therefore A and J:

For the first Magic Tetragonal Octahedron (figure A in the first factorization):
Pole vertex A: 2 + 10 +  3 + 15 = 30 (+ 4 for conversion) = 34 the magic constant for magic squares of order-4
Pole vertex  J: 1 +  6 + 12 + 11 = 30 (+ 4 for conversion) = 34 the magic constant for magic squares of order-4

For the Purely Magic Tetragonal Octahedron (figure C in the second factorization):
Pole vertex A: 2 + 11 +  8 + 15 = 36 (+ 4 for conversion) = 40
Pole vertex J : 3 + 14 + 13 +  6 = 36 (+ 4 for conversion) = 40

For the Purely Magic Tetragonal Octahedron (figure D in the second factorisation):
Pole vertex A:  8 + 14 +  2 + 15 = 39 (+ 4 for conversion) = 43
Pole vertex J : 12 + 11 +  7 +  9 = 39 (+ 4 for conversion) = 43

On the 9th June 2018 I contacted Miguel to inform him about these observations, and to ask him, if he had the time, to use his programming skills to discover the answers to the following questions:
1/ Did the total of the edges that meet at pole A always equal the total of edges that meet at pole J?
2/ If so, what were the subtotals of the 1792 Magic Tetragonal Octahedra for each of the polar sums?

In the days that followed Miguel investigated further, and then wrote back to inform me that:
1/ For all 1792 solutions, the sum of the 4 edges of pole A =  the sum of the 4 edges of pole J.
2/ For Magic Tetragonal Octahedra constructed using consecutive natural numbers from 1 to 16, the number of solutions is symmetric, with polar sums ranging from 19 to 49 (except for 20 or 48, which strangely do not exist), and the 288 solutions which have the polar sum of 34 (the magic constant of magic squares of order-4) are at the centre of this system. What is more, each of the solutions with polar sums of 34 has interesting equatorial symmetries:

This is a table of the polar sums of the 1792 Magic Tetragonal Octahedra. 288 solutions are Panmagic, and these have special magic symmetries.
Table of the polar sums of Magic Tetragonal Octahedra by Miguel Angel Amela - Graphics by William Walkington

The 288 "most-magic" solutions with magic polar sums of 34 are particularly interesting, and Miguel and I have therefore decided to call these Panmagic Tetragonal Octahedra: Please refer to the very first figure of this post which, by a complete coincidence, turns out to be a good example!

What are the Possible Implications of an Irregular Magic Tetragonal Octahedron?


On the 8th April 2018 I had another question for Miguel: "Is it possible to draw irregular Magic Tetragonal Octahedra using lines that have lengths in proportion to the numbers 1 to 16? And if this is possible, and the faces are still planar, what are the implications for the areas of the faces?"

For the time being, at the date of posting this article, this question remains unanswered. I have attempted to construct a virtual model using Sketchup and Autocad, but the exercise is too difficult without precise coordinates for the vertices. I have also tried to physically construct a scale model, but was faced with a practical problem: As the octahedron kite edges lack structural triangulation, the resulting instability is an impediment to making accurate measurements... Apparently the solution will have to come from an algorithm that will produce precise coordinates of the vertices, depending on the relative positions of the edges 1 to 16. And once this is achieved, we should be able to construct the irregular polyhedron and answer the following questions:

Are the 8 kite faces continuous or folded planar surfaces?
Do the kite areas have special characteristics?
Does the volume of the irregular Magic Tetragonal Octahedron have special characteristics?

Should a reader wish to contribute, please send me the precise x, y and z coordinates of the vertices that define an irregular Panmagic Tetragonal Octahedron. No prizes can be given, but the authors of pertinent solutions will, if they agree, have their findings published here.

Acknowledgement


I wish to thank Miguel Angel Amela for bringing this interesting aspect of magic geometry to my attention, and for authorising me to publish the contents of his paper.

Follow it subscription button
Read more ...

Sunday, 27 March 2016

First-Order Panmagic Torus T1

As is clearly stated in the OEIS sequence A006052 "Number of magic squares of order n composed of the numbers from 1 to n^2, counted up to rotations and reflections," the first and smallest magic square is of order-1.

order-1 pandiagonal magic square or magic torus T1

The dotted red lines across this magic square represent its magic diagonals. For a basic magic square, each row, column, and main diagonal must sum to the magic constant. The magic constant of a magic square is equal to the division of the triangular number of its squared order by its order. The magic constant (mcN) of an Nth order magic square (or torus) can thus be calculated as follows:
mcN  =  (N²)² + N²  x  1    =    N(N² + 1)
                     2            N                2
For the first-order magic square (or magic torus) the magic constant should therefore be:
mc1   =  1(1² + 1)   =  1,  which is the case.
                    2
The blue border of the unique number cell illustrated above, is also the limit of the magic square itself. The video below shows how this blue border merges to form single latitude and longitude lines on the curved 2D surface of the first-order magic torus:

Gluing a Torus video by Geometric Animations - University of Hannover, hosted by YouTube

We can check some of the simple conditions that define a basic magic odd-order torus, previously deduced whilst observing the unique third-order T3 magic torus:

The number of N-order squares (both magic and semi-magic squares) that are displayed on each N-order magic torus = N². The first-order magic torus should therefore display 1² = 1 first-order square, which is the case.

Basic magic odd-N-order tori  display not only 1 basic N-order magic square, but also N²-1 semi-magic N-order squares. The first-order basic magic square should therefore display 1 basic order-1 magic square, and 1²-1 = 0 semi-magic order-1 squares, which is also the case.

What is more surprising, although quite logical once we consider the question, is that the order-1 magic torus even satisfies the basic conditions for pandiagonality!

If pandiagonal (magic along all of its diagonals), an N-order torus displays N² pandiagonal squares of order N. The first-order torus should therefore display 1² pandiagonal squares = 1 pandiagonal square, which once again is the case.

Taking into account the panmagic properties of this torus, the adjective "trivial," which is often used to describe the first-order square, now seems almost depreciatory, (notwithstanding the fact that for mathematical contexts, the dictionary definitions of trivial include: "simple, transparent, or immediately evident"). There is more to the order-1 torus than first meets the eye! Not only is it pandiagonal, but its number One also signifies mathematical creation and the very beginnings... The Pythagoreans referred to the number One as the "monad," which engendered the numbers, which engendered the point, which engendered all lines, etc. For Plotinus and other neoplatonists, the number One was the ultimate reality and the source of all existence. The first-order torus, together with the number One that it displays, both symbolise the "Big Bang."

I admit to having rather underestimated this first-order magic torus until Miguel Angel Amela kindly sent me a copy of one of his studies "Pandiagonal Latin Squares and Latin Schemes in the Torus Surface," on the 9th March 2016. By extrapolating his findings, I discovered for myself the proof of the pandiagonal characteristics of the first-order, and I wish to thank Miguel for this paper which has been an inspiration to me.

The pandiagonal torus T1 of order-1 comes first again in the new OEIS sequence A270876 "Number of magic tori of order n composed of the numbers from 1 to n^2."

Follow it subscription button
Read more ...

Wednesday, 17 April 2013

Alignment and Concentricity of Sub-Magic Squares on 4th-Order Magic Tori

Once the sub-magic 2x2 squares were found I remembered having seen traces of larger sub-magic squares when studying the 4th-order panmagic torus. I therefore decided to search for these larger sub-magic squares on the different types of 4th-order magic tori. 

Since a first edition on the 17th April 2013, I have updated this article on the 21st April 2013, adding subdivisions of the tori to take into account the different Dudeney types.

I have not verified every Frénicle square, and the results illustrated below are based on simple observation and manual input. Your comments are always welcome! 

At the end of this article I propose some new hypotheses.

4th-order pandiagonal torus type T4.01

order-4 sub-magic 2x2 squares panmagic torus type T4.01 (here T4.01.1) high
order 4 sub-magic 2x2 squares panmagic torus type T4.01 (here T4.01.1) low

order 4 panmagic torus type T4.01 pandiagonal sub-magic 3x3 squares


order 4 panmagic torus type T4.01 pandiagonal sub-magic 4x4 squares


order 4 panmagic torus type T4.01 pandiagonal sub-squares diagram 1


order 4 panmagic torus type T4.01 pandiagonal sub-squares diagram 2


order 4 panmagic torus type T4.01 pandiagonal sub-squares diagram 3


4th-order semi-pandiagonal torus type T4.02.1

order 4 magic Torus type T4.02.1 semi-pandiagonal sub-magic 2x2 squares


order 4 magic Torus type T4.02.1 semi-pandiagonal sub-magic 3x3 squares


order 4 magic torus type T4.02.1 semi-pandiagonal sub-magic 4x4 squares


order 4 magic torus type T4.02.1 semi-pandiagonal sub-squares diagram 1


order 4 magic torus type T4.02.1 semi-pandiagonal sub-squares diagram 2


order 4 magic torus type T4.02.1 semi-pandiagonal sub-squares diagram 3


4th-order semi-pandiagonal torus type T4.02.2


order 4 magic torus type T4.02.2 semi-pandiagonal sub-magic 2x2 squares


order 4 magic torus type T4.02.2 semi-pandiagonal sub-magic 3x3 squares

order 4 magic torus type T4.02.2 semi-pandiagonal sub-magic 4x4 squares

order 4 magic torus type T4.02.2.3 semi-pandiagonal sub-squares diagram 1


order 4 magic torus type T4.02.2.3 semi-pandiagonal sub-squares diagram 2


order 4 magic torus type T4.02.2.3 semi-pandiagonal sub-squares diagram 3


For recreational water retention studies on associative magic squares, such as those displayed on the tori type T4.02.2 illustrated above, please refer to Craig Knecht's article in Wikipedia.

 

4th-order semi-pandiagonal torus type T4.02.3

order 4 magic torus type T4.02.3 semi-pandiagonal sub-magic 2x2 squares


order 4 magic torus type T4.02.3 semi-pandiagonal sub-magic 3x3 squares


order 4 magic torus type T4.02.3 semi-pandiagonal sub-magic 4x4 squares


4th-order partially panmagic torus type T4.03.1

order 4 magic torus type T4.03.1 partially pandiagonal sub-magic 2x2 squares


order 4 magic torus type T4.03.1 partially pandiagonal sub-magic 4x4 squares

order 4 magic torus type T4.03.1.2 partially pandiagonal sub squares diagram 1


order 4 magic torus type T4.03.1.2 partially pandiagonal sub squares diagram 2


order 4 magic torus type T4.03.1.2 partially pandiagonal sub squares diagram 3



4th-order partially panmagic torus type T4.03.2

order 4 magic torus type T4.03.2 partially pandiagonal sub-magic 2x2 squares


order 4 magic torus type T4.03.2 partially pandiagonal sub-magic 4x4 squares


4th-order partially panmagic torus type T4.03.3

order 4 magic torus type T4.03.3 partially pandiagonal sub-magic 2x2 squares


order 4 magic torus type T4.03.3 partially pandiagonal sub-magic 4x4 squares


order 4 magic torus type T4.03.3 partially pandiagonal sub squares diagram 1


order 4 magic torus type T4.03.3 partially pandiagonal sub squares diagram 2


order 4 magic torus type T4.03.3 partially pandiagonal sub squares diagram 3


4th-order partially panmagic torus type T4.04

order 4 magic torus type T4.04 partially pandiagonal sub-magic 2x2 squares


order 4 magic torus type T4.04 partially pandiagonal sub-magic 4x4 squares


order 4 magic torus type T4.04 partially pandiagonal sub squares diagram 1



order 4 magic torus type T4.04 partially pandiagonal sub squares diagram 2


order 4 magic torus type T4.04 partially pandiagonal sub squares diagram 3


4th-order basic magic torus type T4.05.1

order 4 magic torus type T4.05.1 basic magic sub-magic 2x2 squares


order 4 magic torus type T4.05.1 basic magic sub-magic 4x4 squares

order 4 magic torus type T4.05.1.2 basic magic sub squares diagram 1


order 4 magic torus type T4.05.1.2 basic magic sub squares diagram 2


Magic torus type T4.05.1.2 basic magic sub squares diagram 3


4th-order basic magic torus type T4.05.2

order 4 magic torus type T4.05.2 basic magic sub-magic 2x2 squares


order 4 magic torus type T4.05.2 basic magic sub-magic 4x4 squares


4th-order basic magic torus type T4.05.3

order 4 magic torus type T4.05.3 basic magic sub-magic 2x2 squares


order 4 magic torus type T4.05.3 basic magic sub-magic 4x4 squares

order 4 magic torus type T4.05.3.4 basic magic sub squares diagram_1


order 4 magic torus type T4.05.3.4 basic magic sub squares diagram 2


order 4 magic torus type T4.05.3.4 basic magic sub squares diagram 3



  4th-order basic magic torus type T4.05.04

order 4 magic torus type T4.05.4 basic magic sub-magic 2x2 squares


order 4 magic torus type T4.05.4 basic magic sub-magic 4x4 squares



4th-order magic torus and magic tori summary order 4

Observations


Although magic rows, columns and diagonals are important, it seems that the sub-magic squares are a driving force of the 4th-order magic tori.

The number patterns and quantities of 2x2 and 4x4 sub-magic squares are identical. On 4th-order tori the corner numbers of a 2x2 sub-magic square always coincide with the corner numbers of a 4x4 sub-magic square and vice versa.

The T4.04 and the T5.03.4 tori are similarly constructed. The partially panmagic tori type T4.04 deserve a separate classification although their third diagonals do not produce magic intersections.

Apparently the sub-magic 3x3 squares are only displayed on panmagic and semi-panmagic tori. There seems to be a relationship between the spacing of magic diagonals and the presence of sub-magic 3x3 squares, and a one in two spacing of magic diagonals only occurs on the panmagic and semi-panmagic tori.

Whilst examining only magic tori when I first wrote this article, I thought that only the semi-magic tori with similarly spaced (but non-intersecting) diagonals such as the semi-magic tori type T4.06 and T4.08 would display sub-magic 3x3 squares. Dwane Campell has since demonstrated that sub-magic 3x3 squares are also displayed on the semi-magic tori type T4.10 without magic diagonals. Here are his examples:

order 4 semi-magic torus type T4.05.10 semi-magic sub-magic 3x3 squares

The sub-magic 2x2 diamond shapes illustrated above were unknown to me until Dwane Campbell brought them to my attention. In his interesting web site article on 4th-order magic square classification he identifies the different cases of 2x2 diamond shapes on traditional Frénicle 4x4 squares.

Hypotheses


On 4th-order magic tori:
1/ Sub-magic 3x3 squares are only displayed on panmagic and semi-panmagic tori (or squares).
2/ Sub-magic 3x3 squares can be reduced to 4 essentially different subsquares per panmagic or per semi-panmagic torus. The addition of the central numbers of these essentially different sub-magic 3x3 squares totals 34.
3/ Sub-magic 2x2, 3x3, and 4x4 squares always display two even numbers and two odd numbers at their corners.

Developments


The discovery of the sub-magic 2x2 squares has inspired Mr Kanji Setsuda to make new studies of 4x4 squares, and a classification of standard magic squares by the 'composite conditions' of 2x2 squares within.

Follow it subscription button
Read more ...