En raison de limitations techniques, la typographie souhaitable du titre, « Outils mathématiques pour la physique (PCSI) : Fonctions trigonométriques inverses Outils mathématiques pour la physique (PCSI)/Fonctions trigonométriques inverses », n'a pu être restituée correctement ci-dessus.
Rappel et additif sur les fonctions trigonométriques directesModifier
Ce sont les fonctions sinus , cosinus , tangente et cotangente [1] :
le domaine de définition est « pour les deux 1ères », « pour tangente » et « pour cotangente » ;
« les deux 1ères sont -périodiques » et « les deux suivantes -périodiques » ;
elles sont « continues et dérivables sur leur domaine de définition », leurs dérivées étant respectivement :
Une fonction est « bijective » si et seulement si « tout élément du domaine des valeurs a un et un seul antécédent du domaine de définition » c.-à-d. encore « si tout élément du domaine des valeurs est image d'exactement un élément du domaine de définition » ; une fonction bijective est à la fois « injective » [6] et « surjective » [7].
Condition pour qu'une fonction soit inversableModifier
Pour qu'une fonction soit inversable elle doit être bijective :
si l'ensemble de départ est son domaine de définition et l'ensemble d'arrivée son domaine de valeurs, elle est nécessairement surjective car tout élément du domaine de valeurs a au moins un antécédent dans le domaine de définition mais elle peut ne pas être injective car des éléments du domaine des valeurs peuvent avoir plusieurs antécédents dans le domaine de définition c'est le cas de la fonction « sinus » appliquant dans
si la fonction n'est pas injective quand on considère son domaine de définition completcas de la fonction « sinus », on peut restreindre le domaine de définition en maintenant le domaine des valeurs pour que la « fonction restreinte » devienne injective[8], tout en restant surjective[9].
Fonction inverse de la fonction sinus : fonction arcsinusModifier
« Pour que la fonction soit inversable il faut restreindre son domaine de définition » de façon à ce que sa fonction restreinte soit « bijective » et ceci est réalisé pour un « domaine de définition restreint à » ;
Tracé du graphe de
«fonction inverse de», pour cette dernière le « domaine de définition étant restreint à » et le « domaine des valeurs restant » on en déduit
« le domaine de définition de la fonction» et « son domaine de valeurs» ;
tracé du graphe de la fonction : voir ci-contre le graphe de est le symétrique de celui de par rapport à la première diagonale ;
on observe que la fonction est «», « continue sur » et « dérivable sur », sa dérivée valant
«» ;
justification : on démontre ce résultat en inversant la fonction «» [10], puis justification : on démontre ce résultat en différenciant la fonction inversée, ce qui donne «» dont on tire « à condition que ne soit pas nul », « réalisé si ou » [11], justification : on termine en éliminant au profit de avec «» [12] soit « dont on déduit » ;
on déduit de cette expression de dérivée de la fonction qu'
« une primitive de est ».
Fonction inverse de la fonction cosinus : fonction arccosinusModifier
« Pour que la fonction soit inversable il faut restreindre son domaine de définition » de façon à ce que sa fonction restreinte soit « bijective » et ceci est réalisé pour un « domaine de définition restreint à » ;
Tracé du graphe de
«fonction inverse de», pour cette dernière le « domaine de définition étant restreint à » et le « domaine des valeurs restant » on en déduit
« le domaine de définition de la fonction» et « son domaine de valeurs» ;
tracé du graphe de la fonction : voir ci-contre le graphe de est le symétrique de celui de par rapport à la première diagonale ;
on observe que la fonction est «», « continue sur » et « dérivable sur », sa dérivée valant
«» ;
justification : on démontre ce résultat en inversant la fonction «» [13], puis justification : on démontre ce résultat en différenciant la fonction inversée, ce qui donne «» dont on tire « à condition que ne soit pas nul », « réalisé si ou » [14], justification : on termine en éliminant au profit de avec «» [15] soit « dont on déduit » ;
on déduit de cette expression de dérivée de la fonction qu'
« une primitive de est encore ».
Relation entre les fonctions trigonométriques inverses arcsinus et arccosinus
« Le fait qu'une primitive de » s'écrive «» ou «» montre qu'il existe un lien entre les deux fonctions trigonométriques inverses et
«» ou «»,
la valeur de étant déterminée en donnant à une valeur particulière par exemple et en sachant d'une part que et d'autre part que d'où la relation :
«».
Fonction inverse de la fonction tangente : fonction arctangenteModifier
« Pour que la fonction soit inversable il faut restreindre son domaine de définition » de façon à ce que sa fonction restreinte soit « bijective » et ceci est réalisé pour un « domaine de définition restreint à » ;
Tracé du graphe de
«fonction inverse de», pour cette dernière le « domaine de définition étant restreint à » et le « domaine des valeurs restant » on en déduit
« le domaine de définition de la fonction» et « son domaine de valeurs» ;
tracé du graphe de la fonction : voir ci-contre le graphe de est le symétrique de celui de par rapport à la première diagonale ;
on observe que la fonction est «», « continue sur » et « dérivable sur », sa dérivée valant
«» ;
justification : on démontre ce résultat en inversant la fonction «» [16], puis justification : on démontre ce résultat en différenciant la fonction inversée, ce qui donne «» dont on tire «» et justification : on termine en éliminant au profit de avec «» soit « dont on déduit » ;
on déduit de cette expression de dérivée de la fonction qu'
« une primitive de est ».
Fonction inverse de la fonction cotangente : fonction arccotangenteModifier
Remarque préliminaire : La fonction étant très peu utilisée relativement à la fonction , cela est encore plus marqué avec leur fonction inverse et on pourrait se passer d'introduire la fonction , la fonction suffisant amplement [17].
« Pour que la fonction soit inversable il faut restreindre son domaine de définition » de façon à ce que sa fonction restreinte soit « bijective » et ceci est réalisé pour un « domaine de définition restreint à » ;
Tracé du graphe de
«fonction inverse de», pour cette dernière le « domaine de définition étant restreint à » et le « domaine des valeurs restant » on en déduit
« le domaine de définition de la fonction» et « son domaine de valeurs» ;
tracé du graphe de la fonction : voir ci-contre le graphe de est le symétrique de celui de par rapport à la première diagonale ;
on observe que la fonction est «», « continue sur » et « dérivable sur », sa dérivée valant
«» ;
justification : pour cela on inverse la fonction «» [18], puis justification : pour cela on différencie la fonction inversée, ce qui donne «» dont on tire «» et justification : pour cela on termine en éliminant au profit de avec «» soit « dont on déduit » ;
on déduit de cette expression de dérivée de la fonction qu'
« une primitive de est ».
Relation entre les fonctions trigonométriques inverses arctangente et arccotangente
« Le fait qu'une primitive de » s'écrive «» ou «» montre qu'il existe un lien entre les deux fonctions trigonométriques inverses et
«» ou «»,
la valeur de étant déterminée en donnant à une valeur particulière par exemple et en sachant d'une part que et d'autre part que d'où la relation :
Simplification de fonction composée de grandeurs trigonométriques directe et inverseModifier
Nous nous proposons de simplifier des expressions du genre «» ou «» [20]
Présentation de la méthode de simplification sur le premier exempleModifier
Soit à simplifier «» :
Posant «», on cherche donc à « évaluer en fonction de » [21] ;
« l'inversion de conduit à », avec « dont on déduit » ;
il reste alors à utiliser le lien entre « ce qu'on cherche à évaluer » et « ce qu'on connaît » soit «» dont on tire «» et comme est , «» soit, avec , «» ou finalement
«».
Développement de la méthode de simplification sur le deuxième exempleModifier
Soit à simplifier «» :
Posant «», on cherche donc à « évaluer en fonction de » [22] ;
« l'inversion de conduit à », avec «», « étant de signe quelconque » mais « étant quant à elle » ;
il reste alors à utiliser le lien entre « ce qu'on cherche à évaluer » et « ce qu'on connaît » soit «»,
il reste alors à utiliser s'exprimant en fonction de par «» ou, avec , «» d'où
il reste alors à utiliser «» soit, avec , «» ou finalement
↑ 2,0 et 2,1 Cette dernière expression peut se déduire soit, en en prenant la partie imaginaire respectivement la partie réelle et sachant que la dérivée de la partie imaginaire respectivement de la partie réelle est la partie imaginaire respectivement de la partie réelle de la dérivée, la dernière expression énoncée concernant la dérivée de ou de .
↑ On dérive comme un quotient et on obtient soit, en utilisant , d'une part, et d'autre part en remplaçant par et en distribuant le dénominateur ; ces deux expressions sont à connaître.
↑ La fonction cotangente est liée à la fonction tangente par ; du caractère de la fonction tangente sur les intervalles continus où elle est définie, et donc de la positivité de sa dérivée, on en déduit que la fonction cotangente est sur les intervalles continus où elle est définie et que sa dérivée est négative d'où le signe «» précédant ; on établit l'expression de la dérivée en dérivant comme un quotient et on obtient ou, avec , d'une part, et d'autre part en réintroduisant et en distribuant le dénominateur on obtient ; ce résultat est beaucoup moins important que le précédent.
↑ On remarque que les fonctions « sinus », « tangente » et « cotangente » sont impaires, alors que la fonction « cosinus » est paire.
↑ Une fonction est injective si tout élément du domaine des valeurs a au plus un antécédent du domaine de définition ; la fonction « sinus » appliquant dans n'est pas injective car tout élément de possède une infinité d'antécédents.
↑ Une fonction est surjective si tout élément du domaine des valeurs a au moins un antécédent du domaine de définition ; la fonction « sinus » appliquant dans est surjective car tout élément de possède au moins un antécédent ; si l'ensemble de départ est le domaine de définition et l'ensemble d'arrivée le domaine des valeurs, une fonction est nécessairement surjective mais si l'ensemble de départ est restreint en maintenant l'ensemble d'arrivée confondu avec le domaine de toutes les valeurs possibles, par exemple la fonction sinus considérée comme appliquant dans , l'application peut ne pas être surjective et c'est le cas sur l'exemple de l'application sinus appliquant dans non surjective car aucun élément de n'a d'antécédent dans .
↑ La restriction du domaine de définition doit être telle que tout élément du domaine des valeurs ait au plus un antécédent dans le domaine restreint : par exemple la fonction « sinus » restreinte au domaine de définition , l'ensemble d'arrivée restant .
↑ Attention à ne pas trop restreindre le domaine de définition de façon qu'il n'existe aucun élément du domaine des valeurs n'ayant plus d'antécédent dans le domaine de définition restreint : par exemple la fonction « sinus » restreinte au domaine de définition , l'ensemble d'arrivée restant , est certes injective car tout élément de a au plus un antécédent dans en effet l'antécédent existe et est unique si l'élément d'arrivée et l'antécédent n'existe pas si l'élément d'arrivée mais n'est plus surjective aucun élément de n'ayant d'antécédent dans .
↑ Ce lien justifiant que l'on pourrait se passer d'introduire la fonction puisque qu'elle n'est que le complément à de la fonction ; bien que le lien entre et soit le même, la fonction est usuellement introduite bien qu'elle pourrait ne pas l'être, la fonction n'étant que le complément à de la fonction ; toutefois ce n'est que lors de la prise de primitive que l'on privilégie la fonction au profit de la fonction .
↑ Ces deux exemples quelconques devraient suffire pour présenter la méthode de simplification.
↑ Le fait de baptiser la fonction va permettre de préciser « son domaine de valeurs plus simplement », « son domaine de définition étant ».
↑ Le fait de baptiser la fonction va permettre de préciser « son domaine de valeurs plus simplement », « son domaine de définition étant ».
![{\displaystyle \;{\dfrac {d\left[\sin(x)\right]}{dx}}=\cos(x)=\sin \!\left(x+{\dfrac {\pi }{2}}\right)\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c29b385dd7ba8dd3dbb38d5304ed800270198d01)
![{\displaystyle \;{\dfrac {d\left[\cos(x)\right]}{dx}}=-\sin(x)=\cos \!\left(x+{\dfrac {\pi }{2}}\right)\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ae6f6cada12860f34026e91e0795b56caee9ad0)
![{\displaystyle \;{\dfrac {d\left[\tan(x)\right]}{dx}}={\dfrac {1}{\cos ^{2}(x)}}=1+\tan ^{2}(x)\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e99b97c91295c4862b8db7a8c4643b8c207a964)
![{\displaystyle \;{\dfrac {d\left[\cot(x)\right]}{dx}}=-{\dfrac {1}{\sin ^{2}(x)}}=-\left[1+\cot ^{2}(x)\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1102ce3b218999c89bb0bb1022ccfe899d15b62f)
![{\displaystyle \;\left[-1\,{\text{,}}\,+1\right]{\big )}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f3c262bcbb3bbbc205121745e82efc59270468)
![{\displaystyle \;\left[-{\dfrac {\pi }{2}}\,{\text{,}}\,+{\dfrac {\pi }{2}}\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8249ac6f9b9244ba2b7c9a1a90ec654e10e370c7)
![{\displaystyle \;\left[-1\,{\text{,}}\,+1\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/207177967efc722bb83e71fa1946b5b66e208e44)
![{\displaystyle \left[-1\,{\text{,}}\,+1\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4606986b879b63eeed5bd00eae359c7c7891bf8)
![{\displaystyle {\big ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31d63350d68291e3f56604a089e0e0b5a86c2472)
![{\displaystyle \;\left]-1\,{\text{,}}\,+1\right[\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a91a896b95128252fe8201821a9eefe4921fa0b2)
![{\displaystyle \;{\dfrac {d\left[\arcsin(x)\right]}{dx}}={\dfrac {1}{\sqrt {1-x^{2}}}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cbf006bc445cdb8e84afd58304d2f0e8e515cdc)
![{\displaystyle \;\left[0\,{\text{,}}\,+\pi \right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a111ed10ab267f61b7fdda17b87db8b1435e8f2)
![{\displaystyle \;{\dfrac {d\left[\arccos(x)\right]}{dx}}={\dfrac {-1}{\sqrt {1-x^{2}}}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a264903176f10a48bffaf521a434d7cac927ccb1)
![{\displaystyle \;\left]-{\dfrac {\pi }{2}}\,{\text{,}}\,+{\dfrac {\pi }{2}}\right[\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/820c39060bf7612a3f855fbb31c4c30b5f5cf823)
![{\displaystyle \;{\dfrac {d\left[\arctan(x)\right]}{dx}}={\dfrac {1}{1+x^{2}}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/902d96f339f928a6e7873a314c262d25f8ecfc0e)
![{\displaystyle \;dx=\left[1+\tan ^{2}(y)\right]dy\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c1cda059bd055c9330e4604dd7140381ada5d77)
![{\displaystyle \;\left]0\,{\text{,}}\,+\pi \right[\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a338cc018da093d49dcadc013344b52e36bd75de)
![{\displaystyle \;{\dfrac {d\left[\operatorname {arccot}(x)\right]}{dx}}={\dfrac {-1}{1+x^{2}}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6841f31dba3f31ff1f496607fab3a74d9715ed6b)
![{\displaystyle \;dx=-\left[1+\cot ^{2}(y)\right]dy\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7fda08539067c473600964ee207627ba04841ea)
![{\displaystyle \;\cos \!\left[\arcsin(x)\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79d107f2877d87b7edffc83cbc60cdac13796ba2)
![{\displaystyle \;\sin \!\left[\arctan(x)\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6222cb92f45b534f001bc023920c47501144e563)
![{\displaystyle \;\alpha \in \left[-{\dfrac {\pi }{2}}{\text{ ; }}{\dfrac {\pi }{2}}\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/675d498a48da4275e20896333ef1cf72dd5f7d3e)
![{\displaystyle \;\cos \!\left[\arcsin(x)\right]={\sqrt {1-x^{2}}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b35f8c573816b50d4189afc309d3430ae52cb45)
![{\displaystyle \;\alpha \in \left]-{\dfrac {\pi }{2}}{\text{ ; }}{\dfrac {\pi }{2}}\right[\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a6e65cb78cc608d756bfcf7cf8976aaef6061c2)
![{\displaystyle \;\sin \!\left[\arctan(x)\right]={\dfrac {x}{\sqrt {1+x^{2}}}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46c81ad49fb40f7bf58b69dedb8dc11a369a93b2)
![{\displaystyle \;{\dfrac {d\left[\exp(i\,x)\right]}{dx}}=i\,\exp(i\,x)=\exp \!\left[i\left(x+{\dfrac {\pi }{2}}\right)\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f9f903e672ac5ac5e228f40f99667cc9bfcbc34)
![{\displaystyle \;{\dfrac {d\left[\tan(x)\right]}{dx}}={\dfrac {\cos(x)\,\cos(x)-\sin(x)\left[-\sin(x)\right]}{\cos ^{2}(x)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0a1ee50cbdf8f2ad1809b44e78c87cd7ae47772)
![{\displaystyle \;{\dfrac {d\left[\tan(x)\right]}{dx}}={\dfrac {1}{\cos ^{2}(x)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bb097cd0776f5c0b8398ddbbb698849b4fb9526)
![{\displaystyle \;{\dfrac {d\left[\tan(x)\right]}{dx}}={\dfrac {\cos ^{2}(x)}{\cos ^{2}(x)}}+{\dfrac {\sin ^{2}(x)}{\cos ^{2}(x)}}=1+\tan ^{2}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9750d26e8bdd1c37dfb81a7a4bcfb35c7e7e83a1)
![{\displaystyle \;{\dfrac {d\left[\cot(x)\right]}{dx}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a903f4c5b9be60d5970fd49ad13e9a936340eaa)
![{\displaystyle {\dfrac {\sin(x)\,\left[-\sin(x)\right]-\cos(x)\,\cos(x)}{\sin ^{2}(x)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a81f0626e9dadc6bd75e5ac0cf6618b3c1e7a263)
![{\displaystyle \;{\dfrac {d\left[\cot(x)\right]}{dx}}=-{\dfrac {1}{\sin ^{2}(x)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11a9fd2804fef306d2d96722aeaea4f878a73980)
![{\displaystyle \;{\dfrac {d\left[\cot(x)\right]}{dx}}=-\left[{\dfrac {\sin ^{2}(x)}{\sin ^{2}(x)}}+{\dfrac {\cos ^{2}(x)}{\sin ^{2}(x)}}\right]=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ce65bd2d156dbc87a1ac96cb0377ab9a313f98e)
![{\displaystyle -\left[1+\cot ^{2}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e70ae751006c54b45250719499d2521bc5d425e)
![{\displaystyle \;\left[0\,{\text{,}}\,+{\dfrac {\pi }{2}}\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4324087b3974cdb5d4fdd687bc85193546a8abb4)
![{\displaystyle \;\left[-1\,{\text{,}}\,+1\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c900f2c66d2d6ad464cf4be5403a69448a70f26)
![{\displaystyle \;\left[0\,{\text{,}}\,+{\dfrac {\pi }{2}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ea51060340742f11ef012f19aa913279e8ec9dd)
![{\displaystyle \;\left[-{\dfrac {\pi }{2}}\,{\text{,}}\,+{\dfrac {\pi }{2}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db9d7d52aff5febbcf684d5de130125ee8523834)
![{\displaystyle \;\in \left[0\,{\text{,}}\,+1\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b69ddea8e61316116d4f7763c27a09902e754fc)
![{\displaystyle \;\left[0\,{\text{,}}\,+{\dfrac {\pi }{2}}\right]{\bigg )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42445b4c9d1dede7114c9ab7c0ca27cb3e3c98fa)
![{\displaystyle \;x\in \left[-1\,{\text{;}}+1\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7d5084fcf96458face2a2a4f15b2de4709de925)
![{\displaystyle \;y\in \left[-{\dfrac {\pi }{2}}\,{\text{;}}+{\dfrac {\pi }{2}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65d9313f2b887b29ab811db5c6c891faff3b4aef)
![{\displaystyle \;\left]-1\,{\text{,}}\,+1\right[}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e4a942b5b9470aae9018fe446635f1123ea69b9)
![{\displaystyle \;y\in \left]-{\dfrac {\pi }{2}}\,{\text{,}}\,{\dfrac {\pi }{2}}\right[\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52bf7fb1f6afb091bc4fad32d16d5d2f72dcbebd)
![{\displaystyle \;y\in \left[0\,{\text{;}}+\pi \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7133d6b9be8518189f8b18486d7d16c19be33528)
![{\displaystyle \;y\in \left]0\,{\text{,}}\,\pi \right[\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56359f9bbb6f8b867f1f02856b522853b859b90c)
![{\displaystyle \;y\in \left]-{\dfrac {\pi }{2}}\,{\text{;}}+{\dfrac {\pi }{2}}\right[}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32954b5f2c46fba604a55a10cfd83c46133d2187)
![{\displaystyle \;y\in \left]0\,{\text{;}}+\pi \right[}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c3e814e1bc4a6d4d6a4dea7342af1dcc9cecdae)
![{\displaystyle \;x\in \left[-1{\text{ ; }}+1\right]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0984258b6a8c55010c1b875b6f3f5d2a0f6999ab)
