Πώς ένα
από τα πιο συνηθισμένα αντικείμενα της φύσης οδήγησε σε ένα απρόσμενα δύσκολο
πρόβλημα γεωμετρίας
Όταν
παίρνουμε ένα αβγό από το ψυγείο, μάλλον σκεφτόμαστε το γεύμα μας και όχι τα Μαθηματικά…
Εκτός ίσως από κάποιους επιστήμονες! Γιατί το σχήμα του αβγού αποτελεί ένα
ενδιαφέρον μαθηματικό πρόβλημα εδώ και δεκαετίες: Πώς μπορούμε να περιγράψουμε
με έναν μαθηματικό τύπο το περίγραμμα ενός αβγού; Και ακόμη:
Μπορούμε
να βρούμε έναν ενιαίο τύπο που να περιγράφει τα αβγά όλων των πτηνών;
Το 2021
οι Narushin, Romanov και Griffin πρότειναν μια νέα μαθηματική λύση στο
πρόβλημα, σε εργασία τους με τίτλο “Egg and math: introducing a universal
formula for egg shape”, που δημοσιεύθηκε στο Annals of the New York Academy of Sciences.
Για να
φτάσουμε, όμως, στην καθολική εξίσωση, πρέπει πρώτα να ακολουθήσουμε μια μικρή
μαθηματική διαδρομή…
Τέσσερα
διαφορετικά είδη αβγών
Παρόλο
που στο μυαλό μας το «σχήμα αβγού» είναι συνήθως ένα συγκεκριμένο ωοειδές
σχήμα, στη φύση υπάρχει μεγάλη ποικιλία. Οι ερευνητές, ακολουθώντας την
ταξινόμηση του Nishiyama, διακρίνουν τέσσερις βασικές μορφές:
- κυκλική, που
αντιστοιχεί σε σχεδόν σφαιρικό αβγό
- ελλειπτική, που
αντιστοιχεί σε ελλειψοειδές
- ωοειδής
- απιοειδής ή
αχλαδόμορφη
Τα τρία
πρώτα σχήματα μπορούν να περιγραφούν σχετικά φυσικά με γνωστές γεωμετρικές
καμπύλες. Το πρόβλημα αρχίζει με το τέταρτο.
Ένα
απιοειδές αβγό είναι πολύ πιο φαρδύ προς τη μία πλευρά και καταλήγει σε έντονα «μυτερό»
άκρο. Δεν είναι απλώς μια έλλειψη που έχει «τραβηχτεί» λίγο προς τη μία πλευρά.
Και ακριβώς αυτά τα αβγά ήταν ο λόγος που οι παλαιότερες μαθηματικές περιγραφές
δεν μπορούσαν να θεωρηθούν πραγματικά καθολικές.
Από τον
κύκλο στο αβγό
Για να
καταλάβουμε την ιδέα των ερευνητών, ας ξεκινήσουμε από κάτι πολύ πιο απλό.
Ο κύκλος
περιγράφεται από την εξίσωση:
\(x^2+y^2=r^2\)
Αν
θέλουμε να κάνουμε τον κύκλο «μακρύτερο» προς μία κατεύθυνση, μπορούμε να
αντικαταστήσουμε την κοινή ακτίνα με δύο διαφορετικούς ημιάξονες. Παίρνουμε
έτσι την εξίσωση της έλλειψης:
\(\frac{x^2}{a^2}+\frac{y^2}{b^2}=1\)
Έχουμε
λοιπόν την πρώτη μετάβαση: κύκλος → έλλειψη
Αλλά ξέρουμε
ότι το αβγό δεν είναι απλώς μια έλλειψη. Η μία πλευρά του είναι συνήθως πιο «στρογγυλεμένη»
και η άλλη πιο «μυτερή». Χρειαζόμαστε λοιπόν έναν τρόπο να μετακινήσουμε την
κατακόρυφη διεύθυνση του σχήματος, ώστε να δημιουργήσουμε ασυμμετρία. Εδώ
εμφανίζεται το μοντέλο του Γερμανού μηχανικού Hügelschäffer.
Η εξίσωση
του Hügelschäffer
Οι
Narushin και οι συνεργάτες του χρησιμοποιούν ως αφετηρία το μοντέλο του
Hügelschäffer, το οποίο μπορεί να περιγράψει τα κυκλικά, ελλειπτικά και ωοειδή
αβγά, όπως το συνηθισμένο αβγό της κότας.
Η εξίσωση
γράφεται:
όπου:
- L είναι το μήκος του αβγού
- B είναι το μέγιστο πλάτος
- x είναι η οριζόντια θέση
- y είναι η απόσταση από τον οριζόντιο άξονα
μέχρι το περίγραμμα
- w είναι μια παράμετρος που περιγράφει τη
μετατόπιση του κατακόρυφου άξονα που περνά από το σημείο μέγιστου πλάτους σε
σχέση με το μέσο του αβγού.
Το \(\plusminus\) υπάρχει επειδή για κάθε θέση x έχουμε δύο σημεία του περιγράμματος: ένα
πάνω από τον άξονα των x και ένα
κάτω από αυτόν.
Και εδώ
συμβαίνει κάτι πολύ όμορφο: Αν \(L=B\), το σχήμα γίνεται κύκλος. Αν \(w=0\), το σχήμα γίνεται έλλειψη.
Με
κατάλληλες τιμές του w,
μπορούμε να πάρουμε διάφορα ωοειδή σχήματα. Έτσι έχουμε μια δεύτερη σειρά
μεταβάσεων: κύκλος → έλλειψη → ωοειδές
Το αβγό
που δεν χωρά στην εξίσωση
Ας
προσπαθήσουμε να κάνουμε το w όλο και
μικρότερο. Το ωοειδές σχήμα γίνεται ολοένα και πιο μυτερό. Θα μπορούσαμε να
σκεφτούμε ότι, αν συνεχίσουμε αρκετά, θα φτάσουμε και στα απιοειδή
(αχλαδόμορφα) αβγά. Αλλά δεν συμβαίνει αυτό!
Το
μοντέλο του Hügelschäffer έχει έναν περιορισμό: η παράμετρος w δεν μπορεί να πάρει
οποιαδήποτε τιμή. Οι ερευνητές δείχνουν ότι, αν προσπαθήσουμε να ξεπεράσουμε
αυτό το όριο, η καμπύλη που προκύπτει παύει να μοιάζει με πραγματικό αβγό.
Έτσι, τα απιοειδή αβγά παραμένουν έξω από το μοντέλο.
Και εδώ
βρίσκεται το πραγματικό μαθηματικό πρόβλημα της εργασίας…
Πώς
περιγράφουμε το σχήμα του απιοειδούς αβγού;
Οι
ερευνητές δεν εγκαταλείπουν το μοντέλο του Hügelschäffer. Αντίθετα, προσπαθούν
να κατασκευάσουν ένα δεύτερο μοντέλο, ειδικά για τα απιοειδή αβγά. Μετά από
μαθηματικούς υπολογισμούς καταλήγουν στην εξίσωση:
Αυτή η
εξίσωση μπορεί να δώσει το χαρακτηριστικό πιο «κωνικό», αχλαδόμορφο περίγραμμα.
Έχουμε
λοιπόν πλέον δύο καμπύλες: την καμπύλη του Hügelschäffer, που περιγράφει το
κλασικό ωοειδές σχήμα και την καινούργια καμπύλη, που περιγράφει το απιοειδές.
Αλλά τώρα
εμφανίζεται ένα ακόμη πιο ενδιαφέρον ερώτημα: Και τι γίνεται με τα αβγά που
βρίσκονται ανάμεσα;
Φανταστείτε
ότι σχεδιάζουμε τις δύο καμπύλες στο ίδιο σύστημα συντεταγμένων. Θα υπάρχει μια
περιοχή ανάμεσα στις δύο. Τι γίνεται, λοιπόν, με ένα πραγματικό αβγό που
βρίσκεται κάπου ανάμεσα στο κανονικό ωοειδές και στο καθαρά απιοειδές σχήμα;
Οι
ερευνητές ορίζουν τότε τη διαφορά: \(y=y_H-y_c\), όπου \( y_H \) είναι
η τιμή από το μοντέλο του Hügelschäffer και \( y_c\) η
αντίστοιχη τιμή από το απιοειδές μοντέλο. Αυτή η διαφορά αποτελεί ουσιαστικά
ένα μέτρο του πόσο «μυτερό» είναι το αβγό. Όταν η διαφορά είναι μηδέν, έχουμε
το κλασικό ωοειδές. Όταν παίρνει τη μέγιστη δυνατή τιμή, προσεγγίζουμε το
κλασικό απιοειδές σχήμα.
Και τώρα
οι ερευνητές κάνουν το αποφασιστικό βήμα: κατασκευάζουν μια συνάρτηση που
συμπληρώνει όλη την περιοχή ανάμεσα στα δύο μοντέλα. Αυτό τους οδηγεί στην
τελική καθολική εξίσωση.
Η
«καθολική εξίσωση» του αβγού
Η τελική
σχέση που ανακάλυψαν οι ερευνητές είναι η εξής:

