最值理论中一个结论的证明.pdfVIP

第 17卷第 5期 高 等 数 学 研 究 Vol_17。NO．5 2014年 9月 STUDIESIN C0LLEGE MATHEMATICS Sep．，2014 最值理论中一个结论的证明 李卫峰 (中国地质大学(武汉)数学与物理学院，湖北 武汉 430074) 摘 要 同济大学 《高等数学》最值理论 中有结论称 “若一个函数在一个 区间内可导且只有一个驻点，并且这 个驻点是函数 的极值点，那么此驻点也是该函数 的最值点”，但并未给出证明．学生们对此频感好奇．受Fermat引理 启发 ，利用反证法可获一个 比此结论更为一般 的定理． 关键词 最值 ；极值 ；Femat引理 中图分类号 O172．1 文献标识码 A 文章编号 1008—1399(2014)05—0018—01 A Theorem aboutGlobalExtremeValue LIW eifeng (SchoolofMathematicsandPhysics，ChinaUniversityofGeosciences，W uhan430074，PRC) Abstract： “Ifadifferentiablefunctiononan intervalhasonlyonestationarypoint，andthestationarypointis alocalextremum pointofthefunction，thenthestationarypointisalsotheglobalextremum pointofthefunction”is astatementappeared，withoutproof，inthetextbookofHigherMathematicspublishedbyTongjiuniversity． Studentsareusuallycuriousabouthow tOprovetheresult．Inthispaper，inspiredbyFermat’Slemma，weestablish atheorem ，whichismoregenera1thantheresultabove． Keywords： globalextremum ，localextremum ，Femat’Slemma 结论 1ll1J1 厂()在一个区间(有限或无限，开 不妨设 32。 z ，在 [z。，．17]上考虑 ／()的最小值 或闭)内可导且只有一个驻点 z。，并且这个驻点是 m。，明显的有 函数 ，(z)的极值点，那么 ，当 f(x。)是极大值时， 0 ≤ f(x0) (z1)． f(x。)就是 ，()在该区间上的最大值 ；当f(x。)是 若m。一f(x。)，则由于z。为-厂()的极大值点，存在 极小值时，f(x。)就是 ．厂()在该区间上的最小值． 0(充分小 ，使得 。+ )，使得 实际问题 中，往往根据问题 的性质就可以断定 -厂()≤ f(x0)，z ∈ (-z0，o+ )． 可导函数 厂(z)确定有最大值或最小值 ，而且一定在 又 由m。一f(x。)为厂(z)在Ix。，z]上的最小值 ，得 定义区间内部取得．这时如果-厂()在定义 区间内部 mo≤ f(x)≤ f(xo)， 只有一个驻点92。，那么不必讨论f(x。)是不是极值 ， 所 以在 (z。，z。+ )上有 ．厂(z)三 772。，这与z。是唯一 就可以断定 f(x。)是最大值或最小值L】f1． 极值点矛盾．所以 。 f(x