Inverse Trigonometric Functions

Inverse trigonometric functions allow us to work backward: given a trigonometric ratio, find the angle that produces it. However, because trigonometric functions are periodic (many-to-one), we must restrict their domains to make them one-to-one and thus invertible.

Notation History: arcsin vs sin1\sin^{-1}

The notation sin1x\sin^{-1} x was introduced by John Herschel in 1813, following the algebraic convention f1(x)f^{-1}(x) for inverse functions. While widespread, it often causes confusion because it looks like a reciprocal (i.e., 1sinx\frac{1}{\sin x}), which is actually cscx\csc x.
The arcsinx\arcsin x notation, created by mathematician Joseph-Louis Lagrange in the late 1700s, avoids this ambiguity completely. It translates literally to "the arc whose sine is xx," referring to the arc length on the unit circle that corresponds to the given coordinate xx. Both notations are accepted and widely used today.

Principal Values and Restrictions

The values returned by inverse trigonometric functions are called principal values.

Even and Odd Properties

Just as regular trigonometric functions have even and odd properties, inverse trigonometric functions do as well. These are essential for simplifying expressions with negative arguments.
Odd Functions (Symmetric about the origin):
  • arcsin(x)=arcsin(x)\arcsin(-x) = -\arcsin(x)
  • arctan(x)=arctan(x)\arctan(-x) = -\arctan(x)
  • arccsc(x)=arccsc(x)\text{arccsc}(-x) = -\text{arccsc}(x)
Neither Even nor Odd (Shifted properties): Because of the specific domain restrictions to quadrants I and II, arccos\arccos, arccot\text{arccot}, and arcsec\text{arcsec} follow a different pattern when evaluated at a negative value:
  • arccos(x)=πarccos(x)\arccos(-x) = \pi - \arccos(x)
  • arccot(x)=πarccot(x)\text{arccot}(-x) = \pi - \text{arccot}(x)
  • arcsec(x)=πarcsec(x)\text{arcsec}(-x) = \pi - \text{arcsec}(x)

Inverse Sine (sin1\sin^{-1} or arcsin\arcsin)

  • Notation: y=arcsinxy = \arcsin x means siny=x\sin y = x
  • Domain: [1,1][-1, 1]
  • Range: [π2,π2][-\frac{\pi}{2}, \frac{\pi}{2}] (Quadrants I and IV)
  • Graph: Increasing, odd function (symmetric about origin).

Inverse Cosine (cos1\cos^{-1} or arccos\arccos)

  • Notation: y=arccosxy = \arccos x means cosy=x\cos y = x
  • Domain: [1,1][-1, 1]
  • Range: [0,π][0, \pi] (Quadrants I and II)
  • Graph: Decreasing function.

Inverse Tangent (tan1\tan^{-1} or arctan\arctan)

  • Notation: y=arctanxy = \arctan x means tany=x\tan y = x
  • Domain: (,)(-\infty, \infty)
  • Range: (π2,π2)(-\frac{\pi}{2}, \frac{\pi}{2}) (Quadrants I and IV)
  • Graph: Increasing, odd function. Horizontal asymptotes at y=±π2y = \pm \frac{\pi}{2}.

Other Inverse Functions

  • Inverse Cotangent (arccot\text{arccot}): Domain: (,)(-\infty, \infty), Range: (0,π)(0, \pi).
  • Inverse Secant (arcsec\text{arcsec}): Domain: (,1][1,)(-\infty, -1] \cup [1, \infty), Range: [0,π2)(π2,π][0, \frac{\pi}{2}) \cup (\frac{\pi}{2}, \pi].
  • Inverse Cosecant (arccsc\text{arccsc}): Domain: (,1][1,)(-\infty, -1] \cup [1, \infty), Range: [π2,0)(0,π2][-\frac{\pi}{2}, 0) \cup (0, \frac{\pi}{2}].

Important Note

sin1x1sinx\sin^{-1} x \neq \frac{1}{\sin x}. The notation means "inverse function", not "reciprocal". The reciprocal is cscx=(sinx)1\csc x = (\sin x)^{-1}.
Key Takeaways
  • Principal Values: Inverse trigonometric functions are restricted to specific domains so they pass the horizontal line test and operate as one-to-one functions.
  • Domain Validation: Always check if the input value is within the valid domain before evaluating the function.

Branch Cuts in the Complex Plane

When inverse trigonometric functions are extended beyond the real numbers into the complex plane, they become multi-valued functions because trigonometric functions are periodic.
To create a single-valued function (the principal branch), mathematicians define branch cuts. A branch cut is a curve (often a line segment) in the complex plane across which the analytic multi-valued function is discontinuous.
For example, the principal value of the complex inverse sine, arcsin(z)\arcsin(z), has branch cuts along the real axis extending outward from the points z=1z = 1 to ++\infty and z=1z = -1 to -\infty. This concept is foundational in complex analysis, particularly in fluid dynamics, electromagnetics, and control theory.

Composition of Functions

When composing trigonometric and inverse trigonometric functions, careful attention must be paid to the domains.

Inverse Cancellation Property

Conditions under which an inverse trigonometric function perfectly cancels its corresponding trigonometric function.

$$ f^{-1}(f(x)) = x $$

Inverse of Trig Function

  • arcsin(sinx)=x\arcsin(\sin x) = x if and only if x[π2,π2]x \in [-\frac{\pi}{2}, \frac{\pi}{2}]
  • arccos(cosx)=x\arccos(\cos x) = x if and only if x[0,π]x \in [0, \pi]
  • arctan(tanx)=x\arctan(\tan x) = x if and only if x(π2,π2)x \in (-\frac{\pi}{2}, \frac{\pi}{2})
If xx is outside these intervals, the result is a coterminal or reference angle within the range.

Trigonometric Cancellation Property

Conditions under which a trigonometric function perfectly cancels its corresponding inverse trigonometric function.

$$ f(f^{-1}(x)) = x $$

Trig of Inverse Function

  • sin(arcsinx)=x\sin(\arcsin x) = x for x[1,1]x \in [-1, 1]
  • cos(arccosx)=x\cos(\arccos x) = x for x[1,1]x \in [-1, 1]
  • tan(arctanx)=x\tan(\arctan x) = x for all real xx
This is because the output of an inverse function is an angle that, by definition, produces the ratio xx.

Algebraic Translations of Compositions

When a trigonometric function is evaluated at an inverse trigonometric function of xx, the result is an algebraic expression involving xx. This is derived using the Pythagorean theorem on a reference right triangle.
  • sin(arccosx)=1x2\sin(\arccos x) = \sqrt{1 - x^2}
  • cos(arcsinx)=1x2\cos(\arcsin x) = \sqrt{1 - x^2}
  • tan(arcsinx)=x1x2\tan(\arcsin x) = \frac{x}{\sqrt{1 - x^2}}
  • tan(arccosx)=1x2x\tan(\arccos x) = \frac{\sqrt{1 - x^2}}{x}
  • sin(arctanx)=x1+x2\sin(\arctan x) = \frac{x}{\sqrt{1 + x^2}}
  • cos(arctanx)=11+x2\cos(\arctan x) = \frac{1}{\sqrt{1 + x^2}}
These translations are critical in calculus, especially when performing trigonometric substitutions to simplify integrals.
Key Takeaways
  • Function Composition: Remember that arcsin(sinx)x\arcsin(\sin x) \neq x if xx lies outside the restricted domain. You must map it back to the valid range (using reference angles) first.
  • The Triangle Method: For mixed compositions like tan(arccosx)\tan(\arccos x), it is highly effective to draw a right triangle, assign sides based on the inner inverse function, and use the Pythagorean theorem to find the missing side.