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]; ]
- Domain: (x \in [-1, 1]) — cosine never exceeds 1 in magnitude, so any input outside this set is invalid.
- Range: (\theta \in [0, \pi]) — the chosen principal-value branch. In degrees, ([0^{\circ}, 180^{\circ}]).
- Strictly decreasing: as (x) increases from (-1) to (1), (\text{arccos }x) decreases from (\pi) to (0).
- Reference points: (\text{arccos}(1) = 0), (\text{arccos}(0) = \frac{\pi}{2}) (i.e., 90°), (\text{arccos}(-1) = \pi) (i.e., 180°).
Quick Facts:
- Notation: (\text{arccos} x = \cos^{-1} x) (NOT (1/\cos x) — that's the secant).
- Period: none — arccosine is a single-branch function, not periodic.
- Continuous on: ([-1, 1]).
- Derivative: (\frac{d}{dx}\text{arccos} x = -\frac{1}{\sqrt{1 - x^2}}) for (x \in (-1, 1)).
- Integral: (\int \text{arccos} x , dx = x \text{arccos} x - \sqrt{1 - x^2} + C).
- Grade introduced: CCSS-M F-TF.B.6; NCERT Class 12 Chapter 2 — Inverse Trigonometric Functions.
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 | 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:
- Endpoints are closed dots: ((-1,\pi)) and ((1,0)) are included.
- No asymptotes. Unlike arctan, arccos's range is bounded.
- Concave up everywhere on ((-1,1)). The second derivative is positive on the open interval.
Identities and Properties
The arccosine sits inside a small set of identities that come up constantly in calculus and physics.
- Sum with arcsine: (\arcsin x + \text{arccos} x = \frac{\pi}{2}) for all (x \in [-1,1]).
- Reflection across 0: (\text{arccos}(-x) = \pi - \text{arccos} x).
- Composition (one-sided): (\cos(\text{arccos} x) = x) for (x \in [-1, 1]). The other order (\text{arccos} (\cos x) = x) holds only on ([0,\pi]).
- Derivative: (\frac{d}{dx}\text{arccos} x = -\frac{1}{\sqrt{1 - x^2}}) on ((-1,1)).
- Integral: (\int_0^x \text{arccos} t , dt = x \text{arccos} x - \sqrt{1 - x^2} + C).
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.
- Vector geometry and graphics rendering. The angle between two unit vectors (\mathbf{u}) and (\mathbf{v}) is (\text{arccos}(\mathbf{u} \cdot \mathbf{v})). Every 3D game engine uses this for lighting and collision detection.
- Crystallography. Bond angles in molecules are computed as the arccosine of the dot product of adjacent bond vectors.
- Robotics — inverse kinematics. A two-link arm reaching for a point uses the law of cosines, then arccosine, to back out the elbow joint angle from the target's distance.
- Astronomy. The angular separation between two stars on the celestial sphere is computed via arccosine of the dot product of their direction vectors.
- Signal processing. The phase response of a Chebyshev filter is built on arccosine.
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
- Arccosine is the inverse of cosine restricted to ([0,\pi]) — it maps ([-1,1]) onto ([0,\pi]) and returns the unique angle whose cosine matches the input.
- Always show outputs in both degrees and radians.
- The identity (\arcsin x + \text{arccos} x = \frac{\pi}{2}) connects arccos to its sister function.
- The composition (\text{arccos} (\cos x) = x) holds only on ([0,\pi]) — outside that range, evaluate the inner cosine first.
- The arccosine is the engine behind angle-between-vectors computations in graphics rendering, robotics, crystallography, and astronomy.