π και Άθροισμα Δύο Τετραγώνων — Μια Απρόσμενη Σύνδεση 🔵

«Κατά καιρούς συναντάμε ένα εκπληκτικό αποτέλεσμα που συνδέει στενά δύο ξένα αντικείμενα που φαίνεται να μην έχουν τίποτα κοινό. Ποιος θα υποψιαζόταν, για παράδειγμα, ότι κατά μέσο όρο ο αριθμός των τρόπων έκφρασης ενός θετικού ακέραιου \(n\) ως άθροισμα δύο τετραγώνων

\[ x^2+y^2=n \]

είναι \(\pi\);»

— Ross Honsberger, Mathematical Gems III

Η πρόταση μοιάζει σχεδόν απίστευτη.

Από τη μία έχουμε έναν καθαρά αριθμητικό ερώτημα: με πόσους τρόπους γράφεται ένας ακέραιος ως άθροισμα δύο τετραγώνων;

Από την άλλη έχουμε το

\[ \pi=3{,}14159265\ldots \]

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

Κι όμως, ο κύκλος είναι ακριβώς το κλειδί.

🔢 Τι σημαίνει «αριθμός αναπαραστάσεων»;

Έστω \(r_2(n)\) ο αριθμός των διατεταγμένων ζευγών ακεραίων \((x,y)\) που ικανοποιούν

\[ x^2+y^2=n. \]

Για παράδειγμα:

\[ 5=1^2+2^2. \]

Όμως μετράμε και τις αλλαγές σειράς και προσήμων:

\[ (\pm1,\pm2),\qquad(\pm2,\pm1). \]

Άρα:

\[ r_2(5)=8. \]

Άλλοι αριθμοί μπορεί να έχουν λιγότερες αναπαραστάσεις ή και καμία.

⭕ Και ξαφνικά εμφανίζεται ένας κύκλος

Ας προσθέσουμε τώρα τους αριθμούς αναπαραστάσεων:

\[ r_2(1)+r_2(2)+\cdots+r_2(N). \]

Τι ακριβώς μετρά αυτό το άθροισμα;

Μετρά όλα τα ακέραια σημεία \((x,y)\) για τα οποία

\[ x^2+y^2\leq N. \]

Αλλά αυτή η ανισότητα περιγράφει έναν κύκλο με κέντρο την αρχή των αξόνων και ακτίνα

\[ R=\sqrt N. \]

Το εμβαδόν του κύκλου είναι:

\[ A=\pi R^2=\pi(\sqrt N)^2=\boxed{\pi N}. \]

✨ Να λοιπόν από πού εμφανίζεται το π

Για μεγάλες τιμές του \(N\), ο αριθμός των σημείων του ακέραιου πλέγματος μέσα στον κύκλο είναι ασυμπτωτικά ίσος με το εμβαδόν του:

\[ r_2(1)+r_2(2)+\cdots+r_2(N)\sim\pi N. \]

Διαιρώντας με \(N\):

\[ \frac{r_2(1)+r_2(2)+\cdots+r_2(N)}{N} \longrightarrow\pi. \]

Και έτσι καταλήγουμε στο εκπληκτικό αποτέλεσμα:

\[ \boxed{ \lim_{N\to\infty} \frac1N \sum_{n=1}^{N}r_2(n)=\pi } \]

🤯 Μια μικρή αλλά σημαντική λεπτομέρεια

Η πρόταση δεν σημαίνει ότι ένας τυπικός ακέραιος γράφεται με περίπου \(3{,}14\) τρόπους ως άθροισμα δύο τετραγώνων. Πολλοί θετικοί ακέραιοι δεν γράφονται καθόλου με αυτή τη μορφή, ενώ άλλοι έχουν πολλές αναπαραστάσεις.

Το \(\pi\) εμφανίζεται ως οριακός αριθμητικός μέσος όρος των τιμών \(r_2(n)\).

💡 Αριθμητική και Γεωμετρία συναντιούνται

Ένα πρόβλημα που αρχίζει με ακέραιους αριθμούς και τέλεια τετράγωνα μετατρέπεται σε πρόβλημα μέτρησης σημείων μέσα σε έναν κύκλο. Και τότε το \(\pi\), αντί να εμφανίζεται μυστηριωδώς, προκύπτει φυσικά από το εμβαδόν του κύκλου.

📚 Αφετηρία: Ross Honsberger, Mathematical Gems III.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →