Cos half angle formula. For easy reference, the cosines of double angle are...