Demostrar que en cualquier terna pitagórica $a^2+b^2=c^2$, al menos uno de los números a, b, c es divisible entre 5.
Ver también:
Ternas Pitagóricas
Ver también:
Ternas Pitagóricas (parte 3)
Si ninguno de los números es
Si ninguno de los números es divisible por 5 entonces $c^{2} = a^{2}+b^{2}$ es ó 2 ó 3 en módulo 5. Por otra parte, el cuadrado de un entero que no es divisible por 5 es ó 1 ó 4 en módulo 5 y tenemos una contradicción con lo aseverado en la oración anterior. QED.