Νόμος των συνημιτόνων

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση
Σχήμα 1: Συνήθη σύμβολα σε τρίγωνο.

Ο Νόμος των συνημιτόνων ή αλλιώς το Θεώρημα του Άλ-Κασί κατά τους Γάλλους, αποτελεί μια γενίκευση του πυθαγόρειου θεωρήματος, χρησιμοποιούμενη στην τριγωνομετρία, που συνδέει το μήκος της μιας πλευράς ενός τριγώνου με τα μήκη των ετέρων πλευρών του και το συνημίτονο της γωνίας που σχηματίζεται μεταξύ αυτών. Γενικεύει, λοιπόν, το Πυθαγόρειο θεώρημα σε τρίγωνα μη ορθογώνια. Παρόλο που κάτι παρόμοιο (με μήκη μόνο) ήταν γνωστό από τον Ευκλείδη [1], στα γαλλικά βιβλία το 1990 είχε αποδοθεί στον Πέρση μαθηματικό Άλ-Κασί, πλέον σήμερα χρησιμοποιούνται οι ονομασίες νόμος των συνημιτόνων ή γενικευμένο Πυθαγόρειο θεώρημα.

Το θεώρημα του Άλ-Κασί έχει ως εξής:

Έστω τρίγωνο ABC, όπου χρησιμοποιούνται οι συνήθεις συμβολισμοί που περιγράφονται στο
Σχήμα 1: α,β,γ για τις γωνίες και, a,b,c για τα μήκη των πλευρών που αντιστοιχούν στις γωνίες αυτές.
c^2 = a^2 + b^2 - 2ab\cos\gamma\,.

