If x=tan−117 and y=tan−113, then
x=tan−117⇒tan x=17 and y=tan−113⇒tan y=13 Now, cos 2x=1−tan2x1+tan2x=2425 sin 4y=2 sin 2ycos 2y=2.2tan y(1−tan2y)(1+tan2y)2=2425∴cos 2x=sin 4y