关于证明指数函数ax、对数函数logax与幂函数x的探讨.docxVIP

关于证明指数函数ax、对数函数logax与幂函数x的探讨 1 有理数证明的种类 指状函数ax（a.0，a.1，a）的对数函数logax（a.0，a.1，x.0）和功率函数x（r，x）r，x。0）是分析的三种基本函数。在这个定义中，它们严格单调，连续，而且满足以下熟悉属性：。 这些性质在中学数学的教材中出现过, 但没有给出证明, 甚至当x与y均为有理数时也没有证明 (1) 式. 笔者查阅了一批数学分析教材, 只发现式 (1) 在文中作为定理出现 (见中第四章定理4.10) , 但文只证明了式 (1) 的第一式 (我们发现式 (1) 第二式的证明将用到中第四章定理4.11, 这可能是的作者未曾想到的) , 文 (第一卷第一分册) 对式 (1) 的第一式也有证明, 但对第二式只提及x与y为有理数的情形.式 (2) 的第二式在文中也出现过 (见中第一章第4节式 (2) ) , 其推导要用到式 (1) 的第二式, 而式 (2) 的第一式以及式 (3) 在文[1, 2]等许多数学分析教材中均没有证明. 本文有如下两个目的: (1) 用两种不同的思路证明式 (1) , 我们发现其证明将用到指数函数的连续性与有理幂函数的连续性, 这表明文中第四章的定理4.10与4.11需要做一些调整; (2) 利用式 (1) 给出 (2) 与 (3) 等公式的严格证明. 以上两点可以弥补数学分析教材的内容缺失,