El otro día abrí un hilo preguntando si había algún teorema que demostrase que dado un número cualquiera \( c \) entonces era posible encontrar un \( p_1 \) al restar \( c-b \) y luego encontrar un \( p_2 \) al sumar \( c+b \). Feriva me mostró que eso era la conjetura de Goldbach. Y entonces entendí que si esa conjetura es cierta entonces dado cualquier \( c^2 \) era posible generar un rectángulo "perfecto", de medidas \( p_1·p_2 \), restándole un \( b^2 \) menor -
De hecho, puede darse también que \( p_1=p_2 \) y obtengamos un cuadrado perfecto.
Tenemos pues, que la conjetura Goldbach se puede reescribir o entender como:
Existen dos números primos \( p_1,p_2 \) menores que 2, tales que:
\( (c-b)=p_1 \)
\( (c+b)=p_2 \)
Por tanto:
\( (c-b)(c+b)=c^2-b^2=p_1p_2 \)
Visualmente, pues, la conjetura de Goldbach significa que en cada hilera del triángulo de Fermat (a partir de la 3º hilera) siempre encontraremos, como mínimo, un numero natural impar \( x \) tal que \( x=p_1p_2 \). Siendo \( p_1,p_2<2 \). Y siendo además posible que \( p_1=p_2 \).

Partiendo de este triángulo de Fermat, y que \( p_1\leq{p_2} \), entonces para que existan rectángulos perfectos, \( p_1·p_2 \), en cada hilera del triángulo las variables \( c,b \) deberían valer lo siguiente:
\( c=\displaystyle\frac{p_1+p_2}{2} \)
\( b=\displaystyle\frac{p_2-p_1}{2} \)
Con lo cual: \( (\displaystyle\frac{p_1+p_2}{2})^2-(\displaystyle\frac{p_2-p_1}{2})^2=p_1·p_2 \). Dándose también la posibilidad, como ya se ha dicho, de obtener un cuadrado perfecto cuando \( p_1=p_2 \) -Esto siempre sucede sólo cuando \( c \) es, precisamente, un número primo, por ejemplo \( c=7 \). Y entonces \( b=0 \).
Si entendemos que la variable \( c \) es la que pauta las hileras del triángulo, entonces, si para cada \( c \) existe un rectángulo perfecto \( p_1·p_2 \), esto significa que es posible expresar \( 2c=p_1+p_2 \); es lo que precisamente pauta la conjetura fuerte de Goldbach.
Pero es más, si es posible que\( 2c=p_1+p_2 \), entonces \( c=p_1+b \), dado que existirá necesariamente un \( 2b=p_2-p_1 \)
Por tanto:
Para todo \( 2c=p_1+p_2 \) entonces existe \( c^2-b^2=p_1·p_2 \), o viceversa
De momento dejo esto.