Uočimo da iz abc=−1 slijedi da nijedan od brojeva a,b,c nije jednak nuli.
Uvrštavanjem abc=−1 i a=4−b−c (odnosno a−3=1−b−c) u nazivnik prvog pribrojnika dobivamo
a2−3a−1a=a2−3a+abca=a−3+bc1=(1−b−c)+bc1=(b−1)(c−1)1.
Analogno dobijemo
b2−3b−1b=(a−1)(c−1)1
i
c2−3c−1c=(a−1)(b−1)1.
Zato je
94=a2−3a−1a+b2−3b−1b+c2−3c−1c=(b−1)(c−1)1+(a−1)(c−1)1+(a−1)(b−1)1=(a−1)(b−1)(c−1)(a−1)+(b−1)+(c−1)=(a−1)(b−1)(c−1)a+b+c−3=(a−1)(b−1)(c−1)1,
odnosno
(a−1)(b−1)(c−1)=49.
Kako vrijedi
(a−1)(b−1)(c−1)=abc−ab−ac−bc+a+b+c−1=−1−ab−ac−bc+4−1=2−ab−ac−bc,
možemo zaključiti
ab+ac+bc=2−(a−1)(b−1)(c−1)=2−49=−41.
Konačno, vrijedi
a2+b2+c2=(a+b+c)2−2(ab+ac+bc)=42−2⋅(−41)=16+21=233,
što je i trebalo pokazati.