Cuádruple de pitagóricos triples con misma área

¿Se puede encontrar explícitamente a i , b i , C i norte , i = 1 , 2 , 3 , 4 de modo que

a i < b i ,  y  a i 2 + b i 2 = C i 2 para  i = 1 , 2 , 3 , 4
y
a 1 b 1 = a 2 b 2 = a 3 b 3 = a 4 b 4 , C 1 < C 2 < C 3 < C 4 .

Algo de contexto:

Un triple pitagórico es un triple ( a , b , C ) norte de modo que a 2 + b 2 = C 2 . Nosotros decimos eso ( a , b , C ) es primitivo si a , b y C son coprimos . En el artículo dedicado de wikipedia está escrito lo siguiente:

  • ( ( 20 , 21 , 29 ) , ( 12 , 35 , 37 ) ) es el primer par de ternas pitagóricas primitivas tales que los triángulos inducidos tienen la misma área = 210 .

  • ( ( 4485 , 5852 , 7373 ) , ( 3059 , 8580 , 9109 ) , ( 1380 , 19019 , 19069 ) ) es una terna de ternas pitagóricas primitivas tales que los triángulos inducidos tienen la misma área = 13123110 .

  • Para cada número natural norte , allí existe norte Tripas pitagóricas con diferentes hipotenusas y la misma área.

Una formulación equivalente de la pregunta anterior es: ¿ Existe algún cuádruple de ternas pitagóricas explícitamente conocido tal que los triángulos inducidos tengan la misma área?

Nota: A093536 afirma que para tal cuádruple, el área en cuestión será 10 17 .

Nota: Estos problemas son equivalentes por las siguientes razones: Se sigue del hecho básico de que el área de un triángulo asociado a una terna pitagórica ( a , b , C ) es dado por a b / 2 y 2 norte 2 = k 2 Sólo tiene ( 0 , 0 ) como solución entera. Por cierto, tenga en cuenta que a i , b i , C i son coprimos si y solo si mcd ( a i , mcd ( b i , C i ) ) = 1 para i = 1 , , 4 .

Escribe un sistema de ecuaciones diofánticas no lineales y resuelve. Para 4 sería difícil de resolver. Necesidad de empezar poco a poco.
@individ Ni siquiera tengo idea de cómo resolver un sistema de este tipo para 2 (nunca trabajé en ecuaciones diofánticas, así que no lineales ...). ¿Tienes algunas referencias tal vez?
Tenga en cuenta que A093536 hace esa afirmación solo para triples primitivos .

Respuestas (3)

Aquí dice : "También se pueden encontrar cuartetos de triángulos rectángulos con la misma área. El cuarteto que tiene el área más pequeña conocida es

( 111 , 6160 , 6161 ) , ( 231 , 2960 , 2969 ) , ( 518 , 1320 , 1418 ) , ( 280 , 2442 , 2458 )
con area 341880 (Beiler 1966, p. 127). Guy (1994) brinda información adicional".

Las referencias son Beiler, AH, "The Eternal Triangle", cap. 14 en Recreaciones en la Teoría de Números: La Reina de las Matemáticas Entretiene. Nueva York: Dover, 1966, y Guy, RK, "Triángulos con lados, medianas y área enteros". §D21 en Problemas sin resolver en teoría de números, 2.ª ed. New York: Springer-Verlag, pp. 188-190, 1994. Pero hay una tercera edición del libro de Guy.

Observo que estos triángulos no son todos primitivos, pero no pediste eso.

Mire A055193 en oeis.org . Agregué un poco en EJEMPLO sobre el área que da cinco triángulos con la misma área Sture Sjöstedt sture.sjostedt(at)spray.se

Según el comentario de Sture Sjöstedt, hay 5 triples con la misma área de 71831760 . Puede encontrar todos los triples que existen para la misma área ingresando valores de D (área) y un rango de valores de 'm' usando la siguiente fórmula que desarrollé (con ayuda) aquí :

norte 0 = 2 metro 2 3 porque ( ( 1 3 ) arccos ( 3 3 D 2 metro 4 ) )
norte 1 = 2 metro 2 3 porque ( ( 1 3 ) arccos ( 3 3 D 2 metro 4 ) )
norte 2 = norte 1 norte 0

dónde

D 4 metro D 3  

para el caso de 71831760 , dónde

71831760 4 = 92 metro 71831760 3   = 416

norte 0 = F ( 71831760 , 169 ) = 161 F ( 169 , 161 ) = ( 2640 , 54418 , 54482 ) norte 2 = F ( 71831760 , 169 ) = 15 F ( 169 , 15 ) = ( 28336 , 5070 , 28786 ) norte 1 = F ( 71831760 , 176 ) = 169 F ( 176 , 169 ) = ( 2415 , 59488 , 59537 )

Los otros dos triples no primitivos con la misma área se pueden encontrar probando los factores de 71831760 . Esto es tedioso y parecería que no hay más que 3 soluciones a esta ecuación cúbica pero, para el ejemplo proporcionado por Gerry Myerson, tenemos D = 341880 .

para el caso de 341880 , dónde

341880 4 = 24 metro 341880 3   = 70
nos encontramos

norte 0 = F ( 341880 , 37 ) = 33 F ( 37 , 33 ) = ( 280 , 2442 , 2458 ) norte 2 = F ( 341880 , 37 ) = 7 F ( 37 , 7 ) = ( 1320 , 518 , 1418 ) norte 1 = F ( 341880 , 40 ) = 37 F ( 40 , 37 ) = ( 231 , 2960 , 2969 ) norte 1 = F ( 341880 , 56 ) = 55 F ( 56 , 155 ) = ( 111 , 6160 , 6161 )