Introduction to Magic Squares

• Magic square definition: 3x3 grid where rows, columns, and diagonals sum to same number (15)
• Example: 8,1,6 / 3,5,7 / 4,9,2 arrangement
• Lo Shu square: earliest known magic square from Chinese tradition (~2200 BC)
  • Legend: Emperor Yu saw pattern on turtle's back
• Perfect magic squares require distinct numbers (no repetitions)

Magic Squares of Squares Problem

• Goal: Create magic square where all entries are perfect squares
• Parker Square example: 29²,1²,47² / 41²,37²,1² / 23²,41²,29²
  • Semi-magic square: rows/columns work but one diagonal fails
  • Contains repeated entries (1², 29², 41²)
  • Famous from Numberphile videos as "very good attempt"

Other Attempts at Magic Squares of Squares

• Bremner Square: has 2 non-square entries but all others distinct
  • All rows, columns, diagonals sum correctly
  • Fundamental failure: not all entries are squares
• Salos Square: all entries are distinct squares
  • One diagonal doesn't sum correctly (like Parker Square)
  • Considered one of best attempts so far

Algebraic Framework

• 9 variables: X₁² through X₉² arranged in 3x3 grid
• System of equations: rows, columns, diagonals must equal same sum
• 6 constraint equations (third column constraint implied by others)
• 9 variables, 6 constraints in 8-dimensional space (due to scaling property)
• Scaling property: multiplying all entries by constant preserves magic square structure

Geometric Interpretation - The Parker Surface

• 8-dimensional space with 6 constraints creates 2-dimensional surface
• Each point on surface represents potential magic square of squares
• Parker Surface: geometric object containing all solutions
• Points with integer coordinates rare - "accidents of nature"
• Challenge: find points where all coordinates are distinct integers

Curve Classifications on Surfaces

• Rational curves: infinite rational/integer points (e.g., circle x²+y²=1)
  • Can generate many points from single starting point
• Elliptic curves: can "add" points to create new points
  • Also generate many rational points
• General type curves: finitely many rational points (Faltings' theorem, 1982)

Analysis of Parker Surface

• Contains only finitely many rational and elliptic curves (368 found)
• These curves correspond to cases where some coordinates are equal (X₁=X₂, etc.)
• All known rational/elliptic curves produce "fake" magic squares with repetitions
• Lang-Vojta conjecture: general type surfaces have finitely many integer points outside rational/elliptic curves

Implications and Conclusions

• Finite search space suggests magic square of squares may not exist
• Either must find more rational/elliptic curves on surface, or accept likely non-existence
• Geometry strongly suggests no 3x3 magic square of squares with distinct integer entries

Higher Dimensions Success

• 4x4 magic square of squares exists (Euler, ~1770)
  • All entries distinct squares, sums to 8515
• 5x5, 6x6 versions also exist
• For NxN grids (N≥4): N² variables, 2N+2 constraints
• Creates high-dimensional "Parker blob" rather than surface
• More positive curvature allows many rational/elliptic curves
• Geometry suggests NxN solutions exist for N≥4

Historical Connection

• Euler's 4x4 square crucial for Lagrange's proof: every integer = sum of 4 squares
• Euler sent square to Lagrange without explanation of construction method
• Deep mathematical connections beyond recreational mathematics