Find the complete solution set of the equation ${\sin ^{ -1}}( {\frac{{x + \sqrt {1 - {x^2}} }}{{\sqrt 2 }}} ) = \frac{\pi }{4} + {\sin ^{ - 1}}x$ is

Substitute $x = \sin\theta$ and let's restrict our attention to $\theta\in\left[-\frac{\pi}{2},\frac{\pi}{2}\right]$ since that covers the whole range of $\sin\theta$:

$$\sin^{-1}\left(\frac{\sin\theta+\cos\theta}{\sqrt{2}}\right) = \frac{\pi}{4}+\sin^{-1}(\sin\theta)$$

$$\implies \sin^{-1}\left(\sin\left(\theta+\frac{\pi}{4}\right)\right) = \frac{\pi}{4}+\theta$$

However, the equality is only true when $$\left|\theta+\frac{\pi}{4}\right|\leq \frac{\pi}{2} \implies -\frac{3\pi}{4}\leq \theta \leq \frac{\pi}{4}$$

Taking the intersection of this set with our original domain, we have that

$$-\frac{\pi}{2} \leq \theta \leq \frac{\pi}{4} \implies -1 \leq x \leq \frac{1}{\sqrt{2}}$$


One way is using differentiation. Let $$f(x) = \sin^{-1}(x) + \frac{\pi}{4}$$ And $$g(x) = {\sin ^{ -1}}( {\frac{{x + \sqrt {1 - {x^2}} }}{{\sqrt 2 }}} ) $$


Edit: Note that domain of $\sin^{-1} x$ is $-1\le x \le 1$. The domain of $f(x) - g(x)$ is $A = \{x | x \in \mathbb{R}, x \in D_f \cap D_g \}$. So we have $$D_f = \{x | x \in \mathbb{R}, -1\le x \le 1\}$$And $$D_g = \{x | x \in \mathbb{R}, -1\le {\frac{{x + \sqrt {1 - {x^2}} }}{{\sqrt 2 }}} \le 1\}$$ If we show $x \in D_f \implies x \in D_g$ then we are done. Because it shows $D_f \subseteq D_g$ and then $D_f \cap D_g = D_f$. Consider $y = x + \sqrt {1 - {x^2}}$ on the interval $x \in [-1 , 1]$. It's a continuous function and $y(-1) =-1, \ \ y(1) = 1$. Taking derivative and finding critical points $$y'(x) = 1 - \frac{x}{\sqrt{1-x^2}} = 0 \implies x = \pm \frac{1}{\sqrt{2}}$$Because $y(\frac{1}{\sqrt{2}}) = \sqrt{2}$ and $y(-\frac{1}{\sqrt{2}}) = 0$ we have $$-1 \le x + \sqrt {1 - {x^2}} \le \sqrt{2} \implies \frac{-1}{\sqrt{2}} \le \frac{x + \sqrt {1 - {x^2}}}{\sqrt{2}} \le 1 $$ Since $-1 \le \frac{-1}{\sqrt{2}}$ the result is proved. This is a geometric interpretation for the mentioned inequity:enter image description here


If $-1\lt x \lt 1$ then $$f'(x) -g'(x) = \frac{1}{\sqrt{1-x^2}} - \frac{\sqrt{1 - x^2} - x}{\sqrt{1 - 2x\sqrt{1 - x^2}} \sqrt{1 - x^2}} $$ Solve for $f'(x) - g'(x) = 0$: $$\sqrt{1 - 2x\sqrt{1 - x^2}} = \sqrt{1 - x^2} - x $$ If $\sqrt{1 - x^2} - x \ge 0$ we can safely square both sides: $$1 - 2x\sqrt{1 - x^2} = 1 - x^2 + x^2 - 2x\sqrt{1 - x^2} $$ Which is an identity. So if $-1\lt x \lt 1$ and $\sqrt{1 - x^2} - x \ge 0$ then $f'(x)- g'(x) = 0$. Therefore we have $f(x) = g(x) + C$. Also $f(0) = g(0) = \frac{\pi}{4}$ concluding $C = 0$. So we have to check the interval $$-1\lt x \lt 1 \ \ \ \text{and} \ \ \ \sqrt{1 - x^2} - x \ge 0$$ Which is $-1 \lt x \le \frac{1}{\sqrt{2}}$. You can easily check $x = -1$ by hand.

Tags:

Trigonometry