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?