Properties are the spine of any serious discussion. Recreational players need a handful; instructors need a few more to answer bright questions; researchers generalize endlessly. This page collects core facts about normal magic squares, common variants, and the pragmatic gap between “mathematically valid” and “accepted by a particular puzzle server.” Keep the magic constant formula in your pocket—it appears constantly.
Normal magic squares
An order-n normal magic square is an n × n array using each integer from 1 to n² exactly once such that every row, every column, and both main diagonals sum to the same value M. The “normal” label signals that specific multiset; drop it when other entries are allowed.
The magic constant is determined
Summing all entries two ways yields M = n(n²+1)/2. No arithmetic freedom remains once n is fixed. This is why beginners can memorize 15 and 65 for the two orders ProPuz emphasizes.
Semimagic and pandiagonal variants
Semimagic (sometimes called “semi-magic”) relaxes diagonal constraints: rows and columns still sum to M, but diagonals need not. Pandiagonal (diabolic) squares ask more—certain broken diagonals also hit M. Always read the rules banner; vocabulary is not standardized across websites.
Existence and construction by parity
Odd-order normal squares are constructible by classical methods such as Siamese moves. Even orders require different case work; doubly even versus singly even distinctions matter to builders. Existence is a theorem; simplicity of hand algorithm is not guaranteed.
Symmetry and equivalence
Rotating or reflecting a magic square preserves line sums under the standard definition. Enumeration therefore quotients by symmetry when counting “essentially different” objects—another vocabulary pitfall for FAQs.
Implications for digital checking
ProPuz stores a concrete solution per puzzle. Your grid might satisfy magic properties yet differ from that instance; the checker enforces equality to the stored numbers. This design choice favors unambiguous hints and grading.
Trace and eigenstory (optional)
Linear algebra enthusiasts sometimes inspect matrix traces of magic squares interpreted as matrices. Results depend on labeling; treat this as enrichment, not a beginner requirement.
Stability under perturbation
Tiny edits usually destroy magicity—constraints are rigid. That brittleness explains why solvers feel satisfying: near-misses are visibly wrong.
Explore further
Pair with number theory basics, patterns and symmetry, types explained, and live practice.