Προβολή πηγαίου κώδικα για τη σελίδα Αριθμοί του Πελ

Δεν έχετε την άδεια να τροποποιήσετε αυτή τη σελίδα, για τον ακόλουθο λόγο:
Η διεύθυνση IP σας βρίσκεται σε ένα εύρος που έχει αποκλειστεί σε όλα τα wiki του Ιδρύματος Wikimedia.
Ο αποκλεισμός έγινε από ‪EPIC‬ . Ο λόγος που δίνεται είναι Open proxy/Webhost: See the help page if you are affected .
Έναρξη αποκλεισμού: 08:48, 2 Ιουλίου 2024
Λήξη αποκλεισμού: 08:48, 2 Ιουλίου 2025
Η τρέχουσα διεύθυνση IP σας είναι 206.189.44.186 . Το αποκλεισμένο εύρος είναι 206.189.32.0/20 .
Παρακαλούμε συμπεριλάβετε τις παραπάνω λεπτομέρειες σε όποια ερωτήματα κάνετε. Εάν πιστεύετε ότι έχετε αποκλειστεί κατά λάθος, μπορείτε να βρείτε πρόσθετες πληροφορίες και οδηγίες στην παγκόσμια πολιτική No open proxies παγκόσμια πολιτική.
Διαφορετικά, για να συζητήσετε τον αποκλεισμό, παρακαλούμε αναρτήστε ένα αίτημα για έλεγχο στο Meta-Wiki. ⧼wikimedia-globalblocking-blockedtext-mistake- email-steward⧽
Μπορείτε να δείτε και να αντιγράψετε τον κώδικα της σελίδας:
Στα [[μαθηματικά]], οι '''αριθμοί του Πελ''' είναι μια άπειρη [[ακολουθία]] [[Ακέραιοι αριθμοί|ακεραίων αριθμών]] που είναι γνωστοί από την αρχαιότητα, οι [[παρονομαστής|παρονομαστές]] της [[πλησιέστερη ρητή προσέγγιση|πλησιέστερης ρητής προσέγγισης]] στην [[τετραγωνική ρίζα]] του 2. Αυτή η ακολουθία των προσεγγίσεων ξεκινάει  1/1, 3/2, 7/5, 17/12, και 41/29, έτσι η ακολουθία των αριθμών του Πελ ξεκινάει με 1, 2, 5, 12, και 29. Οι αριθμητές της ίδιας ακολουθίας των προσεγγίσεων είναι το ήμισυ των '''''companion'' αριθμών Πελ''' ή '''αριθμοί των Πελ-Λούκας'''. Αυτοί οι αριθμοί σχηματίζουν μια δεύτερη άπειρη ακολουθία που ξεκινά με 2, 6, 14, 34, και 82.

Μαζί, οι αριθμοί του Πελ και οι ''companion'' αριθμοί Πελ μπορούν να υπολογιστούν με την βοήθεια μιας [[αναδρομική σχέση|αναδρομικής σχέσης]] παρόμοιας με αυτής για τους [[αριθμοί Φιμπονάτσι|αριθμούς Φιμπονάτσι]], και ακόμη και οι δυο ακολουθίες αριθμών [[εκθετική αύξηση|αυξάνονται εκθετικά]], αναλογικά με τις δυνάμεις της [[ασημένια αναλογία|ασημένιας αναλογίας]] 1 + √2. Καθώς χρησιμοποιούνται για την προσέγγιση της τετραγωνικής ρίζας του δυο, οι αριθμοί του Πελ μπορούν να χρησιμοποιηθούν για να βρεθεί το [[τετράγωνο των τριγωνικών αριθμών]], για να κατασκευαστούν οι προσεγγίσεις των ακεραίων στο [[σωστό ισοσκελές τρίγωνο]], και για να λύσει συγκεκριμένα προβλήματα συνδυαστικής απαρίθμησης. <ref>, Για παράδειγμα, ο Σέλερς (2002) απέδειξε ότι οι αριθμοί των τέλειων συνδυασμών στο Καρτεσιανό γινόμενο από ένα γράφημα μονοπάτι και ένα K4-e μπορεί να υπολογιστεί σαν το γινόμενο του αριθμού του Πελ με τον αντίστοιχο αριθμό του Φιμπονάτσι.</ref>

