Half-angle formula and double angle formula