Open main menu

Wikipedia β

Graph of over

In a variety of computer languages, the functionality of the multi-valued inverse tangent is provided under the function names of or . This function takes two arguments y and x, not both equal to zero, representing the coordinates of an arbitrary point in the X/Y-plane, excluding the origin. The ratio is interpreted as the tangent of an angle spanned by the X-axis and the ray from the origin to this point. The returned angle in radian is generally confined to the interval and positive for (upper half-plane).

For (in the right half-plane) the values of are given by the usual principal branch of the -function, i.e., within the range (center branch in the picture).

For (in the left half-plane) the values of are taken from the appropriate branches of the inverse function of the -function in the intervals and (upper and lower branch in the picture).

Taking , and since , this function is reasonably called an inverse tangent.

Graph of the tangent function from −π to +π with the corresponding signs of y over x. The green arrows point to the results of atan2(-1,-1) and atan2(1,1).

The second picture shows the parts of the -function, which are relevant for the inverse functions in the respective quadrants, and the corresponding sign combinations for and . The green arrows point to the results of (no principal value of ) and , which are both in the set of .

In the context of complex numbers the values of can be simply defined as the principal values of , which are usually within the interval , by identifying the point in the X/Y-plane with the complex number in the complex plane.

Besides resolving the inconvenience of the principal values of not covering all the four quadrants of the X/Y-plane with rays, the -function also avoids the problem of division by zero in for , because is intended to return a valid answer as long as

Contents

History and motivationEdit

The atan2 function was first introduced in computer programming languages, but now it is also common in other fields of science and engineering. It dates back at least as far as the FORTRAN programming language[1] and is currently found in many modern programming languages. Among these languages are: C's math.h standard library, the Java Math library, .NET's System.Math (usable from C#, VB.NET, etc.), the Python math module, the Ruby Math module, the Golang math package[2], and elsewhere. In addition, many scripting languages, such as Perl, include the C-style atan2(y,x) function.

The one-argument arctangent function cannot distinguish between diametrically opposite directions. For example, the anticlockwise angle from the x-axis to the vector (1, 1), calculated in the usual way as arctan(1/1), is π/4 (radians), or 45°. However, the angle between the x-axis and the vector (−1, −1) appears, by the same method, to be arctan(−1/−1), again π/4, even though one might expect the answers −3π/4, or 5π/4, −135° or 225°. In addition, an attempt to find the angle between the x-axis and the vectors (0, y), y ≠ 0 requires evaluation of arctan(y/0), which fails on division by zero.

The atan2 function calculates one unique arc tangent value from two variables y and x, where the signs of both arguments are used to determine the quadrant of the result, thereby selecting the desired branch of the arc tangent of y/x, e.g., atan2 (1, 1) = π/4 and atan2 (−1, −1) = −3π/4. Similarly, e.g., atan2 (1, 0 )= π/2.

When calculations are performed manually, the necessary quadrant corrections and exception handling can be done by inspection, but it is extremely useful to have a single function that always gives an unambiguous correct result. The atan2 function is useful in many applications involving vectors in Euclidean space, such as finding the direction from one point to another. A principal use is in computer graphics rotations, for converting rotation matrix representations into Euler angles.

Definition and computationEdit

The function atan2 computes the principal value of the argument function applied to the complex number x+iy. That is, atan2(y, x) = Pr arg(x+iy) = Arg(x+iy). The argument could be changed by an arbitrary multiple of (corresponding to a complete turn around the origin) without making any difference to the angle, but to define atan2 uniquely one uses the principal value in the range  , that is, π < atan2(y, x) ≤ π.

In terms of the standard arctan function, whose range is (−π/2, π/2), it can be expressed as follows:

 

A more compact expression with four overlapping half-planes is

 

The following expression derived from the tangent half-angle formula can also be used to define atan2:

 

This expression may be more suited for symbolic use than the definition above. However it is unsuitable for floating point computational use, as the effect of rounding errors in   is blown up near the region x < 0, y = 0 (this may even lead to a division of y by zero).

A variant of the last formula which avoids rounding errors being blown up is sometimes used in high precision computation:

 

Notes:

  • This produces results in the range (−π, π], which can be mapped to [0, 2π) by adding to negative results.
 
The derivation of the principal value of the argument refers to this figure
  • As mentioned above, the principal value of the argument atan2(y, x) can be related to arctan(y/x) by trigonometry. The derivation goes as follows:

If (x,y) = (r cos θ, r sin θ) then tan θ/2 = y/r + x. It follows that

 

Note that x2 + y2 + x ≠ 0 in the domain in question.

DerivativeEdit

As the function atan2 is a function of two variables, it has two partial derivatives. At points where these derivatives exist, atan2 is, except for a constant, equal to arctan(y/x). Hence for x > 0 or y ≠ 0,

 

Thus the gradient of atan2 is given by

 

Informally representing the function atan2 as the angle function θ(x, y) = atan2(y, x) (which is only defined up to a constant) yields the following formula for the total differential:

 

While the function atan2 is discontinuous along the negative x-axis, reflecting the fact that angle cannot be continuously defined, this derivative is continuously defined except at the origin, reflecting the fact that infinitesimal (and indeed local) changes in angle can be defined everywhere except the origin. Integrating this derivative along a path gives the total change in angle over the path, and integrating over a closed loop gives the winding number.

In the language of differential geometry, this derivative is a one-form, and it is closed (its derivative is zero) but not exact (it is not the derivative of a 0-form, i.e., a function), and in fact it generates the first de Rham cohomology of the punctured plane. This is the most basic example of such a form, and it is fundamental in differential geometry.

The partial derivatives of atan2 do not contain trigonometric functions, making it particularly useful in many applications (e.g. embedded systems) where trigonometric functions can be expensive to evaluate.

IllustrationsEdit

 
atan2 for selected rays

This figure shows values of atan2 along selected rays from the origin, labelled at the unit circle. The values, in radians, are shown inside the circle. The diagram uses the standard mathematical convention that angles increase counterclockwise from zero along the ray to the right. Note that the order of arguments is reversed; the function atan2(y, x) computes the angle corresponding to the point (x, y).

 
Comparison of arctan and atan2 functions

This figure shows the values of   alongside with   for  . Both functions are odd and periodic with periods   and  , respectively, and thus can easily be supplemented to any region of real values of  . One can clearly see the branch cuts of the  -function at  , and of the  -function at  .[3]

The two figures below show 3D views of respectively atan2(y, x) and arctan(y/x) over a region of the plane. Note that for atan2(y, x), rays in the X/Y-plane emanating from the origin have constant values, but for arctan(y/x) lines in the X/Y-plane passing through the origin have constant values. For x > 0, the two diagrams give identical values.


   

Angle sum and difference identityEdit

Sums of   may be collapsed into a single operation according to the following identity

 

...provided that  .

The proof involves considering two cases, one where   or   and one where   and  .

We only consider the case where   or  . To start, we make the following observations:

  1.   provided that   or  .
  2.  , where   is the complex argument function.
  3.   whenever  , a consequence of Euler's formula.
  4.  .

To see (4), we have the identity   where  , hence  . Furthermore, since   for any positive real value  , then if we let   and   then we have  .

From these observations have following equivalences:

 

Corollary: if   and   are 2-dimensional vectors, the difference formula is frequently used in practice to compute the angle between those vectors with the help of  , since the resulting computation behaves benign in the range   and can thus be used without range checks in many practical situations.

Realizations of the function in common computer languagesEdit

The realization of the function differs from one computer language to another:

  • The C function atan2, and most other computer implementations, are designed to reduce the effort of transforming cartesian to polar coordinates and so always define atan2(0, 0). On implementations without signed zero, or when given positive zero arguments, it is normally defined as 0. It will always return a value in the range [−π, π] rather than raising an error or returning a NaN (Not a Number).
  • In Common Lisp, where optional arguments exist, the atan function allows one to optionally supply the x coordinate: (atan y x).[4]
  • In Mathematica, the form ArcTan[x, y] is used where the one parameter form supplies the normal arctangent (note that the order of arguments is reversed relative to the convention used in the discussion above). Mathematica classifies ArcTan[0, 0] as an indeterminate expression.
  • In Microsoft Excel,[5] OpenOffice.org Calc, LibreOffice Calc,[6] Google Spreadsheets,[7] iWork Numbers,[8] and ANSI SQL:2008 standard,[9] the atan2 function has the two arguments reversed.
  • In the Intel Architecture assembler code, atan2 is known as the FPATAN (floating-point partial arctangent) instruction.[10] It can deal with infinities and results lie in the closed interval [−π, π], e.g. atan2(∞, x) = +π/2 for finite x. Particularly, FPATAN is defined when both arguments are zero:
    atan2(+0, +0) = +0;
    atan2(+0, −0) = +π;
    atan2(−0, +0) = −0;
    atan2(−0, −0) = −π.
This definition is related to the concept of signed zero.
  • On most TI graphing calculators (excluding the TI-85 and TI-86), the equivalent function is called R►Pθ and has the arguments reversed.
  • On TI-85 the arg function is called angle(x,y) and although it appears to take two arguments, it really only has one complex argument which is denoted by a pair of numbers: x + yi = (x, y).
  • In mathematical writings other than source code, such as in books and articles, the notations Arctan[11] and Tan−1[12] have been utilized; these are uppercase variants of the regular arctan and tan−1. This usage is consistent with the complex argument notation, such that Atan(y, x) = Arg(x + yi).
  • On HP calculators, treat the coordinates as a complex number and then take the ARG. Or << C->R ARG >> 'ATAN2' STO.
  • On scientific calculators the function can often be calculated as the angle given when (x, y) is converted from rectangular coordinates to polar coordinates.
  • Systems supporting symbolic mathematics normally return an undefined value for atan2(0, 0) or otherwise signal that an abnormal condition has arisen.
  • For systems implementing signed zero, infinities, or Not a Number (for example, IEEE floating point), it is common to implement reasonable extensions which may extend the range of values produced to include −π and −0. These also may return NaN or raise an exception when given a NaN argument.
  • For systems implementing signed zero (for example, IEEE floating point), atan2(−0, x), x < 0 poses the risk of returning the value −π, in the case where the implementation of atan2(y, x) fails to properly handle −0 inputs.
  • The free math library FDLIBM (Freely Distributable LIBM) available from netlib has source code showing how it implements atan2 including handling the various IEEE exceptional values.
  • For systems without a hardware multiplier the function atan2 can be implemented in a numerically reliable manner by the CORDIC method. Thus implementations of atan(y) will probably choose to compute atan2(y, 1).

See alsoEdit

ReferencesEdit

  1. ^ Organick, Elliott I. (1966). A FORTRAN IV Primer. Addison-Wesley. p. 42. Some processors also offer the library function called ATAN2, a function of two arguments (opposite and adjacent). 
  2. ^ "src/math/atan2.go - The Go Programming Language". golang.org. Retrieved 20 April 2018. 
  3. ^ "Wolf Jung: Mandel, software for complex dynamics". www.mndynamics.com. Retrieved 20 April 2018. 
  4. ^ "CLHS: Function ASIN, ACOS, ATAN". LispWorks. 
  5. ^ "Microsoft Excel Atan2 Method". Microsoft. 
  6. ^ "LibreOffice Calc ATAN2". Libreoffice.org. 
  7. ^ "Google Spreadsheets' Function List". Google. 
  8. ^ "Numbers' Trigonometric Function List". Apple. 
  9. ^ "ANSI SQL:2008 standard". Teradata. Archived from the original on 2015-08-20. 
  10. ^ IA-32 Intel Architecture Software Developer’s Manual. Volume 2A: Instruction Set Reference, A-M, 2004.
  11. ^ Burger, Wilhelm; Burge, Mark J. (7 July 2010). "Principles of Digital Image Processing: Fundamental Techniques". Springer Science & Business Media. Retrieved 20 April 2018 – via Google Books. 
  12. ^ Glisson, Tildon H. (18 February 2011). "Introduction to Circuit Analysis and Design". Springer Science & Business Media. Retrieved 20 April 2018 – via Google Books. 

External linksEdit