Όπως και με την [[εξίσωση του Πελ]], το όνομα των αριθμών του Πελ πηγάζει από την λανθασμένη απόδοση του [[Λέοναρντ Όιλερ]] της εξίσωσης και των αριθμών που προέρχονται απ αυτήν του [[Τζον Πελ]]. Οι αριθμοί Πελ-Λούκας έχουν επίσης ονομαστεί από τον [[Έντουαρντ Λούκας]], που μελέτησε ακολουθίες που καθορίζονται από επαναλήψεις του τύπου αυτού. Οι αριθμοί Πελ και οι companion αριθμοι Πελ είναι [[ακολουθία του Λούκας|ακολουθίες του Λούκας]].

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

==Οι αριθμοί του Πελ==
Οι αριθμοί του Πελ ορίζονται από την [[αναδρομική σχέση]]
:<math>P_n=\begin{cases}0&\mbox{αν }n=0;\\1&\mbox{αν }n=1;\\2P_{n-1}+P_{n-2}&\mbox{διαφορετικά.}\end{cases}</math>
Με λόγια, η ακολουθία των αριθμών του Πελ ξεκινάει με 0 και 1, και μετά κάθε ένας αριθμός του Πελ είναι το άθροισμα του διπλάσιου προηγούμενου αριθμού Πελ και του αριθμού του Πελ πριν απ' αυτόν. Μερικοί απ τους πρώτους όρους της ακολουθίας είναι <br/>[[0 (αριθμός)|0]], [[1 (αριθμός)|1]], [[2 (αριθμός)|2]], [[5 (αριθμός)|5]], [[12 (αριθμός)|12]], [[29 (αριθμός)|29]], [[70 (αριθμός)|70]], [[169 (αριθμός)|169]], 408, 985, 2378...

Οι αριθμοί του Πελ μπορούν επίσης να εκφραστούν με τον τύπο κλειστής μορφής
:<math>P_n=\frac{(1+\sqrt2)^n-(1-\sqrt2)^n}{2\sqrt2}.</math>
Για μεγάλες τιμές του ''n'', ο <math>\scriptstyle (1+\sqrt 2)^n</math> όρος κυριαρχεί αυτήν την έκφραση, έτσι οι αριθμοί του Πελ είναι περίπου ανάλογοι στις δυνάμεις της [[ασημένια αναλογία|ασημένιας αναλογίας]] <math>\scriptstyle (1+\sqrt 2)</math>, ανάλογοι στον ρυθμό ανάπτυξης τον αριθμών Φιμπονάτσι σαν δυνάμεις της [[Χρυσή τομή|χρυσής αναλογίας]].

Ένας τρίτος ορισμός είναι δυνατός, από τον τύπο [[Μήτρα (μαθηματικά)|μήτρας]]
:<math>\begin{pmatrix} P_{n+1} & P_n \\ P_n & P_{n-1} \end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 0 \end{pmatrix}^n.</math>

Πολλές ταυτότητες μπορούν να εξαχθούν ή να αποδειχθούν από αυτούς τους ορισμούς. Για παράδειγμα μια ταυτότητα ανάλογη της [[ταυτότητα Κασίνι|ταυτότητας Κασίνι]] για τους αριθμούς του Φιμπονάτσι,<br/>
:<math>P_{n+1}P_{n-1}-P_n^2 = (-1)^n,</math>
<br/>είναι μια άμεση συνέπεια του τύπου του πίνακα (διαπιστώθηκε από την εξέταση των παραγόντων που επηρεάζουν τις μήτρες στην αριστερή και στη δεξιά πλευρά της τύπου της μήτρας).<ref>Για τον τύπο μήτρας και τις συνέπειές της βλέπε Ερκολάνο (1979) και Κίλιτς και Τάσκι (2005). Οι πρόσθετες ταυτότητες για τους αριθμούς Πελ αναφέρονται από τον Horadam (1971) και τον Bicknell (1975).</ref>

