← 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=a2E−y=c2E=e2E+y=g2E−x=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”

{E−x+y=b2E−x−y=d2E=e2E+x+y=f2E+x−y=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=a2E−x+y=b2E=e2E+x−y=h2E−x=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”

{E−x+y=b2E−x−y=d2E=e2E+x+y=f2E−x=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”

{E−x+y=b2E−x−y=d2E+x+y=f2E+y=g2E−x=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=a2E−x+y=b2E−x−y=d2E=e2E−x=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”

{E−x+y=b2E−x−y=d2E+x+y=f2E+x−y=h2E−x=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=a2E−x+y=b2E−x−y=d2E+x+y=f2E−x=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=a2E−y=c2E=e2E+x−y=h2E−x=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=a2E−y=c2E−x−y=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=a2E−x+y=b2E−y=c2E=e2E+x−y=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=a2E−y=c2E−x−y=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=a2E−x+y=b2E=e2E+x+y=f2E−x=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=a2E−x+y=b2E+x+y=f2E+y=g2E−x=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”

{E−x+y=b2E=e2E+x+y=f2E+y=g2E−x=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=a2E−x+y=b2E−y=c2E−x−y=d2E+x−y=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=a2E−x+y=b2E−y=c2E−x−y=d2E−x=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=a2E−x+y=b2E−x−y=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=a2E−x+y=b2E−y=c2E+y=g2E−x=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=a2E−x+y=b2E−y=c2E+y=g2E+x−y=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=a2E−x+y=b2E−y=c2E−x−y=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=a2E−x+y=b2E−y=c2E−x−y=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=a2E−x+y=b2E−y=c2E−x−y=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