L.H.S=tan−12tanα2tan(pi4β2)1−tan2α2tan2(pi4β2)(since2tan−1x=tan−12x1−x2)
=tan−12tanα21−tanβ21+tanβ21−tan2α2⎛⎜
⎜
⎜⎝1−tanβ21+tanβ2⎞⎟
⎟
⎟⎠2
=tan−12tanα2(1−tanβ2)(1+tanβ2)2−tan2α2(1−tanβ2)2
=tan−12tanα2(1−tanβ2)(1+tanβ2)(1−tanα2)+2tan2β2(1+tanα2)
=tan−12tanα21−tan2β21+tan2α21+tan2β21−tan2α21+tan2α22tanβ21+tan2β2
=tan−1(sinαcosβcosα+sinβ)=R.H.S