Tan half angle formula. Double-angle identities are derived from the s...