The Integral That Knows Its Own Derivative
Let be continuous. Suppose that
Must have at least two zeros in ?
Prove it or find a counterexample.
Answer: Two Integral Conditions Force Two Zeros
Key Idea / Intuition
The two integral conditions force to "oscillate" enough that it cannot have just one sign-change. Think of it this way: if had only one zero, you could factor out a sign pattern , but then a clever linear combination of the two integrals would give a contradiction. The key move is to use the vanishing of both integrals to build a polynomial that "witnesses" a second zero must exist — essentially an intermediate-value + mean-value argument.
Formal Proof / Solution
Claim: Yes, must have at least two zeros in .
Step 1: must change sign (at least one zero in ).
Since and is continuous, if were never zero on , then has constant sign and the integral cannot vanish. So has at least one zero.
Step 2: Suppose for contradiction that has exactly one zero in , say at .
Then changes sign exactly once: say on and on (or vice versa).
Step 3: Derive a contradiction using a linear combination.
Consider the linear combination
for any . Now choose , the unique zero. Then:
But now observe the sign of :
- On : and , so .
- On : and , so .
Therefore on all of , with strict inequality on sets of positive measure. This gives
which contradicts the fact that the integral equals zero.
Step 4: Conclusion.
The assumption that has exactly one zero in leads to a contradiction. Combined with Step 1, must have at least two zeros in .
Remark (the elegant structure): The two conditions and together say that is orthogonal (in ) to the two-dimensional space spanned by . In particular, is orthogonal to every linear polynomial . Choosing the linear polynomial that vanishes at the only candidate zero is precisely what kills the sign argument. This is a shadow of the general principle: orthogonality to functions forces at least sign changes.