Inverse Cosine

DOWNLOAD Mathematica Notebook ArcCos
ArcCosReImAbs
Min Max
Re
Im Powered by webMathematica

The inverse cosine is the multivalued function cos^(-1)z (Zwillinger 1995, p. 465), also denoted arccosz (Abramowitz and Stegun 1972, p. 79; Harris and Stocker 1998, p. 307; Jeffrey 2000, p. 124), that is the inverse function of the cosine. The variants Arccosz (e.g., Beyer 1987, p. 141; Bronshtein and Semendyayev, 1997, p. 69) and Cos^(-1)z are sometimes used to refer to explicit principal values of the inverse cosine, although this distinction is not always made (e.g,. Zwillinger 1995, p. 466). Worse yet, the notation arccosz is sometimes used for the principal value, with Arccosz being used for the multivalued function (Abramowitz and Stegun 1972, p. 80) Note that the notation cos^(-1)z (commonly used in North America and in pocket calculators worldwide), cosz is the cosine and the superscript -1 denotes the inverse function, not the multiplicative inverse.

The principal value of the inverse cosine is implemented in the Wolfram Language as ArcCos[z] in the Wolfram Language. In the GNU C library, it is implemented as acos(double x).

InverseCosineBranchCut

The inverse cosine is a multivalued function and hence requires a branch cut in the complex plane, which the Wolfram Language's convention places at the line segments (-infty,-1) and (1,infty). This follows from the definition of cos^(-1)z as

 cos^(-1)z=1/2pi+iln(iz+sqrt(1-z^2)).
(1)

Special values include

cos^(-1)(-1)=pi
(2)
cos^(-1)0=1/2pi
(3)
cos^(-1)1=0.
(4)

The derivative of cos^(-1)z is given by

 d/(dz)cos^(-1)z=-1/(sqrt(1-z^2))
(5)

and its indefinite integral is

 intcos^(-1)zdz=zcos^(-1)z-sqrt(1-z^2)+C.
(6)

The inverse cosine satisfies

 cos^(-1)z=pi-cos^(-1)(-z)
(7)

for all complex z, and

 cos^(-1)x={1/2pi+cos^(-1)(sqrt(1-x^2))   for x<=0; 1/2pi-cos^(-1)(sqrt(1-x^2))   for x>=0.
(8)

The inverse cosine is given in terms of other inverse trigonometric functions by

cos^(-1)z=1/2pi+sin^(-1)(-z)
(9)
=1/2pi-sin^(-1)z
(10)

for all complex z,

 cos^(-1)z=sec^(-1)(1/z)
(11)

for z!=0,

 cos^(-1)x=1/2pi-tan^(-1)(x/(sqrt(1-x^2)))
(12)

for -1<=x<=1, and

cos^(-1)x=cot^(-1)(x/(sqrt(1-x^2)))
(13)
=csc^(-1)(1/(sqrt(1-x^2)))
(14)
=sin^(-1)(sqrt(1-x^2))
(15)
=tan^(-1)((sqrt(1-x^2))/x)
(16)

for x>=0, where in the last equation, equality at zero is understood to mean in the limit as x->0^+.

The Maclaurin series for the inverse cosine with -1<=x<=1 is

cos^(-1)x=1/2pi-sum_(n=1)^(infty)((1/2)_(n-1))/((n-1)!(2n-1))x^(2n-1)
(17)
=1/2pi-x-1/6x^3-3/(40)x^5-5/(112)x^7-(35)/(1152)x^9-...
(18)

(OEIS A055786 and A002595).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.