Fundamental lemma of the calculus of variations (source code)

= Fundamental lemma of the calculus of variations
{wiki}

If a continuous function $f$ satisfies
$$
\int_a^b f(x)\eta(x)\,dx=0
$$
for every smooth compactly supported test function $\eta$, then $f=0$ on $(a,b)$.