Half angle formula for cos. In the next two sections, these formulas will be derived...