Angel "Java" Lopez en Blog

6 de Agosto, 2017


Publicado el 6 de Agosto, 2017, 14:12

Anterior post

Veamos hoy la afirmación de Fermat (tengo la cita traducida al inglés):

"Therefor we should have a square number which would be equal to the sum of a square and the double of another square, while the squares of which this sum is made up would themselves have a square number for their sum."

Por lo que vimos en el post anterior, tenemos

p2-q2

como cuadrado, siendo p y q cuadrados ellos mismos, de distinta paridad (uno impar y otro par), sin factores comunes. La expresión anterior se puede escribir como:

(p + q)(p - q)

Estos dos factores son primos entre sí. Si tuvieran un factor común, éste también dividiría a

(p + q) + (p - q) = 2p
(p + q) - (p - q) = 2q

Este factor común no puede ser 2, por tener p y q distinta paridad (uno es par y otro impar). Entonces, cualquier factor común debe serlo también de p y q, contradicción, porque partimos considerando que no tienen factores comunes.

Como la multiplicación de los dos factores (p + q) y (p - q) es un cuadrado, y no tienen factor común, entonces AMBOS deben ser a su vez cuadrados.

Seguiremos en el próximo post comentando la próxima afirmación de Fermat, que no resulta ser muy clara, y hasta está algo mal formulada.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez