SCH_CALC


Maybe if the argument of the inverse tan be then it will cancel LHS to be , then expression could be QED’ed?
Goal: re-write into a … form!

Multiplying by denominator’s conjugate:

Using the half angle identity of ,