Quadrupel von pythagoräischen Tripeln mit gleichem Flächeninhalt

Kann man explizit finden A ich , B ich , C ich N , ich = 1 , 2 , 3 , 4 so dass

A ich < B ich ,  Und  A ich 2 + B ich 2 = C ich 2 für  ich = 1 , 2 , 3 , 4
Und
A 1 B 1 = A 2 B 2 = A 3 B 3 = A 4 B 4 , C 1 < C 2 < C 3 < C 4 .

Etwas Kontext:

Ein pythagoreisches Tripel ist ein Tripel ( A , B , C ) N so dass A 2 + B 2 = C 2 . Das sagen wir ( A , B , C ) ist primitiv, wenn A , B Und C sind teilerfremd . Im dedizierten Wikipedia- Artikel steht folgendes:

  • ( ( 20 , 21 , 29 ) , ( 12 , 35 , 37 ) ) ist das erste Paar primitiver pythagoräischer Tripel, so dass die induzierten Dreiecke dieselbe Fläche haben = 210 .

  • ( ( 4485 , 5852 , 7373 ) , ( 3059 , 8580 , 9109 ) , ( 1380 , 19019 , 19069 ) ) ist ein Tripel von primitiven pythagoräischen Tripeln, so dass die induzierten Dreiecke dieselbe Fläche haben = 13123110 .

  • Für jede natürliche Zahl N , es gibt N Pythagoräische Tripel mit unterschiedlichen Hypotenusen und gleichem Flächeninhalt.

Eine äquivalente Formulierung der obigen Frage lautet: Gibt es ein explizit bekanntes Quadrupel von pythagoreischen Tripeln, so dass die induzierten Dreiecke denselben Flächeninhalt haben?

Hinweis: A093536 behauptet, dass für ein solches Quadruple der fragliche Bereich sein wird 10 17 .

Hinweis: Diese Probleme sind aus folgenden Gründen äquivalent: Es folgt aus der grundlegenden Tatsache, dass die Fläche eines Dreiecks einem pythagoräischen Tripel zugeordnet ist ( A , B , C ) wird von gegeben A B / 2 Und 2 N 2 = k 2 hat nur ( 0 , 0 ) als ganzzahlige Lösung. BTW beachte das A ich , B ich , C ich sind teilerfremd, wenn und nur wenn gcd ( A ich , gcd ( B ich , C ich ) ) = 1 für ich = 1 , , 4 .

Schreiben Sie ein System nichtlinearer diophantischer Gleichungen und lösen Sie es. Für 4 wäre es schwierig zu lösen. Klein anfangen müssen.
@individ Ich habe nicht einmal eine Ahnung, wie man ein solches System für 2 löst (ich habe nie an diophantischen Gleichungen gearbeitet, also an nichtlinearen ...). Hast du vielleicht ein paar Referenzen?
Beachten Sie, dass A093536 diese Behauptung nur für primitive Tripel aufstellt .

Antworten (3)

Hier heißt es : „Man kann auch Quartette rechtwinkliger Dreiecke mit gleichem Flächeninhalt finden. Das Quartett mit dem kleinsten bekannten Flächeninhalt ist

( 111 , 6160 , 6161 ) , ( 231 , 2960 , 2969 ) , ( 518 , 1320 , 1418 ) , ( 280 , 2442 , 2458 )
mit Fläche 341880 (Beiler 1966, S. 127). Guy (1994) gibt zusätzliche Informationen.“

Die Referenzen sind Beiler, AH, „The Eternal Triangle“, Kap. 14 in Recreations in the Theory of Numbers: The Queen of Mathematics Entertains. New York: Dover, 1966, und Guy, RK, „Triangles with Integer Sides, Medians, and Area“. §D21 in Unsolved Problems in Number Theory, 2. Aufl. New York: Springer-Verlag, S. 188-190, 1994. Aber es gibt eine 3. Auflage von Guys Buch.

Ich stelle fest, dass diese Dreiecke nicht alle primitiv sind, aber Sie haben nicht danach gefragt.

Siehe A055193 i oeis.org . Ich habe in BEISPIEL etwas über die Fläche hinzugefügt, die fünf Dreiecke mit der gleichen Fläche ergibt Sture Sjöstedt sture.sjostedt(at)spray.se

Laut dem Kommentar von Sture Sjöstedt gibt es sie 5 Tripel mit der gleichen Fläche von 71831760 . Sie können alle Tripel finden, die für denselben Bereich existieren, indem Sie die Werte von einsetzen D (Fläche) und eine Reihe von Werten von 'm' unter Verwendung der folgenden Formel, die ich (mit Hilfe) hier entwickelt habe :

N 0 = 2 M 2 3 cos ( ( 1 3 ) arccos ( 3 3 D 2 M 4 ) )
N 1 = 2 M 2 3 cos ( ( 1 3 ) arccos ( 3 3 D 2 M 4 ) )
N 2 = N 1 N 0

Wo

D 4 M D 3  

Für den Fall von 71831760 , Wo

71831760 4 = 92 M 71831760 3   = 416

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

Die anderen beiden nicht-primitiven Tripel mit derselben Fläche können durch Testen der Faktoren von gefunden werden 71831760 . Das ist mühsam und es scheint, dass es nicht mehr als gibt 3 Lösungen für diese kubische Gleichung, aber für das Beispiel von Gerry Myerson haben wir D = 341880 .

Für den Fall von 341880 , Wo

341880 4 = 24 M 341880 3   = 70
wir wir finden

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