🧮 Brain Teaser

The Function That Equalizes Its Own Averages

Let f:[0,1]Rf : [0,1] \to \mathbb{R} be a continuous function satisfying

01f(x)dx=01xf(x)dx.\int_0^1 f(x)\, dx = \int_0^1 x\, f(x)\, dx.

Prove that there exists a point c(0,1)c \in (0,1) such that

0cf(x)dx=0.\int_0^c f(x)\, dx = 0.

integration by partsintermediate value theoremreal analysisantiderivative

Answer: The Function That Equalizes Its Own Averages

Key Idea / Intuition

Define F(t)=0tf(x)dxF(t) = \int_0^t f(x)\,dx. We want to show FF has a zero in (0,1)(0,1). The hypothesis links F(1)F(1) to a weighted integral of FF via integration by parts — and the two conditions together force FF to change sign (or vanish) somewhere strictly inside (0,1)(0,1).


Formal Proof / Solution

Step 1: Set up FF and integrate by parts.

Let F(t)=0tf(x)dxF(t) = \int_0^t f(x)\,dx. Then F(0)=0F(0) = 0, FF is continuous, and F(t)=f(t)F'(t) = f(t).

Integrate 01xf(x)dx\int_0^1 x\,f(x)\,dx by parts with u=xu = x, dv=f(x)dxdv = f(x)\,dx:

01xf(x)dx=[xF(x)]0101F(x)dx=F(1)01F(x)dx.\int_0^1 x\,f(x)\,dx = \bigl[x\,F(x)\bigr]_0^1 - \int_0^1 F(x)\,dx = F(1) - \int_0^1 F(x)\,dx.

Step 2: Use the hypothesis.

The hypothesis says 01f(x)dx=01xf(x)dx\int_0^1 f(x)\,dx = \int_0^1 x\,f(x)\,dx, i.e.,

F(1)=F(1)01F(x)dx.F(1) = F(1) - \int_0^1 F(x)\,dx.

This immediately gives

01F(x)dx=0.\int_0^1 F(x)\,dx = 0.

Step 3: Conclude FF has a zero in (0,1)(0,1).

Since 01F(x)dx=0\int_0^1 F(x)\,dx = 0 and FF is continuous, either:

  • F0F \equiv 0 on [0,1][0,1], in which case every point of (0,1)(0,1) works, or
  • FF is not identically zero, so it takes both positive and negative values (otherwise F0F \geq 0 or F0F \leq 0 everywhere with F=0\int F = 0 would force F0F \equiv 0).

In the latter case, by the Intermediate Value Theorem, FF must cross zero at some c(0,1)c \in (0,1). \blacksquare

Summary of the chain: hypothesisIBP01F(x)dx=0IVTF(c)=0 for some c(0,1).\text{hypothesis} \xRightarrow{\text{IBP}} \int_0^1 F(x)\,dx = 0 \xRightarrow{\text{IVT}} F(c) = 0 \text{ for some } c \in (0,1).

Type: analysisEdit on GitHub ↗