Double-angle formulae