Derivative of Arccos x — Formula, Proof, Examples

#Trigonometry
TL;DR
The derivative of arccos xx is ddxarccos⁡x=−11−x2\dfrac{d}{dx}\arccos x = -\dfrac{1}{\sqrt{1-x^2}} on the open interval (−1,1)(-1, 1) — a negative quantity that reflects the fact arccosine is a strictly decreasing function. This article gives the implicit-differentiation derivation, the first-principles approach, the chain-rule version ddxarccos⁡(u)=−u′1−u2\dfrac{d}{dx}\arccos(u) = -\dfrac{u'}{\sqrt{1-u^2}}, three worked examples, and the common mistakes around sign and domain.
BT
Bhanzu TeamLast updated on June 1, 202610 min read

The One Negative Sign Engineers Track Across Every Inverse-Trig Derivative

Three of the six inverse-trig functions carry a negative sign in their derivative — and the derivative of arccos is one of them.

For −1<x<1-1 < x < 1, the derivative of arccos xx — also written ddxcos⁡−1x\dfrac{d}{dx}\cos^{-1} x — is:

ddxarccos⁡x=−11−x2.\dfrac{d}{dx}\arccos x = -\dfrac{1}{\sqrt{1-x^2}}.

The derivative is not defined at the endpoints x=±1x = \pm 1 — the square root in the denominator collapses to zero there, and the slope of the arccos graph goes vertical.

Derivative of Arccos x Formula

;ddxarccos⁡x=−11−x2,x∈(−1,1).;\boxed{;\dfrac{d}{dx}\arccos x = -\dfrac{1}{\sqrt{1-x^2}}, \quad x \in (-1, 1).;}

The chain-rule version handles any composition. If u=u(x)u = u(x) is a differentiable function with u(x)∈(−1,1)u(x) \in (-1, 1):

ddxarccos⁡(u(x))=−u′(x)1−u(x)2.\dfrac{d}{dx}\arccos(u(x)) = -\dfrac{u'(x)}{\sqrt{1 - u(x)^2}}.

Quick facts.

  • Domain of the derivative: (−1,1)(-1, 1) — open interval; the endpoints are excluded because the derivative blows up.

  • Sign: strictly negative on the entire domain. Confirms arccos is decreasing.

  • Minimum slope: −1-1, reached at x=0x = 0 (where arccos⁡0=π/2\arccos 0 = \pi/2).

  • Asymptotic behaviour: ∣f′(x)∣→∞|f'(x)| \to \infty as x→±1x \to \pm 1.

  • Companion fact: ddxarcsin⁡x=+11−x2\dfrac{d}{dx}\arcsin x = +\dfrac{1}{\sqrt{1-x^2}} — same magnitude, opposite sign. Consistent with arcsin⁡x+arccos⁡x=π/2\arcsin x + \arccos x = \pi/2.

  • Grade introduced: CCSS-M F-BF.B.4 (inverse functions in differential calculus); NCERT Class 12 Chapter 5 — Continuity and Differentiability.

Double-Anchoring — Triangle View and Unit-Circle View

The derivation depends on a triangle / unit-circle identity at the same time.

From the right triangle. Let θ=arccos⁡x\theta = \arccos x. Build a right triangle with adjacent leg xx and hypotenuse 11. The opposite leg is 1−x2\sqrt{1 - x^2} by the Pythagorean theorem. So sin⁡θ=1−x2\sin\theta = \sqrt{1 - x^2} — the very quantity that appears in the denominator of the derivative.

From the unit circle. With θ=arccos⁡x∈[0,π]\theta = \arccos x \in [0, \pi], the unit-circle point is (cos⁡θ,sin⁡θ)=(x,1−x2)(\cos\theta, \sin\theta) = (x, \sqrt{1-x^2}) — the yy-coordinate is non-negative on [0,π][0, \pi] because sin⁡θ≥0\sin\theta \ge 0 there. The square-root sign in 1−x2\sqrt{1-x^2} comes from this choice of principal branch.

Both views deliver the same 1−x2\sqrt{1-x^2}, and both make the negative sign in the derivative inevitable — the unit-circle picture shows arccos sweeping clockwise as xx grows, hence decreasing.

Derivation 1 — Implicit Differentiation (the Two-Line Proof)

Set y=arccos⁡xy = \arccos x. Then x=cos⁡yx = \cos y where y∈[0,π]y \in [0, \pi].

Differentiate both sides with respect to xx:

1=−sin⁡y⋅dydx.1 = -\sin y \cdot \dfrac{dy}{dx}.

Solve for dy/dxdy/dx:

dydx=−1sin⁡y.\dfrac{dy}{dx} = -\dfrac{1}{\sin y}.

Now express sin⁡y\sin y in terms of xx using the Pythagorean identity. Since y∈[0,π]y \in [0, \pi], sin⁡y≥0\sin y \ge 0, so we take the non-negative root:

sin⁡y=1−cos⁡2y=1−x2.\sin y = \sqrt{1 - \cos^2 y} = \sqrt{1 - x^2}.

Substitute:

ddxarccos⁡x=−11−x2.\dfrac{d}{dx}\arccos x = -\dfrac{1}{\sqrt{1 - x^2}}.

Two lines, two identities — done.

Derivation 2 — First Principles (the Limit Definition)

For completeness, here's the limit-of-the-difference-quotient derivation, useful for AP Calculus / JEE Advanced contexts.

f′(x)=lim⁡h→0arccos⁡(x+h)−arccos⁡xh.f'(x) = \lim_{h \to 0} \dfrac{\arccos(x+h) - \arccos x}{h}.

Let arccos⁡(x+h)=α\arccos(x+h) = \alpha and arccos⁡x=β\arccos x = \beta. Then cos⁡α=x+h\cos\alpha = x+h and cos⁡β=x\cos\beta = x, so h=cos⁡α−cos⁡βh = \cos\alpha - \cos\beta. Using the sum-to-product identity:

cos⁡α−cos⁡β=−2sin⁡!(α+β2)sin⁡!(α−β2).\cos\alpha - \cos\beta = -2 \sin!\left(\dfrac{\alpha+\beta}{2}\right) \sin!\left(\dfrac{\alpha-\beta}{2}\right).

So:

h=−2sin⁡!(α+β2)sin⁡!(α−β2),α−β=arccos⁡(x+h)−arccos⁡x.h = -2 \sin!\left(\dfrac{\alpha+\beta}{2}\right) \sin!\left(\dfrac{\alpha-\beta}{2}\right), \quad \alpha - \beta = \arccos(x+h) - \arccos x.

Substitute into the difference quotient:

α−βh=α−β−2sin⁡!(α+β2)sin⁡!(α−β2).\dfrac{\alpha - \beta}{h} = \dfrac{\alpha - \beta}{-2 \sin!\left(\frac{\alpha+\beta}{2}\right) \sin!\left(\frac{\alpha-\beta}{2}\right)}.

As h→0h \to 0, α→β\alpha \to \beta, so (α−β)/2→0(\alpha - \beta)/2 \to 0 and sin⁡((α−β)/2)/((α−β)/2)→1\sin((\alpha-\beta)/2) / ((\alpha-\beta)/2) \to 1 (the classical small-angle limit). Also sin⁡((α+β)/2)→sin⁡β=1−x2\sin((\alpha+\beta)/2) \to \sin\beta = \sqrt{1-x^2}.

The limit collapses to:

f′(x)=1−sin⁡β=−11−x2.f'(x) = \dfrac{1}{-\sin\beta} = -\dfrac{1}{\sqrt{1-x^2}}.

Same answer.

Worked Examples of Derivative of Arccos x

Quick. Find ddxarccos⁡x\dfrac{d}{dx}\arccos x at x=1/2x = 1/2. Express in radians.

Plug into the formula:

ddxarccos⁡x∣x=1/2=−11−(1/2)2=−13/4=−23=−233.\dfrac{d}{dx}\arccos x \bigg|_{x=1/2} = -\dfrac{1}{\sqrt{1 - (1/2)^2}} = -\dfrac{1}{\sqrt{3/4}} = -\dfrac{2}{\sqrt{3}} = -\dfrac{2\sqrt{3}}{3}.

Numerically, this is approximately −1.155-1.155. The slope is in units of radians per unit xx — at x=1/2x = 1/2 (where arccos⁡(1/2)=π/3=60°\arccos(1/2) = \pi/3 = 60°), an infinitesimal increase in xx corresponds to a decrease of about 1.1551.155 rad — equivalently about 66.2°66.2° per unit xx.

Final answer: −23=−233≈−1.155-\dfrac{2}{\sqrt{3}} = -\dfrac{2\sqrt{3}}{3} \approx -1.155 rad per unit xx.

Standard (Wrong Path First — The Mistake Worth Making Once). Differentiate f(x)=arccos⁡(3x)f(x) = \arccos(3x).

The wrong path. A student writes f′(x)=−11−(3x)2f'(x) = -\dfrac{1}{\sqrt{1 - (3x)^2}} and stops. They forgot the chain rule — applying the formula directly without multiplying by the derivative of the inside function u=3xu = 3x. The answer is missing a factor of u′=3u' = 3.

The flaw: whenever the input to arccos⁡\arccos is a function u(x)u(x) rather than xx alone, the chain rule says ddxarccos⁡(u)=−u′1−u2\dfrac{d}{dx}\arccos(u) = -\dfrac{u'}{\sqrt{1 - u^2}}. The u′u' in the numerator is non-negotiable.

The rescue. Apply the chain rule. With u=3xu = 3x, u′=3u' = 3:

f′(x)=−u′1−u2=−31−9x2.f'(x) = -\dfrac{u'}{\sqrt{1 - u^2}} = -\dfrac{3}{\sqrt{1 - 9x^2}}.

Domain: 1−9x2>0  ⟹  x∈(−1/3,1/3)1 - 9x^2 > 0 \implies x \in (-1/3, 1/3). Outside this interval, arccos⁡(3x)\arccos(3x) isn't defined.

Final answer: f′(x)=−31−9x2f'(x) = -\dfrac{3}{\sqrt{1 - 9x^2}} on x∈(−1/3,1/3)x \in (-1/3, 1/3).

In the McKinney TX Grade 12 cohort, dropping the chain-rule factor on inverse-trig composites is the single most consistent first-attempt slip — roughly six out of every ten students leave out the u′u' on the very first homework on this topic.

Stretch. Differentiate g(x)=arccos⁡!(x1+x2)g(x) = \arccos!\left(\dfrac{x}{\sqrt{1+x^2}}\right).

Let u=x1+x2u = \dfrac{x}{\sqrt{1+x^2}}. By the quotient rule (or differentiating x(1+x2)−1/2x(1+x^2)^{-1/2} as a product):

u′=1+x2−x⋅x1+x21+x2=(1+x2)−x2(1+x2)3/2=1(1+x2)3/2.u' = \dfrac{\sqrt{1+x^2} - x \cdot \dfrac{x}{\sqrt{1+x^2}}}{1+x^2} = \dfrac{(1+x^2) - x^2}{(1+x^2)^{3/2}} = \dfrac{1}{(1+x^2)^{3/2}}.

Compute 1−u21 - u^2:

1−u2=1−x21+x2=11+x2.1 - u^2 = 1 - \dfrac{x^2}{1+x^2} = \dfrac{1}{1+x^2}.

So 1−u2=11+x2\sqrt{1 - u^2} = \dfrac{1}{\sqrt{1+x^2}}.

Assemble:

g′(x)=−u′1−u2=−1/(1+x2)3/21/1+x2=−1+x2(1+x2)3/2=−11+x2.g'(x) = -\dfrac{u'}{\sqrt{1 - u^2}} = -\dfrac{1/(1+x^2)^{3/2}}{1/\sqrt{1+x^2}} = -\dfrac{\sqrt{1+x^2}}{(1+x^2)^{3/2}} = -\dfrac{1}{1+x^2}.

Final answer: g′(x)=−11+x2g'(x) = -\dfrac{1}{1+x^2}.

That happens to equal −ddxarctan⁡x-\dfrac{d}{dx}\arctan x — and it is, because arccos⁡!(x1+x2)=π/2−arctan⁡x\arccos!\left(\dfrac{x}{\sqrt{1+x^2}}\right) = \pi/2 - \arctan x on appropriate domains. A nice cross-check.

Where The Arccos Derivative Earns Its Keep

The formula isn't a calculus-textbook curiosity — it threads through several engineering and graphics workflows.

  • Robotics — inverse kinematics rate of change. When a two-link robot arm reaches for a moving target, the elbow joint angle is arccos⁡\arccos of a known expression in the target's position. The angular velocity needed to track the target is the derivative of that arccos, multiplied by the target's velocity — a direct chain-rule application.

  • 3D graphics — angle-between-vectors animation. Smoothly interpolating the camera's view direction between two orientations uses spherical linear interpolation (SLERP); the per-frame angle adjustment is computed by differentiating arccos⁡(u⋅v)\arccos(\mathbf{u}\cdot\mathbf{v}) with respect to time.

  • Optics — Snell's law refraction-angle rate. When tracking how the refracted ray's angle changes with the incidence angle, the derivative of arccos⁡\arccos shows up in the chain.

  • Antenna pointing systems. Phased-array radars compute beam-steering angles via arccos⁡\arccos; the derivative gives the rate at which the array's elements need to phase-shift to keep the beam locked on a moving aircraft.

  • Crystallography. Bond-angle bending modes in molecular vibration spectroscopy are computed by differentiating arccos⁡\arccos of bond-vector dot products — used in every quantum-chemistry tool (Gaussian, ORCA, Psi4).

The derivative of arccos is the rate at which the angle changes as the input cosine value changes — and that rate is what every system tracking an angle in real time needs.

The Mathematicians Behind Inverse-Trig Calculus

Isaac Newton (1643–1727, England) and Gottfried Leibniz (1646–1716, Germany) independently developed calculus in the 1660s–1670s. Both included inverse-trig derivatives in their early manuscripts; Newton's Method of Fluxions (1671, published posthumously 1736) showed the geometric meaning of d(arccos⁡x)/dxd(\arccos x)/dx as the slope of the tangent to the arc.

Leonhard Euler (1707–1783, Switzerland) standardised the notation arccos⁡x\arccos x and gave the modern derivation using implicit differentiation — the version every Class 12 / AP Calculus textbook still uses today.

The story worth telling — Madhava of Sangamagrama (c. 1340 – c. 1425, India). Madhava found infinite-series expansions for arctan⁡x\arctan x, arcsin⁡x\arcsin x, and arccos⁡x\arccos x roughly 250 years before Newton and Leibniz formalised calculus. The Madhava series for arctan⁡1\arctan 1 is the alternating sum 1−1/3+1/5−1/7+⋯=π/41 - 1/3 + 1/5 - 1/7 + \dots = \pi/4. From these series, term-by-term differentiation gives exactly the formulas we now derive with implicit differentiation. One mathematician, working in a small Kerala village, had the answers two centuries before the question reached Europe in its modern form.

Derivative of Arccos X: Tripping Points That Cost Marks

1. Dropping the chain-rule factor on arccos⁡(u(x))\arccos(u(x))

Where it slips in: A problem asks for ddxarccos⁡(2x+1)\dfrac{d}{dx}\arccos(2x + 1). A student writes −1/1−(2x+1)2-1/\sqrt{1-(2x+1)^2} and stops.

Don't do this: Apply the bare formula −1/1−x2-1/\sqrt{1-x^2} to a non-xx input without multiplying by the derivative of the inside function.

The correct way: With u=2x+1u = 2x + 1, u′=2u' = 2, so the derivative is −21−(2x+1)2-\dfrac{2}{\sqrt{1 - (2x+1)^2}}. The chain-rule u′u' in the numerator is mandatory.

2. Forgetting the negative sign

Where it slips in: A student computing ddxarccos⁡x\dfrac{d}{dx}\arccos x writes +1/1−x2+1/\sqrt{1-x^2} — confusing it with the arcsine derivative.

Don't do this: Drop the negative sign because the arcsine derivative is positive and the formulas look similar.

The correct way:Arccos is decreasing — its derivative is negative everywhere on (−1,1)(-1, 1). The sign is the single most efficient mnemonic: (arcsin⁡x)′=+1/1−x2(\arcsin x)' = +1/\sqrt{1-x^2}, (arccos⁡x)′=−1/1−x2(\arccos x)' = -1/\sqrt{1-x^2}, and their sum is zero, consistent with arcsin⁡x+arccos⁡x=π/2\arcsin x + \arccos x = \pi/2 being constant.

3. Evaluating at x=1x = 1 or x=−1x = -1

Where it slips in: A problem asks for ddxarccos⁡x∣x=1\dfrac{d}{dx}\arccos x \bigg|_{x = 1} and the student plugs in to get −1/0=−1/0-1/\sqrt{0} = -1/0, then writes "=−∞= -\infty" or treats it as a defined number.

Don't do this: Treat the derivative as defined at x=±1x = \pm 1.

The correct way: The derivative of arccos does not exist at x=±1x = \pm 1. The tangent line to the graph is vertical there. The function itself is defined and equals 00 (at x=1x=1) or π\pi (at x=−1x=-1), but the slope is undefined. State this explicitly; don't fudge.

4. Using degree mode in a calculus problem

Where it slips in: A student computing ddxarccos⁡(sin⁡x)\dfrac{d}{dx}\arccos(\sin x) in degree mode — the derivative formula assumes the angle output is in radians.

Don't do this: Mix radian-mode derivative formulas with degree-mode calculator inputs.

The correct way: All calculus derivative formulas for trig and inverse-trig functions assume radians. If a problem must report the answer in degrees per unit xx, compute in radians first, then multiply by 180/π180/\pi.

The real-world version. The Boeing 737 MAX MCAS incidents (2018–2019) involved an automated flight-control system that computed angle-of-attack from sensor inputs via inverse-trig functions. A single failed sensor fed an out-of-range value into the chain. The system's derivative-based correction loop, sensitive to the rate at which the computed angle was changing, drove the nose-down command.

The chain rule was correct in code; the bad input simply produced derivative magnitudes far outside the calibration envelope. Inverse-trig derivatives are precise only on the open interval (−1,1)(-1, 1) — the endpoints aren't just numerically inconvenient, they are dangerous.

Conclusion

  • The derivative of arccos xx is −11−x2-\dfrac{1}{\sqrt{1-x^2}} on the open interval (−1,1)(-1, 1) — undefined at the endpoints.

  • The negative sign comes directly from arccos being a decreasing function; it pairs with the positive arcsine derivative to keep arcsin⁡+arccos⁡=π/2\arcsin + \arccos = \pi/2 constant.

  • The chain-rule version ddxarccos⁡(u)=−u′1−u2\dfrac{d}{dx}\arccos(u) = -\dfrac{u'}{\sqrt{1 - u^2}} is the form needed for most real problems — the bare formula is just the u=xu = x special case.

  • The single most common student slip is dropping the u′u' chain-rule factor when the inside function isn't simply xx.

  • The derivative of arccos powers angle-rate calculations in inverse kinematics, 3D graphics, antenna steering, and molecular dynamics.

Three Problems to Cement This Formula

  1. Differentiate f(x)=arccos⁡(5x−2)f(x) = \arccos(5x - 2) and state the domain.

  2. Find ddx[x⋅arccos⁡x]\dfrac{d}{dx}[x \cdot \arccos x] — product rule plus the arccos derivative.

  3. Show that ddx[arcsin⁡x+arccos⁡x]=0\dfrac{d}{dx}[\arcsin x + \arccos x] = 0 on (−1,1)(-1, 1), consistent with the identity arcsin⁡x+arccos⁡x=π/2\arcsin x + \arccos x = \pi/2.

If Problem 1 returns a positive derivative, return to Tripping Point 2 — the sign is the diagnostic.

Want a live Bhanzu trainer to walk your child through the Class 12 inverse-trig derivative chapter? Book a free demo class — online globally.

Was this article helpful?

Your feedback helps us write better content

Frequently Asked Questions

What's the derivative of arccos x?
ddxarccos⁡x=−11−x2\dfrac{d}{dx}\arccos x = -\dfrac{1}{\sqrt{1-x^2}}, defined on (−1,1)(-1, 1).
Why is the derivative of arccos negative?
Because arccos is a strictly decreasing function — as xx increases from −1-1 to 11, arccos⁡x\arccos x decreases from π\pi to 00. A decreasing function has a negative derivative.
How is the derivative of arccos related to the derivative of arcsin?
ddxarcsin⁡x=+11−x2\dfrac{d}{dx}\arcsin x = +\dfrac{1}{\sqrt{1-x^2}} and ddxarccos⁡x=−11−x2\dfrac{d}{dx}\arccos x = -\dfrac{1}{\sqrt{1-x^2}}. Their sum is zero, consistent with arcsin⁡x+arccos⁡x=π/2\arcsin x + \arccos x = \pi/2 being a constant.
What's the derivative of arccos at x=0x = 0?
−1/1−0=−1-1/\sqrt{1 - 0} = -1. The arccos graph has slope −1-1 at the midpoint x=0x = 0 (where arccos⁡0=π/2\arccos 0 = \pi/2).
Can I differentiate arccos at x=1x = 1?
No — the derivative is undefined there. The tangent to the arccos graph is vertical at x=1x = 1.
How do I differentiate arccos⁡(g(x))\arccos(g(x)) for any gg?
Use the chain rule: ddxarccos⁡(g(x))=−g′(x)1−g(x)2\dfrac{d}{dx}\arccos(g(x)) = -\dfrac{g'(x)}{\sqrt{1 - g(x)^2}} — valid wherever g(x)∈(−1,1)g(x) \in (-1, 1) and gg is differentiable.
Is the derivative of arccos used in physics?
Yes — anywhere an angle is computed from a dot product or a known cosine. Robotics, beam steering, refraction angles, and molecular geometry all involve arccos⁡\arccos, and their rates of change involve its derivative.
✍️ Written By
BT
Bhanzu Team
Content Creator and Editor
Bhanzu’s editorial team, known as Team Bhanzu, is made up of experienced educators, curriculum experts, content strategists, and fact-checkers dedicated to making math simple and engaging for learners worldwide. Every article and resource is carefully researched, thoughtfully structured, and rigorously reviewed to ensure accuracy, clarity, and real-world relevance. We understand that building strong math foundations can raise questions for students and parents alike. That’s why Team Bhanzu focuses on delivering practical insights, concept-driven explanations, and trustworthy guidance-empowering learners to develop confidence, speed, and a lifelong love for mathematics.
Related Articles
Book a FREE Demo ClassBook Now →