== Προσέγγιση στην τετραγωνική ρίζα του (2) δύο ==
[[Image:Pell octagons.svg|thumb|300px|ρητές προσεγγίσεις του κανονικού [[Οκτάγωνο|οκταγώνου]] , με συντεταγμένες που προέρχονται από τους αριθμούς Pell.]]
Οι αριθμοί του Πελ προκύπτουν ιστορικά και κυρίως στην [[ρητή προσέγγιση]] της [[Τετραγωνική ρίζα του 2|τετραγωνικής ρίζας του 2]]
Αν δυο μεγάλοι ακέραιοι ''x'' και ''y'' σχηματίζουν μια λύση της [[εξίσωση του Πελ|εξίσωσης του Πελ]] <br/>
:<math>\displaystyle x^2-2y^2=\pm 1,</math>
<br/> τότε η αναλογία τους <math>\tfrac{x}{y}</math> παρέχει μια στενή προσέγγιση της <math>\scriptstyle\sqrt 2</math>. Η ακολουθία προσεγγίσεων αυτού του τύπου είναι
:<math>1, \frac32, \frac75, \frac{17}{12}, \frac{41}{29}, \frac{99}{70}, \dots</math>
<br/>όπου ο παρονομαστής από κάθε κλάσμα είναι ένας αριθμός του Πελ και ο αριθμητής είναι το άθροισμα ενός αριθμού του Πελ και του προηγούμενου του στην ακολουθία. 
Έτσι, οι λύσεις έχουν τη μορφή <math>\tfrac{P_{n-1}+P_n}{P_n}</math>. Η προσέγγιση
:<math>\sqrt 2\approx\frac{577}{408}</math>
<br/> αυτού του τύπου ήταν γνωστή στους Ινδούς μαθηματικούς από τον τρίτο ή τέταρτο αιώνα π.Χ. <ref>Όπως καταγράφεται στο [[Shulba Sutras]]; βλέπε π.χ. Dutka (1986),ο οποίος παραθέτει Thibaut (1875) για αυτήν την πληροφορία.</ref> Οι Έλληνες μαθηματικοί του πέμπτου αιώνα π.Χ. ήξεραν επίσης γι' αυτήν την ακολουθία των προσεγγίσεων: <ref>Βλέπε Knorr (1976) για τον πέμπτο αιώνα, ο οποίος ταιριάζει τον ισχυρισμό του [[Πρόκλος|Πρόκλου]] ότι οι αριθμοί πλευράς και διαμέτρου ανακαλύφθηκαν από τους [[Πυθαγόρειοι|Πυθαγόρειους]].Για πιο λεπτομερή εξερεύνηση της μεταγενέστερης ελληνικής γνώσης αυτών των αριθμών βλέπε Thompson (1929), Vedova (1951), Ridenhour (1986), Knorr (1998), and Filep (1999).</ref> Ο Πλάτωνας αναφέρεται στους αριθμητές ως τις '''ρητές διαμέτρους'''.<ref> Για παράδειγμα, όπως πολλές από τις παραπομπές από το προηγούμενο σημείωμα παρατηρούν, στην [[Πολιτεία του Πλάτωνα]] υπάρχει μια αναφορά στην "ρητή διάμετρο του 5", με την οποία ο [[Πλάτων]] εννοεί 7, τον αριθμητή της προσέγγισης 7/5 της οποίας το 5 είναι ο παρονομαστής.</ref> Τον 2ο αιώνα μ.Χ. ο [[Θέων της Σμύρνης]] χρησιμοποίησε τον όρο '''αριθμοί πλευράς και διαμέτρου''' για να περιγράψει τους παρονομαστές και τους αριθμητές αυτής της ακολουθίας.<ref>{{citation|title=History of Greek Mathematics: From Thales to Euclid|first=Sir Thomas Little|last=Heath|authorlink=Thomas Little Heath|publisher=Courier Dover Publications|year=1921|isbn=9780486240732|page=112|url=http://books.google.co.uk/books?id=drnY3Vjix3kC&pg=PA112}}.</ref><br/>Οι προσεγγίσεις αυτές θα μπορούσαν να προέρχονται από το [[συνεχές κλάσμα]] εάν είχαν επεκταθεί κατά <math>\scriptstyle\sqrt 2</math>:
:<math>\sqrt 2 = 1 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \ddots\,}}}}}.</math>
Περικόπτοντας αυτή την επέκταση σε οποιονδήποτε αριθμό των όρων παράγει έναν από τους αριθμούς του Πελ βασισμένοι στις προσεγγίσεις των αριθμών αυτών. Για παράδειγμα,:<math>\frac{577}{408} = 1 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2}}}}}}}.</math>
<br/>Όπως ο Knuth (1994) περιγράφει, το γεγονός ότι οι αριθμοί του Πελ με προσέγγιση <math>\scriptstyle\sqrt 2</math> τους επιτρέπει να χρησιμοποιούν για ακριβής ρητές προσεγγίσεις σε ένα κανονικό [[οκτάγωνο]] με κορυφή τις συντεταγμένες <math>(\pm P_i,\pm P_{i+1})</math> και <math>(\pm P_{i+1},\pm P_i)</math>.Όλες οι κορυφές είναι εξίσου μακριά από την αρχή και αποτελούν σχεδόν ομοιόμορφες γωνίες γύρω από την αρχή. Εναλλακτικά, τα σημεία <math>(\pm(P_i+P_{i-1}),0)</math>, <math>(0,\pm(P_i+P_{i-1}))</math> και <math>(\pm P_i,\pm P_i)</math> αποτελούν κατά προσέγγιση οκτάγωνα όπου οι κορυφές έχουν σχεδόν ίση απόσταση από την αρχή και τις γωνίες να είναι με ενιαία μορφή.

==Πρώτοι αριθμοί και Τετράγωνα==
Ένας '''Πελ Πρώτος Αριθμός''' είναι ένας αριθμός Πελ που είναι [[πρώτος αριθμός]]. Οι πρώτοι Πελ αριθμοί είναι :2, 5, 29, 5741, ... {{OEIS|id=A086383}}. Όπως και με τους αριθμούς Fibonacci, ένας αριθμός Πελ <math>P_n</math> δεν μπορεί παρά να είναι πρώτος αν '' n'' το ίδιο είναι πρώτο.

Οι αριθμοί Pell που είναι [[Τετράγωνο (άλγεβρα)|τετράγωνα]], [[Κύβος (άλγεβρα)|κύβοι]], ή οποιαδήποτε ανώτερη δύναμη του ακεραίου είναι 0, 1, and 169 = 13<sup>2</sup>.<ref>Pethő (1992); Cohn (1996).</ref> Αν και οι [[αριθμοί Φιμπονάτσι]] ορίζονται από μια πολύ παρόμοια αναδρομική σχέση με αυτήν των αριθμών Πελ, ο Cohn γράφει ότι ένα ανάλογο αποτέλεσμα για τους αριθμούς Φιμπονάτσι φαίνεται πολύ πιο δύσκολο να αποδειχθεί. (Ωστόσο, αυτό αποδείχθηκε το 2006 από Bugeaud.<ref>{{cite journal |last=Bugeaud |first=Yann |coauthors=Mignotte, Maurice; Siksek, Samir |title=Classical and modular approaches to exponential Diophantine equations I. Fibonacci and Lucas perfect powers |url=https://archive.org/details/sim_annals-of-mathematics_2006-05_163_3/page/969 |journal=Annals of Mathematics |date=1 Μαΐου 2006 |volume=163 |issue=3 |pages=969–1018 |doi=https://doi.org/10.4007/annals.2006.163.969}}</ref>)

Ωστόσο, παρά το γεγονός ότι έχουμε τόσο λίγα τετράγωνα ή άλλες δυνάμεις,oi αριθμοί Πελ έχουν μια στενή σχέση με τους [[τετραγωνικούς τριγωνικούς αριθμούς]]. <ref> Sesskin (1962). Δείτε το [[τετραγωνικός τριγωνικός αριθμός]] άρθρο για ένα πιο λεπτομερή υπολογισμό </ref> Συγκεκριμένα, οι αριθμοί αυτοί προκύπτουν από την ακόλουθη ταυτότητα των Πελ αριθμών.:
:<math>\bigl((P_{k-1}+P_k)\cdot P_k\bigr)^2 = \frac{(P_{k-1}+P_k)^2\cdot\left((P_{k-1}+P_k)^2-(-1)^k\right)}{2}.</math>
Η αριστερή πλευρά της ταυτότητας αυτής περιγράφει έναν [[τετραγωνικό αριθμό]], ενώ η δεξιά πλευρά περιγράφει έναν [[Τρίγωνοι Αριθμοί|τριγωνικό αριθμό]], ώστε το αποτέλεσμα να είναι ένας τετράγωνικος τριγωνικός αριθμός.

Οι Santana και Diaz-Barrero (2006) αποδεικνύουν μια άλλη ταυτότητα που αφορούν τους αριθμούς Πελ σε τετράγωνα και δείχνει ότι το άθροισμα των αριθμών Πελ μέχρι <math> P_ {4n +1} </math> είναι πάντα ένα τετράγωνο:
:<math>\sum_{i=0}^{4n+1} P_i = \left(\sum_{r=0}^n 2^r{2n+1\choose 2r}\right)^2 = (P_{2n}+P_{2n+1})^2.</math>

Για παράδειγμα, το άθροισμα των αριθμών Pell μέχρι <math>P_5</math>, <math>0+1+2+5+12+29=49</math>, είναι το τετράγωνο από 
<math>P_2+P_3=2+5=7</math>. Οι αριθμοί <math>P_{2n}+P_{2n+1}</math> σχηματίζουν τις τετραγωνικές ρίζες των εν λόγω ποσών,
:1, 7, 41, 239, 1393, 8119, 47321, ... {{OEIS|id=A002315}}, είναι γνωστοί ως οι [[Newman-Shanks-Williams αριθμοί | Newman-Shanks-Williams (NSW) αριθμοί]].

== Πυθαγόρειες Τριάδες==
[[Image:Pell right triangles.svg|thumb|300px|Ορθό τρίγωνο ακεραίων με σχεδόν ίσα σκέλη, που προέρχονται από τους αριθμούς Pell.]]
Εάν ένα [[ορθογώνιο τρίγωνο]] έχει ακέραιες τιμές στα μήκη των πλευρών  ''a'', ''b'', ''c'' (ικανοποιούν κατ 'ανάγκη το [[Πυθαγόρειο Θεώρημα]]  ''a''<sup>2</sup>+''b''<sup>2</sup>=''c''<sup>2</sup>), τότε οι (''a'',''b'',''c'') είναι γνωστό ως οι [[Πυθαγόρειες Τριάδες]].
Όπως ο Martin (1875) περιγράφει, οι αριθμοί Πελ μπορούν να χρησιμοποιηθούν για να σχηματίσουν Πυθαγόρειες τριάδες στις οποίες οι πλευρές ''a'' και '' b'' είναι μία μονάδα χώρια, που αντιστοιχεί προς τα δεξιά τρίγωνα που είναι σχεδόν ισοσκελές. Κάθε τέτοια τριάδα έχει τη μορφή
:<math>(2P_{n}P_{n+1}, P_{n+1}^2 - P_{n}^2, P_{n+1}^2 + P_{n}^2=P_{2n+1}).</math>
Η ακολουθία των Πυθαγόρειων Τριάδων σχηματίζονται με τον τρόπο αυτό και είναι
:(4,3,5), (20,21,29), (120,119,169), (696,697,985), ....

==Οι Αριθμοί Πελ-Λούκας==
Οι '''συντροφικοί αριθμοί Πελ''' ή '''αριθμοί Πελ-Λούκας''' ορίζονται από την [[αναδρομική σχέση]]
:<math>Q_n=\begin{cases}2&\mbox{αν }n=0;\\2&\mbox{αν }n=1;\\2Q_{n-1}+Q_{n-2}&\mbox{διαφορετικά.}\end{cases}</math>

Με λίγα λόγια: οι δύο πρώτοι αριθμοί στην ακολουθία είναι αμφότεροι 2, και κάθε διαδοχικός αριθμός σχηματίζεται με προσθήκη δύο φορές το προηγούμενο Πελ-Λούκας αριθμό στον Πελ-Λούκας αριθμό πριν από αυτό, ή ισοδύναμα, προσθέτοντας τον επόμενο αριθμό Πελ στο προηγούμενο Πελ αριθμό: έτσι, το 82 είναι ο σύντροφος στο 29, και 82 = 2 * 34 + 14 = 70 + 12. Οι πρώτοι όροι της ακολουθίας είναι
{{OEIS|id=A002203}}: [[2 (αριθμός)|2]], [[2 (αριθμός)|2]], [[6 (αριθμός)|6]], [[14 (αριθμός)|14]], [[34 (αριθμός)|34]], [[82 (αριθμός)|82]], [[198 (αριθμός)|198]], [[478 (αριθμός)|478]]...

Οι σύντροφοι αριθμοί Πελ μπορούν να εκφραστούν από το κλειστό τύπο:
:<math>Q_n=(1+\sqrt 2)^n+(1-\sqrt 2)^n.</math>
Οι αριθμοί αυτοί είναι όλοι ακόμα. Κάθε τέτοιος αριθμός είναι δύο φορές ο αριθμητής σε μία από τις προσεγγίσεις για την ρητή <math>\scriptstyle\sqrt2</math> που συζητήθηκε παραπάνω.

==Υπολογισμοί και συνδέσεις==
Ο παρακάτω πίνακας δίνει τις πρώτες αρμοδιότητες της [[ασημί αναλογίας]] <math>\delta=\delta_S=1+\sqrt2</math> και του συζυγή του
<math>\bar{\delta}=1-\sqrt{2}</math>.
{| class="wikitable"
|-
! <math> n </math>
! <math>(1+\sqrt{2})^n</math>
! <math>(1-\sqrt{2})^n</math>
|-
| 0
| <math>1+0\sqrt{2}=1.0</math>
| <math>1-0\sqrt{2}=1.0</math>
|-
| 1
| <math>1+1\sqrt{2}=2.41421\ldots</math>
| <math>1-1\sqrt{2}=-0.41421\ldots</math>
|-
| 2
| <math>3+2\sqrt{2}=5.82842\ldots</math>
| <math>3-2\sqrt{2}=0.17157\ldots</math>
|-
| 3
| <math>7+5\sqrt{2}=14.07106\ldots</math>
| <math>7-5\sqrt{2}=-0.07106\ldots</math>
|-
| 4
| <math>17+12\sqrt{2}=33.97056\ldots</math>
| <math>17-12\sqrt{2}=0.02943\ldots</math>
|-
| 5
| <math>41+29\sqrt{2}=82.01219\ldots</math>
| <math>41-29\sqrt{2}=-0.01219\ldots</math>
|-
| 6
| <math>99+70\sqrt{2}=197.9949\ldots</math>
| <math>99-70\sqrt{2}=0.0050\ldots</math>
|-
| 7
| <math>239+169\sqrt{2}=478.00209\ldots</math>
| <math>239-169\sqrt{2}=-0.00209\ldots</math>
|-
| 8
| <math>577+408\sqrt{2}=1153.99913\ldots</math>
| <math>577-408\sqrt{2}=0.00086\ldots</math>
|-
| 9
| <math>1393+985\sqrt{2}=2786.00035\ldots</math>
| <math>1393-985\sqrt{2}=-0.00035\ldots</math>
|-
| 10
| <math>3363+2378\sqrt{2}=6725.99985\ldots</math>
| <math>3363-2378\sqrt{2}=0.00014\ldots</math>
|-
| 11
| <math>8119+5741\sqrt{2}=16238.00006\ldots</math>
| <math>8119-5741\sqrt{2}=-0.00006\ldots</math>
|-
| 12
| <math>19601+13860\sqrt{2}=39201.99997\ldots</math>
| <math>19601-13860\sqrt{2}=0.00002\ldots</math>
|}

Οι συντελεστές είναι οι Μισοί σύντροφοι αριθμοί Πελ <math>H_n</math> και οι αριθμοί Πελ  <math>P_n</math> που είναι οι (μη αρνητικοί)
λύσεις των <math>H^2-2P^2=\pm1</math>. Ένας [[τετραγωνικός τρίγωνος αριθμός]] είναι ένας αριθμός <math>N=\frac{t(t+1)}{2}=s^2</math> ο οποίος είναι και ο <math>t\, </math>th τριγωνικός αριθμός και ο <math>s\,</math>th τετραγωνικός αριθμός.
Μια ''κοντινή ισοσκελή Πυθαγόρεια τριάδα'' είναι μία ακέραια λύση <math>a^2+b^2=c^2</math> όπου <math>a+1=b</math>.

Ο επόμενος πίνακας δείχνει ότι ο διαχωρισμός του περιττού αριθμού  <math>H_n</math> σχεδόν σε ίσα μισά δίνει ένα τετράγωνο τριγωνικό αριθμό όταν το n είναι άρτιος και κοντά σε ισοσκελές Πυθαγόρεια Τριάδα όταν ο n είναι περιττός. Όλες οι λύσεις προκύπτουν με τον τρόπο αυτό.

{| class="wikitable"
|-
! <math> n </math>
! <math> H_n </math>
! <math> P_n </math>
!t
!t+1
!s
|a
|b
|c
|-
|0
|1
|0
|0
|0
|0
|-
|1
|1
|1
| 
|
| 
|0
|1
|1
|-
|2
|3
|2
|1
|2
|1
|-
|3
|7
|5
|
| 
| 
|3
|4
|5
|-
|4
|17
|12
|8
|9
|6
|-
|5
|41
|29
|
| 
| 
|20
|21
|29
|-
|6
|99
|70
|49
|50
|35
|-
|7
|239
|169
| 
|
| 
|119
|120
|169
|-
|8
|577
|408
|288
|289
|204
|-
|9
|1393
|985
|
|
|
|696
|697
|985
|-
|10
|3363
|2378
|1681
|1682
|1189
|-
|11
|8119
|5741
|
|
|
|4059
|4060
|5741
|-
|12
|19601
|13860
|9800
|9801
|6930
|}

===Ορισμοί===
Οι μισοί σύντροφοι αριθμοί Πελ <math>H_n</math> και οι αριθμοί Πελ  <math>P_n</math>
μπορούν να προκύψουν σε μια σειρά από εύκολους ισοδύναμους τρόπους:

''Η αύξηση των δυνάμεων'':


:<math>(1+\sqrt2)^n=H_n+P_n\sqrt{2}</math>

:<math>(1-\sqrt2)^n=H_n-P_n\sqrt{2}.</math>

Από τα ανωτέρω προκύπτει ότι υπάρχουν ''κλειστοί'' τύποι:


:<math>H_n=\frac{(1+\sqrt2)^n+(1-\sqrt2)^n}{2}.</math>
και
:<math>P_n\sqrt2=\frac{(1+\sqrt2)^n-(1-\sqrt2)^n}{2}.</math>

''Ζεύγη Επανάληψης'':

:<math>H_n=\begin{cases}1&\mbox{if }n=0;\\H_{n-1}+2P_{n-1}&\mbox{otherwise.}\end{cases}</math>
:<math>P_n=\begin{cases}0&\mbox{if }n=0;\\H_{n-1}+P_{n-1}&\mbox{otherwise.}\end{cases}</math>

και ''πίνακες διατύπωσης''

:<math>\begin{pmatrix} H_n \\ P_n  \end{pmatrix} = \begin{pmatrix} 1 & 2 \\ 1 & 1 \end{pmatrix} \begin{pmatrix} H_{n-1} \\ P_{n-1}  \end{pmatrix} = \begin{pmatrix} 1 & 2 \\ 1 & 1 \end{pmatrix}^n \begin{pmatrix} 1 \\ 0  \end{pmatrix}.</math>

έτσι 

:<math> \begin{pmatrix} H_n & 2P_n \\ P_n & H_n \end{pmatrix}= \begin{pmatrix} 1 & 2 \\ 1 & 1 \end{pmatrix}^n .</math>

=== Προσεγγίσεις ===
Η διαφορά μεταξύ <math>H_n \,</math> και <math>P_n\sqrt2</math> είναι <math>(1-\sqrt2)^n \approx (-0.41421)^n</math> η οποία πηγαίνει γρήγορα στο μηδέν. Έτσι,
<math>(1+\sqrt2)^n=H_n+P_n\sqrt2 </math> είν��ι πολύ κοντά <math>2H_n \, </math>.

Απ' αυτήν την τελευταία παρατήρηση προκύπτει ότι οι αναλογίες ακεραίων <math>\frac{H_n}{P_n}</math> προσεγγίζουν ραγδαία το <math>\sqrt2 \,</math> καθώς οι <math>\frac{H_n}{H_{n-1}}\, </math> and <math>\frac{P_n}{P_{n-1}}\, </math> προσεγγίζουν ραγδαία το <math>1+\sqrt2 \, </math>.


=== ''H''<sup>2</sup>&nbsp;&minus;&nbsp;2''P''<sup>2</sup>&nbsp;=&nbsp;±1 ===
Δεδομένου ότι η <math>\sqrt2</math> είναι άρρητος, δεν μπορούμε να έχουμε <math>\frac{H}{P}=2\, </math> δηλαδή <math>\frac{H^2}{P^2}=\frac{2P^2}{P^2}\, </math>. Το καλύτερο που μπορούμε να επιτύχουμε είναι είτε <math>\frac{H^2}{P^2}=\frac{2P^2-1}{P^2}\, </math> ή <math>\frac{H^2}{P^2}=\frac{2P^2+1}{P^2} </math>.

Οι (μη αρνητικές) λύσεις της <math>H^2-2P^2=1 \,</math> είναι ακριβώς τα ζεύγη <math>H_n,P_n \mbox{ with} n\, </math> άρτιος και οι λύσεις της <math>H^2-2P^2=-1 \,</math> είναι ακριβώς τα ζεύγη <math>H_n,P_n \mbox{ with } n \,</math> περιττό. Για να δείτε αυτό, σημειώστε πρώτα ότι

:<math>H_{n+1}^2-2P_{n+1}^2=(H_n+2P_n)^2-2(H_n+P_n)^2=-(H_n^2-2P_n^2) \,</math>
έτσι ώστε αυτές οι διαφορές, ξεκινώντας με την <math>H_{0}^2-2P_{0}^2=1 \, </math> είναι εναλλάξ 
<math>1 \mbox{ and }-1 \,</math>. Στη συνέχεια, σημειώστε ότι κάθε θετική λύση έρχεται με αυτό τον τρόπο από μια λύση με μικρότερους ακεραίους από
<math>(2P-H)^2-2(H-P)^2=-(H^2-2P^2) \,</math>. Η μικρότερη λύση έχει επίσης θετικούς ακεραίους, με εξαίρεση μία 
<math>H=P=1 \,</math> η οποία προέρχεται από <math>H_0=1 \mbox{ and }P_0=0 \,</math>.


===  Τετράγωνο τριγωνικών αριθμών ===
{{main|Τετράγωνο τριγωνικού αριθμού }}
Η απαιτούμενη εξίσωση <math>\frac{t(t+1)}{2}=s^2\, </math> είναι ισοδύναμο με <math>4t^2+4t+1=8s^2+1 \,</math> η οποία γίνεται 
<math>H^2=2P^2+1</math> με τις υποκαταστάσεις <math>H=2t+1 \mbox{ and } P=2s </math>. Εξ ου και η νιοστή λύση είναι <math>t_n=\frac{H_{2n}-1}{2}</math> και <math>s_n=\frac{P_{2n}}{2}.</math> 

Παρατηρήστε ότι <math>t</math> και <math>t+1</math> είναι πρώτα μεταξύ τους, έτσι ώστε  <math>\frac{t(t+1)}{2}=s^2\, </math> συμβαίνει ακριβώς όταν είναι γειτονικά ακέραιοι, ένα τετράγωνο <math>H^2</math> και η άλλη δύο φορές το τετράγωνο <math>2P^2</math>. Επειδή γνωρίζουμε όλες τις λύσεις αυτής της εξίσωσης, έχουμε επίσης

:<math>t_n=\begin{cases}2P_n^2&\mbox{if }n\mbox{ is even};\\H_{n}^2&\mbox{if }n\mbox{ is odd.}\end{cases}</math>
και <math>s_n=H_nP_n\,</math>

Αυτή η εναλλακτική έκφραση φαίνεται στον επόμενο πίνακα.

{| class="wikitable"
|-
! <math> n </math>
! <math> H_n </math>
! <math> P_n </math>
!
!t
!t+1
!s
!
|a
|b
|c
|-
|0
|1
|0
|
|
|
|
|
|
|
|
|-
|1
|1
|1
|
|1
|2
|1
|
|1
|0
|1
|-
|2
|3
|2
|
|8
|9
|6
|
|3
|4
|5
|-
|3
|7
|5
|
|49
|50
|35
|
|21
|20
|29
|-
|4
|17
|12
|
|288
|289
|204
|
|119
|120
|169
|-
|5
|41
|29
|
|1681
|1682
|1189
|
|697
|696
|985
|-
|6
|99
|70
|
|9800
|9801
|6930
|
|4059
|4060
|5741
|}

=== Πυθαγόρειες τριάδες ===
{{Κύριο|Πυθαγόρεια τριάδα}}
Η ισότητα <math>c^2=a^2+(a+1)^2=2a^2+2a+1</math> συμβαίνει ακριβώς όταν <math>2c^2=4a^2+4a+2</math> η οποία γίνεται <math>2P^2=H^2+1</math>με τις υποκαταστάσεις 
<math>H=2a+1 \mbox{ and } P=c </math>. Εξ ου και η νιοστή λύση είναι <math>a_n=\frac{H_{2n+1}-1}{2}</math> and <math>c_n={P_{2n+1}}. \,</math>

Ο παραπάνω πίνακας δείχνει ότι, σε μια τάξη ή την άλλη, <math>a_n\mbox{ and }b_n=a_n+1</math> είναι <math>H_nH_{n+1}\mbox{ and }2P_nP_{n+1}</math>  καθώς <math>c_n=H_{n+1}P_n+P_{n+1}H_n.</math>

== Παραπομπές ==
<references/>


[[Κατηγορία:Θεωρία αριθμών]]
Πρότυπα που χρησιμοποιούνται σε αυτή την σελίδα:
Πρότυπο:Citation (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Citation/core (επεξεργασία)
Πρότυπο:Citation/make link (επεξεργασία)
Πρότυπο:Cite journal (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Main (επεξεργασία)
Πρότυπο:Nowrap (προβολή κώδικα) (προστατευμένη)
Πρότυπο:OEIS (επεξεργασία)
Πρότυπο:Oeis (επεξεργασία)
Πρότυπο:Κύριο (προβολή κώδικα) (ημιπροστατευμένη)
Επιστροφή στη σελίδα Αριθμοί του Πελ.
Ανακτήθηκε από "https://el.wikipedia.org/wiki/Αριθμοί_του_Πελ"