Параметрические семейства · карта доказательств

Магические квадраты, которые можно не только увидеть.

Интерактивный атлас связывает каждый генератор с его квадратной маской, формулой, полным LaTeX-доказательством и честным статусом формализации.

Открыть лабораторию ↗Как устроены доказательства

23 + 23орбиты 4/9 и 5/9

5/9квадратная маска

5общие леммы

ABCDGточный сертификат

A17689

B27889

C11449

D12769

E19009

F25249

G26569

H10129

J20329

E19 009x−1 320y7 560

✓ proof-core

Proof-backed catalog

От формулы к квадрату — без разрыва

Все семейства →

Красно-красные

ABEHJ

Две красные прогрессии AEJ и BEH; семейство содержит известные усиления 6/9 и 7/9.

↗02

Красно-голубые

ABCDH

AP-тройка CDH, согласованная с нормой x² + 2y² на ABDH.

↗03

Жёлто-коричневые

ABCDG

Жёлтая четвёрка BCDG и взвешенная коричневая коника ABCG.

↗

Исследовательский принцип

«Если символического доказательства ещё нет, это пробел, а не результат».

Интерфейс показывает вычисление. Proof-core отвечает за утверждение. Поэтому красивые примеры не подменяют тождества, а статус каждой конструкции виден пользователю.