Prove that `2sin^-1[3/5]-tan^-1[17/31]=pi/4`

Explanation

Let `\sin ^{-1}(3 / 5)=\theta`




Then `\sin \theta=\frac{3}{5}, where \theta \in[\frac{-\pi}{2}, \frac{\pi}{2}]`




Thus `\tan \theta=\frac{3}{4}, which gives \theta=\tan ^{-1} \frac{3}{4}`.



...