Double-angle formulas. By letting in (3-1)-(3-2), we can derive

Half-angle formulas. By letting in (3-5), the two rightmost identities of (3-5) can be used to verify the following half-angle formulas: