Hay un número infinito de tales ternas pitagóricas. Cualquier terna pitagórica primitiva (a,b,c)(a,b,c) a2+b2=c2 (estamos buscando primitivo triples ya que queremos que a b consecutivos) es de la forma:
a=p2−q2,b=2pq,c=p2+q2
con p q coprime y no tanto extraño. Por lo que estamos buscando entero soluciones de:
p2−2pq−q2=±1,
o:
(p−q)2−2q2=±1.
Sin embargo, sabemos que la ecuación de Pell A2−nB2=1 tiene un número infinito de entero de soluciones de (A,B) por cada n que no es un cuadrado, de ahí que podamos encontrar "consecutivos" ternas pitagóricas a partir de las soluciones de
A2−2B2=1,
para istance. (A,B)=(3,2) es la solución mínima de (1), dando (p,q)=(5,2), de ahí la triple (20,21,29). La siguiente solución se puede encontrar por expansión:
(3+2√2)2=17+12√12,
por lo tanto (p,q)=(29,12) da el triple de (696,697,985) y así sucesivamente.
En general, podemos ver que todas las soluciones depende de la convergents de la continuación de la fracción de √2, es decir en la Pell de la secuencia:
(p,q)=(Pn,Pn+1),
de los cuales:
(an,bn)=(2PnPn+1,P2n+1−P2n)=(2PnPn+1,2PnPn+1+(−1)n),
donde:
Pn=12√2((1+√2)n−(1−√2)n).
Ya que ni 2PnPn+1 o P2n+1−P2n puede ser primos si n>1, el único "consecutivos" terna pitagórica con el elemento más pequeño de ser un prime es (3,4,5).