f '(x)の最小値 b-aa/3 が負なら、
ある実数pについて f '(p) < 0.
f '(x) + 1/f '(p) の最小値も負。
　 (3b-aa)/3 + 1/f '(p) < 0,
∴ f '(q) + 1/f '(p) = 0　となる q がpの両側にある。→2つ