🔺Θεώρημα Marden: Όταν Άλγεβρα, Μιγαδικοί και Γεωμετρία Συναντιούνται

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

Χαρακτηριστικό παράδειγμα είναι η περίφημη ταυτότητα του Euler,

\[ e^{i\pi}+1=0, \]

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

Από ένα πολυώνυμο σε ένα τρίγωνο

Ας θεωρήσουμε ένα κυβικό πολυώνυμο με τρεις διαφορετικές, μη συνευθειακές μιγαδικές ρίζες:

\[ p(z)=(z-z_1)(z-z_2)(z-z_3). \]

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

Στο τρίγωνο αυτό υπάρχει μια ιδιαίτερη έλλειψη: η έλλειψη Steiner. Εφάπτεται στις τρεις πλευρές ακριβώς στα μέσα τους και είναι η έλλειψη με το μεγαλύτερο εμβαδόν που μπορεί να εγγραφεί στο τρίγωνο.

✨ Η απροσδόκητη σύνδεση

Παραγωγίζουμε τώρα το \(p(z)\). Επειδή το αρχικό πολυώνυμο είναι τρίτου βαθμού, το \(p'(z)\) είναι δευτέρου βαθμού και έχει δύο ρίζες, μετρώντας τις πολλαπλότητες.

Το θεώρημα Marden αποκαλύπτει πού βρίσκονται γεωμετρικά αυτές οι δύο ρίζες:

Οι δύο ρίζες της \(p'(z)\) είναι ακριβώς οι δύο εστίες της έλλειψης Steiner του τριγώνου με κορυφές \(z_1,z_2,z_3\).

Μια καθαρά αλγεβρική διαδικασία —η παραγώγιση ενός πολυωνύμου— εντοπίζει λοιπόν δύο εξαιρετικά συγκεκριμένα γεωμετρικά σημεία: τις εστίες μιας έλλειψης.

🎯 Τι κρύβει η δεύτερη παράγωγος;

Η σύνδεση δεν σταματά εδώ.

Αναπτύσσοντας το πολυώνυμο έχουμε

\[ p(z) = z^3-(z_1+z_2+z_3)z^2 +(z_1z_2+z_1z_3+z_2z_3)z -z_1z_2z_3. \]

Επομένως

\[ p''(z)=6z-2(z_1+z_2+z_3). \]

Η μοναδική ρίζα της δεύτερης παραγώγου είναι λοιπόν

\[ \boxed{ z=\frac{z_1+z_2+z_3}{3} }. \]

Αλλά ο μέσος όρος των τριών μιγαδικών αριθμών που παριστάνουν τις κορυφές ενός τριγώνου είναι ακριβώς το κεντροειδές του τριγώνου.

Και εδώ εμφανίζεται η δεύτερη έκπληξη: το κεντροειδές είναι συγχρόνως και το κέντρο της έλλειψης Steiner.

Ένα κυβικό πολυώνυμο κρύβει μια ολόκληρη γεωμετρική εικόνα:

\[ \text{ρίζες του }p \quad\longrightarrow\quad \text{κορυφές του τριγώνου} \]

\[ \text{ρίζες του }p' \quad\longrightarrow\quad \text{εστίες της έλλειψης Steiner} \]

\[ \text{ρίζα του }p'' \quad\longrightarrow\quad \text{κεντροειδές του τριγώνου} = \text{κέντρο της έλλειψης}. \]

🧩 Και αν οι συντελεστές είναι πραγματικοί;

Το πρόβλημα γίνεται ακόμη πιο ενδιαφέρον αν το κυβικό πολυώνυμο έχει πραγματικούς συντελεστές.

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

Μπορείτε να αποδείξετε τα ακόλουθα;

α) Αν οι τρεις ρίζες δεν είναι όλες πραγματικές, γιατί το τρίγωνο που σχηματίζουν δεν μπορεί να είναι σκαληνό;

β) Υπό ποιες συνθήκες το τρίγωνο των ριζών γίνεται ισόπλευρο;

γ) Πότε οι δύο εστίες της έλλειψης Steiner —δηλαδή οι ρίζες της \(p'(z)\)— είναι πραγματικές και πότε μη πραγματικές;

Από ένα μόνο κυβικό πολυώνυμο περάσαμε από την Άλγεβρα στους Μιγαδικούς Αριθμούς, από εκεί στον Διαφορικό Λογισμό και τελικά στη Γεωμετρία.

Και ίσως αυτό είναι το πιο όμορφο στοιχείο του θεωρήματος Marden: δεν μας δίνει απλώς ένα ακόμη αποτέλεσμα· μας δείχνει ότι διαφορετικές περιοχές των Μαθηματικών μπορούν να περιγράφουν την ίδια κρυμμένη δομή.

Πηγές:
Mathematical Association of America – Dan Kalman, An Elementary Proof of Marden's Theorem
Wolfram MathWorld – Steiner Inellipse

📚

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

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

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

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