Voir la source de Atan2

{{Minuscule}}
{{Voir homonymes|Atan}}
[[Fichier:Arctangent2.svg|thumb|Courbe de <math>\operatorname{atan2}(y,x)</math> en fonction de <math>y/x</math>.]]

En [[trigonométrie]], la fonction '''atan2''' à deux [[argument (informatique)|arguments]] est une variante de la fonction [[arc tangente]]. Pour tous arguments [[Nombre réel|réels]] {{mvar|x}} et {{mvar|y}} non nuls, <math>\operatorname{atan2}(y,x)</math> est l'angle en [[radian]]s entre la partie positive de l'axe des abscisses d'un plan, et le point de ce plan de [[Coordonnées cartésiennes|coordonnées]] {{math|(''x'', ''y'')}}. Cet angle est positif pour les angles dans le sens [[Sens de rotation|anti-horaire]] dit ''sens trigonométrique'' ([[demi-plan]] supérieur, {{math|''y'' > 0}}) et négatif dans l'autre (demi-plan inférieur, {{math|''y'' < 0}}).

La fonction atan2 fut d'abord introduite dans les [[langage de programmation|langages]] de [[programmation informatique]], mais elle est désormais aussi couramment utilisée dans d'autres domaines de la science et de l'ingénierie. Elle est au moins aussi ancienne que le langage de programmation [[Fortran]] et on la trouve maintenant dans la plupart des autres langages.

En termes [[mathématiques]], atan2 retourne la [[Détermination d'une fonction multivaluée|détermination principale]] de la [[Argument d'un nombre complexe|fonction argument]] appliquée au [[nombre complexe]] <math>x+\mathrm i\,y</math>. Soit <math>\operatorname{atan2}(y,x)=[\operatorname{dp}\operatorname{arg}](x+\mathrm i\,y)]=\operatorname{Arg}(x+\mathrm i\,y)</math>. Le résultat pourrait varier de {{math|2π}} sans aucun impact sur l'angle, mais pour garantir son unicité, on utilise la valeur principale dans l'[[intervalle (mathématiques)|intervalle]] {{math|]–π ,π]}}, soit <math>-\pi<\operatorname{atan2}(y,x)\leqslant\pi</math>.

La fonction atan2 est utilisée dans beaucoup d'applications impliquant des [[vecteur]]s de l'[[espace euclidien]], comme pour trouver la direction d'un point à un autre en navigation ou pour effectuer une transformation de coordonnées en astronomie. Une des utilisations principales est la conversion des [[matrice de rotation|matrices de rotation]] en [[angles d'Euler]], pour faire pivoter des représentations graphiques informatiques.

Dans certains langages informatiques, l'ordre des paramètres est inversé, ou bien la fonction est dénommée différemment. Sur les calculatrices scientifiques, le résultat de la fonction est souvent issu de la conversion des coordonnées rectangulaires {{math|(''x'', ''y'')}} en [[coordonnées polaires]].

==Motivation==

La fonction arc tangente à un seul argument ne fait pas la différence entre des directions diamétralement opposées<ref>L'ensemble de ses valeurs est l'intervalle <math>\left]-\frac{\pi}{2},\,\frac{\pi}{2}\right[</math> et non pas l'intervalle <math>]-\pi,\, \pi].</math></ref>. Par exemple, l'angle anti-horaire à partir de l'axe des ''{{math|x}}'' jusqu'au vecteur (1,&nbsp;1), calculé de la façon habituelle comme arctan(1/1), donne {{math|π/4}} (radians), ou 45°. De la même façon, l'angle entre l'axe des {{mvar|x}} jusqu'au vecteur (-1,&nbsp;-1), avec la même méthode arctan(-1/-1), donne encore {{math|π/4}}, alors que la réponse clairement attendue serait plutôt {{math|−3π/4}}, ou −135°.

La fonction "atan2" prend en compte le signe des deux composantes du vecteur, et place l'angle dans le bon [[quadrant (mathématiques)|quadrant]]. Ainsi, <math>\operatorname{atan2}(1,1)=\pi/4</math> et <math>\operatorname{atan2}(-1,-1)=-3\pi/4</math>.

De plus, la méthode habituelle ne fonctionne pas dans le cas d'un angle de {{math|± π/2}} (radians) ou ± 90°. Par exemple, une tentative pour trouver l'angle entre l'axe des {{mvar|x}} et le vecteur (0,&nbsp;1) nécessite l'évaluation de arctan(1/0), qui échoue à cause de la [[division par zéro]], alors que atan2(1, 0) donne la bonne réponse {{math|π/2}}.

Quand les calculs sont effectués à la main, les corrections de quadrant nécessaires et la gestion des exceptions peuvent être faites par observation, mais dans un programme informatique, il est extrêmement utile de disposer d'une fonction unique qui délivre toujours un résultat correct non ambigu.

== Définition ==
Pour {{math|''y'' ≠ 0}} :
:<math>\operatorname{atan2}(y, x) = \begin{cases}
\varphi\,\sgn(y) & \qquad x > 0 \\
\frac{\pi}{2}\,\sgn(y) & \qquad x = 0 \\
(\pi - \varphi)\,\sgn(y) & \qquad x < 0
\end{cases}</math>
où {{math|φ}} est l'angle compris dans {{math|[0,π/2[}} tel que &nbsp;<math>\tan(\varphi) = \left| \frac{y}{x}\right|\,</math>&nbsp; et {{math|sgn}} est la [[fonction signe]].

Et :
:<math>\operatorname{atan2}(0, x) = \begin{cases}
0 & \qquad x > 0 \\
\text{non défini} & \qquad x = 0 \\
\pi & \qquad x < 0
\end{cases}</math>

Notes :
* l'expression suivante dérivée de la [[Identité trigonométrique#Formules impliquant la « tangente de l'arc moitié »|formule de la tangente de l'arc moitié]] peut aussi être utilisée pour définir atan2 :
:<math> \operatorname{atan2} (y, x)=2 \arctan \frac{y}{\sqrt{x^2+y^2}+x}</math>.

Cependant, cette expression devrait être plus adaptée à un usage symbolique que la définition précédente, et est néanmoins totalement inadaptée à l'utilisation en [[virgule flottante]]; la division provoque un débordement au voisinage de la partie négative de l'axe des x, et donne un NaN ou une erreur pour atan2(0,0).
* Cela donne des résultats compris dans {{math|]-π, π]}}, qui peuvent être translatés dans {{math|[0,2π[}} en ajoutant {{math|2π}} aux valeurs négatives. <!--- AJOUTER 2π EST CORRECT, CAR CELA NE CHANGE PAS LA POSITION SUR LE CERCLE TRIGONOMÉTRIQUE. PLUSIEURS PERSONNES ONT, PAR ERREUR, CHANGÉ CELA EN π, MODIFICATIONS ANNULÉES. Cet avertissement était présent dans la version anglaise de l'article, je préfère l'ajouter aussi ici pour éviter les mêmes désagréments. --->
* Traditionnellement, atan2(0,0) est non défini.
** La fonction C, et la plupart des autres implémentations informatiques, sont conçues pour les efforts de transformations des coordonnées cartésiennes en polaires, et donc définissent toujours atan2(0,0). Dans les implémentations sans [[zéro signé]], ou lorsque sont donnés des arguments zéro positif, le résultat est normalement défini à 0. La valeur rendue sera toujours comprise dans {{math|]-π,π]}} plutôt que de sortir en erreur ou de retourner [[NaN]] ("Not a Number", cad "Pas un Nombre").
** Les systèmes gérant les mathématiques symboliques devraient normalement retourner une valeur non définie pour atan2(0,0) ou bien signaler qu'une anomalie s'est produite.
* Pour les systèmes comme la [[IEEE 754|virgule flottante IEEE 754]] qui savent gérer le [[zéro signé]], les [[infini]]s ou [[NaN]], il est habituel d'implémenter des extensions capables d'étendre les résultats possibles pour inclure -π et -0. Ces dernières pourraient aussi retourner NaN ou lever une [[Système de gestion d'exceptions|exception]] lorsqu'un des arguments reçus est un NaN.

La bibliothèque mathématique libre FDLIBM disponible dans [[netlib]] montre dans son [[code source]] comment implémenter atan2 avec une gestion de valeurs spéciales IEEE.

Pour les systèmes ne disposant pas d'un multiplicateur matériel, la fonction <code>atan2</code> peut être implémentée numériquement d'une manière fiable avec la méthode [[CORDIC]]. Dans ce genre de cas, il sera surement préférable de calculer <code>atan(y)</code> par <code>atan2(y,1)</code>.

==Dérivée==
Comme la fonction atan2 est fonction de 2 variables, elle possède deux dérivées partielles. Aux points où ces dérivées existent, atan2 est, à une constante près, égale à arctan(y/x).

Pour {{math|''x'' > 0}} ou {{math|''y'' ≠ 0}},

:<math>{\displaystyle {\begin{aligned}&{\frac {\partial }{\partial x}}\operatorname {atan2} (y,\,x)={\frac {\partial }{\partial x}}\arctan \left({\frac {y}{x}}\right)=-{\frac {y}{x^{2}+y^{2}}},\\[5pt]&{\frac {\partial }{\partial y}}\operatorname {atan2} (y,\,x)={\frac {\partial }{\partial y}}\arctan \left({\frac {y}{x}}\right)={\frac {x}{x^{2}+y^{2}}}.\end{aligned}}}</math>

{{démonstration|contenu=
Pour la dérivée partielle par rapport à {{mvar|x}} on a :
:<math>{\displaystyle {\begin{aligned}&{\frac {\partial }{\partial x}}\operatorname {atan2} (y,\,x)={\frac {\partial }{\partial x}}\arctan \left({\frac {y}{x}}\right)= 1/[(y/x)^2 + 1] .\frac{\partial }{\partial x}[y/x]= 1/[(y/x)^2 + 1]. y.\frac{\partial }{\partial x}[1/x]= 1/[(y/x)^2 + 1].y. (-1)/(x^2) \end{aligned}}}</math>

Pour la dérivée partielle par rapport à {{mvar|y}} on a :
:<math>{\displaystyle {\begin{aligned}&{\frac {\partial }{\partial y}}\operatorname {atan2} (y,\,x)={\frac {\partial }{\partial y}}\arctan \left({\frac {y}{x}}\right)= 1/[(y/x)^2 + 1] .\frac{\partial }{\partial y}[y/x]= 1/[(y/x)^2 + 1].(1/x).\end{aligned}}}</math>}}

Donc le gradient de atan2 est donné par :

:<math>{\displaystyle \nabla {\text{atan2}}(y,x)=\left({-y \over x^{2}+y^{2}},\ {x \over x^{2}+y^{2}}\right).}</math>

==Illustrations==

Le diagramme ci-dessous présente les valeurs prises par atan2 sur des points remarquables du [[cercle trigonométrique]]. Les valeurs, en radians, sont inscrites en bleu à l'intérieur du cercle. Les quatre points (1,0), (0,1), (-1,0), et (0,-1) sont notés à l'extérieur du cercle. On notera que l'ordre des [[Argument (informatique)|arguments]] ''x'', ''y'' est inversé ; la fonction atan2(''y'',''x'') donne l'angle correspondant au point (''x'',''y'').

[[Fichier:Atan2 circle.svg|400px|right|thumb|Représentation sur le cercle trigonométrique de la fonction atan2.]]

Le schéma suivant montre les valeurs prises par atan2 pour les points du cercle trigonométrique. Sur l'axe des {{mvar|x}}, on a les [[argument d'un nombre complexe|arguments]] des points. Ils partent de 0 (point (1, 0)) et vont dans le sens trigonométrique en passant par les points :
*(0, 1) qui a pour argument {{math|π/2}} en radians,
*(–1, 0) qui a pour argument {{math|π}},
*(0, –1) qui a pour argument {{math|3π/2}},
jusqu'à (1, 0) qui a pour argument 0 = {{math|2π}} [[modulo (opération)|modulo]] {{math|2π}}.