Πρόκειται
δηλαδή για ένα παραμετρικό μοντέλο που περιλαμβάνει το τμήμα του μοντέλου του Hügelschäffer και χρησιμοποιεί τέσσερα γεωμετρικά
χαρακτηριστικά:
- L: το συνολικό μήκος του αβγού,
- B: το μέγιστο πλάτος,
- w: η μετατόπιση του άξονα του μέγιστου
πλάτους,
- \(D_{L/4}\): η
διάμετρος του αβγού σε σημείο που βρίσκεται σε απόσταση \(\frac{L}{4}\)
από το μυτερό άκρο.
Μετρώντας
λοιπόν αυτά τα χαρακτηριστικά σε ένα πραγματικό αβγό, μπορούμε να
προσδιορίσουμε το αντίστοιχο μαθηματικό μοντέλο και να ανακατασκευάσουμε το
περίγραμμά του.
Αυτό
είναι ίσως το πιο εντυπωσιακό σημείο της όλης ιστορίας. Έχουμε ένα πραγματικό
αντικείμενο, με ένα περίπλοκο και ακανόνιστο περίγραμμα. Τοποθετούμε νοητά ένα
σύστημα συντεταγμένων πάνω του. Μετράμε τα L, B, w και \(D_{L/4}\) και
στη συνέχεια τα Μαθηματικά κάνουν την υπόλοιπη δουλειά!
Η
παραπάνω συνάρτηση μάς δίνει, για κάθε x, την αντίστοιχη τιμή του y. Επαναλαμβάνοντας τη διαδικασία για όλες τις
θέσεις, παίρνουμε μια καμπύλη. Η καμπύλη αυτή είναι το μαθηματικό περίγραμμα
του αβγού. Το σημαντικό είναι ότι η ίδια γενική εξίσωση μπορεί θεωρητικά να
κινηθεί σε ολόκληρο το φάσμα: σφαιρικό, ελλειπτικό, ωοειδές, απιοειδές.
Οι
συγγραφείς δοκίμασαν το μοντέλο και σε απιοειδή αβγά διαφορετικών σχημάτων,
όπως είναι αυτά του βασιλικού πιγκουίνου ή πολλών παρυδάτιων πτηνών,
πετυχαίνοντας άλλη μία συνάντηση των Μαθηματικών με τη Βιολογία. Οι συγγραφείς
βέβαια δεν ισχυρίζονται ότι η εξίσωση αναπαριστά κάθε σημείο του περιγράμματος
κάθε πραγματικού αβγού με απόλυτη ακρίβεια. Αναγνωρίζουν ότι τα φυσικά
αντικείμενα είναι πολύ πιο ποικίλα από τα ιδανικά μαθηματικά σχήματα.
Φυσικά, ο
στόχος της μαθηματικής μοντελοποίησης δεν είναι πάντα να αντιγράψει κάθε
μικροσκοπική ατέλεια της πραγματικότητας. Συχνά είναι να βρει ένα απλό και
χρήσιμο μαθηματικό αντικείμενο που συλλαμβάνει τη βασική δομή ενός πραγματικού
φαινομένου μέσα από την τεράστια ποικιλία της φύσης. Οι συγγραφείς της έρευνας
θεωρούν ότι ένα τέτοιο μαθηματικό πλαίσιο μπορεί να αποτελέσει βάση για
περαιτέρω έρευνα στη Βιολογία, στη Μηχανική και στα Μαθηματικά...
Πηγή
Narushin, V. G., Romanov, M. N. & Griffin, D. K.
(2021). Egg and math: introducing a universal formula for egg shape. Annals
of the New York Academy of Sciences, 1505, 169–177. DOI:
10.1111/nyas.14680.