Can someone please help me to show how
$$\int_{-\infty}^\infty \cos(\frac{\pi}{a}x)\cos(\frac{3\pi}{a} x) \, \mathrm{d}x = 0$$
Attempt:
Trig Identity yields
$$= \frac{1}{2} \int_{-\infty}^\infty \cos(\frac{4\pi}{a}x) + \cos(\frac{2\pi}{a} x) \, \mathrm{d}x$$
$$= \frac{a}{2} (\frac{\sin(\frac{4\pi}{a}x)}{4\pi} + \frac{\sin(\frac{2\pi}{a}x)}{2\pi}) $$ evaluated from $-\infty$ to $\infty$
What is a nontrivial way to show that the last expression is zero?
My course notes says something about stretching of the sine function, not good enough for me.
The limit does not exist in the strictest sense.
However, in the theory of generalized functions (i.e., distribution theory), the limit as $\lim_{x\to \infty} \sin(ax) = 0$.