用函数方定义初等函数.docVIP

地址：西安经济技术开发区凤城一路8号御道华城A座10层 电话：029第 PAGE 1 页 共 NUMPAGES 13 页 专家名著用函数方程定义初等函数 专家名著 在上节中我们看到，某些函数方程的解恰是基本的初等函数. 例如，函数方程（101） SKIPIF 1 0 的解是对数函数 SKIPIF 1 0 . 一般说来，如果有某两个单调函数都满足这个函数方程，那末它们都是对数函数，差别只在于对数的底a不同而已（为了保证解的唯一性，可以给出补充条件 SKIPIF 1 0 ）. 这说明，函数方程（101）刻划了对数函数的特有属性. 从这个函数方程出发，而不必从对数函数的通常定义出发，我们同样可以推出对数函数的一系列性质. 现在对照排列如下： SKIPIF 1 0 因此，我们可以用函数方程来定义对数函数，也就是说，把对数函数定义为函数方程 SKIPIF 1 0 的解. 类似地，如我们在上节所讨论的，还可以把正比例函数 SKIPIF 1 0 定义为函数方程 SKIPIF 1 0 （79） 的解. 把一次函数 SKIPIF 1 0 定义为函数方程 SKIPIF 1 0 （9） 的解. 把指数函数 SKIPIF 1 0 定义为函数方程 SKIPIF 1 0 （16） 的解. 不仅如此，用函数方程同样能定义其他基本初等函数，例如幂函数和三角函数. 本节我们主要讨论用函数方程定义余弦函数. 由于余弦函数在整个实轴上不再具有单调性，本节里，我们将用连续性来代替单调性这个条件. 什么叫函数 SKIPIF 1 0 的连续性？设x0是某区间上的一点. 如果当 SKIPIF 1 0 时， SKIPIF 1 0 ， 就说函数 SKIPIF 1 0 在点x0连续. 在区间上每一点都连续的函数，叫做在这个区间上的连续函数. 连续函数的图象是一条没有间隙的连续曲线. 我们知道，在三角学中有公式 SKIPIF 1 0 这启示我们可以把余弦函数定义为函数方程 SKIPIF 1 0 （15） 的解 SKIPIF 1 0 （这个函数方程我们在第1节的例3中曾遇到过了）. 为了使函数方程（15）的解 SKIPIF 1 0 具有唯一性，还需给出下列条件： 1．函数 SKIPIF 1 0 在整个实轴上连续. 2．方程 SKIPIF 1 0 =0有一个最小正根 SKIPIF 1 0 存在. 就是说 SKIPIF 1 0 （113） 而当 SKIPIF 1 0 时， SKIPIF 1 0 . （114） 3． SKIPIF 1 0 （115） （顺便指出，如果将这三个条件加以改变，函数方程（15）将定义另外的函数，例如可以用来定义一种叫做双曲余弦的函数.） 现在，我们从（15）和上述三条性质来证明，函数 SKIPIF 1 0 具有一系列性质，这些性质和我们通常所知道的余弦函数cos x的性质完全一样. 性质1 SKIPIF 1 0 （对于余弦函数，我们知道cos0=1） 证明 在函数方程（15）中，令x=y=0. 就有 SKIPIF 1 0 但由（115）知道， SKIPIF 1 0 所以得 SKIPIF 1 0 性质2 函数 SKIPIF 1 0 是偶函数： SKIPIF 1 0 = SKIPIF 1 0 . [对于余弦函数，有cos x= cos (-x)] 证明 在函数方程（15）中，令x=0，便得 SKIPIF 1 0 注意到 SKIPIF 1