令φ(x)=f(x+a)-f(x),则φ(x)∈C[0,a]
这个很简单啊,首先连续函数的和差积商(分母不为0)还是连续函数,那么在[0,a]上,f(x+a)是连续函数,f(x)也是连续函数,那么φ(x)当然也是连续函数了啊
证明φ(0)φ(a)≤0也简单。
φ(0)=f(a)-f(0)
φ(a)=f(2a)-f(a)=f(0)-f(a)
它俩互为相反数,乘起来当然≤0啦
令φ(x)=f(x+a)-f(x), 所以φ(x)的定义域是f(x+a),f(x)两个定义域的交集,
f(x)∈C[0,2a],f(x+a)∈C[-a,a],所以φ(x)∈C[0,a]
由于f(0)=f(2a)
φ(0)φ(a)=(f(a)-f(0))(f(2a)-f(a))
=(f(a)-f(0))(f(0)-f(a))
=-(f(a)-f(0))^2
≤0
由于φ(x)也是连续函数,所以必然存在ξ∈[0,a]使φ(ξ)=0,
亦即f(ξ+a)-f(ξ)=0,从而命题得证