The Function That Equalizes Its Own Averages
Let be a continuous function satisfying
Prove that there exists a point such that
integration by partsintermediate value theoremreal analysisantiderivative
Answer: The Function That Equalizes Its Own Averages
Key Idea / Intuition
Define . We want to show has a zero in . The hypothesis links to a weighted integral of via integration by parts — and the two conditions together force to change sign (or vanish) somewhere strictly inside .
Formal Proof / Solution
Step 1: Set up and integrate by parts.
Let . Then , is continuous, and .
Integrate by parts with , :
Step 2: Use the hypothesis.
The hypothesis says , i.e.,
This immediately gives
Step 3: Conclude has a zero in .
Since and is continuous, either:
- on , in which case every point of works, or
- is not identically zero, so it takes both positive and negative values (otherwise or everywhere with would force ).
In the latter case, by the Intermediate Value Theorem, must cross zero at some .
Summary of the chain:
Type: analysisEdit on GitHub ↗