Double angle formula of cos. We are going to derive them from the addition formulas ...