微积分学的初等化_张景中.pdfVIP

OI:10．19603／j．cnki．1000－1190．2006．04．001

第40卷第4期华中师范大学学报（自然科学版）Vol．40No．4

2006年12月JOURNALOFCENTRALCHINANORMALUNIVERSITY（Nat．Sci．）ec．2006

文章编号：1000-1190（2006）04-0475-10

微积分学的初等化

张景中1‚2‚3

（1．华中师范大学教育信息技术工程研究中心‚武汉430079；

2．中国科学院成都计算机应用研究所‚成都610041；3．广州大学教育软件研究所‚广州510006）

摘要：不用极限概念‚而用一个不等式来定义函数的导数．从这个新的定义出发‚推出了函数的

性质和它的导数的性质的关系‚证明了泰勒公式和微积分基本定理．

关键词：微积分；初等化；函数；导数

中图分类号：O172文献标识码：A

本文将研究微积分初等化的可能性．即不引入确提出了作为函数导数初等定义的“一致性不等

极限概念‚用初等数学的手段严谨地讲述微积分的式”‚为微积分的初等化指出了一条新路‚其详细的

可能性．推导论证参见文献［10］．

从牛顿-莱布尼兹时代算起‚微积分学已有本文以林群院士提出的“一致性不等式”为出

300多年的历史．这段精彩的历史可见文献［1］．发点‚结合文献［2］中的思路‚用与文献［10］不同的

150年来‚大学数学教材里一直是按照那时形成的方式实现了微积分的初等化．

理论讲授微积分的基础内容．

1强导意义下导数的基本性质

微积分的严格化基于所谓ε-δ语言的极限概

念的引进．而这样表述的极限概念对于初学者很难林群院士在文献［10］中建议‚不采用基于极限

理解‚已经成为学习高等数学之路上的一道关卡．概念的点态导数定义‚而在区间上用一个不等式定

如何使微积分入门教学变得容易‚是国际数学教育义导数：

领域的百年难题．文献［2］中曾提出一种“非ε语言定义1设函数F在［a‚b］上有定义．如果有

的极限概念”‚用一种形式上更简易但逻辑上等价一个在［a‚b］上有定义的函数f和正数M‚使得对

的极限概念表述方法来代替“ε-δ语言的极限概［a‚b］上任意的x和x＋h‚有下列不等式

念”‚以克服微积分入门教学的难点．目前已有3种2

｜（F（x＋h）－F（x））－f（x）h｜≤Mh（1）

［3-5］

教材采用了文献［2］中的方法‚并在教学实践成立‚则称F在［a‚b］上强可导‚并且称f（x）是F

［6］（x）的导数‚记作F′（x）＝f（x）．

中取得很好的效果．但是‚文献［2］中仅仅是对极

限概念给出一种新的表述方法‚不是不用极限概不等式（1）就是林群院士建议的“一致性不等

［10］

念‚是因为还没有实现微积分的初等化．式”．显然‚它可以写成以下的等价式：

近年来‚林群院士致力于微积分初等化的努力2

F（x＋h）－F