Ιστορικά[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 2: Τρίγωνο ABC με ύψος BH

Τα Στοιχεία του Ευκλείδη[2], που χρονολογούνται από τον 3ο αιώνα π.Χ., περιείχαν ήδη μια γεωμετρική
προσέγγιση της γενίκευσης του πυθαγόρειου θεωρήματος. Συγκεκριμένα: οι προτάσεις 12 και 13 του
2ου βιβλίου αντιμετωπίζουν τις περιπτώσεις ενός αμβλυγώνιου και ενός οξυγώνιου αντίστοιχα. Η απουσία τριγωνομετρικής και αλγεβρικής ερμηνείας όμως απαιτούσε επαναδιατύπωση του θεωρήματος. Συγκεκριμένα η πρόταση 12[3]:

« Στα αμβλυγώνια τρίγωνα το τετράγωνο της πλευράς της κείμενης απέναντι της αμβλείας γωνίας, είναι μεγαλύτερο των τετραγώνων των πλευρών που την περιέχουν, κατά το διπλάσιο ορθογώνιο που περιέχεται μεταξύ της μιας πλευράς της αμβλείας γωνίας, του ύψους που πίπτει σε αυτήν και της ευθείας που ενώνει την αμβλεία με το ύψος.  »

Έχοντας ABC το αμβλυγώνιο με ύψος H που φέρεται από το B (Σχήμα 2), μπορούμε με τις σύγχρονες μεθόδους να συνοψίσουμε ως εξής:

AB^2 = CA^2 + CB^2 + 2\times CA \times CH.

Η αραβο-μουσουλμανική τριγωνομετρία τον Μεσαίωνα συνείσφερε στην βελτίωση του θεωρήματος: o αστρονόμος και μαθηματικός Muḥammad ibn Jābir al-Ḥarrānī al-Battānī γενίκευσε την πρόταση του Ευκλείδη στην σφαιρική γεωμετρία τον 10ο αιώνα, κάτι το οποίο επέτρεψε τον υπολογισμό των γωνιακών αποστάσεων μεταξύ αστέρων. Εκείνη την περίοδο συντάχθηκαν και οι πρώτοι τριγωνομετρικοί πίνακες για το ημίτονο και το συνημίτονο, επιτρέποντας στον Άλ-Κασί, μαθηματικό της σχολής της Σαμαρκάνδης, να μορφοποιήσει το θεώρημα ώστε να το χρησιμοποιήσει στον τριγωνισμό, τον 15ο αιώνα. Αργότερα, το θεώρημα έγινε γνωστό στην δύση από τον Φρανσουά Βιέτ (Βιετά), ο οποίος, όπως φαίνεται, το επινοήθηκε[4].
Στις αρχές του 19ου αιώνα το θεώρημα ερμηνεύτηκε σύμφωνα με την σύγχρονη άλγεβρα και έγινε γνωστό με την σημερινή του ονομασία: νόμος των συνημιτόνων.

Το θεώρημα και οι εφαρμογές του[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 3: Χρησιμοποιώντας το θεώρημα: άγνωστη πλευρά ή γωνία.

Ο νόμος των συνημιτόνων είναι μια ειδική περίπτωση του Πυθαγορείου θεωρήματος[5]:

Η γωνία \gamma έχει συνημίτονο ίσο με μηδέν (cos\gamma=0) αν και μόνο αν c^2=a^2+b^2, \, .

Το θεώρημα χρησιμοποιείται στον τριγωνισμό (Σχήμα 3) για να "λύσει ένα τρίγωνο", δηλαδή να προσδιορίσει

  • μια πλευρά ενός τριγώνου γνωρίζοντας την απέναντί της γωνία και τις παρακείμενες πλευρές:
c = \sqrt{a^2+b^2-2ab\cos\gamma} \,
  • μια γωνία ενός τριγώνου γνωρίζοντας τις τρεις πλευρές του:
\gamma = \arccos \dfrac{a^2+b^2-c^2}{2ab}.

Αυτοί οι τύποι είναι αριθμητικά ασταθείς σε περίπτωση που το c είναι μικρότερο του b και του a, ή ισοδύναμα όταν \gamma είναι μικρότερο του 1.
Στην περίπτωση των ομοίων τριγώνων ABC και A'B'C' ισχύει το εξής:

cc' = aa' + bb' - (ab'+a' b)\cos \gamma. \,

Αποδείξεις[Επεξεργασία | επεξεργασία κώδικα]

Ακριβώς όπως το Πυθαγόρειο θεώρημα, το θεώρημα αυτό έχει πολλές αποδείξεις, χρησιμοποιώντας κάποιες ιδιότητες του Ευκλείδη ή του Άλ-Κασί, χρησιμοποιώντας τριγωνομετρικές ιδιότητες ή ιδιότητες που σχετίζονται με τον κύκλο. Τέλος, το θεώρημα μπορεί να θεωρηθεί εφαρμογή των ιδιοτήτων του εσωτερικού γινομένου.

Απόδειξη του Ευκλείδη[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 4: Απόδειξη του Νόμου των Συνημιτόνων για αμβλυγώνιο, κατά τον Ευκλείδη.

Η απόδειξη του Ευκλείδη για τις προτάσεις 12 και 13 βασίζεται στο Πυθαγόρειο Θεώρημα και περιλαμβάνει το ύψος Η που φέρεται από το Β. Για το αμβλυγώνιο (πρόταση 12) σχημάτισε ένα τετράγωνο στην πλευρά AH του τριγώνου AHB:

CH^2+CA^2+2\times CH \times AC=AH^2

Προσέθεσε κατά μέλη το τετράγωνο της πλευράς HB

 HB^2 + CH^2 + CA^2+2\times CH \times AC=AH^2+ HB^2

και χρησιμοποίησε το Πυθαγόρειο Θεώρημα

CB^2+CA^2 + 2\times CH \times CA= AB^2

Παρόμοια είναι η απόδειξη για την οξεία γωνία[6].

Απόδειξη του Άλ-Κασί[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 4: Απόδειξη του Νόμου των Συνημιτόνων για οξυγώνιο, κατά τον Άλ-Κασί

Στο βιβλίο του Κλειδί της Αριθμητικής το 1429[7] ο Άλ-Κασί γενίκευσε το Πυθαγόρειο Θεώρημα και εισήγαγε στην ισότητα την τριγωνομετρία. Έτσι από ένα οξυγώνιο ABC έφερε τα ύψη από Α και Β τα οποία τέμνουν τα σχηματιζόμενα από τις πλευρές AC και BC τετράγωνα, δημιουργώντας έτσι δύο ορθογώνια τρίγωνα. Το άθροισμα των εμβαδών των ορθογωνίων τριγώνων που σχηματίζονται από τις διαγώνιους BF και AG, είναι ίσο με το εμβαδό του τετραγώνου ΑΒ και το εμβαδό των ορθογωνίων τριγώνων που σχηματίζονται από τις διαγώνιους CF και CG ισούται με CB × CA × cos(C). Έτσι δίνεται:

CA^2+CB^2=AB^2+2 CB\times CA \times \cos(C)

Παρόμοια είναι η απόδειξη για τα αμβλυγώνια, αφαιρώντας όμως εμβαδά.

Συγκρίνοντας εμβαδά[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 6α: Απόδειξη με σύγκριση εμβαδών για οξείες γωνίες
Σχήμα 6β: Απόδειξη με σύγκριση εμβαδών για αμβλύες γωνίες

Αρκετές αποδείξεις χρησιμοποιούν τον υπολογισμό εμβαδών. Θα πρέπει να σημειωθεί, λοιπόν, πως:

  • a^2, b^2 και c^2 είναι τα εμβαδά των τετραγώνων των αντίστοιχων πλευρών a, b και c ;
  • ab |\cos\gamma| είναι αυτό του παραλληλογράμου με πλευρές a και b σχηματίζοντας μια γωνία \pi/2-\gamma, η αλλαγή του προσήμου του \cos\gamma γίνεται όταν η γωνία \gamma γίνεται αμβλύα. 'Όπως φαίνεται επιβάλεται η μελέτη κατά περίπτωση.

Στο σχήμα 6α, το επτάγωνο χωρίζεται με δύο διαφορετικούς τρόπους για να αποδείξει το θεώρημα για μια οξεία γωνία:

  • σε κόκκινο: τα εμβαδά a^2, b^2 αριστερά, και τα εμβαδά 2ab \cos\gamma και c^2 δεξιά.
  • σε μπλέ: το τρίγωνο ABC, στα δεξιά όπως και στα αριστερά.
  • σε γκρί: κάποια τρίγωνα συμπληρωματικά, πανομοιότυπα με το τρίγωνο ABC και σε ίδιο αριθμό στα δύο σχήματα.

Οι ισότητες των εμβαδών στα αριστερά και δεξιά δίνουν:

\,a^2+b^2 = c^2+2ab \cos\gamma.

Στο σχήμα 6β, το εξάγωνο χωρίζεται με δύο διαφορετικούς τρόπους για να αποδείξει το θεώρημα για μια αμβλύα γωνία:

  • σε κόκκινο: τα εμβαδά a^2, b^2 και -2ab \cos\gamma αριστερά, και το εμβαδό c^2 δεξιά.
  • σε μπλέ: δύο φρές το τρίγωνο ABC, στα δεξιά όπως και στα αριστερά.

Οι ισότητες των εμβαδών στα αριστερά και δεξιά δίνουν:

\,a^2+b^2-2ab\cos\gamma = c^2.

Για να αποδείξουμε πως τα δύο σχήματα είναι ίσα, χρησιμοποιούμε τα κριτήρια ισότητας τριγώνων[8].

Χρησιμοποιώντας το Πυθαγόρειο Θεώρημα[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 7: Απόδειξη χρησιμοποιώντας τριγωνομετρικές σχέσεις.

Το σχήμα 7 δείχνει πως αποδυκνείεται ο νόμος των συνημιτόνων για ένα οξυγώνιο, χρησιμοποιώντας το Πυθαγόρειο Θεώρημα σε ένα περιεχόμενο ορθογώνιο τρίγωνο, σχηματιζόμενο από το ύψος του οξυγωνίου[9]. Το τελευταίο βήμα που δεν εμφανίζεται στην εικόνα είναι πως το Πυθαγόρειο Θεώρημα ισχύει για το ορθογώνιο, με υποτείνουσα την πλευρά c.

\,c^2 = (a\sin\gamma)^2 + (b-a\cos\gamma)^2.

Η μέθοδος είναι παρόμοια για τα αμβλυγώνια.

Χρησιμοποιώντας την γεωμετρία του κύκλου[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 8: Απόδειξη χρησιμοποιώντας την γεωμετρία του κύκλου.

Θεωρώ τον κύκλο με κέντρο Β και ακτίνα BC, ο οποίος τέμνει την πλευρά AC στο C και το Κ κατ'επέκταση. Από το Θεώρημα των Τεμνόμενων Χορδών:

\mathrm{AB}^2 - \mathrm{BC}^2 = \overline{\mathrm{AC}}\cdot\overline{\mathrm{AK}} = \overline{\mathrm{AC}}\cdot(\overline{\mathrm{AC}}+\overline{\mathrm{CK}})

όπου

c^2-a^2 = b\,(b-2a\ \cos\ \gamma).

Εδώ δεν χρειάζεται να αποδείξουμε κατά περιπτώσεις. Πράγματι οι αλγεβρικές ιδιότητες επιτρέπουν την παράλληλη απόδειξη για αμβλεία (\overline{\mathrm{CK}} > 0) και οξεία γωνία (\overline{\mathrm{CK}} < 0).
Ο Νικόλαος Κοπέρνικος στο βιβλίο του Περί των Περιστροφών των Ουρανίων Σφαιρών φαίνεται να χρησιμοποίησε το Θεώρημα των Τεμνόμενων Χορδών για να καθορίσει όλες τις γωνίες ενός τριγώνου, με γνωστά μήκη πλευρών [10][11]. Χρησιμοποίησε δύο αλγόριθμους, στον έναν χρησιμοποίησε το γενικευμένο Πυθαγόρειο Θεώρημα (όπως τέθηκε κατά τον Ευκλείδη) και στον άλλον χρησιμοποίησε το Θεώρημα των Τεμνόμενων Χορδών. Έτσι, με ένα τρόπο ανάλογο με αυτόν που δείχνει το σχήμα, θεώρησε ότι a και c είναι γνωστα, από το Θεώρημα των Τεμνόμενων Χορδών το Α είναι γνωστό

ερμηνευμένο μαθηματικά: c^2-a^2

Καταλήγει στο συμπέρασμα ότι, επειδή b είναι γνωστό, η ΑΚ είναι γνωστή

AK \times b = c^2-a^2 έτσι AK=\frac{c^2-a^2}{b}

Επειδή AK είναι γνωστή, έτσι CK είναι γνωστή.

από το σχήμα CK= AK-b=\frac{c^2-a^2-b^2}{b}

Τέλος, αφού CK είναι γνωστή, η γωνία KCB είναι γνωστή

\cos(KCB)=\frac{CK}{2a}=\frac{c^2-a^2-b^2}{2ab}

Και εφ'όσον η γωνία KCB είναι γνωστή, ισχύει το ίδιο για την γωνία ACB.

Έτσι βρίσκουμε τον Νόμο των Συνημιτόνων : \cos(\gamma)=\frac{a^2+b^2-c^2}{2ab}

Μη χρησιμοποιώντας αλγεβρικά μέτρα ο Νικόλαος Κοπέρνικος παρουσίασε δύο περιπτώσεις, για την αμβλεία και την οξεία γωνία, εργάστηκε πάνω σε έναν κύκλο του οποίου η ακτίνα αντιστοιχούσε στην μικρότερη πλευρά των τριγώνων και δεν κατέληξε σε τύπο αλλά σε αλγόριθμο υπολογισμού. Ο Νόμος των Συνημιτόνων αποδείχθηκε με παρόμοιο τρόπο από τον Βαρθολομαίο Πιτίσκο[12].

Χρησιμοποιώντας εσωτερικό γινόμενο[Επεξεργασία | επεξεργασία κώδικα]

Χρησιμοποιώντας διανύσματα και πιο συγκεκριμένα το εσωτερικό γινόμενο[13], είναι δυνατόν να αποδείξουμε το θεώρημα σε μερικές γραμμές:

c^2\, =\lVert\overrightarrow{\mathrm{AB}}\lVert^2
= \lVert\overrightarrow{\mathrm{CB}}-\overrightarrow{\mathrm{CA}}\lVert^2
=\lVert\overrightarrow{\mathrm{CB}}\lVert^2-2\cdot\overrightarrow{\mathrm{CB}}\cdot\overrightarrow{\mathrm{CA}}+\lVert\overrightarrow{\mathrm{CA}}\lVert^2
=\mathrm{CB}^2-2\cdot\left|\mathrm{CB}\right|\cdot\left|\mathrm{CA}\right|\cos\widehat{\mathrm{ACB}}+\mathrm{CA}^2
=a^2+b^2-2ab \cos\gamma\,.

Γενίκευση σε μη Ευκλείδειες γεωμετρίες[Επεξεργασία | επεξεργασία κώδικα]

Για μια μη Ευκλείδεια επιφάνεια, καμπυλότητας Κ και ακτίνα καμπυλότητας R, ισχύει:

\,R = 1/\sqrt{|K|}.

Ορίζουμε τις μειωμένες διαστάσεις του τριγώνου:

\,a = BC/R,
\,b = AC/R,
\,c = AB/R.

Στην περίπτωση σφαιρικού τριγώνου, a, b και c αντιστοιχούν στη γωνιακή μέτρηση μεγάλων τμημάτων τόξου [BC], [CA] και [ΑΒ] (σχήμα 7)

Σφαιρική γεωμετρία[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 9: οι μειωμένες διαστάσεις τριγώνου και οι γωνίες α,β και γ

Σε ένα σφαιρικό τρίγωνο ο Νόμος των Συνημιτόνων ερμηνεύεται ως εξής[14]:

\cos c = \cos a \, \cos b + \sin a \, \sin b \, \cos\gamma.

Όταν η ακτίνα καμπυλότητας είναι μεγάλη σε σύγκριση με τις διαστάσεις του τριγώνου, δηλαδή όταν

\,a <\!\!< 1,\  \,b <\!\!< 1,\  \,c <\!\!< 1,\

αυτή η έκφραση απλοποιείται για να δώσει την Ευκλείδεια εκδοχή. Για να το δείξουμε χρησιμοποιούμε:

\,\sin a = a + O(a^3),
\,\cos a = 1 - a^2/2 + O(a^3).

Υπάρχει μια παρόμοια ταυτότητα που συνδέει και τις τρεις γωνίες:

\cos\gamma = - \cos\alpha\,\cos\beta + \sin\alpha\,\sin\beta\,\cos c

Υπερβολική γεωμετρία[Επεξεργασία | επεξεργασία κώδικα]

Σε ένα υπερβολικό τρίγωνο [15]:

\cosh c = \cosh a\,\cosh b - \sinh a\,\sinh b\,\cos\gamma.

Όταν η ακτίνα της καμπυλότητας γίνεται πολύ μεγάλη σε σύγκριση με το μέγεθος του τριγώνου:

\,\sinh a = a + O(a^3),
\,\cosh a = 1 + a^2/2 + O(a^3).

Γενίκευση σε Ευκλείδειους Χώρους[Επεξεργασία | επεξεργασία κώδικα]

Σχήμα 10: Τετράεδρο: επιφάνειες και δίεδρες γωνίες

Θεωρώ ένα τετράεδρο A1A2A3A4 σε έναν Ευκλείδειο χώρο. Το σχήμα 10 δείχνει τις κορυφές, επιφάνειες και γωνίες στο τετράεδρο:

  • \mathrm S_k η επιφάνεια απέναντι από την κορυφή \mathrm A_k\ ;
  • s_k η επιφάνεια του \mathrm S_k\ ;
  • \Delta_k το επίπεδο στο οποίο το \mathrm S_k\ εντάσσεται ;
  • \theta_{ij} η δίεδρη γωνία (\Delta_i, \Delta_j).

Έτσι επιφάνειες και γωνίες επιβεβαιώνουν[16] :

s_4^2 = s_1^2+s_2^2+s_3^2 - 2s_1s_2\cos\theta_{12} - 2s_1s_3\cos\theta_{13} - 2s_2s_3\cos\theta_{23}.\,

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. http://archive.wikiwix.com/cache/?url=http://public.iutenligne.net/mathematiques_trans/Billonnet/Pythagore/Chapitre-3/Section-3-2.html&title=Pythagore%20et%20son%20th%C3%A9or%C3%A8me
  2. http://www.physics.ntua.gr/~mourmouras/euclid/common/indexelements.html
  3. http://www.physics.ntua.gr/~mourmouras/euclid/book2/postulate12.html
  4. Youssef Guergour, Le roi de Saragosse Al-Mutaman Ibn Hud et le théorème de Pythagore : ses sources et ses prolongements, LLULL, vol 28,2005, p 432.
  5. http://nomostwosynhmitonwn.wikispaces.com/1
  6. http://www.physics.ntua.gr/~mourmouras/euclid/book2/postulate13.html
  7. Selon Youssef Guergour, Le roi de Saragosse Al-Mutaman Ibn Hud et le théorème de Pythagore : ses sources et ses prolongements, LLULL, vol 28,2005, 415-434, la démonstration se trouve dans KASHI (al) (1967): Miftam al-misab [Clé de l'Arithmétique], al-Damardache, A. S. & al-Manfi al-Shikh, M. M. (Edit.), Le Caire, Dar al-Kitab al-cArabi li at-tibaqa wa an-Nashr, pp 130-138
  8. http://digitalschool.minedu.gov.gr/modules/ebook/show.php/DSGL-A101/216/1551,4991/
  9. Küstner, Hellwitch, Kästner, Petite encyclopédie des mathématiques, Édition Didier, 1980, ch 11-2, p 265
  10. N. Copernic, De révolutionibus orbium coelestium, Livre I, Chapitre XII, paragraphe VII, p 20 (Lire en ligne) l'autre utilisant la puissance d'un point par rapport à un cercle
  11. N. Copernic, De révolutionibus orbium coelestium, Livre I, Chapitre XII, paragraphe VII, p 21 (Lire en ligne)
  12. David Eugene Smith, A source book in mathematics, Volume 1, p 435
  13. http://eisatopon.blogspot.gr/2012/03/blog-post_9384.html
  14. le "cours" de cartographie de David Madore
  15. ABC ce TD de DEA (mais qui utilise des connaissances assez avancées)
  16. (αγγλικά) Lee, J. R. "The Law of Cosines in a Tetrahedron." J. Korea Soc. Math. Ed. Ser. B: Pure Appl. Math. 4, 1-6, 1997.
Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Théorème d'Al-Kashi της Γαλλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 3.0. (ιστορικό/συντάκτες).