Πυθαγόρεια τετράδα

Μια πυθαγόρεια τετράδα είναι μια πλειάδα ακεραίων αριθμών , ,  και , τέτοια ώστε . Αποτελούν λύσεις σε μια διοφαντική εξίσωση και συχνά λαμβάνονται υπόψη μόνο θετικές ακέραιες τιμέςR. Spira, The diophantine equation , Amer. Math. Monthly Vol. 69 (1962), No. 5, 360–365.. Ωστόσο, για να δοθεί μια πιο πλήρης γεωμετρική ερμηνεία, οι ακέραιες τιμές μπορούν να είναι αρνητικές και μηδενικές (επιτρέποντας έτσι να συμπεριληφθούν πυθαγόρειες τριάδες) με μόνη προϋπόθεση ότι . Σε αυτό το πλαίσιο, μια πυθαγόρεια τετράδα  ορίζει ένα κυβοειδές με ακέραια μήκη πλευρών , , και , του οποίου η διαγώνιος του χώρου έχει ακέραιο μήκος d. Με αυτή την ερμηνεία, οι πυθαγόρειες τετράδες ονομάζονται επίσης πυθαγόρεια κουτιά.R. A. Beauregard and E. R. Suryanarayan, Pythagorean boxes, Math. Magazine 74 (2001), 222–227. Σε αυτό το λήμμα θα υποθέσουμε, εκτός αν αναφέρεται διαφορετικά, ότι οι τιμές μιας πυθαγόρειας τετράδας αποτελούνται από θετικούς ακέραιους αριθμούς.

 Παραμετροποίηση πρωτόγονων τετράδων 
Μια πυθαγόρεια τετράδα ονομάζεται πρωταρχική αν ο μέγιστος κοινός διαιρέτης των καταχωρίσεών της είναι 1. Κάθε πυθαγόρεια τετράδα είναι ακέραιο πολλαπλάσιο μιας πρωταρχικής τετράδας. Το σύνολο των πρωταρχικών πυθαγόρειων τετράδων για τις οποίες το  είναι περιττό μπορεί να παραχθεί από τους τύπους

όπου , , ,  είναι μη αρνητικοί ακέραιοι αριθμοί με μεγαλύτερο κοινό διαιρέτη 1 τέτοιο ώστε  να είναι περιττός.R.D. Carmichael, Diophantine Analysis, New York: John Wiley & Sons, 1915.L.E. Dickson, Some relations between the theory of numbers and other branches of mathematics, in Villat (Henri), ed., Conférence générale, Comptes rendus du Congrès international des mathématiciens, Strasbourg, Toulouse, 1921, pp. 41–56; reprint Nendeln/Liechtenstein: Kraus Reprint Limited, 1967; Collected Works 2, pp. 579–594. Έτσι, όλες οι πρωταρχικές πυθαγόρειες τετράδες χαρακτηρίζονται από την ταυτότητα

 Εναλλακτική παραμετροποίηση 
Όλες οι πυθαγόρειες τετράδες ( μαζί με τις μη πρωταρχικές και με επανάληψη, αν και τα ,  και  δεν εμφανίζονται σε όλες τις δυνατές σειρές) μπορούν να παραχθούν από δύο θετικούς ακέραιους  και  ως εξής:

Αν  και  έχουν διαφορετική ισοτιμία, έστω  οποιοσδήποτε παράγοντας του  τέτοιος ώστε . Τότε  και .  Ας σημειωθεί ότι {{math|p  d - c}} (η μέθοδος αυτή βασίζεται σε αποτελέσματα που προέκυψαν για τις πυθαγόρειες τριάδες  Amato, Roberto, A characterization of Pythagorean triples, JP Journal of Algebra, Number Theory and Applications 39 (2) (2017), 221-230.).

Η ίδια μέθοδος ισχύει για την παραγωγή όλων των πυθαγόρειων τετράδων για τις οποίες  και  είναι και οι δύο ζυγοί. Έστω  και  και έστω  ένας παράγοντας του  τέτοιος ώστε . Τότε  και . Αυτή η μέθοδος παράγει όλες τις πυθαγόρειες τετράδες ακριβώς μία φορά για κάθε μία, όταν τα  και  διατρέχουν όλα τα ζεύγη φυσικών αριθμών και η  διατρέχει όλες τις επιτρεπτές τιμές για κάθε ζεύγος.

Δεν υπάρχει τέτοια μέθοδος αν και οι δύο  και  είναι μονές, οπότε δεν υπάρχουν λύσεις, όπως φαίνεται από την παραμετροποίηση στην προηγούμενη ενότητα.

 Ιδιότητες 
