Back to the problem

Complete D4 classification

Five square entries: 23 orbits

Each mask specifies five guaranteed square values and two independent compatibility quadrics after E, x, and y are eliminated.

The level is a lower guarantee, not a prohibition on additional square-valued cells. Open a mask to load the same laboratory with its parameters and complete proof directly below the square.

Proof of classification completeness and sufficiency of the quadrics

Proof table

All 23 orbits and pairs of quadrics for 5/9

Each cell uses the color of the quadric containing its square value. An intersection of two supports is split between both colors.

Upper block: original system; colored bars: quadrics:Light-red arithmetic progressionDark-red arithmetic progressionYellow equality of two sums of squaresBlue x² + 2y² normBlue x² + 2y² normWeighted brown conic
01
ACEGJ

Complement of the 4/9 type “All four edge cells”

{E+x=a2Ey=c2E=e2E+y=g2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-y&=c^2\\E&=e^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right.
a2+j2=2e2a^2+j^2=2e^2
c2+g2=2e2c^2+g^2=2e^2
02
BDEFH

Complement of the 4/9 type “All four corners”

{Ex+y=b2Exy=d2E=e2E+x+y=f2E+xy=h2\left\{\begin{aligned}E-x+y&=b^2\\E-x-y&=d^2\\E&=e^2\\E+x+y&=f^2\\E+x-y&=h^2\end{aligned}\right.
d2+f2=2e2d^2+f^2=2e^2
b2+h2=2e2b^2+h^2=2e^2
03
ABEHJ

Complement of the 4/9 type “Two opposite corners and two opposite edges”

{E+x=a2Ex+y=b2E=e2E+xy=h2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E&=e^2\\E+x-y&=h^2\\E-x&=j^2\end{aligned}\right.
a2+j2=2e2a^2+j^2=2e^2
b2+h2=2e2b^2+h^2=2e^2
04
BDEFJ

Complement of the 4/9 type “Three corners and the outer edge”

{Ex+y=b2Exy=d2E=e2E+x+y=f2Ex=j2\left\{\begin{aligned}E-x+y&=b^2\\E-x-y&=d^2\\E&=e^2\\E+x+y&=f^2\\E-x&=j^2\end{aligned}\right.
d2+f2=2e2d^2+f^2=2e^2
b2+d2=2j2b^2+d^2=2j^2
05
BDFGJ

Complement of the 4/9 type “The center, two adjacent corners, and the opposite edge”

{Ex+y=b2Exy=d2E+x+y=f2E+y=g2Ex=j2\left\{\begin{aligned}E-x+y&=b^2\\E-x-y&=d^2\\E+x+y&=f^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right.
b2+d2=2j2b^2+d^2=2j^2
b2+f2=2g2b^2+f^2=2g^2
06
ABDEJ

Complement of the 4/9 type “Two opposite corners and adjacent edges incident to them”

{E+x=a2Ex+y=b2Exy=d2E=e2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-x-y&=d^2\\E&=e^2\\E-x&=j^2\end{aligned}\right.
a2+j2=2e2a^2+j^2=2e^2
b2+d2=2j2b^2+d^2=2j^2
07
BDFHJ

Complement of the 4/9 type “The center and three corners”

{Ex+y=b2Exy=d2E+x+y=f2E+xy=h2Ex=j2\left\{\begin{aligned}E-x+y&=b^2\\E-x-y&=d^2\\E+x+y&=f^2\\E+x-y&=h^2\\E-x&=j^2\end{aligned}\right.
b2+d2=2j2b^2+d^2=2j^2
b2+h2=d2+f2b^2+h^2=d^2+f^2
08
ABDFJ

Complement of the 4/9 type “The center, two opposite corners, and one edge”

{E+x=a2Ex+y=b2Exy=d2E+x+y=f2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-x-y&=d^2\\E+x+y&=f^2\\E-x&=j^2\end{aligned}\right.
b2+d2=2j2b^2+d^2=2j^2
a2+b2=f2+j2a^2+b^2=f^2+j^2
09
ACEHJ

Complement of the 4/9 type “Three edge cells and an outer corner”

{E+x=a2Ey=c2E=e2E+xy=h2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-y&=c^2\\E&=e^2\\E+x-y&=h^2\\E-x&=j^2\end{aligned}\right.
a2+j2=2e2a^2+j^2=2e^2
c2+e2=h2+j2c^2+e^2=h^2+j^2
10
ACDEG

Complement of the 4/9 type “Three edge cells and the inner corner”

{E+x=a2Ey=c2Exy=d2E=e2E+y=g2\left\{\begin{aligned}E+x&=a^2\\E-y&=c^2\\E-x-y&=d^2\\E&=e^2\\E+y&=g^2\end{aligned}\right.
c2+g2=2e2c^2+g^2=2e^2
a2+d2=c2+e2a^2+d^2=c^2+e^2
11
ABCEH

Complement of the 4/9 type “Two adjacent corners and the two noncommon incident edges”

{E+x=a2Ex+y=b2Ey=c2E=e2E+xy=h2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E&=e^2\\E+x-y&=h^2\end{aligned}\right.
b2+h2=2e2b^2+h^2=2e^2
a2+c2=e2+h2a^2+c^2=e^2+h^2
12
ACDEF

Complement of the 4/9 type “Two adjacent corners, their common edge, and the opposite edge”

{E+x=a2Ey=c2Exy=d2E=e2E+x+y=f2\left\{\begin{aligned}E+x&=a^2\\E-y&=c^2\\E-x-y&=d^2\\E&=e^2\\E+x+y&=f^2\end{aligned}\right.
d2+f2=2e2d^2+f^2=2e^2
a2+d2=c2+e2a^2+d^2=c^2+e^2
13
ABEFJ

Complement of the 4/9 type “Two opposite corners and two edges incident to one of them”

{E+x=a2Ex+y=b2E=e2E+x+y=f2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E&=e^2\\E+x+y&=f^2\\E-x&=j^2\end{aligned}\right.
a2+j2=2e2a^2+j^2=2e^2
a2+b2=f2+j2a^2+b^2=f^2+j^2
14
ABFGJ

Complement of the 4/9 type “The center, two adjacent edges, and the opposite corner”

{E+x=a2Ex+y=b2E+x+y=f2E+y=g2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E+x+y&=f^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right.
b2+f2=2g2b^2+f^2=2g^2
a2+b2=f2+j2a^2+b^2=f^2+j^2
15
BEFGJ

Complement of the 4/9 type “Two adjacent corners and two adjacent edges at the unselected corner”

{Ex+y=b2E=e2E+x+y=f2E+y=g2Ex=j2\left\{\begin{aligned}E-x+y&=b^2\\E&=e^2\\E+x+y&=f^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right.
b2+f2=2g2b^2+f^2=2g^2
b2+e2=g2+j2b^2+e^2=g^2+j^2
16
ABCDH

Complement of the 4/9 type “The center, two adjacent corners, and an edge incident to one of them”

{E+x=a2Ex+y=b2Ey=c2Exy=d2E+xy=h2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E+x-y&=h^2\end{aligned}\right.
d2+h2=2c2d^2+h^2=2c^2
b2+2h2=d2+2a2b^2+2h^2=d^2+2a^2
17
ABCDJ

Complement of the 4/9 type “The center, two adjacent edges, and a corner incident to one of them”

{E+x=a2Ex+y=b2Ey=c2Exy=d2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E-x&=j^2\end{aligned}\right.
b2+d2=2j2b^2+d^2=2j^2
a2+2d2=j2+2c2a^2+2d^2=j^2+2c^2
18
ABDEF

Complement of the 4/9 type “Three corners and the inner edge”

{E+x=a2Ex+y=b2Exy=d2E=e2E+x+y=f2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-x-y&=d^2\\E&=e^2\\E+x+y&=f^2\end{aligned}\right.
d2+f2=2e2d^2+f^2=2e^2
b2+2a2=d2+2f2b^2+2a^2=d^2+2f^2
19
ABCGJ

Complement of the 4/9 type “The center and three edge cells”

{E+x=a2Ex+y=b2Ey=c2E+y=g2Ex=j2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right.
a2+j2=c2+g2a^2+j^2=c^2+g^2
c2+2b2=g2+2j2c^2+2b^2=g^2+2j^2
20
ABCGH

Complement of the 4/9 type “The center, two opposite edges, and one corner”

{E+x=a2Ex+y=b2Ey=c2E+y=g2E+xy=h2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E+y&=g^2\\E+x-y&=h^2\end{aligned}\right.
b2+h2=c2+g2b^2+h^2=c^2+g^2
g2+2h2=c2+2a2g^2+2h^2=c^2+2a^2
21
ABCDE

Complement of the 4/9 type “Two adjacent corners and two edges incident to one corner”

{E+x=a2Ex+y=b2Ey=c2Exy=d2E=e2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E&=e^2\end{aligned}\right.
a2+d2=c2+e2a^2+d^2=c^2+e^2
b2+2c2=d2+2e2b^2+2c^2=d^2+2e^2
22
ABCDF

Complement of the 4/9 type “The center, two adjacent corners, and the edge between them”

{E+x=a2Ex+y=b2Ey=c2Exy=d2E+x+y=f2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E+x+y&=f^2\end{aligned}\right.
b2+2a2=d2+2f2b^2+2a^2=d^2+2f^2
d2+2a2=f2+2c2d^2+2a^2=f^2+2c^2
23
ABCDG

Complement of the 4/9 type “The center, two adjacent edges, and the corner between them”

{E+x=a2Ex+y=b2Ey=c2Exy=d2E+y=g2\left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E+y&=g^2\end{aligned}\right.
b2+c2=d2+g2b^2+c^2=d^2+g^2
2a2+2b2=c2+3g22a^2+2b^2=c^2+3g^2