Encuentre exactamente 333 triples pitagóricos primitivos coincidentes para una hipotenusa dada

Estoy tratando de encontrar tres triples pitagóricos A 2 + B 2 = C 2 dónde

A 1 2 + B 1 2 = A 2 2 + B 2 2 = A 3 2 + B 3 2 = C 2 y A 1 A 2 , A 3 B 1 B 2 , B 3

Es relativamente fácil encontrar ternas pitagóricas para una hipotenusa dada si resolvemos la función C de la fórmula de Euclides A = metro 2 k 2 , B = 2 metro k , C = metro 2 + k 2 para k y pruebe un rango de valores m para ver cuáles producen números enteros. Aquí hay un ejemplo usando C = sesenta y cinco .

C = metro 2 + k 2 k = C metro 2 para 1 + 2 C 1 2 metro C 1
El límite inferior asegura metro > k y el límite superior asegura k norte .

C = sesenta y cinco 1 + 130 1 2 = 6 metro sesenta y cinco 1 = 8 metro { 7 , 8 } k { 4 , 1 }
F ( 7 , 4 ) = ( 33 , 56 , sesenta y cinco ) F ( 8 , 1 ) = ( 63 , dieciséis , sesenta y cinco )

encontré 67 valores C donde C = 4 norte + 1    para    81 norte 11925 con 3 triples coincidentes cada uno pero, en todos los casos, uno o más de los triples tenían GRAMO C D ( A , B , C ) > 1. Realicé pruebas similares para 4-triples, 5-tiples, 6-triples y 7-triples pero, en todos mis casos [ciertamente limitados], solo un número par de ellos eran primitivos.

existe 3 y solo 3 triples primitivos con la misma hipotenusa?

¿Cuál es el número de ternas primitivas en cada caso? ¿Cómo se compara esto con el número de factores primos impares distintos de la hipotenusa? ¿Puedes discernir una correlación (no lineal) entre estas dos funciones? Dada esta correlación, ¿puede alguna vez obtener 3? O 5 o 6?
En pruebas separadas, he encontrado 1 , 2 , 3 , 4 , 5 , 6 , o r 7 se triplica para un valor C dado. Por ejemplo, C=325 produce estos triples, pero solo dos son primitivos.
F ( 15 , 10 ) = ( 125 , 300 , 325 ) F ( 17 , 6 ) = ( 253 , 204 , 325 ) F ( 18 , 1 ) = ( 323 , 36 , 325 )
¿ Cuántas ternas primitivas en cada caso? Para 325 dices que son dos Y se considera como 5 2 × 13 . Para 125 obtienes solo uno. que tiene solo el factor primo 5 . si probaste 1105 = 5 × 13 × 17 Apuesto la casa a que tienes cuatro triples primitivos. Y para 32045 = 5 × 13 × 17 × 29 "Sospecho" que obtendrás... ocho.
Puedo encontrar otros que 3 triplica pero no 3 . Por ejemplo, puedo encontrar exactamente 4 primitivas para cada uno de estos valores C. Estoy buscando 3 y no mas que 3 . 1105 , 1885 , 2405 , 2465 , 2665 , 3145 , 3445 , 3485 , 3965 , 4505 , 5185 , 5365 , 5785 , 5945 , 6205 , 6305 6409 , 6565 , 7085 , 7345 , 7565 , 7585 , 7685 , 8177 , 8245 , 8585 , 8845 , 8905 , 9061 , 9565 , 9605 , 9685 9805 , 10205 , 10585 , 10865 , 11245 , 11285 , 11645 , 11713 , 11765 , 12505 , 12545 , 12665 , 12805 , 12905 13345 , 13481 , 13505 , 13949 , 14065 , 14645 , 14705 , 14885 , 14965 , 15145 , 15385 , 15457 , 15665 , 15805
mathoverflow.net/questions/375295/… Mira mi comentario allí.
Si C = pag 3 dónde pag es un primo congruente 1 modificación 4 , entonces existe 3 se triplica con la misma hipotenusa de la siguiente manera. Dejar pag = a 2 + b 2 . C 2 = ( 6 a 5 b 20 a 3 b 3 + 6 a b 5 ) 2 + ( a 6 15 a 4 b 2 + 15 a 2 b 4 b 6 ) 2 = ( 2 a b 5 + 2 a 5 b + 4 a 3 b 3 ) 2 + ( a 6 a 2 b 4 b 6 + a 4 b 2 ) 2 = ( 4 a 5 b + 4 a b 5 ) 2 + ( a 6 5 a 4 b 2 5 a 2 b 4 + b 6 ) 2 Sin embargo, uno de los pares tiene un factor común.

Respuestas (1)

Mi conjetura es que existen soluciones sólo cuando C está compuesto por 4 norte + 1 -tipo primos y el número de triples primitivos que tienen C como es la hipotenusa 2 pag 1 dónde pag es el numero de 4 norte + 1 -factores de tipo de C .

Los exponentes no cambian el número de triples, es decir 5 13 3 29 2 tiene el mismo número (cuatro) de ternas primitivas que 5 13 17 .

Eso no es una conjetura. Es un hecho conocido. Para tener una idea de cómo el poder de 2 se demuestra, ir a enteros gaussianos y considerar los productos ( 2 ± i ) 2 ( 3 ± 2 i ) . Usando todas las combinaciones de ± signos obtienes todas las formas primitivas a + b i dónde a 2 + b 2 = 5 2 × 13 = 325 . Tienes 2 2 combinaciones de signos pero, dado que los pares conjugados complejos tienen los mismos valores absolutos para a y b , solo la mitad o 2 1 son triples distintos. ¿Puedes generalizar?
@OscarLanzi Gracias. Y el hecho de que no existan triples si C contiene 4 k + 3 -como factores?
¿Puedes encontrar residuos distintos de cero? modificación 3 ¿cuales cuadrados suman cero? Si no puedes, no importan los triples primitivos donde la hipotenusa sea un múltiplo de 3 , y esto también se puede generalizar.
Finalmente está el factor primo 2 . Tenemos 1 2 + 1 2 0 modificación 2 y 1 ± i | 2 en entero gaussiano, pero sin triples primitivos. En la teoría de enteros gaussianos, tienes que elevar al cuadrado el número compkex a + b i para obtener realmente los catetos del triángulo, y hacerlo con 1 ± i da una parte real cero que evita un triple primitivo para una hipotenusa par. Está relacionado con el hecho de que el complejo se conjuga 1 ± i son cada uno una unidad por el otro, lo cual es cierto si no hay otro par conjugado gaussiano-primo.