Legyenek $a$ és $b$ természetes számok. Bizonyítsuk be, hogy ha $ab$ páros, akkor található olyan $c$ és $d$ természetes szám, amelyekre $a^2+b^2+c^2=d^2$.
Ha viszont $ab$ páratlan szám, akkor ilyen $c$ és $d$ nincs.