Tan half angle formula proof. These identities are obtained by using the d...