>>633
http://i.imgur.com/NoJe728.jpg

f'(x)を展開しても(上側)、剰余項がcはx(と(a+ξ)/2)に依存するから軽々しくxに代入なんてできないですし……
かと言ってf'(ξ)を(a+b)/2の周りで展開しても、下側のように2階微分は消えないですし(そもそも凸関数だったら常にf"≠0)、どう処理すればいいのかわからないです