Magic square¶

In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same.

Version: v1 · 2026-09-28 · History
Domain-specific #: 10523
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Recreational Mathematics, Combinatorics → Mathematics

Core Idea¶

Magic square is treated here as the recurring mathematics, logic, and statistics identity summarized by this source-grounded definition: In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same.

In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same. The order of a magic square is the number of integers along one side (n), and the constant sum is called the magic constant or magic sum. If the array includes just the positive integers 1,2,...,n^2 , the magic square is said to be normal.

Many authors take magic square to mean normal magic square. Magic squares that include repeated entries do not fall under this definition and are referred to as trivial. Some well-known examples, including the Sagrada Família magic square are trivial in this sense.

For Magic square, the abstraction is narrower than the article's general subject matter: a positive case must preserve In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in mathematics, logic, and statistics, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — Lee Sallows has pointed out that, due to Subirachs's ignorance of magic square theory, the renowned sculptor made a needless blunder, and supports this assertion by giving several examples of non-trivial 4×4 magic squares showing the desired magic constant of 33.
Constitutive relation — In the example below, a 4×4 associative magic square on the left is transformed into a square on the right by interchanging the second and third row, yielding the famous Durer's magic square.
Operating condition — In the example below, the original square on the left is transformed by shifting the first row to the bottom to obtain a new pan-magic square in the middle.
Recognition evidence — Such squares, known as geometric magic squares, were invented and named by Lee Sallows in 2001.
Admissible variation — Given any magic square, another magic square of the same order can be formed by interchanging the row and the column which intersect in a cell on a diagonal with the row and the column which intersect in the complementary cell (i.e. cell symmetrically opposite from the center) of the same diagonal.
Characteristic consequence — Given any magic square, another magic square of the same order can be formed by interchanging two rows on one side of the center line, and then interchanging the corresponding two rows on the other side of the center line; then interchanging like columns.
Failure boundary — The third-order magic square was known to Chinese mathematicians as early as 190 BCE, and explicitly given by the first century of the common era.

What It Is Not¶

Not the whole field of mathematics, logic, and statistics. The node requires the specific identity stated by In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same.
Not an over-broad reading. However, he was not the first European to have written on magic squares; and the magic squares were disseminated to rest of Europe through Spain and Italy as occult objects.
Not an over-broad reading. However, unlike the doubly stochastic matrix, the diagonal sums of such matrices will also equal to unity.
Not an over-broad reading. By Marcus-Ree theorem, however, there need not be more than k \le n^2 - 2n + 2 terms in any decomposition.
Not automatically Supernatural number. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Magic square applies literally inside mathematics, logic, and statistics wherever the source-defined carrier and relation can be established. Its documented habitats include:

History. Around this time, some of these squares were increasingly used in conjunction with magic letters, as in Shams Al-ma'arif, for occult purposes.
Europe after 15^th century. In an attempt to explain its working, de la Loubere used the primary numbers and root numbers, and rediscovered the method of adding two preliminary squares.
History. By the end of the 12^th century, the general methods for constructing magic squares were well established.
China. This is the earliest appearance of a magic square on record; and it was mainly used for divination and astrology.
China. The oldest surviving Chinese treatise that displays magic squares of order larger than 3 is Yang Hui's Xugu zheqi suanfa (Continuation of Ancient Mathematical Methods for Elucidating the Strange) written in 1275.
Japan. In 1694 and 1695, Yueki Ando gave different methods to create the magic squares and displayed squares of order 3 to 30.

Outside mathematics, logic, and statistics, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Magic square names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same. The strongest recognition evidence in the frozen account is: Such squares, known as geometric magic squares, were invented and named by Lee Sallows in 2001. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification However, he was not the first European to have written on magic squares; and the magic squares were disseminated to rest of Europe through Spain and Italy as occult objects. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Magic square compresses multiple mathematics, logic, and statistics details into a stable diagnostic relation. The source shows both the central mechanism—in the example below, a 4×4 associative magic square on the left is transformed into a square on the right by interchanging the second and third row, yielding the famous Durer's magic square.—and the practical consequence—given any magic square, another magic square of the same order can be formed by interchanging two rows on one side of the center line, and then interchanging the corresponding two rows on the other side of the center line; then interchanging like columns. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the mathematics, logic, and statistics entities to which the claim applies.
State the relation. Use the source-grounded identity: In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same.
Check operation and conditions. In the example below, the original square on the left is transformed by shifting the first row to the bottom to obtain a new pan-magic square in the middle.
Demand recognition evidence. Such squares, known as geometric magic squares, were invented and named by Lee Sallows in 2001.
Test variation. Change an implementation or setting while preserving given any magic square, another magic square of the same order can be formed by interchanging the row and the column which intersect in a cell on a diagonal with the row and the column which intersect in the complementary cell (i.e. cell symmetrically opposite from the center) of the same diagonal.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Magic square transfers literally when a new case preserves the same carrier type, relation, and recognition test. Around this time, some of these squares were increasingly used in conjunction with magic letters, as in Shams Al-ma'arif, for occult purposes. In an attempt to explain its working, de la Loubere used the primary numbers and root numbers, and rediscovered the method of adding two preliminary squares.

