严谨定义的初等函数及性质.docxVIP

严谨定义的初等函数及其性质 前言 初等函数是由幂函数，指数函数，对数函数，三角函数，反三角函数以及常数经过有限次加减乘除复合运算得到的函数。初等函数具有在定义域内皆可导等性质，结构简单，运用广泛。 高中对于幂函数，指数函数，对数函数的性质有研究，但是并不是很严谨，本文从这几种函数的定义讲起，从根本上理解这三类函数的性质。 有理数次幂函数 0前言 本章重点介绍了有理数次幂函数的定义及性质，循循渐进的介绍幂函数研究的历史，对于有没有数学基础的学者有一定难度。 1正整数次幂函数 若函数 可以表示成： 其中 ，表示n个x相乘，称为正整数次幂函数。一般记作： 对于任意n都成立 性质2.1.1 证明： 性质2.1.2 证明： 性质2.1.3 证明： 性质2.1.4 二项式定理： 证明： n=1时， 原式成立。 假设 时成立，即 则当 时，有： 而组合数满足：  所以也成立，由数学归纳法可知性质2.1.4成立 性质2.1.5 证明： 由导数定义可知： 由二项式定理： 其中： 被称作高阶无穷小量。 2负整数次幂函数 已知函数 其中 ，函数满足： 记作： 被称作负整数次幂函数。 性质2.2.1 证明： 根据定义可知： 所以有 而 证明完毕 性质2.2.2 并且拓展 时： 证明： 若 则存在关系 由性质2.1.1可知： 所以： 根据负整数次幂函数定义可知： (2) 若 则存在关系 由性质2.1.1可知： 根据时的结论，有 所以： 根据负整数次幂函数定义可知： 所以有： 结合（1）（2） 成立 当时，由定义可知 根据 这个性质进行拓展 性质2.2.3 证明： 根据负整数次幂函数定义可知： 根据性质2.1.1： 根据负整数次幂函数定义可知： 证毕 性质2.2.4 证明： 根据负整数次幂函数定义： 根据性质2.1.3可知： 根据负整数次幂函数定义： 同理可证： 另一方面根据性质2.2.1 根据性质2.1.3可知 根据性质2.2.1可知： 同理可证： 性质2.2.5 证明： 根据负整数次幂函数定义： 根据性质2.2.4 根据负整数次幂函数定义： 同理可证： 证毕 性质2.2.6 证明： 根据负整数次幂函数定义： 根据性质2.1.2： 根据负整数次幂函数定义： 性质2.2.7 证明： 令 ，则有 两边对x求导： 根据性质2.1.5 所以有： 将代入得到： 根据性质2.2.2： 根据负整数次幂函数定义： 根据性质2.2.3： 证毕 3整数次幂函数 本节将前两节的内容进行汇总和精简。 根据1，2节的定义可知所有整数次幂函数的定义，将其统一形式。 当n是正整数时，定义域为R 当n是非正整数时，定义域为 下面给出几个性质： 性质2.3.1 证明： 综合性质2.1.1、2.2.2以及2.2.3便可证明。 特别的当时，等式成立时,x可以等于0。 性质2.3.2 证明： 综合性质2.1.2以及2.2.6便可证明。 特别的当时，等式成立时，可以等于0。 性质2.3.3 证明： 综合性质2.1.3、2.2.4以及2.2.5便可证明。 特别的当时，等式成立时，可以等于0。 性质2.3.4 证明： 综合性质2.1.5以及2.2.7便可证明。 性质2.3.5 根据导数和极限知识给出整数次幂函数（这里不证明） n 正整偶数 递减 f(0)=0 f(0)=0 递增 正整奇数 递增 f(0)=0 f(0)=0 递增 负整偶数 递增 递减 负整奇数 递减 递减 4根式函数 已知整数次幂函数形式： 当n是正整数时，定义域为R 当n是负整数时，定义域为 若函数g(x)满足: 则g(x)称作根式函数，简记为： 根据2.3.5的一系列性质可知： g(x)当n为正奇整数时，定义域为R g(x)当n为正偶整数时，定义域为 g(x)当n为负奇整数时，定义域为 g(x)当n为负偶整数时，定义域为 而g(x)和f(x)互为反函数，所以f(x)必须保证： 一个y值对应一个x值。 n为奇数时能够保证此性质，但是n为偶数时，可以证明: 不能保证该性质，而 是严格单调的，令 和互为反函数 n是正偶数时 特别的当时， ,这样 根式函数定义的方式和整数次幂函数的定义并不矛盾。 性质2.4.1 根据性质2.3.5和反函数的知识给出根式幂函数性质（这里不证明） n 正整偶数 无定义 无定义 无定义 g(0)=0 递增 正整奇数 递增 g(0)=0 g(0)=0 递增 负整偶数 无定义 无定义 无定义 递减 负整奇数 递减 递减 研究