Suponga que b-a\lt\pi y considerar c=\tfrac12(\pi-b-a),\qquad s=\sin(a+c). Then s=\sin(b+c) (always true), s\gt0 (because 0\lt b-a\lt\pi), and \sin(x+c)\gt0 for every x in (a,b).
Además, f(a)=f(b)=0f\gt0(a,b), por lo tanto f'(a)\geqslant0f'(b)\leqslant0, lo que implica que f'(b)-f'(a)\leqslant0.
Todo esto se mantiene en el almacén, consideremos la integral \int_a^b f"(x)+f(x))\sin(x+c)\mathrm dx=\left.f'(x)\sin(x+c)-f(x)\cos(c+x)\right|_a^b=(f'(b)-f'(a))\,s.
El LHS es no negativa como la integral de una función no negativa y el lado derecho es valor no positivo como el producto de la f'(b)-f'(a)\leqslant0s\gt0, de ahí la LHS es realmente cero.
De ello se sigue que la función de la integral debe ser idéntica a cero, es decir,f''+f=0(a,b). El resto es directa.