百科问答小站 logo
百科问答小站 font logo



怎么推导或证明 e^x 的导数是自身? 第1页

  

user avatar   Kayama 网友的相关建议: 
      

这个取决于 的定义方式,在其中一些定义方式【1】下, 的导函数是其自身是一个平凡的结论,无需证明.

我想,你想要问的并不是这个.


那么首先,定义 ,这个没有任何疑问,是 最常见的定义方式之一【2】


再用幂级数定义实函数

显然可得其收敛半径为 ,也即在 上收敛

则 一定是 上的连续函数,并且逐项无限次可微

(实际上更进一步可证明 是实解析函数)


并且有


这里的关键在于避免出现循环论证,即不借助 这一结论,直接证明


我提供一种方法:

引理1

对一切实数 ,

证:

由d'Alembert比值判别法可得幂级数 对一切 都绝对收敛

那么 与 的Cauchy卷积


由引理1


并且对任意

可得 ( )

令 为正有理数,其中

那么

( 为正有理数)


显然可得

则对一切有理数 ,


引理2

设函数 是 上的连续函数,又在所有有理点上有 ,

则 对一切 恒成立.

证:

对任意无理数 ,取有理数列

使得

由于 ,

在点 连续

由Heine归结原则


和 均在 上连续,且在一切有理点上, 均成立

由引理2, 在 上恒成立


这样就证明了


Q.E.D.



注:

【1】例如可以把 定义为使得 成立的那个实数 ,这当然也是一种可行的等价定义,这种定义下, 的导函数是其自身则是一个平凡的结论,无需证明


【2】 的另一种最常见的定义方式就是将之定义为 ,它与 这个定义的等价性,一般随便一本数学分析或者微积分的教材里都有叙述,这里不再赘述

还有一些其他的定义方式,彼此之间都是等价的,不多谈




  

相关话题

  人们专门弄了一个自然对数函数的底数 e,是为什么? 
  如果有一个初三学生说他懂微积分,我该怎么应对? 
  用这种方式算π,问题在哪? 
  为什么没有开区间上的 R 正常定积分的定义;开区间勒贝格可积,再加什么特殊条件,可得到开区间黎曼可积? 
  如何证明这个级数恒等式? 
  如何证明 sinsin…sinx 极限为 0? 
  如果一个圆的度数是361°世界会有什么影响? 
  数学中数列有什么技巧? 
  请问《数字情种》是否可能翻拍成电影? 
  十几岁的小孩,计算能力特别弱,但是逻辑推理能力超强,梦想是成为数学家,有可能么? 

前一个讨论
最后放弃研究数学的人,是对数学失去兴趣了,还是找不到教职被迫放弃了?
下一个讨论
三阶魔方公式的最大周期是多少?对应的公式是什么?





© 2025-05-29 - tinynew.org. All Rights Reserved.
© 2025-05-29 - tinynew.org. 保留所有权利