引理
为证明某个定理或解某个问题所要用到的命题
引理是为证明某个定理或解某个问题所要用到的命题。
基本概念
引理(lemma)是数学中为了取得某个更好的结论而作为步骤被证明的命题,其意义并不在于自身被证明,而在于为达成最终目的作出贡献。
一个引理可用于证明多个结论。数学中存在很多著名的引理,这些引理可能对很多问题的解决有帮助。例如欧几里得引理乌雷松引理,德恩引理,法图引理高斯引理中山引理庞加莱引理里斯引理佐恩引理等。
构造引理法
概念
什么叫引理?引理就是在解决某些问题的过程中需要应用一些没有被证明的结论。把它提出来以后必须加以证明,是正确的才能引用。而通过构造引理使问题得以解决的构造命题的方法叫作构造引理法。
实例说明
解:这是一个复合函数,设 ,由 ,
解得 的定义域为 或 。
先构造两个引理:
引理1:已知函数 ,若 在区间(a,b)上是增函数,其值域(c,d),又函数 在(c,d)上也是增函数,那么复合函数 在(a,b)上是增函数。
证明:在(a,b)上任取 , ,使a< <
在(a,b)上是增函数,
记 ,即 ,且
又 函数 在区间(c,d)上是增函数,
,即 ,
故函数 在(a,b)上是增函数.
类似地可以证明如下引理:
引理2:已知函数 ,若 在区间(a,b)上是减函数,其值域为(c,d),又函数 在区间(c,d)上是增函数,那么,复合函数 在区间(c,d)上是减函数。
由两个引理可知:
当x∈(3,+∞)时, 为增函数, 也为增函数,所以(3,+∞)是 的单调增区间;
当x∈(-∞,1)时, 为减函数,而 为增函数,所以(一∞,1)是 的单调减区间。
注:设内层函数 ,外层函数,复合函数,复合函数的单调性有四个引理,结论列表如下:
参考资料
最新修订时间:2022-08-25 14:16
目录
概述
基本概念
构造引理法
参考资料