-
Simplify the infinite geometric series.
We need to evaluate the four infinite geometric series. The sum of an infinite geometric series with first term a and common ratio r is S=1−ra, provided ∣r∣<1.
- S1=i=1∑∞xi+1=x2+x3+x4+⋯=1−xx2 for ∣x∣<1.
- S2=i=1∑∞(2x)i=2x+(2x)2+⋯=1−x/2x/2=2−xx for ∣x/2∣<1⟹∣x∣<2.
- S3=i=1∑∞(2−x)i=2−x+(2−x)2+⋯=1−(−x/2)−x/2=2+x−x for ∣−x/2∣<1⟹∣x∣<2.
- S4=i=1∑∞(−x)i=−x+(−x)2+⋯=1−(−x)−x=1+x−x for ∣−x∣<1⟹∣x∣<1.
The problem asks for solutions in the interval (−21,21), which is within the convergence region ∣x∣<1 for all series.
-
Rewrite the equation with the sums.
Let the argument of sin−1 be A and the argument of cos−1 be B.
A=S1−xS2=1−xx2−x(2−xx)=(1−x)(2−x)x2(2−x)−x2(1−x)=(1−x)(2−x)2x2−x3−x2+x3=(1−x)(2−x)x2.
B=S3−S4=2+x−x−(1+x−x)=(2+x)(1+x)−x(1+x)+x(2+x)=(2+x)(1+x)−x−x2+2x+x2=(1+x)(2+x)x.
The equation becomes:
sin−1(A)=2π−cos−1(B)
Using the identity sin−1(y)+cos−1(y)=2π, we have 2π−cos−1(B)=sin−1(B).
So, the equation simplifies to:
sin−1(A)=sin−1(B)⟹A=B
-
Solve the algebraic equation A=B.
(1−x)(2−x)x2=(1+x)(2+x)x
One immediate solution is x=0. Let's check if it is valid. For x=0, A=0 and B=0. sin−1(0)=2π−cos−1(0)⟹0=2π−2π⟹0=0. So x=0 is a solution. It lies in the interval (−1/2,1/2).
For x=0, we can divide both sides by x:
(1−x)(2−x)x=(1+x)(2+x)1
Cross-multiplying gives:
x(1+x)(2+x)=(1−x)(2−x)
x(x2+3x+2)=x2−3x+2
x3+3x2+2x=x2−3x+2
x3+2x2+5x−2=0
-
Find the number of roots of the cubic equation in (−1/2,1/2).
Let f(x)=x3+2x2+5x−2. We need to find the number of roots of f(x)=0 in the interval (−1/2,1/2).
-
Evaluate f(x) at the interval boundaries:
f(−1/2)=(−1/2)3+2(−1/2)2+5(−1/2)−2=−1/8+1/2−5/2−2=−1/8−4=−33/8<0.
f(1/2)=(1/2)3+2(1/2)2+5(1/2)−2=1/8+1/2+5/2−2=1/8+3−2=1/8+1=9/8>0.
Since f(x) is continuous and changes sign between −1/2 and 1/2, by the Intermediate Value Theorem, there is at least one root in (−1/2,1/2).
-
Analyze the derivative of f(x):
f′(x)=3x2+4x+5.
The discriminant of this quadratic is D=42−4(3)(5)=16−60=−44<0.
Since the leading coefficient (3) is positive and the discriminant is negative, f′(x) is always positive for all real x. This means f(x) is a strictly increasing function.
A strictly increasing function can cross the x-axis at most once. Therefore, there is exactly one root of f(x)=0 in the interval (−1/2,1/2). This root is not x=0 since f(0)=−2=0.
-
Check domain validity.
The arguments of the inverse trigonometric functions, A and B, must be in the range [−1,1]. Since A=B, we only need to check one. Let's analyze B(x)=(1+x)(2+x)x for x∈(−1/2,1/2).
The derivative is B′(x)=((1+x)(2+x))2(1+x)(2+x)−x(2x+3)=(x2+3x+2)22+3x+x2−2x2−3x=(x2+3x+2)22−x2.
For x∈(−1/2,1/2), x2∈[0,1/4), so 2−x2>0. Thus, B′(x)>0 and B(x) is strictly increasing on (−1/2,1/2).
B(−1/2)=(1/2)(3/2)−1/2=−2/3.
B(1/2)=(3/2)(5/2)1/2=2/15.
So for any x∈(−1/2,1/2), B(x)∈(−2/3,2/15), which is well within [−1,1]. All solutions in the interval are valid.
-
Conclusion.
We found two distinct real solutions in the interval (−1/2,1/2):
- x=0
- The unique real root of x3+2x2+5x−2=0 that lies in (−1/2,1/2).
Therefore, the total number of real solutions is 2.