逆三角関数について次を示せ
(1)ArcsinX + ArccosX = π/2 (|x|≦1)

(2)ArctanX + Arctan(1/X) = π/2

(3)Arcsin(3/5) + Arcsin(5/13) = Arcsin(56/65)

(4)f(X)=sin(2ArctanX)は有理数であることを示し、その関数形を求めよ。