Sur ce schéma, on peut voir clairement apparaitre la [[Continuité (mathématiques)|discontinuité]] de la fonction atan2.
Quand un point {{mvar|z}} traverse la partie négative de l'axe réel — par exemple va de (0, 1) à (0, –1) en passant par (–1, 0) — son argument devrait aller de {{math|π/2}} à {{math|3π/2}} en passant par {{math|π}}. Mais la valeur de la fonction atan2 (valeur principale de l'argument) va de {{math|π/2}} à {{math|π}}, puis saute à {{math|–π}} (discontinuité), pour aller vers {{math|–π/2}}.

[[Fichier:Atan2.PNG|center]]

Ci-dessous une vue 3D montrant la différence entre atan2(''y'', ''x'') et arctan(''y''/''x'').

<center>
[[Fichier:Atan2Diagram.png|400px]]
[[Fichier:AtanDiagram.png|400px]]
</center>

==Référence==
{{Traduction/Référence|en|atan2|311154728|type=note}}
{{Références}}

==Liens externes==
*{{en}} [http://java.sun.com/javase/6/docs/api/java/lang/Math.html#atan2%28double,%20double%29 Java 1.6 SE JavaDoc]
*{{en}} [http://www.cplusplus.com/ref/cmath/atan2.html C++ Programmer's Reference]
*{{en}} [http://www.mathworks.com/access/helpdesk/help/techdoc/ref/atan2.html MATLAB Function Reference]
*{{en}} [http://reference.wolfram.com/mathematica/ref/ArcTan.html Mathematica Function Reference]  (note argument order is reversed)
*{{en}} [http://everything2.com/index.pl?node_id=1008481 atan2] at Everything2
*{{en}} [http://www.picbasic.co.uk/forum/showthread.php?p=70269#post70269 PicBasic Pro solution] atan2 for a PIC18F
*{{en}} [http://mathforum.org/library/drmath/view/55417.html Bearing Between Two Points]
*{{en}} [http://mathforum.org/library/drmath/view/54114.html Arctan and Polar Coordinates]
*{{en}} [http://mathforum.org/library/drmath/view/54172.html What's 'Arccos'?]

{{Portail|analyse}}

[[Catégorie:Angle]]
[[Catégorie:Trigonométrie]]
[[Catégorie:Analyse réelle]]