Der Drei-Quadrate-Satz schließt die 0 mit ein. Genauer:
Es gibt ein Tripel
x,y,z∈N0 mit
n=x2+y2+z2, wenn
n nicht von der Form
n=4a(8b+7) mit
a,b∈N0 ist.
Für die 85 existieren die Tripel 85=02+22+92 =02+62+72 Ein Tripel, welches die 0 nicht enthält, existiert nicht.
Beweis: Für jede Quadratzahl q=n2 gilt q≡rmod8r∈{0,1,4} Da 85≡5mod8 ist, muss in dem Tripel {x,y,z} mit x2+y2+z2=85 jeder Rest r∈{0,1,4} genau einmal vorkommen. Ohne Einschränkung der Allgemeinheit muss also gelten x2≡0,y2≡4,z2≡1mod8 Für ein x<10 und x∈N kommen nur die Zahlen x∈{4,8} in Frage. Entsprechend gilt y∈{2,6}. Für ein z2 gibt es so nur vier Varianten: z2=85−42−22=65z2=85−42−62=33z2=85−82−22=17z2=85−82−62<0 keine der vier Varianten führt zu einem z2 mit z∈N.