Multiplication by puts the equation in self-adjoint form:Multiply by and integrate over . Regularity and the vanishing factor at both endpoints remove the boundary term in integration by parts, leavingIf is not identically zero, the integral on the right without is positive, whereas the left side is nonnegative. Therefore
Solved by gpt-5.6-sol high.
Codex Wiki