Διαφορική Γεωμετρία

Το «Αξιοθαύμαστο» Θεώρημα του Gauss: Τι Κοινό Έχουν οι Χάρτες, τα Pringles και μια Πίτσα;

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

Αν ο Carl Friedrich Gauss, με πάνω από 300 εργασίες, πραγματείες και θεωρήματα σε φυσική, μαθηματικά, αστρονομία και στατιστική, αποφάσισε να ονομάσει ένα και μόνο θεώρημά του ως «αξιοθαύμαστο» (Theorema Egregium), αυτό από μόνο του λέει πολλά.

Το θεώρημα αυτό λέει ότι η καμπυλότητα Gauss μιας επιφάνειας είναι εσωτερική — δηλαδή αφορά αποκλειστικά τα δικά της γεωμετρικά χαρακτηριστικά και όχι τον τρισδιάστατο χώρο μέσα στον οποίο βρίσκεται.

Extrinsic 3D Perspective vs Intrinsic 2D Perspective
Σχήμα 1: Αριστερά: Η εξωτερική (3D) οπτική της Γης από το διάστημα. Δεξιά: Η εσωτερική (2D) οπτική από το επίπεδο του εδάφους.

Το αποτέλεσμα αυτό είναι φοβερό: μας λέει ότι ένα μυρμήγκι, κινούμενο αποκλειστικά στην επιφάνεια της Γης και χωρίς καμία επίγνωση του τι υπάρχει γύρω του, μπορεί να καταλάβει ότι κινείται πάνω σε μια καμπύλη επιφάνεια, απλώς μετρώντας αποστάσεις και γωνίες πάνω στο έδαφος!

Γιατί όλοι οι χάρτες της Γης «λένε ψέματα»

Από το ίδιο θεώρημα προκύπτει και μια αμείλικτη αλήθεια της χαρτογραφίας: είναι μαθηματικά αδύνατο να φτιάξουμε έναν τέλειο επίπεδο χάρτη της Γης.

Η Γη, ως σφαίρα, έχει θετική καμπυλότητα Gauss (K>0K > 0), ενώ ένα φύλλο χαρτί είναι επίπεδο (K=0K = 0). Εφόσον η καμπυλότητα Gauss είναι εσωτερικό χαρακτηριστικό, δεν μπορείς να μετατρέψεις τη μία επιφάνεια στην άλλη χωρίς να παραμορφώσεις τις αποστάσεις ή τα εμβαδά. Αν ξεφλουδίσεις ένα πορτοκάλι και προσπαθήσεις να πιέσεις τη φλούδα του ώστε να γίνει τελείως επίπεδη πάνω στο τραπέζι, θα δεις ότι αυτό δεν γίνεται χωρίς η φλούδα να σκιστεί ή να τεντωθεί.

Ακριβώς αυτό το «τέντωμα» κάνουν οι χάρτες που κρεμάμε στους τοίχους : για να «ισιώσουν» τη σφαίρα, ξεχειλώνουν τις περιοχές όσο απομακρυνόμαστε από τον Ισημερινό. Έτσι, η Ρωσία φαίνεται στον χάρτη γιγαντιαία —σχεδόν διπλάσια από ολόκληρη τη Νότια Αμερική— ενώ στην πραγματικότητα η Νότια Αμερική είναι μεγαλύτερη (17,8 εκατ. km2\text{km}^2 έναντι 17,1 εκατ. km2\text{km}^2 της Ρωσίας)!

Pizza Folding Mechanics and Gaussian Curvature
Σχήμα 2: Η επιβαλλόμενη καμπυλότητα k1 > 0 στην κόρα υποχρεώνει την καμπυλότητα k2 κατά μήκος να μηδενιστεί, καθιστώντας το κομμάτι άκαμπτο.

Η γεωμετρία της πίτσας και των Pringles

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

Επειδή η ζύμη ξεκινά επίπεδη (K=0K = 0), και εμείς απλώς τη λυγίζουμε με το χέρι χωρίς να την τεντώσουμε, κρατάμε άθικτη την ισομετρία της — άρα, σύμφωνα με τον Gauss, η εσωτερική της καμπυλότητα K=k1⋅k2K = k_1 \cdot k_2 είναι υποχρεωμένη να παραμείνει μηδέν. Διπλώνοντάς την, όμως, επιβάλλουμε θετική καμπυλότητα k1>0k_1 > 0 στη μία διεύθυνση. Για να διατηρηθεί η ισότητα k1⋅k2=0k_1 \cdot k_2 = 0, η καμπυλότητα κατά μήκος αναγκάζεται να μηδενιστεί (k2=0k_2 = 0). Έτσι, το κομμάτι στέκεται ολόισιο.

Pringles Hyperbolic Paraboloid K < 0
Σχήμα 3: Το υπερβολικό παραβολοειδές σχήμα με αρνητική καμπυλότητα (K < 0) χαρίζει στα πατατάκια εξαιρετική δομική ακαμψία.

Και αν αναρωτιέσαι για τα Pringles, το σχήμα τους (υπερβολικό παραβολοειδές) με την αρνητική του καμπυλότητα Gauss (K<0K < 0) δεν σχεδιάστηκε τυχαία: καμπυλώνοντας προς αντίθετες κατευθύνσεις, μοιράζει τις μηχανικές τάσεις με ιδανικό τρόπο σε όλη την επιφάνεια. Αυτό τους δίνει τέτοια δομική ακαμψία, ώστε να μη σπάνε στην κυλινδρική συσκευασία κατά τη μεταφορά τους!