Ο μεγαλύτερος αριθμός που διαιρεί πάντα το γινόμενο  είναι το 12.<ref>MacHale, Des, and van den Bosch, Christian, «Generalising a result about Pythagorean triples», Mathematical Gazette''' 96, March 2012, pp. 91-96.</ref> Η τετράδα με το ελάχιστο γινόμενο είναι η (1, 2, 2, 2, 3).

Δεδομένου μιας πυθαγόρειας τετράδας  όπου  τότε το  μπορεί να οριστεί ως η νόρμα της τετράδας με την έννοια ότι  και είναι ανάλογο με την υποτείνουσα μιας πυθαγόρειας τριάδας.

Κάθε περιττός θετικός αριθμός εκτός από το 1 και το 5 μπορεί να είναι η νόρμα μιας πρωταρχικής πυθαγόρειας τετράδας  έτσι ώστε  να είναι μεγαλύτεροι από το μηδέν και να είναι πρώτοι προς αλλήλους . Όλες οι πρωτόγονες πυθαγόρειες τετράδες με τους περιττούς αριθμούς ως νόρμες μέχρι το 29 εκτός από το 1 και το 5 δίνονται στον παρακάτω πίνακα.

Παρόμοια με μια πυθαγόρεια τριάδα που δημιουργεί ένα ξεχωριστό ορθογώνιο τρίγωνο, μια πυθαγόρεια τετράδα θα δημιουργήσει ένα ξεχωριστό τρίγωνο του Ήρωνα   Αν τα a, b, c, d είναι μια πυθαγόρεια τετράδα με  θα δημιουργήσει ένα τρίγωνο του Ήρωνα με πλευρές x, y, z ως εξής:-

.

Θα έχει ημιπερίμετρο , εμβαδόν  και ακτίνα .

Το exradii θα είναι:-

.

Η ακτίνα περιφέρειας θα είναι

.

Η διατεταγμένη ακολουθία των εμβαδών αυτής της κατηγορίας τριγώνων του Ήρωνα μπορεί να βρεθεί στη διεύθυνση .

 Σχέση με τα τετραδόνια και τους ορθολογικούς ορθογώνιους πίνακες 
Μία πρωταρχική πυθαγόρεια τετράδα  παραμετροποιείται από  αντιστοιχεί στην πρώτη στήλη της αναπαράστασης του πίνακα  της σύζευξης  με το  τετραδόνιο Χούρβιτς {{math|α  m + ni + pj + qk}} που περιορίζεται στον υποχώρο των τετραδονίων που καλύπτεται από τα , ,
, που προκύπτει από τη σχέση 

όπου οι στήλες είναι κατά ζεύγη ορθογώνιες και κάθε μία έχει νόρμα . Επιπλέον, ισχύει ότι το  ανήκει στην ορθογώνια ομάδα , και, στην πραγματικότητα, όλοι'' οι 3 × 3 ορθογώνιοι πίνακες με ρητούς συντελεστές προκύπτουν με αυτόν τον τρόπο.J. Cremona, Letter to the Editor, Amer. Math. Monthly 94 (1987), 757–758.

 Πρωτογενή πυθαγόρεια τετράδα με μικρή νόρμα 
Υπάρχουν 31 πρωταρχικές πυθαγόρειες τετράδες στις οποίες όλες οι καταχωρήσεις είναι μικρότερες από 30.
(  1,   2, 2, 3)  (  2,10,11,15)  ( 4,13,16,21)  ( 2,10,25,27)( 2,  3, 6, 7)  ( 1,12,12,17)  ( 8,11,16,21)  ( 2,14,23,27)( 1,  4, 8, 9)  ( 8, 9,12,17)  ( 3, 6,22,23)  ( 7,14,22,27)( 4,  4, 7, 9)  ( 1, 6,18,19)  ( 3,14,18,23)  (10,10,23,27)( 2,  6, 9,11)  ( 6, 6,17,19)  ( 6,13,18,23)  ( 3,16,24,29)( 6,  6, 7,11)  ( 6,10,15,19)  ( 9,12,20,25)  (11,12,24,29)( 3,  4,12,13)  ( 4, 5,20,21)  (12,15,16,25)  (12,16,21,29)( 2,  5,14,15)  ( 4, 8,19,21)  ( 2, 7,26,27)

 Δημοσιεύσεις 
Section 0.4 of Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publications Mathématiques de l'IHÉS. 4. doi:10.1007/bf02684778. MR 0217083.
Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157

 Δείτε επίσης 

 Πυθαγόρεια τριάδα

 Εξωτερικοί σύνδεσμοι 

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 A. Bondal, D. Orlov, Semi-orthogonal decomposition for algebraic varieties_, PreprintMPI/95–15, alg-geom/9506006
 CRC Concise Encyclopedia of Mathematics
 Nuggets of Number Theory: A Visual Approach
 Elements of the Theory of Numbers
 Number Treasury 3: Investigations, Facts And Conjectures About More Than 100...

 Παραπομπές 



Κατηγορία:Αλγεβρική γεωμετρία
Κατηγορία:Αναλυτική θεωρία αριθμών
Κατηγορία:Ευκλείδεια επιπεδομετρία
Κατηγορία:Διοφαντικές εξισώσεις
Κατηγορία:Θεωρήματα στη Γεωμετρία
Κατηγορία:Πυθαγόρας