Beyond the home domain. No canonical parent is asserted for Magic square. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

Also notable are the ancient cultures with a tradition of mathematics and numerology that did not discover the magic squares: Greeks, Babylonians, Egyptians, and Pre-Columbian Americans. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same; recognition evidence → Such squares, known as geometric magic squares, were invented and named by Lee Sallows in 2001

Applied / In Practice¶

For example, a magic square appears in Albrecht Dürer's Melencolia (see the photograph of the work). The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → History; invariant → In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same; boundary → the case exits the class when however, he was not the first European to have written on magic squares; and the magic squares were disseminated to rest of Europe through Spain and Italy as occult objects

Structural Tensions¶

T1 — Stable identity versus admissible variation. However, he was not the first European to have written on magic squares; and the magic squares were disseminated to rest of Europe through Spain and Italy as occult objects. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. However, unlike the doubly stochastic matrix, the diagonal sums of such matrices will also equal to unity. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. By Marcus-Ree theorem, however, there need not be more than k \le n^2 - 2n + 2 terms in any decomposition. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. The number of different n × n magic squares for n from 1 to 6, not counting rotations and reflections is. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. Lee Sallows has pointed out that, due to Subirachs's ignorance of magic square theory, the renowned sculptor made a needless blunder, and supports this assertion by giving several examples of non-trivial 4×4 magic squares showing the desired magic constant of 33. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Magic square literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. In the example below, a 4×4 associative magic square on the left is transformed into a square on the right by interchanging the second and third row, yielding the famous Durer's magic square. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Magic square distinguish that the broader parent Pattern leaves together?

Structural–Framed Character¶

Magic square is structural-leaning. Its structural side is the repeatable organization summarized by In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same. Its framed side is the mathematics, logic, and statistics vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: In the example below, the original square on the left is transformed by shifting the first row to the bottom to obtain a new pan-magic square in the middle. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: Lee Sallows has pointed out that, due to Subirachs's ignorance of magic square theory, the renowned sculptor made a needless blunder, and supports this assertion by giving several examples of non-trivial 4×4 magic squares showing the desired magic constant of 33. In the example below, a 4×4 associative magic square on the left is transformed into a square on the right by interchanging the second and third row, yielding the famous Durer's magic square. It further constrains recognition and variation through: In the example below, the original square on the left is transformed by shifting the first row to the bottom to obtain a new pan-magic square in the middle. Such squares, known as geometric magic squares, were invented and named by Lee Sallows in 2001.

What is domain-bound. mathematics, logic, and statistics supplies the operative entities, technical vocabulary, warrants, and exceptions that make Magic square literal. Its documented scope includes the condition that Around this time, some of these squares were increasingly used in conjunction with magic letters, as in Shams Al-ma'arif, for occult purposes. Another bounded application condition is that In an attempt to explain its working, de la Loubere used the primary numbers and root numbers, and rediscovered the method of adding two preliminary squares. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—Given any magic square, another magic square of the same order can be formed by interchanging the row and the column which intersect in a cell on a diagonal with the row and the column which intersect in the complementary cell (i.e. cell symmetrically opposite from the center) of the same diagonal.—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry is a kind of Matrix.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Magic square. The reviewed identity is: In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Magic square Domain-specific

Parents (1) — more general patterns this builds on

Magic square is a kind of Matrix Domain-specific

A magic square is a square numeric matrix with equal row, column, and main-diagonal sums.

Hierarchy paths (5) — routes to 5 parentless roots

Magic square → Matrix → Tensor → Transformation → Function (Mapping)

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Magic square sits in a sparse region of the domain-specific corpus (88^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Geometric Figures & Constructions (32 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Pattern. The parent omits the specialist differentia. Tell: Can the case establish In mathematics, especially historical and recreational mathematics, a magic square is a square array of numbers, usually positive integers, where the sums of the numbers in each row, each column, and both main diagonals are the same?
Supernatural number. A formal prime product whose exponent at each prime is a natural number or infinity, extending positive integers under divisibility. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Squared Triangular Number. Squared Triangular Number is a recurring identity in mathematics, logic, and statistics defined by: The sum of the first n cubes, which equals the square of the nth triangular number. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Cannonball problem. The Diophantine problem of finding integers for which a square pyramidal number is also a perfect square, equivalently when the sum of consecutive squares from one to n is itself square. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Magic square remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside mathematics, logic, and statistics lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Magic_square (revision 1367984921).
Preserved source candidate: http://jeff560.tripod.com/m.html
Preserved source candidate: https://archive.org/details/MagicSquaresAndCubes_754
Preserved source candidate: http://www.chinesehsc.org/downloads/cammann/camman_the_evolution_of_magic_squares_in_china.pdf
Preserved source candidate: http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Yang_Hui.html
Preserved source candidate: https://core.ac.uk/download/pdf/161528551.pdf
Preserved source candidate: https://archive.org/details/in.ernet.dli.2015.161063/page/n74
Preserved source candidate: https://archive.org/details/in.ernet.dli.2015.161063
Preserved source candidate: https://archive.org/details/in.ernet.dli.2015.161063/page/n84

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.