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 The complete solution set of the equation ${\sin ^{ - 1}}\left( {\frac{{x + \sqrt {1 - {x^2}} }}{{\sqrt 2 }}} \right) = \frac{\pi }{4} + {\sin ^{ - 1}}x$ is
(A)[-1,0]
(B)[0,1]
(C)$[-1,\frac{1}{\sqrt{2}}]$
(D)$[\frac{1}{\sqrt{2}},1]$
My approach is as follow
${\sin ^{ - 1}}\left( {\frac{{x + \sqrt {1 - {x^2}} }}{{\sqrt 2 }}} \right) - {\sin ^{ - 1}}x = \frac{\pi }{4}$
${\sin ^{ - 1}}\left( {\left( {\frac{{x + \sqrt {1 - {x^2}} }}{{\sqrt 2 }}} \right)\sqrt {1 - {x^2}}  - x\sqrt {1 - {{\left( {\frac{{x + \sqrt {1 - {x^2}} }}{{\sqrt 2 }}} \right)}^2}} } \right) = \frac{\pi }{4}$
${\sin ^{ - 1}}\left( {\left( {\frac{{x\sqrt {1 - {x^2}}  + 1 - {x^2}}}{{\sqrt 2 }}} \right) - x\sqrt {1 - \left( {\frac{{{x^2} + 1 - {x^2} + 2x\sqrt {1 - {x^2}} }}{2}} \right)} } \right) = \frac{\pi }{4}$
${\sin ^{ - 1}}\left( {\left( {\frac{{x\sqrt {1 - {x^2}}  + 1 - {x^2}}}{{\sqrt 2 }}} \right) - x\sqrt {\left( {\frac{{2 - 1 - 2x\sqrt {1 - {x^2}} }}{2}} \right)} } \right) = \frac{\pi }{4}$
$\left( {\left( {\frac{{x\sqrt {1 - {x^2}}  + 1 - {x^2}}}{{\sqrt 2 }}} \right) - x\sqrt {\left( {\frac{{1 - 2x\sqrt {1 - {x^2}} }}{2}} \right)} } \right) = \frac{1}{{\sqrt 2 }}$
Not able to proceed from here
 A: 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}}$$
A: 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:

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.
A: The other answers pointed out some very creative ways of solving your problem, but I just wanted to complete your algebraic manipulation for you.
$\left( {\left( {\frac{{x\sqrt {1 - {x^2}}  + 1 - {x^2}}}{{\sqrt 2 }}} \right) - x\sqrt 
{\left( {\frac{{1 - 2x\sqrt {1 - {x^2}} }}{2}} \right)} } \right) = \frac{1}{{\sqrt 2 }}$
${x\sqrt {1 - {x^2}}  + 1 - {x^2} - x\sqrt 
{\left( {1 - 2x\sqrt {1 - {x^2}}} \right)} } = 1$
${x\sqrt {1 - {x^2}} - x\sqrt 
{\left( {1 - 2x\sqrt {1 - {x^2}}} \right)} } = x^2$
${\sqrt {1 - {x^2}} - \sqrt 
{\left( {1 - 2x\sqrt {1 - {x^2}}} \right)} } = x$
(Since we divide both sides by $x$, you can verify by hand that $x = 0$ is a solution)
${\sqrt {1 - {x^2}} - \sqrt 
{\left( {x - \sqrt{1 - {x^2}}} \right)^2} } = x$
${\sqrt {1 - {x^2}} - x + \sqrt{1 - {x^2}}} = x$
$2\sqrt {1 - {x^2}} = 2x$
$\sqrt {1 - {x^2}} = x$
$1 - {x^2} = x^2$
$x^2 = \frac{1}{2}$
$x = \pm \frac{1}{\sqrt{2}}$
Thus, we are left with three solutions: $\{ -\frac{1}{\sqrt{2}}, 0, \frac{1}{\sqrt{2}}\}$
Only option choice (C) contains all three solutions found.
A: First of all we need $-1\le x\le1$ for real $\arcsin(x)$
Using Proof for the formula of sum of arcsine functions $ \arcsin x + \arcsin y $
the equality will be valid
if $$x^2+\dfrac12\le1\iff x^2\le1-\dfrac12\iff?\le x\le?$$
Or if $x^2+\dfrac12>1$ and $(\sqrt2x<0\iff x<0)$
