Calculus of variations
Henceψis convex. on the real line. AsxsatisÖes the Euler-Lagrange
equationψ^0 ( (^0) )=0 and asψis convexψhas a minimum atλ= 0 ,so
Ψ(x)=ψ( 0 )ψ( 1 )=Ψ(y)
for everyy,which proves the theorem.
Henceψis convex. on the real line. AsxsatisÖes the Euler-Lagrange
equationψ^0 ( (^0) )=0 and asψis convexψhas a minimum atλ= 0 ,so
Ψ(x)=ψ( 0 )ψ( 1 )=Ψ(y)
for everyy,which proves the theorem.