2sin−135−tan−11731=π4
Let sin−135=a
⇒sina=35
⇒sin2a=925
⇒cos2a=1−sin2a=1−925=25−925=1625
⇒cosa=45
∴tana=sinacosa=3545=34
⇒a=tan−134
∴sin−135=tan−134
Hence
2 sin−135−tan−11731=2 tan−134−tan−11731
We know that,
2 tan−1x=tan−1(2x1−x2)
L.H.S=tan−1⎛⎜
⎜
⎜
⎜
⎜⎝2×341−(34)2⎞⎟
⎟
⎟
⎟
⎟⎠−tan−11731
L.H.S=tan−1⎛⎜
⎜
⎜⎝641−916⎞⎟
⎟
⎟⎠−tan−11731
L.H.S=tan−1⎛⎜
⎜
⎜⎝6416−916⎞⎟
⎟
⎟⎠−tan−11731
L.H.S=tan−1247−tan−11731
We know that tan−1x−tan−1y=tan−1(x−y1+xy)
L.H.S=tan−1⎛⎜
⎜
⎜⎝247−17311+247×1731⎞⎟
⎟
⎟⎠
L.H.S=tan−1⎛⎜
⎜
⎜⎝744−1192171+408217⎞⎟
⎟
⎟⎠
L.H.S=tan−1⎛⎜
⎜
⎜⎝744−119217217+408217⎞⎟
⎟
⎟⎠
L.H.S=tan−1⎛⎜
⎜
⎜⎝625217625217⎞⎟
⎟
⎟⎠
L.H.S=tan−11=π4=R.H.S
Hence proved.