18. Inverse Trigonometric Functions
Adapted from: Classical single-variable calculus (restricted domains for one-to-one trig, inverse definitions, derivative formulas). Rewritten for teaching — not a verbatim textbook dump.
Sine, cosine, and the other trig functions are not one-to-one on their natural domains, so they have no inverses there. Restrict the domain until the graph passes the horizontal-line test; then invert.
The inverse sine
On [ − π / 2 , π / 2 ] [-\pi/2,\pi/2] [ − π /2 , π /2 ] , sin \sin sin is one-to-one (see the sin graph from Ch. 17). Define sin − 1 x \sin^{-1}x sin − 1 x (also written arcsin x \arcsin x arcsin x ) as the inverse of that restriction.
sin − 1 x = y \sin^{-1}x=y sin − 1 x = y iff sin y = x \sin y=x sin y = x
Domain of sin − 1 \sin^{-1} sin − 1 : [ − 1 , 1 ] [-1,1] [ − 1 , 1 ] (range of sine)
Range of sin − 1 \sin^{-1} sin − 1 : [ − π / 2 , π / 2 ] [-\pi/2,\pi/2] [ − π /2 , π /2 ]
The graph is the reflection of the restricted sine graph across y = x y=x y = x .
Fig. 18-1 — y = arcsin x
Example 18.1 — special values
arcsin 0 = 0 \arcsin 0=0 arcsin 0 = 0 , arcsin 1 = π / 2 \arcsin 1=\pi/2 arcsin 1 = π /2 , arcsin ( − 1 ) = − π / 2 \arcsin(-1)=-\pi/2 arcsin ( − 1 ) = − π /2 , arcsin ( 1 / 2 ) = π / 6 \arcsin(1/2)=\pi/6 arcsin ( 1/2 ) = π /6 , arcsin ( 2 / 2 ) = π / 4 \arcsin(\sqrt{2}/2)=\pi/4 arcsin ( 2 /2 ) = π /4 , arcsin ( 3 / 2 ) = π / 3 \arcsin(\sqrt{3}/2)=\pi/3 arcsin ( 3 /2 ) = π /3 .
Oddness: arcsin ( − x ) = − arcsin x \arcsin(-x)=-\arcsin x arcsin ( − x ) = − arcsin x (because sin \sin sin is odd on the restricted interval). So arcsin ( − 1 / 2 ) = − π / 6 \arcsin(-1/2)=-\pi/6 arcsin ( − 1/2 ) = − π /6 .
Some printings write sin − 1 ( − 1 / 2 ) = π / 6 \sin^{-1}(-1/2)=\pi/6 sin − 1 ( − 1/2 ) = π /6 . The correct value is − π / 6 -\pi/6 − π /6 .
Check: arcsin
Pick an answer to see if you are right.
Derivative of arcsin x \arcsin x arcsin x
Let y = arcsin x y=\arcsin x y = arcsin x . Then sin y = x \sin y=x sin y = x . Implicit differentiation:
cos y ⋅ y ′ = 1 ⟹ y ′ = 1 cos y . \cos y\cdot y'=1\implies y'=\frac{1}{\cos y}. cos y ⋅ y ′ = 1 ⟹ y ′ = cos y 1 .
cos 2 y = 1 − sin 2 y = 1 − x 2 \cos^{2}y=1-\sin^{2}y=1-x^{2} cos 2 y = 1 − sin 2 y = 1 − x 2 . On the range [ − π / 2 , π / 2 ] [-\pi/2,\pi/2] [ − π /2 , π /2 ] we have cos y ≥ 0 \cos y\ge 0 cos y ≥ 0 , so cos y = 1 − x 2 \cos y=\sqrt{1-x^{2}} cos y = 1 − x 2 . Therefore
D x ( arcsin x ) = 1 1 − x 2 . (18.1) D_{x}(\arcsin x)=\frac{1}{\sqrt{1-x^{2}}}. \tag{18.1} D x ( arcsin x ) = 1 − x 2 1 . ( 18.1 )
Hands On: Numerical check of ( arcsin ) ′ (\arcsin)' ( arcsin ) ′
The inverse cosine
Restrict cos \cos cos to [ 0 , π ] [0,\pi] [ 0 , π ] (one-to-one, range [ − 1 , 1 ] [-1,1] [ − 1 , 1 ] ). Define arccos x = cos − 1 x \arccos x=\cos^{-1}x arccos x = cos − 1 x :
arccos x = y \arccos x=y arccos x = y iff cos y = x \cos y=x cos y = x
Domain [ − 1 , 1 ] [-1,1] [ − 1 , 1 ]
Range [ 0 , π ] [0,\pi] [ 0 , π ]
Reflect the restricted cosine graph across y = x y=x y = x .
Fig. 18-2 — y = arccos x
A similar implicit argument gives
D x ( arccos x ) = − 1 1 − x 2 . (18.2) D_{x}(\arccos x)=-\frac{1}{\sqrt{1-x^{2}}}. \tag{18.2} D x ( arccos x ) = − 1 − x 2 1 . ( 18.2 )
(Useful check: arcsin x + arccos x = π / 2 \arcsin x+\arccos x=\pi/2 arcsin x + arccos x = π /2 , so the derivatives sum to 0 0 0 .)
The inverse tangent
Restrict tan \tan tan to ( − π / 2 , π / 2 ) (-\pi/2,\pi/2) ( − π /2 , π /2 ) (one-to-one onto R \mathbb{R} R ). Define arctan x = tan − 1 x \arctan x=\tan^{-1}x arctan x = tan − 1 x :
arctan x = y \arctan x=y arctan x = y iff tan y = x \tan y=x tan y = x
Domain ( − ∞ , + ∞ ) (-\infty,+\infty) ( − ∞ , + ∞ )
Range ( − π / 2 , π / 2 ) (-\pi/2,\pi/2) ( − π /2 , π /2 )
Example 18.2
arctan 0 = 0 \arctan 0=0 arctan 0 = 0 , arctan 1 = π / 4 \arctan 1=\pi/4 arctan 1 = π /4 , arctan 3 = π / 3 \arctan\sqrt{3}=\pi/3 arctan 3 = π /3 , arctan ( 3 / 3 ) = π / 6 \arctan(\sqrt{3}/3)=\pi/6 arctan ( 3 /3 ) = π /6 . Odd: arctan ( − x ) = − arctan x \arctan(-x)=-\arctan x arctan ( − x ) = − arctan x .
Graph: reflection of the principal tan \tan tan branch; horizontal asymptotes y = ± π / 2 y=\pm\pi/2 y = ± π /2 .
Fig. 18-3 — y = arctan x
If y = arctan x y=\arctan x y = arctan x , then tan y = x \tan y=x tan y = x and sec 2 y ⋅ y ′ = 1 \sec^{2}y\cdot y'=1 sec 2 y ⋅ y ′ = 1 , so
y ′ = 1 sec 2 y = 1 1 + tan 2 y = 1 1 + x 2 . y'=\frac{1}{\sec^{2}y}=\frac{1}{1+\tan^{2}y}=\frac{1}{1+x^{2}}. y ′ = sec 2 y 1 = 1 + tan 2 y 1 = 1 + x 2 1 .
D x ( arctan x ) = 1 1 + x 2 . (18.3) D_{x}(\arctan x)=\frac{1}{1+x^{2}}. \tag{18.3} D x ( arctan x ) = 1 + x 2 1 . ( 18.3 )
Check: arccos / arctan
A [−1, 1] B [−π/2, π/2] C (−π/2, π/2) D [0, π]
Pick an answer to see if you are right.
Inverse cotangent, secant, cosecant
Domains of the inverses are chosen so the derivative formulas stay simple. Conventions for s e c − 1 \mathrm{sec}^{-1} sec − 1 and c s c − 1 \mathrm{csc}^{-1} csc − 1 vary by textbook — we follow this chapter’s choices.
cot − 1 x \cot^{-1}x cot − 1 x
Restrict cot \cot cot to ( 0 , π ) (0,\pi) ( 0 , π ) . Domain of cot − 1 \cot^{-1} cot − 1 : R \mathbb{R} R ; cot − 1 x = y \cot^{-1}x=y cot − 1 x = y iff cot y = x \cot y=x cot y = x .
D x ( cot − 1 x ) = − 1 1 + x 2 . (18.4) D_{x}(\cot^{-1}x)=-\frac{1}{1+x^{2}}. \tag{18.4} D x ( cot − 1 x ) = − 1 + x 2 1 . ( 18.4 )
Fig. 18-4 — cot on (0,π) and cot⁻¹
sec − 1 x \sec^{-1}x sec − 1 x
Restrict sec \sec sec to [ 0 , π / 2 ) ∪ [ π , 3 π / 2 ) [0,\pi/2)\cup[\pi,3\pi/2) [ 0 , π /2 ) ∪ [ π , 3 π /2 ) . Domain of sec − 1 \sec^{-1} sec − 1 : ∣ x ∣ ≥ 1 |x|\ge 1 ∣ x ∣ ≥ 1 .
D x ( sec − 1 x ) = 1 x x 2 − 1 . (18.5) D_{x}(\sec^{-1}x)=\frac{1}{x\sqrt{x^{2}-1}}. \tag{18.5} D x ( sec − 1 x ) = x x 2 − 1 1 . ( 18.5 )
Fig. 18-5 — y = sec⁻¹ x (schematic)
csc − 1 x \csc^{-1}x csc − 1 x
Restrict csc \csc csc to ( 0 , π / 2 ] ∪ ( π , 3 π / 2 ] (0,\pi/2]\cup(\pi,3\pi/2] ( 0 , π /2 ] ∪ ( π , 3 π /2 ] . Domain ∣ x ∣ ≥ 1 |x|\ge 1 ∣ x ∣ ≥ 1 .
D x ( csc − 1 x ) = − 1 x x 2 − 1 . (18.6) D_{x}(\csc^{-1}x)=-\frac{1}{x\sqrt{x^{2}-1}}. \tag{18.6} D x ( csc − 1 x ) = − x x 2 − 1 1 . ( 18.6 )
Fig. 18-6 — csc and csc⁻¹ (schematic)
Check: other inverses
A −1/(1+x²) B −1/√(1−x²) C 1/(x√(x²−1)) D 1/(1+x²)
Pick an answer to see if you are right.
Notation warning
sin − 1 x \sin^{-1}x sin − 1 x means the inverse function , not ( sin x ) − 1 = 1 / sin x = csc x (\sin x)^{-1}=1/\sin x=\csc x ( sin x ) − 1 = 1/ sin x = csc x . When ambiguous, write arcsin \arcsin arcsin , arccos \arccos arccos , arctan \arctan arctan , etc.
Restrict trig domains to get one-to-one branches; invert to define arcsin , arccos , arctan , … \arcsin,\arccos,\arctan,\ldots arcsin , arccos , arctan , …
( arcsin ) ′ = 1 / 1 − x 2 (\arcsin)'=1/\sqrt{1-x^{2}} ( arcsin ) ′ = 1/ 1 − x 2 , ( arccos ) ′ = − 1 / 1 − x 2 (\arccos)'=-1/\sqrt{1-x^{2}} ( arccos ) ′ = − 1/ 1 − x 2 , ( arctan ) ′ = 1 / ( 1 + x 2 ) (\arctan)'=1/(1+x^{2}) ( arctan ) ′ = 1/ ( 1 + x 2 )
( cot − 1 ) ′ = − 1 / ( 1 + x 2 ) (\cot^{-1})'=-1/(1+x^{2}) ( cot − 1 ) ′ = − 1/ ( 1 + x 2 ) ; ( sec − 1 ) ′ = 1 / ( x x 2 − 1 ) (\sec^{-1})'=1/(x\sqrt{x^{2}-1}) ( sec − 1 ) ′ = 1/ ( x x 2 − 1 ) ; ( csc − 1 ) ′ (\csc^{-1})' ( csc − 1 ) ′ flips that sign
Ranges: arcsin ∈ [ − π / 2 , π / 2 ] \arcsin\in[-\pi/2,\pi/2] arcsin ∈ [ − π /2 , π /2 ] , arccos ∈ [ 0 , π ] \arccos\in[0,\pi] arccos ∈ [ 0 , π ] , arctan ∈ ( − π / 2 , π / 2 ) \arctan\in(-\pi/2,\pi/2) arctan ∈ ( − π /2 , π /2 )
sin − 1 \sin^{-1} sin − 1 ≠ reciprocal — prefer arcsin \arcsin arcsin when unclear
Further Reading