Υπάρχουν διάφοροι συμβολισμοί που χρησιμοποιούνται για τις αντίστροφες τριγωνομετρικές συναρτήσεις.
Η πιο κοινή σύμβαση είναι να αναφέρουμε τις αντίστροφες τριγωνομετρικές συναρτήσεις χρησιμοποιώντας ένα arc- πρόθεμα, π.χ., , , , κ.λπ. Αυτή η σύμβαση χρησιμοποιείται καθ'όλην την έκταση του άρθρου. Κατά την μέτρηση σε ακτίνια, μια γωνία ακτινίων θα αντιστοιχεί σε ένα τόξο, του οποίου το μήκος είναι , όπου είναι η ακτίνα του κύκλου. Έτσι, στον μοναδιαίο κύκλο, "το τόξο του οποίου το συνημίτονο είναι " είναι το ίδιο με "η γωνία της οποίας το συνημίτονο είναι ", επειδή το μήκος του τόξου του κύκλου σε ακτίνες είναι το ίδιο με τη μέτρηση της γωνίας σε ακτίνια.[1] Ομοίως, σε γλώσσες προγραμματισμού ηλεκτρονικών υπολογιστών (καθώς και στο Excel) οι αντίστροφες τριγωνομετρικές συναρτήσεις συνήθως ονομάζονται , , .
Οι συμβολισμοί , , , κ.λπ., όπως εισήχθη από τον Τζον Χέρσελ, το 1813,[2][3] χρησιμοποιούνται συχνά επίσης, αλλά αυτή η σύμβαση έρχεται λογικά σε σύγκρουση με την κοινή σημασιολογία για εκφράσεις όπως το , που αναφέρονται σε αριθμητική δύναμη παρά σε σύνθεση συναρτήσεων, και ως εκ τούτου μπορεί να οδηγήσει σε σύγχυση μεταξύ των αντίστροφο πολλαπλασιασμού και αντίστροφο σύνθεσης. Η σύγχυση έχει κάπως βελτιωθεί από το γεγονός ότι καθεμία από τις αμοιβαίες τριγωνομετρικές συναρτήσεις έχει το δικό της όνομα — για παράδειγμα, . Παρ' όλα αυτά, ορισμένοι συγγραφείς συμβουλεύουν κατά της χρήσης του λόγω ασάφειας.
Μια άλλη σύμβαση που χρησιμοποιείται από μερικούς συγγραφείς[4] είναι η χρήση κεφαλαίου πρώτου γράμματος μαζί με εκθέτη , π.χ., , , , κ.λπ., η οποία αποφεύγει να τους μπερδεύει με τον αντίστροφο πολλαπλασιασμού, ο οποίος θα πρέπει να συμβολίζεται ως , , κ.λπ.
Καθώς καμία από τις έξι τριγωνομετρικές συναρτήσεις δεν είναι ένα-προς-ένα, πρέπει να περιορίσουμε το πεδίο ορισμού τους ώστε να έχουν αντίστροφες συναρτήσεις. Επομένως, τα σύνολα τιμών των αντίστροφων συναρτήσεων είναι γνήσια υποσύνολα των πεδίων ορισμού των αρχικών συναρτήσεων.
Για παράδειγμα, χρησιμοποιώντας την συνάρτηση με την έννοια των συναρτήσεων πολλαπλών τιμών, όπως και η συνάρτηση τετραγωνικής ρίζας θα μπορούσε να ορίζεται από την , η συνάρτηση ορίζεται έτσι ώστε . Υπάρχουν πολλαπλοί αριθμοί τέτοιοι ώστε για παράδειγμα, , αλλά και , , κ.λπ. Όταν μόνο μια τιμή ζητείται, η συνάρτηση μπορεί να περιοριστεί στον κύριο κλάδο της. Με αυτόν τον περιορισμό, για κάθε στο πεδίο ορισμού η παράσταση θα αξιολογεί μόνο σε μοναδική τιμή, η οποία ονομάζεται η κύρια τιμή της. Αυτές οι ιδιότητες εφαρμόζονται σε όλες τις αντίστροφες τριγωνομετρικές συναρτήσεις.
Οι κύριες αντίστροφες παρατίθενται στον παρακάτω πίνακα.
Σημείωση: Μερικοί συγγραφείς ορίζουν το σύνολο τιμών του arcsecant να είναι ( ή ), επειδή η συνάρτηση εφαπτομένης είναι μη αρνητική σε αυτό το πεδίο ορισμού. Αυτό κάνει κάποιους υπολογισμούς πιο συνεπείς. Για παράδειγμα, χρησιμοποιώντας αυτό το πεδίο ορισμού, , ενώ με το πεδίο ορισμού ( ή ), θα έπρεπε να γράψουμε , καθώς η εφαπτομένη είναι μη αρνητική για , αλλά μη θετική για . Για παρόμοιο λόγο, οι ίδιοι συγγραφείς ορίζουν το πεδίο ορισμού του arccosecant να είναι ( ή ).
Αν το x επιτρέπεται να είναι μιγαδικός αριθμός, τότε το σύνολο τιμών του y ισχύει μόνο για το πραγματικό μέρος.
Σχέσεις μεταξύ των τριγωνομετρικών συναρτήσεων και των αντίστροφων τριγωνομετρικών συναρτήσεων
Οι τριγωνομετρικές συναρτήσεις των αντίστροφων τριγωνομετρικών συναρτήσεων παρατίθενται στον παρακάτω πίνακα. Ένας γρήγορος τρόπος για να τους εξάγουμε είναι λαμβάνοντας υπόψιν τη γεωμετρία ενός ορθογωνίου τριγώνου, του οποίου η μία πλευρά είναι μήκους 1, και μια άλλη πλευρά μήκους x (οποιοσδήποτε πραγματικός αριθμός μεταξύ 0 και 1), και, στη συνέχεια, εφαρμόζοντας το Πυθαγόρειο θεώρημα και τους ορισμούς των τριγωνομετρικών σχέσεων. Καθαρές αλγεβρικές εξαγωγές είναι μεγαλύτερες.
Diagram
Σχέσεις μεταξύ των αντίστροφων τριγωνομετρικών συναρτήσεων
Κάθε φορά που η τετραγωνική ρίζα ενός μιγαδικού αριθμού χρησιμοποιείται εδώ, επιλέγουμε τη ρίζα με το θετικό πραγματικό μέρος (ή το θετικό φανταστικό μέρος, αν το τετράγωνο ήταν αρνητικός πραγματικός).
Ολοκληρώνοντας την παράγωγο και σταθεροποιώντας την τιμή σε ένα σημείο δίνει μια παράσταση για την αντίστροφη τριγωνομετρική συνάρτηση ως ορισμένο ολοκλήρωμα:
Όταν το x ισούται με 1, τα ολοκληρώματα με περιορισμένα πεδία ορισμού είναι γενικευμένα ολοκληρώματα, αλλά και πάλι καλά ορισμένα.
Όπως οι συναρτήσεις ημίτονο και συνημίτονο, οι αντίστροφες τριγωνομετρικές συναρτήσεις μπορούν να υπολογιστούν χρησιμοποιώντας δυναμοσειρές, ως εξής. Για το τόξο ημιτόνου, η σειρά μπορεί να παραχθεί από την επέκταση της παραγώγου, ως διωνυμική σειρά, και την παραγώγιση όρου προς όρου (χρησιμοποιώντας τον ολοκληρωτικό ορισμό ως ανωτέρω). Η σειρά για το τόξο εφαπτομένης μπορεί ομοίως να παραχθεί από την επέκταση της παραγώγου σε μια γεωμετρική σειρά και την εφαρμογή του παραπάνω ολοκληρωτικού ορισμού (βλ. σειρά Λάιμπνιτς).
Το δεύτερο από αυτά είναι έγκυρο σε τμήματα του μιγαδικού επιπέδου. Υπάρχουν δύο τμήματα, από το −i στο σημείο στο άπειρο, πηγαίνοντας προς τα κάτω στον φανταστικό άξονα, και από το i στο σημείο στο άπειρο, πηγαίνοντας προς τα πάνω στον ίδιο άξονα. Λειτουργεί καλύτερα για πραγματικούς αριθμούς που τρέχουν από το -1 στο 1. Οι μερικοί παρονομαστές είναι οι περιττοί φυσικοί αριθμοί, και οι μερικοί αριθμητές (μετά τον πρώτο) είναι απλά (nz)2, με κάθε τέλειο τετράγωνο να εμφανίζεται μια φορά. Η πρώτη αναπτύχθηκε από τον Λέοναρντ Όιλερ η δεύτερη από τον Καρλ Φρίντριχ Γκάους, αξιοποιώντας την υπεργεωμετρική σειρά Γκάους.
Αόριστα ολοκληρώματα των αντίστροφων τριγωνομετρικών συναρτήσεων
Για όλους τους πραγματικούς x που δεν είναι μεταξύ -1 και 1:
Η απόλυτη τιμή είναι αναγκαία για να αντισταθμίσει και τις αρνητικές και τις θετικές τιμές των συναρτήσεων arcsecant και arccosecant. Η συνάρτηση προσήμου είναι επίσης απαραίτητη λόγω των απολύτων τιμών στις παραγώγους των δύο συναρτήσεων, οι οποίες δημιουργούν δύο διαφορετικές λύσεις για θετικές και αρνητικές τιμές του x. Αυτές μπορούν να απλοποιηθούν περαιτέρω με την χρήση των λογαριθμικών ορισμών των αντίστροφων υπερβολικών συναρτήσεων:
Η απόλυτη τιμή στο όρισμα της συνάρτησης arcosh δημιουργεί ένα αρνητικό ήμισυ στο γράφημά της, καθιστώντας το πανομοιότυπο με την λογαριθμική συνάρτηση προσήμου που εμφανίζεται παραπάνω.
Όλες αυτές οι αντιπαράγωγοι (ή αλλιώς αόριστα ολοκληρώματα) μπορούν να προκύψουν χρησιμοποιώντας ολοκλήρωση κατά μέλη και τις απλές μορφές παραγώγων που εμφανίζονται παραπάνω.
Καθώς οι αντίστροφες τριγωνομετρικές συναρτήσεις είναι αναλυτικές συναρτήσεις, μπορούν να επεκταθούν από την πραγματική ευθεία στο μιγαδικό επίπεδο. Αυτό οδηγεί σε συναρτήσεις με πολλαπλά φύλλα και σημεία κλάδων. Ένας πιθανός τρόπος για τον καθορισμό των επεκτάσεων είναι:
όπου το τμήμα του φανταστικού άξονα που δεν βρίσκεται αυστηρά μεταξύ -i και +i είναι η τομή μεταξύ του κύριου φύλλου και άλλων φύλλων·
όπου (η συνάρτηση τετραγωνικής ρίζας έχει την χάραξή της κατά μήκος του αρνητικού πραγματικού άξονα και) το τμήμα του πραγματικού άξονα που δεν βρίσκεται αυστηρά μεταξύ -1 και +1 είναι η τομή μεταξύ του κύριου φύλλου το arcsin και άλλων φύλλων·
που έχει την ίδια χάραξη με το arcsin·
που έχει την ίδια χάραξη με το arctan·
όπου το τμήμα του πραγματικού άξονα μεταξύ -1 και +1 περιεκτικά είναι η τομή μεταξύ του κύριου φύλλου του arcsec και άλλων φύλλων·
Κάθε μία από τις τριγωνομετρικές συναρτήσεις είναι περιοδική στο πραγματικό μέρος του ορίσματός της, διατρέχοντας όλες της τις τιμές δύο φορές σε κάθε διάστημα του 2π. Το ημίτονο και η συντέμνουσα αρχίζουν την περίοδό τους από το 2πk − π/2 (όπου k είναι ένας ακέραιος), την τελειώνουν στο 2πk + π/2, και μετά αντιστρέφονται από το 2πk + π/2 μέχρι το 2πk + 3π/2. Το συνημίτονο και η τέμνουσα αρχίζουν την περίοδό τους από το 2πk, την τελειώνουν στο 2πk + π, και μετά αντιστρέφονται από το 2πk + π μέχρι το 2πk + 2π. Η εφαπτομένη αρχίζει την περίοδό της από το 2πk − π/2, την τελειώνει στο 2πk + π/2, και μετά την επαναλαμβάνει (προς τα εμπρός) από το 2πk + π/2μέχρι το 2πk + 3π/2. Η συνεφαπτομένη αρχίζει την περίοδό της από το 2πk, την τελειώνει στο 2πk + π, και μετά την επαναλαμβάνει (προς τα εμπρός) από το 2πk + π μέχρι το 2πk + 2π.
Αυτή η περιοδικότητα αντικατοπτρίζεται στις γενικές αντίστροφες όπου k είναι κάποιος ακέραιος:
Το οποίο, γραμμένο σε μια εξίσωση, είναι:
Το οποίο, γραμμένο σε μια εξίσωση, είναι:
Εφαρμογή: εύρεση της γωνίας ενός ορθογωνίου τριγώνου
Οι αντίστροφες τριγωνομετρικές συναρτήσεις είναι χρήσιμες όταν προσπαθούμε να καθορίσουμε τις υπόλοιπες δύο γωνίες ενός ορθογωνίου τριγώνου όταν τα μήκη των πλευρών του τριγώνου είναι γνωστά. Υπενθυμίζοντας τον ορισμό του ημιτόνου, για παράδειγμα, σε ένα ορθογώνιο τρίγωνο, προκύπτει ότι
.
Συχνά, η υποτείνουσα είναι άγνωστη και θα πρέπει να υπολογιστεί πριν από την χρήση του τόξου ημιτόνου ή του τόξου συνημιτόνου, χρησιμοποιώντας το Πυθαγόρειο θεώρημα: όπου είναι το μήκος της υποτείνουσας. Το τόξο εφαπτομένης έρχεται χρήσιμο σε αυτήν την περίπτωση, καθώς το μήκος της υποτείνουσας δεν είναι απαραίτητο.
.
Στην επιστήμη των υπολογιστών και της εφαρμοσμένης μηχανικής
Η συνάρτηση atan2 με δύο ορίσματα υπολογίζει το τόξο εφαπτομένης του δεδομένων των και , αλλά με πεδίο ορισμού το . Με άλλα λόγια, είναι η γωνία μεταξύ του θετικού άξονα του επιπέδου και του σημείου , με θετικό πρόσημο για αριστερόστροφες γωνίες (άνω μισό επίπεδο, ), και το αρνητικό πρόσημο για δεξιόστροφες γωνίες (κάτω μισό-επίπεδο, ). Αρχικά εισήχθη σε πολλές γλώσσες προγραμματισμού ηλεκτρονικών υπολογιστών, αλλά τώρα είναι επίσης κοινή σε άλλα πεδία της επιστήμης και της εφαρμοσμένης μηχανικής.
Όσον αφορά την πρότυπη συνάρτηση που είναι με πεδίο ορισμού το , μπορεί να εκφραστεί ως εξής:
υπό την προϋπόθεση ότι είτε x > 0 ή y ≠ 0. Ωστόσο αυτό δεν γίνεται αν δοθεί x ≤ 0 και y = 0, οπότε η έκφραση είναι ακατάλληλη για υπολογιστική χρήση.
Το παραπάνω ζεύγος ορίσματος (y, x) φαίνεται να είναι το πιο σύνηθες, και ιδίως χρησιμοποιείται σε πρότυπα ISO, όπως η γλώσσα προγραμματισμού C, αλλά λίγοι συγγραφείς μπορεί να χρησιμοποιήσουν την αντίστροφη σύμβαση (x, y), οπότε απαιτείται προσοχή. Οι παραλλαγές αυτές περιγράφονται αναλυτικά στο atan2.
Συνάρτηση τόξου εφαπτομένης με παράμετρο τοποθεσίας
Σε πολλές εφαρμογές η λύση της εξίσωσης είναι να έρθει όσο το δυνατόν πιο κοντά σε μια δεδομένη τιμή . Η κατάλληλη λύση παράγεται από την παραμετρική τροποποιημένη συνάρτηση τόξου εφαπτομένης
Η συνάρτηση στρογγυλοποιείται στον πλησιέστερο ακέραιο.
Για γωνίες κοντά στο 0 και στο π, το τόξο συνημιτόνου είναι κακώς-ρυθμισμένο και, συνεπώς, θα υπολογίσει τη γωνία με μειωμένη ακρίβεια σε εφαρμογή σε υπολογιστή (λόγω του περιορισμένου αριθμού ψηφίων).[6] Ομοίως, το τόξο ημιτόνου είναι ανακριβές για γωνίες κοντά στο και στο . Για να επιτευχθεί η πλήρης ακρίβεια για όλες τις γωνίες, το τόξο εφαπτομένης ή την atan2 θα πρέπει να χρησιμοποιηθεί για την εφαρμογή.[6]