Arccosine — Definition, Graph, Examples, Identities

Arccosine — Definition, Graph, Examples, Identities

TL;DR
Arccosine — written as ( \text{arccos} x ) or ( \cos^{-1} x ) — is the inverse of cosine restricted to ([0,\pi]); it takes an input in ([-1,1]) and returns the unique angle in ([0,\pi]) whose cosine equals the input. This article covers the definition, the principal-value branch, the graph, the derivative and integral, three worked examples in both degrees and radians, the identity ( \sin^{-1} x + \cos^{-1} x = \frac{\pi}{2} ), and the common mistakes around restricted-domain reasoning.

The Inverse That Picks Exactly One Angle Out of Infinitely Many

The cosine function repeats every (2\pi) radians, so (\cos \theta = \frac{1}{2}) has infinitely many solutions — but arccosine is engineered to return only one of them.

The arccosine of (x) is the angle (\theta) in ([0,\pi]) such that (\cos \theta = x). Equivalently:

[ \text{arccos} x = \theta \iff \cos \theta = x;\text{ with } \theta \in [0,\pi], x \in [-1, 1]. ]

The restriction to ([0,\pi]) is what makes the function single-valued — without it, no inverse would exist.

Domain, Range, and Principal Value

The cosine function (\cos: \mathbb{R} \to [-1, 1]) is many-to-one — multiple inputs share an output. To define an inverse, mathematicians restrict cosine to ([0,\pi]), where it is strictly decreasing and one-to-one. The inverse of that restricted cosine is the arccosine.

[ \text{arccos} : [-1, 1] \to [0, \pi]; ]

Quick Facts:

Double-Anchoring — Right Triangle and Unit Circle

For any (x \in [0,1]), the value (\text{arccos} x) can be read in two ways.

From The Right Triangle

Build a right triangle with adjacent leg (x) and hypotenuse (1). The angle next to the adjacent leg has cosine (x), so the angle equals (\text{arccos} x). For example, (\text{arccos}(1/2)) corresponds to a 30–60–90 triangle scaled so the hypotenuse is (1); the angle adjacent to the leg of length (1/2) is 60°.

From The Unit Circle

(\text{arccos} x) is the angle (measured counter-clockwise from the positive (x)-axis to the radius) whose terminal point has (x)-coordinate equal to (x). The point ((1/2,\sqrt{3}/2)) sits at angle (\frac{\pi}{3}) (i.e., 60°). So (\text{arccos}(1/2) = \frac{\pi}{3} = 60^{\circ}).

Both views give the same answer. For negative inputs, the right-triangle view stops being natural (no negative leg lengths), and the unit-circle picture takes over: (\text{arccos}(-1/2)) corresponds to the point ((-1/2,\sqrt{3}/2)) at angle (\frac{2\pi}{3} = 120^{\circ}).

(x) (\text{arccos} x , \text{(rad)}) (\text{arccos} x , \text{(deg)}) Unit-circle point
1 0 (1,0)
(\frac{\sqrt{3}}{2}) (\frac{\pi}{6}) 30° ((\frac{\sqrt{3}}{2}, \frac{1}{2}))
(\frac{\sqrt{2}}{2}) (\frac{\pi}{4}) 45° ((\frac{\sqrt{2}}{2}, \frac{\sqrt{2}}{2}))
(\frac{1}{2}) (\frac{\pi}{3}) 60° ((\frac{1}{2}, \frac{\sqrt{3}}{2}))
0 (\frac{\pi}{2}) 90° (0,1)
(-\frac{1}{2}) (\frac{2\pi}{3}) 120° ((-\frac{1}{2}, \frac{\sqrt{3}}{2}))
(-\frac{\sqrt{2}}{2}) (\frac{3\pi}{4}) 135° ((-\frac{\sqrt{2}}{2}, \frac{\sqrt{2}}{2}))
-1 (\pi) 180° ((-1,0))

The Graph and Its Shape

The arccosine graph is a reflection of (y=\cos x) on ([0,\pi]) across the line (y=x). It is a smooth, strictly decreasing curve from ((-1,\pi)) through ((0,\frac{\pi}{2})) down to ((1,0)).

Three Structural Facts To Commit:

Identities and Properties

The arccosine sits inside a small set of identities that come up constantly in calculus and physics.

Three Worked Examples of Arccosine

Quick. Find (\text{arccos}(\frac{\sqrt{3}}{2})) in both degrees and radians.

The angle in ([0,\pi]) whose cosine equals (\frac{\sqrt{3}}{2}) is (\frac{\pi}{6}) from the special-angle table. Confirm on the unit circle: at (\frac{\pi}{6}), the point is ((\frac{\sqrt{3}}{2}, \frac{1}{2})), so the (x)-coordinate (the cosine) is (\frac{\sqrt{3}}{2}). ✓

Final answer: (\text{arccos}(\frac{\sqrt{3}}{2}) = \frac{\pi}{6} = 30^{\circ}).

