Suppose
![y=\arctan x](https://img.qammunity.org/2019/formulas/mathematics/high-school/3gctpmdr1hhyn0p69ioxuqbr1wsmlqh88b.png)
, where
![-\frac\pi2<y<\frac\pi2](https://img.qammunity.org/2019/formulas/mathematics/high-school/uzj3hmdvzxzaelq42wmijdcosdxkbk66sw.png)
. The restriction on the domain of
![y](https://img.qammunity.org/2019/formulas/mathematics/high-school/551wa7vx8x4hkmlfqcjacsdp8yeixdrxer.png)
is needed for the following step; over this interval, we can properly take the inverse of
![\arctan](https://img.qammunity.org/2019/formulas/mathematics/high-school/rgotjxnrn9oeys9covksw79yxzr2tjvovq.png)
, i.e. take the tangent of both sides:
![y=\arctan x\iff\tan y=\tan(\arctan x)=x](https://img.qammunity.org/2019/formulas/mathematics/high-school/ztqdxiin2fvfey1oq2e1q11cqc4scc8klg.png)
Just to emphasize the point, we can only simplify
![\tan(\arctan x)](https://img.qammunity.org/2019/formulas/mathematics/high-school/9syzylr1iwi3w8qzpcf6oa683wnmtu7s3y.png)
to
![x](https://img.qammunity.org/2019/formulas/mathematics/college/lhtxftojjkzsmo3o2h4ilq8naohracejui.png)
as long as
![y=\arctan x](https://img.qammunity.org/2019/formulas/mathematics/high-school/3gctpmdr1hhyn0p69ioxuqbr1wsmlqh88b.png)
is smaller than
![\frac\pi2](https://img.qammunity.org/2019/formulas/mathematics/high-school/degm6554n2o2gr8ohx329dc2zql99uohar.png)
in absolute value.
Now imagine you have a right triangle with a reference angle of
![y](https://img.qammunity.org/2019/formulas/mathematics/high-school/551wa7vx8x4hkmlfqcjacsdp8yeixdrxer.png)
. We're told that
![\tan y=x](https://img.qammunity.org/2019/formulas/mathematics/high-school/lrpcrr7vssweqciatnl7hgkjr9q5arlxdq.png)
. In this triangle, then, the lengths of its legs occur in a ratio of
![\frac x1](https://img.qammunity.org/2019/formulas/mathematics/high-school/ymxw984vyu4h84ebieb4o4so7uk12jgeds.png)
. In other words, if one of the legs had length
![1](https://img.qammunity.org/2019/formulas/mathematics/high-school/dxgbc3dlxncrowciv3ttunqsrhh5g4ssp8.png)
(the leg adjacent to the angle), then the other must have length
![x](https://img.qammunity.org/2019/formulas/mathematics/college/lhtxftojjkzsmo3o2h4ilq8naohracejui.png)
(the leg opposite the angle).
By the Pythagorean theorem, it would follow that the length of the hypotenuse is
![√(x^2+1^2)=√(x^2+1)](https://img.qammunity.org/2019/formulas/mathematics/high-school/ra22hxxyicsozkuyt46g5mqpfgvywo8lem.png)
. Then the sine of this angle is
![\sin(\arctan x)=\sin y=\frac x{√(x^2+1)}](https://img.qammunity.org/2019/formulas/mathematics/high-school/kheea5m86isl43qezewq9btvheaoqecchx.png)
Personally, I wouldn't deem it necessary to rationalize the denominator, but we could go ahead and do it for giggles.
![\frac x{√(x^2+1)}\cdot(√(x^2+1))/(√(x^2+1))=(x√(x^2+1))/(x^2+1)](https://img.qammunity.org/2019/formulas/mathematics/high-school/xuo068rchky0fsnr1vakqiogef2sarcd01.png)