>>680
点(0,f(0)),(a,f(a))を結ぶ線分をlとすれば
l上の点のy座標の最小値を取り得るのは端点(0,f(0)),(a,f(a))のみである
y=f(x)は上に凸だから区間(0,a)においては、y=f(x)はlの上方にあり
点(0,f(0)),(a,f(a))において共有点を持つので、y=f(x)上の点のy座標の最小値は
(0,f(0)),(a,f(a))のどちらかである