sin−135+cos−11517=sin−17785
sin−135+sin−1817
tan−134+tan−1815
=tan−1(815+341−815×34)
=tan−1(7736)
=sin−1(7785)
=RHS.
Prove that sin−1817+sin−135=sin−17785.