For real constants with prove the validity of the following formulas:

* Proof. * We compute as follows, using the formula for the cosine of a sum, and expansion/contraction of the interval of integration,

And for the other formula we similarly compute,

Why not expansion/contraction and then translation?