1. Given Information and Setup:
- Let f:R→R+ be a continuous and periodic function with period T.
- We need to prove that for all α∈R, the inequality ∫0Tf(x+α)f(x)dx≥T holds.
2. Using the Arithmetic Mean-Geometric Mean (AM-GM) Inequality:
- The AM-GM inequality states that for any non-negative functions g(x) over an interval [a,b],
b−a1∫abg(x)dx≥exp(b−a1∫ablng(x)dx).
- In our case, let g(x)=f(x+α)f(x). Then,
T1∫0Tf(x+α)f(x)dx≥exp(T1∫0Tln(f(x+α)f(x))dx).
3. Simplifying the Exponential Term:
- Notice that
ln(f(x+α)f(x))=lnf(x)−lnf(x+α).
- Therefore,
T1∫0Tln(f(x+α)f(x))dx=T1∫0Tlnf(x)dx−T1∫0Tlnf(x+α)dx.
4. **Using the Periodicity of f:**
- Since f is periodic with period T, the integral of lnf(x) over one period is the same as the integral of lnf(x+α) over the same period:
∫0Tlnf(x)dx=∫0Tlnf(x+α)dx.
- Thus,
T1∫0Tlnf(x)dx−T1∫0Tlnf(x+α)dx=0.
- This implies that
exp(T1∫0Tln(f(x+α)f(x))dx)=exp(0)=1.
5. Applying the AM-GM Inequality:
- From the AM-GM inequality, we have
T1∫0Tf(x+α)f(x)dx≥1.
- Multiplying both sides by T, we get
∫0Tf(x+α)f(x)dx≥T.
6. Equality Condition:
- Equality holds if and only if f(x+α)f(x) is constant for almost every x. Given the continuity of f, this implies f(x)=f(x+α) for all x.
■