f(x)'=0,有极值，若f(x0)<f(x0±dx)，即为最小值。

【 在 Lispboreme 的大作中提到: 】
: x[upload=1][/upload]
: 怎么证明最小值能取到
--
FROM 112.10.213.*