TeX source:
\arcsin x +\arccos x =\frac{\pi}{2}