미분방정식 $\displaystyle y '= \frac{x \sqrt {1-y^ {2}}} {1+x^ {2}}, y (0) =1$ 을 만족시키는 해는?

• ①$\tan x+2 \ln y=0$
• ②$\displaystyle \sin ^ {-1} y- \frac{1} {2} \ln \left (1+x^ {2} \right) = \frac{\pi} {2}$
• ③$\displaystyle \ln x+ \frac{x^ {2}} {2} + \sin ^ {-1} y= \frac{\pi} {2}$
• ④$\displaystyle \tan ^ {-1} y+x+ \frac{x^ {2}} {2} = \frac{\pi} {4}$