∴dxdy=1+x22 for −1<x<1, and dxdy=−1+x22 for ∣x∣>1.
The answer key prints 1+x22, which is correct only for −1<x<1; for ∣x∣>1 the sign is reversed.
Want the reason behind every step, the basics and the checks?
The one idea this problem is built on
The fraction 1+x22x is the double-angle formula in disguise: with x=tanθ it equals sin2θ. So y=sin−1(sin2θ), and this equals 2θonly when 2θ lies in [−2π,2π], the principal range of sin−1. That happens exactly for −1≤x≤1. Unlike Questions 10 to 15, this question gives no interval, so we also work out what happens for ∣x∣>1: there y=±π−2tan−1x, the derivative changes sign, and at x=±1 the graph has corners.
Given, to find, and the plan
Given
y=sin−1(1+x22x); no interval is stated.
To find
dxdy, wherever it exists.
Plan
(1) Check y is defined for every real x. (2) Put x=tanθ and show the fraction is sin2θ. (3) Simplify y separately for ∣x∣≤1,x>1,x<−1, checking the range each time. (4) Differentiate each piece. (5) Test x=±1 with one-sided derivatives. (6) Confirm with the chain rule applied directly.
Basics you need
1Principal values
sin−1:[−1,1]→[−2π,2π] and tan−1:R→(−2π,2π) (Chapter 2, Section 2.2). sin−1(sinϕ)=ϕ only for ϕ in [−2π,2π] (Section 2.3). Basics: composite functions
A function is differentiable at c only if the left-hand and right-hand limits of hf(c+h)−f(c) are finite and equal (Section 5.3). Lesson: differentiability
Solution
y is defined for every real x
sin−1 needs its input in [−1,1], so we need ∣2x∣≤1+x2. This always holds:
1+x2−2∣x∣=(1−∣x∣)2≥0,
with equality only when ∣x∣=1. So 1+x22x≤1 for all x, and it equals 1 only at x=±1.
This tells us the domain is all of R, so the question really is about every real x. It also flags x=±1: there the input of sin−1 is ±1, where sin−1 itself has no derivative.
x2=∣x∣2 and (a−b)2≥0.
Substitute x=tanθ
Let θ=tan−1x. This is defined for every real x, gives θ∈(−2π,2π), and tanθ=x. Since cosθ=0 on this interval,
The substitution is legitimate for every x because tan takes every real value on (−2π,2π). But 2θ can be anywhere in (−π,π), which is wider than the principal range of sin−1. So the next step must split into cases.
x>1. Then 4π<θ<2π and 2π<2θ<π, outside the principal range. Use sin2θ=sin(π−2θ), where 0<π−2θ<2π is inside it:
y=π−2θ=π−2tan−1x(x>1).
x<−1. Then −2π<θ<−4π and −π<2θ<−2π. Now sin(−π−2θ)=−sin(π+2θ)=sin2θ, and −2π<−π−2θ<0 is inside the range:
y=−π−2θ=−π−2tan−1x(x<−1).
At x=1 both 2tan−1x and π−2tan−1x equal 2π; at x=−1 both 2tan−1x and −π−2tan−1x equal −2π. So the pieces join up and y is continuous.
To undo sin we need an angle in [−2π,2π] with the same sine as 2θ. Reflecting through ±2π (ϕ↦π−ϕ, or ϕ↦−π−ϕ) keeps the sine and brings the angle into range.
Using dxdtan−1x=1+x21, and that the constants ±π have derivative 0:
−1<x<1:∣x∣>1:dxdy=1+x22,dxdy=−1+x22.
On each open interval y agrees with a simple formula, so its derivative there is the derivative of that formula. The endpoints ±1 need separate treatment, because there the formula changes.
for h<0 small, 1+h∈(−1,1), so y=2tan−1x at both points of the quotient hy(1+h)−y(1). The quotient is therefore the difference quotient of the differentiable function 2tan−1x at 1, and its limit as h→0− is that function's derivative at 1: the left-hand derivative is 1+122=1;
for h>0,y=π−2tan−1x at both points (Step 4 showed it also gives y(1)), so the quotient is the difference quotient of π−2tan−1x, and its limit as h→0+, the right-hand derivative, is −1+122=−1.
1=−1, so y is not differentiable at x=1. In the same way, at x=−1 the left-hand derivative is −1 and the right-hand derivative is 1, so y is not differentiable at x=−1 either.
The graph has corners at (1,2π) and (−1,−2π), like ∣x∣ at 0 (see the figure). Differentiability needs the two one-sided limits of the difference quotient to be equal, and here they are not.
Left-hand and right-hand derivatives (Section 5.3; compare ∣x∣ at 0 after Theorem 3). Lesson: differentiability
Cross-check with the chain rule directly
Let u=1+x22x. By the quotient rule,
u′=(1+x2)22(1+x2)−2x⋅2x=(1+x2)22(1−x2).
Also
1−u2=(1+x2)2(1+x2)2−4x2=(1+x2)2(1−x2)2,
so 1−u2=1+x2∣1−x2∣. For x=±1 (so that ∣u∣<1),
dxdy=1−u21⋅u′=(1+x2)∣1−x2∣2(1−x2).
The fraction ∣1−x2∣1−x2 is 1 when ∣x∣<1 and −1 when ∣x∣>1, so this is exactly Step 5.
The square root of a square is an absolute value: (1−x2)2=∣1−x2∣, not 1−x2. Forgetting this is how the sign change for ∣x∣>1 gets lost.
y=sin−11+x22x (blue) agrees with 2tan−1x (dashed gold) only for −1≤x≤1. Outside, it turns back towards 0, giving corners at x=±1. The horizontal and vertical scales differ (1 unit across is 40 px; 1 unit up is 44 px).
Resultdxdy=1+x22for −1<x<1.
For ∣x∣>1,dxdy=−1+x22; at x=±1 the derivative does not exist.
(Textbook answer: 1+x22. It is correct for −1<x<1, the interval that the substitution sin−1(sin2θ)=2θ needs. The question states no interval, and for ∣x∣>1 the sign is reversed.)
Check it with numbers
At x=0.5:y=sin−10.8≈0.9272952. With h=0.0001,y(0.5001)≈0.9274552 and y(0.4999)≈0.9271352; the difference quotient 0.00020.9274552−0.9271352 is 1.6000000, and 1+0.252=1.6. ✓
At x=2: the fraction is again 54, so y≈0.9272952 once more, and π−2tan−12≈0.9272952 too. Now y(2.0001)≈0.9272552, y(1.9999)≈0.9273352, and the difference quotient is −0.4000000. The formula 1+x22 would give +0.4; the correct value for x>1 is −52=−0.4. ✓
Common mistakes
Writing sin−1(sin2θ)=2θ without checking the range. It holds only for 2θ∈[−2π,2π], that is, ∣x∣≤1.
Taking (1−x2)2=1−x2 in the direct method. It is ∣1−x2∣, and that is where the sign change comes from.
Claiming a derivative at x=±1. Both one-sided derivatives exist there but are unequal.
What to take away
1+x22x,1+x21−x2 and 1−x22x are sin2θ,cos2θ and tan2θ with x=tanθ. The same idea solves Q11, Q12 and Q13.
A simplification such as y=2tan−1x is valid only where the angle lies in the principal range; outside that range the derivative can change.
Every fact used, and where it comes from
Fact
Used in
Source
Principal ranges: sin−1 in [−2π,2π],tan−1 in (−2π,2π)
Steps 2 to 4
Chapter 2, Section 2.2 (table of principal value branches)
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →