Λόγος & Σύμμετρα Τμήματα
Λόγος τμημάτων, κοινό μέτρο, σύμμετρα και ασύμμετρα τμήματα, η ανακάλυψη του √2
Γιατί το χαρτί A4 έχει τόσο «περίεργες» διαστάσεις;
Μέτρησε ένα φύλλο A4: cm. Γιατί όχι στρογγυλά ; Δίπλωσέ το στη μέση και παίρνεις A5 — με ακριβώς το ίδιο σχήμα, μικρότερο. Αυτό το κόλπο δουλεύει μόνο αν ο λόγος των πλευρών είναι , ένας αριθμός που δεν γράφεται ως κλάσμα. Εδώ θα δεις τι σημαίνει λόγος δύο τμημάτων και γιατί κάποια ζευγάρια τμημάτων δεν έχουν κανέναν «κοινό χάρακα».
Λόγος δύο τμημάτων
Όταν λες «το είναι τριπλάσιο του », συγκρίνεις δύο τμήματα με έναν αριθμό. Ο αριθμός για τον οποίο λέγεται λόγος του προς το και γράφεται .
- Ο λόγος είναι καθαρός αριθμός — δεν έχει μονάδα. Αν cm και cm, τότε , όχι « cm».
- Ο λόγος δεν αλλάζει αν μετρήσεις και τα δύο τμήματα με άλλη (κοινή) μονάδα: επίσης.
- Η σειρά μετράει: .
Η κλίμακα ενός χάρτη είναι ακριβώς ένας τέτοιος λόγος: κλίμακα σημαίνει ότι κάθε απόσταση στον χάρτη έχει λόγο προς την πραγματική.
Σύμμετρα και ασύμμετρα τμήματα
Οι αρχαίοι Έλληνες δεν μετρούσαν τμήματα με αριθμούς — τα σύγκριναν. Δύο τμήματα , λέγονται σύμμετρα όταν υπάρχει ένα τρίτο τμήμα , το κοινό μέτρο τους, που χωράει ακέραιες φορές και στα δύο: και . Τότε ο λόγος τους είναι ρητός: . Αν δεν υπάρχει κανένα κοινό μέτρο, τα τμήματα λέγονται ασύμμετρα και ο λόγος τους είναι άρρητος αριθμός.
Οι Πυθαγόρειοι πίστευαν ότι «τα πάντα είναι αριθμός» — δηλαδή ότι όλα τα τμήματα είναι σύμμετρα. Η ίδια τους η σχολή όμως ανακάλυψε το αντιπαράδειγμα-σοκ: η πλευρά και η διαγώνιος του τετραγώνου είναι ασύμμετρες, αφού ο λόγος τους είναι , που αποδεικνύεται ότι δεν γράφεται ως κλάσμα ακεραίων. Ο θρύλος λέει ότι ο Ίππασος που το κοινοποίησε πλήρωσε ακριβά το «μυστικό»!
Για εμάς σήμερα το δίδαγμα είναι πρακτικό: ο λόγος δύο τμημάτων ορίζεται πάντα ως ο λόγος των μηκών τους με την ίδια μονάδα — απλώς δεν είναι πάντα ρητός. Έτσι η θεωρία των αναλογιών και το θεώρημα του Θαλή δουλεύουν για όλα τα τμήματα, σύμμετρα και ασύμμετρα.
Δες τα τετράγωνα στις πλευρές του ορθογωνίου τριγώνου — για ισοσκελές ορθογώνιο τρίγωνο πλευράς 1 η υποτείνουσα γίνεται $\sqrt{2}$, το πρώτο μήκος της ιστορίας που αποδείχθηκε ασύμμετρο με τη μονάδα.
Μέθοδος: πώς ελέγχω αν δύο τμήματα είναι σύμμετρα
- Γράψε τον λόγο και απλοποίησε (βγάλε κοινούς παράγοντες, απλοποίησε τις ρίζες).
- Αν βγει ρητός (ανάγωγο κλάσμα), τα τμήματα είναι σύμμετρα με κοινό μέτρο .
- Αν βγει άρρητος, είναι ασύμμετρα.
Το κριτήριο είναι ένα: είναι ο λόγος τους ρητός; Δεν μετράει αν τα ίδια τα μήκη είναι άρρητα — μετράει μόνο ο λόγος.
- , : → σύμμετρα (κοινό μέτρο το ).
- , : → σύμμετρα.
- , : , άρρητος → ασύμμετρα.
Όταν τα τμήματα είναι σύμμετρα με λόγο (ανάγωγο κλάσμα), κοινό μέτρο τους είναι το . Για παράδειγμα, τα και έχουν λόγο και κοινό μέτρο — το μεγαλύτερο δυνατό, όπως ο ΜΚΔ στους ακεραίους.
«σύμ-μετρα» = «με κοινό μέτρο». Αν βρίσκεις ένα τμήμα-χάρακα που χωράει ακέραιες φορές και στα δύο, είναι σύμμετρα· αν τέτοιος χάρακας δεν υπάρχει, είναι α-σύμμετρα. Στην πράξη: ρητός λόγος ⇔ σύμμετρα.
Τα τμήματα και είναι:
Άσκηση: Να εξεταστεί αν είναι σύμμετρα τα παρακάτω ζεύγη τμημάτων και, όπου είναι, να βρεθεί ένα κοινό μέτρο τους.
(α) και (β) και (γ) και
Λύση: (α) Είναι , άρα
ρητός, οπότε τα τμήματα είναι σύμμετρα με κοινό μέτρο : και .
(β) Είναι , άρα → σύμμετρα, με κοινό μέτρο το ίδιο το (χωράει μία φορά στο και δύο στο ). Δεν σε ενδιαφέρει που τα μήκη είναι άρρητα.
(γ) , άρρητος → ασύμμετρα.
Η πλευρά και η διαγώνιος ενός τετραγώνου είναι τμήματα:
Άσκηση: (α) Ορθογώνιο τρίγωνο έχει κάθετες πλευρές και . Είναι σύμμετρες η υποτείνουσα και η μικρή κάθετη πλευρά; (β) Είναι σύμμετρα η πλευρά και το ύψος ενός ισόπλευρου τριγώνου;
Λύση: (α) Από το Πυθαγόρειο η υποτείνουσα είναι . Ο λόγος είναι ρητός, άρα τα τμήματα είναι σύμμετρα με κοινό μέτρο το .
(β) Το ύψος χωρίζει τη βάση στη μέση, οπότε στο ορθογώνιο τρίγωνο που σχηματίζεται:
Αν ο λόγος ήταν ρητός , τότε και ο θα ήταν ρητός — άτοπο. Άρα πλευρά και ύψος ισόπλευρου τριγώνου είναι ασύμμετρα, όποιο κι αν είναι το .
Ποιο από τα παρακάτω ζεύγη τμημάτων είναι ασύμμετρο;
Άσκηση τύπου διαγωνίσματος (απόδειξη με άτοπο): Να αποδείξετε ότι η διαγώνιος και η πλευρά ενός τετραγώνου είναι ασύμμετρα τμήματα.
Σχήμα: Τετράγωνο πλευράς · η διαγώνιος το χωρίζει σε δύο ισοσκελή ορθογώνια τρίγωνα.
Δεδομένα: τετράγωνο πλευράς με διαγώνιο . Ζητούμενο: δεν υπάρχει κοινό μέτρο, δηλαδή ο λόγος δεν είναι ρητός.
Απόδειξη: Από το Πυθαγόρειο στο τρίγωνο : , άρα .
Έστω, για να καταλήξουμε σε άτοπο, ότι με , θετικούς ακεραίους και το κλάσμα ανάγωγο. Τότε
Άρα ο είναι άρτιος, οπότε και ο είναι άρτιος (το τετράγωνο περιττού είναι περιττό): . Αντικαθιστώντας, , άρα και ο είναι άρτιος.
Οι και είναι λοιπόν και οι δύο άρτιοι, που αντιφάσκει με το ότι το κλάσμα είναι ανάγωγο. Επομένως ο είναι άρρητος και τα , είναι ασύμμετρα.
Μια βαβυλωνιακή πήλινη πινακίδα, η YBC 7289 (περίπου 1800–1600 π.Χ., σήμερα στο Πανεπιστήμιο Yale), δείχνει ένα τετράγωνο με τις διαγώνιές του και δίπλα την προσέγγιση (γραμμένη στο εξηνταδικό σύστημα). Η πραγματική τιμή είναι — λάθος μικρότερο από ένα εκατομμυριοστό, πάνω από χίλια χρόνια πριν οι Πυθαγόρειοι αποδείξουν ότι ακριβές κλάσμα δεν υπάρχει.
Η «ανθυφαίρεση» των αρχαίων. Για να βρουν το κοινό μέτρο δύο τμημάτων, οι αρχαίοι Έλληνες αφαιρούσαν το μικρό από το μεγάλο όσες φορές χωρούσε, μετά το υπόλοιπο από το μικρό, και ούτω καθεξής, μέχρι να μη μείνει υπόλοιπο. Βρες έτσι το μεγαλύτερο κοινό μέτρο των τμημάτων και . Τι θα συμβεί αν δοκιμάσεις τη διαδικασία στη διαγώνιο και την πλευρά ενός τετραγώνου;
Δοκίμασε πρώτα μόνος σου — μετά δες τη λύση
Κάθε βήμα κρατά το υπόλοιπο:
Το τελευταίο μη μηδενικό υπόλοιπο είναι το : αυτό είναι το μεγαλύτερο κοινό μέτρο, αφού και , άρα . Είναι ακριβώς ο αλγόριθμος του Ευκλείδη για τον ΜΚΔ.
Για διαγώνιο και πλευρά τετραγώνου η διαδικασία δεν τελειώνει ποτέ: κάθε βήμα δημιουργεί ένα μικρότερο τετράγωνο με διαγώνιο και πλευρά στον ίδιο λόγο , και το ίδιο επαναλαμβάνεται επ' άπειρον. Αν υπήρχε κοινό μέτρο, η διαδικασία θα σταματούσε — άλλος ένας τρόπος να δεις ότι τα τμήματα είναι ασύμμετρα.
- Θεωρούν ασύμμετρα δύο τμήματα επειδή τα μήκη τους είναι άρρητα. Διόρθωση: κρίνει ο λόγος — τα και είναι σύμμετρα (λόγος ).
- Πιστεύουν ότι δύο τμήματα με ακέραια ή ρητά μήκη μπορεί να είναι ασύμμετρα. Διόρθωση: ρητά μήκη δίνουν πάντα ρητό λόγο, άρα είναι πάντα σύμμετρα.
- Μπερδεύουν τον λόγο με το κοινό μέτρο. Διόρθωση: ο λόγος είναι καθαρός αριθμός ()· το κοινό μέτρο είναι τμήμα, .
- Γράφουν τον λόγο με μονάδα («λόγος cm»). Διόρθωση: οι μονάδες απλοποιούνται — ο λόγος δεν έχει μονάδα.
- Λόγος σημαίνει · είναι καθαρός αριθμός και δεν εξαρτάται από τη (κοινή) μονάδα.
- Σύμμετρα τμήματα: έχουν κοινό μέτρο ο λόγος τους είναι ρητός· διαφορετικά είναι ασύμμετρα.
- Κρίνει ο λόγος, όχι τα μήκη: και είναι σύμμετρα.
- Πλευρά και διαγώνιος τετραγώνου είναι ασύμμετρες, αφού (απόδειξη με άτοπο).