Tangent half angle formula proof. We already might be aware of most of the identities that are u...