>>442
θ = y - x, f(θ) = (θ^2/2) + cos(θ) - 1 と置くと、
f(0) = 0, df(θ)/(dθ)≧0よりf(θ)≧0が示せるよ