Half-angle identities#Double-, triple-, and half-angle formulae