Standard (Wrong Path First — Watch How This Goes Wrong). Evaluate (\text{arccos} (\cos(\frac{7\pi}{6}))).

The wrong path. A student reasons that arccos and cos are inverses, so they cancel: (\text{arccos}(\cos(\frac{7\pi}{6}))=\frac{7\pi}{6}). This treats the composition as if it held everywhere — but (\frac{7\pi}{6} \approx 210^{\circ}) lies outside the principal range ([0,\pi]). An "arccos" output of (\frac{7\pi}{6}) would violate the function's own range.

The flaw: the identity (\text{arccos} (\cos x) = x) holds only when (x \in [0,\pi]). For inputs outside that interval, evaluate the inner cosine first, then take arccosine.

The rescue.
(\cos(\frac{7\pi}{6}) = -\frac{\sqrt{3}}{2}.)

(Quadrant III; reference angle (\frac{\pi}{6}); cosine negative.) So:

(\text{arccos}(-\frac{\sqrt{3}}{2}) = \pi - \frac{\pi}{6} = \frac{5\pi}{6}.)

That is in ([0,\pi]) — the legal output. In degrees, (\frac{5\pi}{6} = 150^{\circ}).

Check on the unit circle: the angle (\frac{5\pi}{6}) lands at ((-\frac{\sqrt{3}}{2}, \frac{1}{2})) — and indeed (\cos(\frac{5\pi}{6}) = -\frac{\sqrt{3}}{2}), matching (\cos(\frac{7\pi}{6})). The two angles share a cosine; arccos picks the one in ([0,\pi]).

Final answer: (\text{arccos} (\cos(\frac{7\pi}{6})) = \frac{5\pi}{6} = 150^{\circ}).

Stretch. A satellite dish, modeled in the unit circle, points at the unit-vector (\mathbf{u} = (-0.6, 0.8)). What angle of elevation off the positive (x)-axis is it pointing at? Express in radians and degrees.

The angle off the positive (x)-axis is exactly (\text{arccos}(u_x) = \text{arccos}(-0.6)). Use (\text{arccos}(-x) = \pi - \text{arccos}(x)) to rewrite as (\theta = \pi - \text{arccos}(0.6)).

(\text{arccos}(0.6) \approx 0.9273) (non-special value — calculator needed). So: (\theta \approx \pi - 0.9273 \approx 2.2143 , \text{rad}).

In degrees, (\theta \approx 2.2143 \times \frac{180}{\pi} \approx 126.87^{\circ}).

Sanity check: (\cos(126.87^{\circ}) \approx -0.6) and (\sin(126.87^{\circ}) \approx 0.8) — matches both components of (\mathbf{u}).

Final answer: (\theta = \text{arccos}(-0.6) \approx 2.21 \text{ rad} \approx 126.87^{\circ}).

Where Arccosine Earns Its Keep

The arccosine threads through several modern technologies, often hidden under a wrapper.

The arccosine is the function you reach for whenever a known cosine value needs to be turned back into an angle in a well-defined range.

A Brief History of the Inverse Trig Functions

Daniel Bernoulli (1700–1782, Switzerland) was among the first to use the modern arccos notation. Leonhard Euler (1707–1783, Switzerland) made the inverse trig functions standard by integrating them into his Introductio in analysin infinitorum (1748). Euler's notation set the convention that the principal value of arccosine lives in ([0,\pi]) — a choice that has held for nearly three centuries.

The story worth telling — Madhava of Sangamagrama (c. 1340 – c. 1425, India). Madhava discovered the power series for (\text{arctan} x) — and from it, by way of the identity, expansions for arccosine and arcsine.

Where Students Trip Up on Arccosine

1. Confusing (\cos^{-1} x) with (1/\cos x)

Where it slips in: A student writes (\cos^{-1}(1/2)) on a problem, treating (\cos^{-1} x) as a reciprocal.
Don't do this: Treat the "−1" exponent as a reciprocal. The correct way: (\cos^{-1}(1/2) = \text{arccos}(1/2) = \frac{\pi}{3} = 60^{\circ}).

2. Assuming (\text{arccos} (\cos x) = x) everywhere

Where it slips in: A student is asked to simplify (\text{arccos}(\cos(7\pi/6))) and writes (7\pi/6) on auto-pilot. Don't do this: Cancel arccos and cos without checking the principal-value range.
The correct way: (\text{arccos} (\cos x) = x) holds only on ([0,\pi]).

3. Forgetting that the domain is ([-1,1])

Where it slips in: A student writes (\text{arccos}(2)) on an exam. Don't do this: Try to compute arccos of a number outside ([-1, 1]). The correct way: (\text{arccos} x) is undefined as a real number for (|x|>1).

4. Mode confusion on the calculator

Where it slips in: A student computes (\text{arccos}(0.5)) on a calculator in radian mode and gets 1.0472.
Don't do this: Hand in a numerical radian answer to a degree-mode problem.
The correct way: Check the DEG/RAD mode before every inverse-trig calculation.

Conclusion