How to prove Cauchy-Schwarz integral inequality?

If by double-integral you mean the identity: $$\frac{1}{2}\int_a^b\int_a^b (f(x)g(y) - g(x)f(y))^2\,dx\,dy \\= \int_a^b f^2(x)\,dx\int_a^b g^2(x)\,dx - \left(\int_a^b f(x)g(x)\,dx\right)^2$$

Then note that the integrand $\displaystyle (f(x)g(y) - g(x)f(y))^2 \ge 0$, hence the inequality follows.

So we take $P(\lambda)=\int_a^b (|f|+\lambda|g|)^2$

Then $$ P(\lambda)=\int_a^b |f|^2 +2\lambda\int_a^b |fg| +\lambda^2 \int_a^b |g|^2 $$

P is a 2nd degre polynome and beacause he never cancel his discriminant is negative then we have the inegality ! If I don't make a mistake sure...

Shadock

HINT: Use the polynomial function $$P(x) = \int_a^b \left(f(t) + xg(t)\right) ^2dt$$

And you will have two cases to prove : either $g = \Theta_{[a, b] \to \mathbb{R}}$ or not (the first case is pretty easy).