Half angle formula for cos, To do this, we'll start with the double angle formu...