查看“︁微积分学”︁的源代码

{{multiple issues|
{{refimprove|time=2016-02-23T13:25:58+00:00}}
{{Repetition|time=2016-03-02}}
{{proofreader needed|time=2016-03-02}}
}}
{{redirect|流数|复变函数中的一个概念|留数}}
{{微積分學}}
'''微積分學'''也称為'''微分积分学'''（{{lang-la|Calculus}}{{NoteTag|在[[拉丁语]]中意为计数用的小石頭}}），主要包括[[微分學]]和[[積分學]]两个部分，是研究[[極限 (數學)|極限]]、[[微分]]、[[積分]]和[[無窮級數]]等的一個[[數學]]分支。本質上，微積分學是一門研究[[连续]][[變化]]的學問{{notetag|类似[[幾何學]]是研究[[形狀]]的學問、[[代數學]]是研究代數[[運算]]和解[[方程]]的學問}}。

微積分學在[[科學]]、[[商學]]和[[工程學]]領域皆有廣泛的應用，並成為了現代[[大學教育]]的重要组成部分，用於有效解决一些僅以[[代數學]]和[[幾何學]]無法處理的問題。

微積分學於[[代數學]]和[[幾何學]]的基礎上建立，其中微分是指[[函數]]的局部變化率的一種線性描述，包括求[[導數]]和其運算，即一套關於變化率的理論。它使得函數、[[速度]]、[[加速度]]和[[斜率]]等均可用一套通用的符號進行演繹；積分是微積分學與[[數學分析]]裡的一個核心概念，包括求[[積分]]的運算，為定義和計算[[長度]]、[[面積]]、[[體積]]等提供一套通用的方法。

[[微積分基本定理]]指出，[[微分]]和[[不定積分]]互為逆運算，這也是兩種理論被統一成微積分學的原因。

[[數學史|歷史]]上，微積分曾經指[[无穷小演算|無窮小的計算]]。直至现今，在更深層次的數學領域中，'''高等微積分学'''通常被稱為[[分析學]]，並被定義為研究[[函數]]的科學，是[[高等數學]]的主要分支之一。相应的，微積分學又稱為'''初等數學分析'''。

==漢語語源==
'''微分'''與'''積分'''的現代用法，源於[[李善蘭]]和[[偉烈亞力]]的《[[代微積拾級]]》(1859年，上海，共18卷)一書，在譯著中，[[李善蘭]]解釋了為甚麼使用'''微分'''一詞：「凡線、面、體皆設為由小漸增，尤為微小之中所增之積，即微分也；其全積，即積分也。」<ref>《古今算學叢書第三·代微積拾注》</ref>也就是說，'''微分'''意指將物體（如曲線）細分為無數的微小部分，求出變化率；'''積分'''意指將這些微小部分累積起來，以得到完整的體積或面積。

== 歷史 ==
现代微积分是在17世纪的[[欧洲]]由[[艾萨克·牛顿]]和[[戈特弗里德·萊布尼茨]]（相互独立，在同一时间首次出版）发展起来的，其元素最先出现在古希腊，再則是在中国和中东，此後是在中世纪的欧洲和印度。

===古代===
[[File:Parabolic segment and inscribed triangle.svg|thumb|150px|right|[[阿基米德]]用[[穷竭法]]来计算抛物线下的面积。]]

在[[数学史|古代数学]]中，產生了一些引申出後來[[积分学]]的思想，但當時對該些思想的探討方式并不严格、系统。[[埃及]]的[[莫斯科数学纸草书]]（c. 1820 BC）記載了對不同種類的体积和面积的計算，而這即是積分學的目標之一。不過它的[[公式]]只屬簡單指示，没有提及推導方法，有的公式也只是粗疏的估算。<ref>{{cite book |author=[[莫里斯·克莱因|Morris Kline]] |title=''Mathematical thought from ancient to modern times'' |trans_title=古今数学思想 |publisher= |volume=1 |isbn= |pages= |language= |year=}} {{page needed}}</ref>

積分的起源較早，[[古希臘]]時期[[欧多克索斯]]（约公元前408-355年）就曾用[[穷竭法]]來求面積與體積。[[阿基米德]]（约公元前287-212年）用內接正多邊形的周長來窮盡圓周長，而求得圓周率的近似值；也用一連串的三角形來填充拋物線的圖形，以求得其面積。這些都是窮盡法的古典例子。

中国的[[刘徽]]在公元三世纪也应用穷竭法求圆的面积。<ref>{{cite book |author1=Dun, Liu |author2=Fan, Dainian |author3=Cohen, Robert Sonné |title=''A comparison of Archimdes' and Liu Hui's studies of circles. Chinese studies in the history and philosophy of science and technology 130'' |url=https://archive.org/details/chinesestudiesin0179unse |publisher=Springer |page=[https://archive.org/details/chinesestudiesin0179unse/page/279 279] |isbn=0-7923-3463-9 |year=1966}}</ref>在公元五世纪，[[祖冲之]]採用[[祖暅原理]]计算出球体积，該原理後來也被称之为[[卡瓦列里原理]]。

===现代===
欧洲[[文藝復興]]之後，基於實際的需要及理論的探討，積分技巧有了進一步的發展。譬如為了航海的方便，[[傑拉杜斯·麥卡托]]發明了所謂的[[麥卡托投影法]]，使得地圖上的直線就是航海時保持定向的斜駛線。

在欧洲，基础性的论证来自[[博納文圖拉·卡瓦列里]]，他提出体积和面积应该用求无穷小横截面/段的体积/面积的总和来计算。他的想法类似于[[阿基米德]]在《{{le|力学定理的方法|The Method of Mechanical Theorems|方法論}}》（''The Method''）所提出的，但是[[博納文圖拉·卡瓦列里|卡瓦列里]]的著述丢失了，直到20世纪初期再被找到。卡瓦列里的努力没有得到认可，因为他的方法的误差巨大，而且他提出的那些无穷小的量一開始也不獲認同。

17世紀的前半是微積分學的醞釀時期，觀念在摸索中，計算是個別的，應用也是個別的。而後[[戈特弗里德·威廉·萊布尼茨]]和[[艾薩克·牛頓]]兩人幾乎同時使微積分觀念成熟，澄清微、積分之間的關係，使計算系統化，並且把微積分大規模使用到幾何與物理研究上。

在他們創立微積分以前，人們把[[微分]]和[[積分]]視為獨立的學科，之後才確實劃分出“微積分學”這門學科。

在对微积分的正式研究中，卡瓦列里提出的[[無窮小量]]，與當時在歐洲發展起來的[[有限差分演算]]連繫到了一起。[[皮埃爾·德·費馬]]声称他借用了[[丢番图]]的成就，引入了“[[准等式]]”（adequality）概念，表示兩個項在除卻一個無窮小誤差項下等同。<ref>{{cite book |author=[[André Weil]] |title=''Number theory. An approach through history. From Hammurapi to Legendre'' |url=https://archive.org/details/numbertheoryappr0000weil |publisher=Birkhauser Boston, Inc. |location=Boston, MA, |year=1984 |isbn=0-8176-4565-9 |page=[https://archive.org/details/numbertheoryappr0000weil/page/28 28]}}</ref>而把無窮小量與有限差分演算連繫起來的工作，是由[[約翰·沃利斯 (數學家)|約翰·沃利斯]]、[[伊薩克·巴羅]]和[[詹姆斯·格雷果里]]完成的。後兩者在1670年左右證明了[[微積分第二基本定理]]。

{| style="width:323px; float:right; margin:0 0 1em 1em; border:1px solid #ccc; background:#f9f9f9;"
| style="border:1px solid #ccc;"|[[Image:GodfreyKneller-IsaacNewton-1689.jpg|150px|艾萨克·牛顿]][[File:Gottfried Wilhelm von Leibniz.jpg|163px|戈特弗里德·萊布尼茨]]
|-
|兩位獨立確立微积分體系的數學家：<br />[[艾萨克·牛顿]]爵士（左）與[[戈特弗里德·萊布尼茨]]（右）
|}

牛頓的老師[[伊薩克·巴羅]]雖然知道微分和積分之間有互逆的關係，但他不能體會此種關係的意義，其原因之一就是求[[導數]]還沒有一套有系統的計算方法。古希臘[[平面幾何]]的成功對西方數學影響極其深遠：一般認為唯有幾何的論證方法才是嚴謹、真正的數學，代數不過是輔助的工具而已。直到[[笛卡兒]]及[[費馬]]倡導以代數的方法研究幾何的問題，這種態度才逐漸轉變。可是一方面幾何思維方式深植人心，而另一方面代數方法仍然未臻成熟，[[實數]]系統一時不能建立，所以許多數學家仍然固守幾何陣營而不能發展出有效的計算方法，巴羅便是其中之一。牛頓雖然放弃了他老師的純幾何觀點而發展出了有效的微分方法，可是他遲遲未敢發表。雖然他利用了微積分的技巧，由[[萬有引力]]及[[運動定律]]出發說明了他的宇宙體系，但因害怕當時人們的批評，所以在他1687年的巨著《[[自然哲学的数学原理]]》中仍把微積分的痕跡抹去，而以古典的幾何論證方式論述。

牛顿利用了微積分的技巧，由萬有引力及運動定律出發說明了他的宇宙體系，解决[[天体]]运动，[[流体]]旋转的表面，地球的[[扁率]]，[[摆]]线上重物的运动等问题。牛顿在解决物理问题时，使用了其独特的符号来进行计算，並提出了[[乘积法则]]、[[链式法则]]、[[高阶导数]]、[[泰勒级数]]。<ref>{{cite web |author=Donald Allen |title=Calculus |url=http://www.math.tamu.edu/~dallen/history/calc1/calc1.html |language=en |date= |access-date= |archive-date=2021-03-23 |archive-url=https://web.archive.org/web/20210323194040/https://www.math.tamu.edu/~dallen/history/calc1/calc1.html |dead-url=no }}</ref>在其它著作中，牛顿給出了函數的級數展開式，當中包括[[分数]]和[[无理数]]的乘[[幂]]，而且明显地牛顿知道泰勒级数的原理。但是他没有发表所有的这些发现，因为[[无穷小]]方法在当时仍然饱受争议。

上述思想被[[戈特弗里德·威廉·萊布尼茨]]整合成为真正的[[无穷小演算]]，而牛顿指责前者存在[[抄袭]]。<ref>{{cite book |author=[[莱布尼兹|Leibniz, Gottfried Wilhelm]] |title=The Early Mathematical Manuscripts of Leibniz |publisher=Cosimo, Inc. |language= |page=228 |year=2008}}</ref>莱布尼茨在今天被认为是独立发明微积分的另一人。他的贡献在于成功提供一套明確的規則來處理無窮小的量，能夠允許计算二階或更高階的导数，以微分和积分的形式给出[[乘积法则]]和[[链式法则]]。与牛顿不同，莱布尼茨很注重形式，往往花上數天決定對概念予以什麼適当的符号。

莱布尼茨和牛顿都被普遍认为是独立的微积分发明者。牛顿最先将微积分应用到普通物理当中，而莱布尼茨創作了不少今天在微積分所使用的符号。牛顿、莱布尼茨都给出了微分、积分的基本規則，二阶與更高阶导数，近似多項式級數的記法等。在牛顿的时代，[[微积分基本定理]]是已知的事實。

当牛顿和莱布尼茨第一次发表各自的成果时，数学界就发明微积分的归属和优先权问题爆发一场旷日持久的大争论。牛顿最先得出结论，而莱布尼茨最先将其发表。牛顿称莱布尼茨从他未发表的手稿中盜取了想法，[[皇家學會]]的一些成員也跟牛顿持同一觀點。这场大纷争将使数学家分成两派：一派是英国数学家，捍卫牛顿；另一派是欧洲大陆数学家。结果是对英国数学家不利。日后對牛頓和莱布尼茨的論文的小心檢視，證實两人是独立得出自己的结论。莱布尼茨从积分推导，牛顿从微分推导。在今天，牛顿和莱布尼茨被誉为发明微积分的两个独立創始者。不過，“微積分”之名則是萊布尼茨所創。而牛顿将其成果称为“流数术”（method of fluxions）。

微積分實際被許多人不斷地完善，也離不開巴羅、笛卡兒、費馬、[[惠更斯]]和[[沃利斯]]的貢獻。最早的及最完整的一部有关有限和[[无穷小]]分析的著作由[[瑪利亞·阿涅西]]于1748年所著。<ref>{{cite book |author=Unlu, Elif |title=''Maria Gaetana Agnesi'' |publisher=Agnes Scott College |language= |year=1995}}</ref>

牛頓和萊布尼茨雖然把微積分系統化，但是它還是不夠嚴謹。可是當微積分被成功地用來解決許多問題，卻使得十八世紀的數學家偏向其應用，而甚少致力於其嚴謹性。當時，微積分學的發展幸而掌握在幾個非常優越的數學家，如[[歐拉]]、[[拉格朗日]]、[[拉普拉斯]]、[[达朗贝尔]]及[[雅各布·伯努利|伯努利]]世家等人的手裡。研究的問題由自然現象而來，所以能以自然現象的數據來驗合微積分的許多推論，使微積分學不因基礎不穩而隱含錯誤。在這一眾數學家的手中，微積分學的範圍很快已超越現在大學初階段所授的微積分課程，而邁向更高深的[[数学分析|分析学]]。 
[[File:Maria Gaetana Agnesi.jpg|thumb|150px|right|[[瑪利亞·阿涅西]]]]

===基础===
在微积分中，“基础”意味将一个概念从明確的公理和定义中严格地建構出来。早期微积分所使用的[[无穷小]]被认为是不严谨的，遭到了一些作者的严厉批评，特别是[[米歇尔·罗尔]]和[[乔治·贝克莱]]主教。贝克莱因在他1734年出版的《分析学家》（{{lang|en|''The Analyst''}}）中将[[无穷小]]描述为“[[消失量之鬼]]”而著名。近代的一篇分析认为莱布尼茨版微积分比起贝克莱的[[经验主义]]批評還更严密。<ref>{{citation  |last1=Katz |first1=Mikhail |last2=Sherry |first2=David |title=Leibniz’s Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond |journal=''Erkenntnis'' |volume= |issue= |doi=10.1007/s10670-012-9370-y |arxiv=1205.0174 |pages= |year=2012 |issn = 0165-0106}}</ref>为微积分予以嚴謹基礎，成为数学家们在牛顿、莱布尼茨之后几世纪的重要工作，時至今日仍在某程度上是研究的活躍领域。

一些数学家，包括[[科林·麦克劳林]]，试图证明使用[[无穷小]]是可靠的做法，但直到150多年之后才得以成功。[[奧古斯丁·路易·柯西]]和[[卡尔·魏尔斯特拉斯]]的工作，实现了对[[无穷小]]的記號的回避。微分和积分的基础终于被打下了。在柯西的著作中，可以看到一系列的基础進路嘗試，包括通过[[无穷小]]来对[[连续]]进行定义，和在微分定義中一个不太精确的[[函數極限]]原型。而在魏尔斯特拉斯的著述中，對[[函数极限|极限]]概念作了形式化，回避了[[无穷小]]的使用。继魏尔斯特拉斯之后，微积分就常以极限作为基础，而非[[无穷小]]了。[[波恩哈德·黎曼]]使用这些概念来对积分进行严格定义。在这一时期，微积分的概念也被推廣到[[欧几里得空间]]和[[复平面]]。

在现代数学里，微积分基础被包含在[[实变函数论]]中，后者包括了对微积分理论的完全数学证明。微积分的范围也被大大拓宽了。[[昂利·勒貝格]]建立了[[测度论]]，以測度概念来定义絕大多數函數（除卻特別病態的函數）上的积分。[[洛朗·施瓦茨]]引入了[[分布 (数学分析)|分布]]概念，可以用其取任意函數的导数。

极限不是对微积分基础唯一的嚴格進路。另一種方法是採用[[亞伯拉罕·魯濱遜]]的[[非标准分析]]。罗宾逊在1960年左右所採取的進路袭承了牛顿——莱布尼茨的最初概念，借用[[数理逻辑]]的技術将实数系统扩大，得以將[[无穷小]]和无穷大数包含在內。所得出的數为[[超实数 (非标准分析)|超实数]]，可以用它們來對微积分法则作莱布尼茨式的推導。

=== 重要性 ===
早期的微积分概念来自于[[埃及]]、[[希腊]]、[[中国]]、[[印度]]、[[伊拉克]]、[[波斯]]、[[日本]]，但现代微积分則来自于[[欧洲]]。17世纪时，[[艾萨克·牛顿]]与[[戈特弗里德·萊布尼茨]]在前人的基础上提出微积分的基本理论。微积分基本概念的产生是建立在求瞬间运动和曲线下面积这两个问题之上的。

微分应用包括對[[速度]]、[[加速度]]、曲线[[斜率]]、[[最优化]]等的計算。积分应用包括對[[面积]]、[[体积]]、[[弧长]]、[[质心]]、[[做功]]、[[压力]]的計算。更高级的应用包括[[幂级数]]和[[傅里叶级数]]等。

微积分也使人們更加精确地理解到空间、时间和运动的本质。多个世纪以来，数学家和哲学家都在爭論[[除以零]]或无限多個數之和的相關悖论。这些问题在研究[[運動 (物理學)|运动]]和[[面积]]时常常出现。古希腊哲学家[[埃利亚的芝诺]]便給出了好幾個著名的悖論例子。微积分提供了工具，特别是极限和无穷级数，以解决该些悖论。

== 主要概念 ==
微積分主要有三大類分支：極限、微分學、積分學。微積分的基本理論表明了微分和積分是互逆運算，牛頓和萊布尼茨發現了這個定理以後才引起了其他學者對於微積分學的狂熱的研究，而這個發現也使得我們在微分和積分之間可以互相轉換。這個基本理論也提供了一個用代數計算許多積分問題的方法，也就是用不定積分法取代極限運算法。該理論也可以解決一些微分方程的問題，解決未知數的積分。微分問題在科學領域無處不在。

微積分的基本概念還包括[[函數]]、[[無窮序列]]、[[無窮級數]]和[[連續]]等，運算方法主要有符號運算技巧，該技巧與初等代數和數學歸納法緊密相連。

微積分被延伸到[[微分方程]]、[[向量分析]]、[[變分法]]、[[複分析]]、[[時域微分]]和[[微分拓撲]]等領域。微積分的現代版本是[[實分析]]。

===極限和无穷小===
微積分中最重要的概念是「[[極限 (數學)|極限]]」。[[導數|微商]]（即[[導數]]）是一種極限。[[定積分]]也是一種極限。

從牛頓實際使用它到制定出周密的定義，數學家們奮鬥了200多年。現在使用的定義是[[魏尔斯特拉斯]]於19世紀中葉給出的。

[[數列極限]]就是當一個有順序的[[數列]]往前延伸時，如果存在一個有限數（非無限大的數），使這個數列可以無限地接近這個數，這個數就是這個數列的極限。

數列極限的表示方法是：

:<math>\lim_{n \to \infty}x_n = L</math>

其中<math>L</math>就是極限的值。例如當<math> x_n = {1 \over 2n} </math>時，它的極限為<math>L=0</math>。就是說<math>n</math>越大（越往前延伸），這個值越趨近於<math>0</math>。

微积分通常是透過對很小的數的處理，而發展起來的。历史上，一开始是用无穷小量来做。无穷小量可以被看作是一个数，但是从某种意义上来说，它“无穷小”。一个无穷小数<math>\mathrm{d}x</math>能够比<math>0</math>大，但是小于数列<math>1</math>，<math>\tfrac{1}{2}</math>，<math>\tfrac{1}{3}</math>，⋯⋯任一个数，以及小于任何[[正实数]]。任何整数倍数的无穷小还是无穷小，换句话说，无穷小不满足[[阿基米德性质]]。从这角度来看，微积分是一组处理无穷小的技巧，这种方法于19世纪已不被推崇，因为很難使无穷小成為精确概念。但是，这个概念在20世纪由于非标准分析以及[[光滑无穷小分析]]的引进被重新提及，非标准分析为无穷小的操作提供了坚实的基础。

在19世纪，无穷小被极限取代，极限描述的是与函数在某一点附近的值有关的值。它描述了函数在某处附近的行为，类似无穷小，但是使用了普通的实数系统。在这种做法下，微积分是一组处理极限的技巧。无穷小被很小的数代替，函数无穷小附近的行为是通过取距离越来越小时的极限来找到的。极限是提供微积分严格的基础最简单的方式，基于这个原因，它是标准的做法。

===導數===
{{Main|導數}}

在[[運動學]]中，平均速度等於[[位移]]除以所花費的時間——在一小段間隔的時間內，除上其位移，等於這一小段時間內的速度，但是當這一小段間隔的時間趨於零，也就是瞬時速度時，則無法按照通常的除法計算，這時的速度為時間的導數，得用求導的方法計算。而引入導数概念前，一般会先引入函数的平均变化率的概念。函数在某点处的平均变化率是指函数在该点处的因变量的增量和自变量的增量的比值。一個函數的自變量趨近某一極限時，其平均变化率的極限即為導數。在速度問題上，距離是時間的因變量，隨時間變化而變化；當時間趨於某一極限時，距離增量除以時間增量的極限即為距離對時間的導數。

導數的幾何意義是該[[函數]]曲線在這一點上的[[切線]][[斜率]]。

===微分學===
{{Main|微分學}}
[[File:Tangent derivative calculusdia.svg|thumb|300px|在点<math>(x, f(x))</math>处的切线。在曲线上一点的导数<math>f'(x)</math>是在该点与曲线相切直线的斜率。]]

微分學主要研究的是在函數自變量變化時如何確定[[函數值]]的瞬時變化率（導數或微商）。換言之，計算導數的方法就叫微分學。微分學的另一個計算方法是[[牛頓法]]，該算法又叫應用幾何法，主要通過函數曲線的切線來尋找點斜率。費馬常被稱作「微分學的鼻祖」。

微分学研究的是一个函数的导数的定义，性质和应用。求出导数的过程被称为求导。给定一个函数和定义域内的一个点，在那个点的导数描述了该函数在那一点附近的表现。通过找出一个函数定义域内每一点的导数，可以生成一个新的函数，叫做原函数的导函数，或者导数。以数学术语說，导数是输入一个函数，输出另一个函数的[[线性算子]]。这比許多初等代数里所學的过程更為抽象，初等代数里的函数常常是输入一个数，并输出另一个数。例如，如果在倍增函数中输入<math>3</math>，则输出<math>6</math>，和如果在平方函数中输入<math>3</math>，则输出<math>9</math>。但是，微分能把平方函数作为输入，这意味着微分利用平方函数的所有信息去产生另一个函数（生成的函数是倍增函数）。

导数的最常见的符号是一个类似撇号的符号，叫作“[[角分符號|撇]]（prime）”。从而函数f的导数是<math>f'</math>，读作“f一撇（f prime）”。例如，如果<math>f(x)=x^2</math>是平方函数，那么它的导数<math>f'(x)=2x</math>是倍增函数。

如果函数的输入量代表时间，那么导数就代表关于时间的变化。例如，如果f是输入时间，输出那个时间的球的位置的函数，则f的导数就是位置随着时间怎样变化，这就是球的速度。

如果一个函数是[[线性]]的（也就是说，如果函数的[[函数图形|图像]]是一条直线），那么这个函数可以写成<math>y=mx+b</math>，<math>x</math>是自变量，<math>y</math>是因变量，<math>b</math>是<math>y</math>的纵截距，且

:<math>m = \frac{\Delta y}{\Delta x}.</math>

这个公式给出一条直线的斜率的一个准确值。如果这个函数的图像不是一条直线，那么<math>y</math>的变化量除以<math>x</math>的变化量之值随<math>x</math>改变。导数给出了输出量关于输入量的变化率这一概念一个确切的含义。具体来说，设<math>f</math>是一个函数，并在它的定义域内取一个点<math>a</math>，<math>(a,f(a))</math>是这个函数图像中的一个点。假设<math>h</math>是一个接近于<math>0</math>的数，这时<math>a+h</math>是一个接近于<math>a</math>的数。所以<math>(a+h,f(a+h))</math>是接近于<math>(a,f(a))</math>的。这两点间的斜率是

:<math>m = \frac{f(a+h) - f(a)}{(a+h) - a} = \frac{f(a+h) - f(a)}{h}.</math>

这个表达式称为差商。通过曲线上的两个点的一条直线称为割线，所以<math>m</math>是<math>(a,f(a))</math>和<math>(a+h,f(a+h))</math>间割线的斜率。割线仅仅是函数在<math>a</math>点行为的一个近似，因为它不能解释函数在<math>a</math>到<math>a+h</math>之间的情况。通过设定<math>h</math>为<math>0</math>来发现函数在<math>a</math>处的行为是不可能的，因为这需要除以<math>0</math>，而除以<math>0</math>是不可能的。导数定义为<math>h</math>趋向于<math>0</math>时差商的极限，就是说用h可取的所有可能小的值来研究f的行为，并取一个相容的值以適用於当<math>h</math>等于<math>0</math>的情況：

:<math>\lim_{h \to 0}{f(a+h) - f(a)\over{h}}.</math>

几何上，导数是函数<math>f</math>在<math>a</math>点处切线的斜率。切线是割线的极限，正如导数是差商的极限。因此，导数有时也被称为f的斜率。这里有一个具体的例子，就是求一个平方函数在<math>x</math>等于<math>3</math>处的导数。令这个平方函数为<math>f(x)=x^2</math>：

[[File:Sec2tan.gif|thumb|300px|曲线一点的导数<math>f'(x)</math>是在该点与曲线相切直线的斜率。斜率是通过求割线斜率的极限得出的。这里红色的方程是<math>f(x)=x^3-x</math>。切线方程为绿色，经过点<math>(-\frac{3}{2},-\frac{15}{8})</math>，斜率<math>\frac{23}{4}</math>。注意图中纵横尺度不等]]

:<math>\begin{align}f'(3) &=\lim_{h \to 0}{(3+h)^2 - 3^2\over{h}} \\
&=\lim_{h \to 0}{9 + 6h + h^2 - 9\over{h}} \\
&=\lim_{h \to 0}{6h + h^2\over{h}} \\
&=\lim_{h \to 0} (6 + h) \\
&= 6.
\end{align}
</math>

平方函数在点<math>(3,9)</math>处的切线斜率是<math>6</math>，也就是说，它朝上走的速度是朝右走的速度的6倍。對於平方函数的定义域中的任一点，都可以求得像刚才所描述的极限。因此這定义了平方函数的导函数，也简称为平方函数的导数。以上的一个相似计算表明平方函数的导数是倍增函数。

===莱布尼茨记号===
一个由[[莱布尼茨]]引进的常用[[导数]]记号，以上面为例，是：
:<math>
\begin{align}
y&=x^2 \\
\frac{\mathrm{d}y}{\mathrm{d}x}&=2x.
\end{align}
</math>
在以[[极限 (数学)|极限]]为基础的理论里，记号<math>\frac{\mathrm{d}y}{\mathrm{d}x}</math>并不理解成两个数的商，而是上面计算的极限的简记。然而，莱布尼茨打算将它表示成两个[[无穷小]]數的商，<math>x</math>的一个无穷小变化量<math>\mathrm{d}x</math>引起了一个无穷小的变化量<math>\mathrm{d}y</math>。我们也可以把<math>\frac{\mathrm{d}}{\mathrm{d}x}</math>看作一个微分算子，它以一个函数为输入，以这个函数的导函数作为输出。例如：
:<math>
\frac{\mathrm{d}}{\mathrm{d}x}(x^2)=2x.
</math>
在这个用法中，分母中的<math>\mathrm{d}x</math>读作“关于x”。即使[[微积分]]理论是用[[极限 (数学)|极限]]的概念，而不是用[[无穷小]]的概念发展成的，人们還是常常把<math>\mathrm{d}x</math>，<math>\mathrm{d}y</math>这类记号当作實數来操作。尽管可以避免这样的操作，但是有时候它们在符号上可以方便地表达[[全导数]]这类操作。

===積分學===
{{Main|積分學}}
積分是微分的逆運算，即從導數推算出原函數，又分為定積分與不定積分。一個一元函數的定積分可以定義為無窮多小矩形的面積和，即等於[[函數]]曲線下包含的實際面積。我們也可以用積分來計算平面上一條曲線所包含的面積、[[球體]]或[[圓錐體]]的表面積或體積等。从技术上来讲，积分学是研究對這兩個相關的[[线性算子]]的研究。

不定积分是导数的逆运算，即[[反导数]]。当<math>f</math>是<math>F</math>的导数时，<math>F</math>是<math>f</math>的不定积分。（这种在公式中使用大小写字母以区分微分积分在数学中很常见。）

定积分输入公式，输出数字，即给出图像与[[横坐标]]之间各個面积的代数和。对定积分的技术定义是各個矩形之面积和的[[极限 (数学)|极限]]，又称[[黎曼积分]]。

举例：在给定时间内行径的路程：

'''<big>路程 = 速度 × 时间</big>'''

如果速度是一定的，那么上述参数简单相乘即可得出结果。但如果速度为变量，那么就不得不使用更强大的公式。其中的一个方式是将行径路程根据时间近似地划分成许多小部分，将每个间距中的时间乘以当时的速度，最后将每个间距所行径的近似路程累计为[[黎曼和]]。當中的基本想法是，如果时长间隔很短，那么速度会近似不变。然而，黎曼和只给出行径路程的近似值。我们必须對所有可能的黎曼和取極限，来得出精确的值。

[[File:Integral as region under curve.svg|left|thumb|280px|积分可以被视为在两点之间（这里是<math>a</math>、<math>b</math>之间）求得曲线下的面积，定义为<math>\int_{a}^{b} f(x) \mathrm{d}x</math>]]

如果左图中的<math>f(x)</math>代表根据时间而改变的速度，那么<math>a</math>时间点与<math>b</math>时间点之间的路程就可以用阴影区域<math>s</math>来表达。

要求得区域面积的近似值，直观的办法就是将<math>a</math>、<math>b</math>两点之间的路程分割为等长线段，每个线段的长度用符号<math>\Delta x</math>来标记。对于每个小线段，我们在方程上找到对应值<math>f(x)</math>，记为<math>h</math>。如此，以<math>\Delta x</math>为底、<math>h</math>为高的矩形面积（时间<math>\Delta x</math>乘以速度<math>h</math>） ，就是通过该线段的路程。和每个线段相关联的是线段上方程的平均值<math>f(x)=h</math>。所有矩形的总和就是数轴与曲线之间面积的近似值，即总行径路程的近似值。<math>\Delta x</math>的值越小，矩形数量就越多，近似值也就越精确。而如果我们要求得精确值，就必须寻找<math>\Delta x</math>的极限，令其数值逼近零。

积分的符号是<math>\int
</math>，像一个拉长的''S''（''S''意味「求和」，sum）。定积分被记为如下：

:<math>\int_a^b f(x)\, \mathrm{d}x.</math>

讀作，<math>f(x)</math>由<math>a</math>到<math>b</math>的定积分。莱布尼茨的符号<math>\mathrm{d}x</math>意在表述将曲线下的面积分割为无穷多的矩形，以至于他们的宽<math>\Delta x</math>变成无穷小的<math>\mathrm{d}x</math>。對於建立在极限上的微积分，符号

:<math>\int_a^b \ldots\, \mathrm{d}x</math>

应被理解为一個输入函數，输出数字（即面積）的算子。在终端的微分<math>\mathrm{d}x</math>不是数字，也不是与<math>f(x)</math>相乘—雖然，若作为<math>\Delta x</math>极限定义的提醒，可理解為积分裡符號运算的相乘。从形式上来讲，微分說明了函數是關於哪個变量被積分。此外，亦作为积分算子的尾括弧。

不定积分，或反导数，记作：

:<math>\int f(x)\, \mathrm{d}x.</math>

只相差一個常數的函數有著相同的導數，另外也可以證明一个給定函數的反导数实际上是一個只相差一常数的方程组。例如，考慮函數<math>y=x^2+C</math>，當中<math>C</math>為任意常數，則其導數均為<math>y'=2x</math>；后者的反导数可被写为：

:<math>\int 2x\, \mathrm{d}x = x^2 + C.</math>

反导数中的未知常数<math>C</math>被称为[[积分常数]]。

===微积分基本定理===
微积分基本定理（Fundamental Theorem of Calculus）又称微积分基本公式，证实微分和积分互为逆运算。更精确地说，它将一个[[反导数]]的具体值与定积分联系起来。因为计算反导数通常比应用定积分定义更加简单，微积分基本公式为计算定积分提供了一个行之有效的方式。它也可以被理解为微分是积分逆运算的精确解释。

微积分基本公式：如果函數''f''在<math>\left[ a ,\; b\right]</math>区间是[[连续]]的，函數''F''在区间(''a'', ''b'')的导数是''f''，那么，
設 <math> f(x) = F(x)+C.</math>

<math>\int_{a}^{b} f'(x)\,\mathrm{d}x = f(b) - f(a).</math>                           

<math>\int f'(x)\,\mathrm{d}x = F(x) + C =  F(x) + f(a) - F(a) = f(x), \text{where } C = f(a) - F(a), a, C\in \mathbf{R}.</math>

<math>\frac{d}{dx}\int_{a}^{x} f(t)\,dt = f(x).</math>

这成为日后数学分析硕果的重要基石。基本公式为计算定积分提供了简单的计算[[反导数]]的代数方法，而无须使用其极限定義来計算。它也是解[[微分方程]]的雏形。[[微分方程]]把一個未知函數與其导数相關連，而在科学的不同領域中，微分方程都很常見。

== 微積分的符號 ==
微分學中的符號「<math>\textrm{d}x</math>」、「<math>\textrm{d}y</math>」等，是由萊布尼茨首先使用。其中的<math>\textrm{d}</math>源自[[拉丁语]]中「差」（Differentia）的第一個字母。積分符號「<math>\int_{}\,</math>」亦由萊布尼茨所創，它是拉丁语「總和」（Summa）的第一個字母s的伸長（和[[Σ]]有相同的意義）。

== 微積分學的應用 ==
[[File:NautilusCutawayLogarithmicSpiral.jpg|thumb|right|[[鹦鹉螺]]的[[对数螺线]]是刻劃與微积分相關之增长、变化概念的经典图像]]
微積分學的發展與應用幾乎影響了現代生活的所有領域。它與大部分[[科學]]分支關係密切，包括[[精算]]、計算機、統計、工業工程、商業管理、醫藥、護理、人口統計，特別是[[物理學]]；[[經濟學]]亦經常會用到微積分學。幾乎所有現代科學技術，如：[[機械]]、[[水利]]、[[土木]]、[[建築]]、[[航空]]及[[航海]]等工業工程都以微積分學作為基本數學工具。微積分使得數學可以在（非常數）變化率和總改變之間互相轉化，讓我們可以在已知其中一者时求出另一者。

物理學大量應用微積分；[[古典力學]]、[[熱傳]]和[[電磁學]]都與微積分有密切聯繫。已知[[密度]]的物體[[質量]]、物體的[[轉動慣量]]、物體在[[保守向量场|保守力場]]的總能量都可用微積分來計算。[[牛頓第二定律]]便是微積分在力學中的一個應用例子：它的最初陳述使用了“變化率”一詞，而“變化率”即是指導數。陳述大意為：物體[[動量]]的變化率等於作用在物體上的力，而且朝同一方向。今天常用的表達方式是<math>\mathbf{F} = m\mathbf{a}</math> ，它包括了微分，因為[[加速度]]是[[速度]]的導數，或是[[位置矢量]]的二階導數。已知物體的加速度，我們就可以得出它的路徑。

麦克斯韦尔的[[电磁学]]理論和[[爱因斯坦]]的[[广义相对论]]都应用了微分。化学使用微积分来计算反应速率，放射性衰退。生物学用微积分来计算种群动态，输入繁殖率和死亡率来模拟种群改变。

微積分可以與其它數學分支並用。例如，可與[[線性代數]]並用，來求得某區域中一組點的“最佳”線性近似。它也可以用在[[概率論]]中，來確定由給定密度函數所給出的连续隨機變量之概率。在[[解析幾何]]對函數圖像的研究中，微積分可以用來求得最大值、最小值、斜率、[[凹度]]、[[拐點]]等。

[[格林公式]]將一個封閉曲線上的線積分，與一個邊界為<math>C</math>且平面區域為<math>D</math>的雙重積分聯繫起來。這一點被應用於[[求積儀]]這個工具，它用於量度在平面上的不規則圖形面積。例如，它可以在设计住宅擺設时，计算不规则的花瓣床、游泳池所佔的面积。

在医疗领域，微积分可以计算血管最优支角，将血流最大化。通过药物在体内的衰退規律，微积分可以推导出服藥規律。

在经济学中，微积分可以通过计算[[边际成本]]和[[边际收益]]来确定最大[[利潤]]。

微積分也被用於尋找方程的近似值；實踐中，它是在各種應用裡解微分方程、求根的標準做法。典型的方法有[[牛頓法]]、[[定點迭代法]]、[[線性近似]]等。比如：宇宙飛船利用一種[[歐拉方法]]的變體来求得零重力環境下的近似航線。

== 学科教育 ==

在美国[[大学先修课程]]中，AP微积分AB、BC分别为对应大学一元微积分半年、全年课程。

在[[香港]]，微積分是[[三三四高中教育改革|新高中]][[數學科延伸部分]]課程的一部份，這部分是選修的。

在[[臺灣|台灣]]，普通型高中數學分成「數學甲」與「數學乙」兩種。過去數學甲是自然組數學，三年級下學期才有基礎微積分課程；數學乙是社會組數學，僅有提到極限的概念而已。但自2019年啟用[[108課綱]]後，數學甲與數學乙皆從三年級上學期開始教學基礎微積分課程。<ref>{{cite web |title=十二年國民基本教育課程綱要國民中小學暨普通型高級中等學校-數學領域 |url=https://www.naer.edu.tw/upload/1/16/doc/815/%E5%8D%81%E4%BA%8C%E5%B9%B4%E5%9C%8B%E6%B0%91%E5%9F%BA%E6%9C%AC%E6%95%99%E8%82%B2%E8%AA%B2%E7%A8%8B%E7%B6%B1%E8%A6%81%E5%9C%8B%E6%B0%91%E4%B8%AD%E5%B0%8F%E5%AD%B8%E6%9A%A8%E6%99%AE%E9%80%9A%E5%9E%8B%E9%AB%98%E7%B4%9A%E4%B8%AD%E7%AD%89%E5%AD%B8%E6%A0%A1-%E6%95%B8%E5%AD%B8%E9%A0%98%E5%9F%9F.pdf |access-date=2021-11-08 |archive-date=2021-11-08 |archive-url=https://web.archive.org/web/20211108111755/https://www.naer.edu.tw/upload/1/16/doc/815/%E5%8D%81%E4%BA%8C%E5%B9%B4%E5%9C%8B%E6%B0%91%E5%9F%BA%E6%9C%AC%E6%95%99%E8%82%B2%E8%AA%B2%E7%A8%8B%E7%B6%B1%E8%A6%81%E5%9C%8B%E6%B0%91%E4%B8%AD%E5%B0%8F%E5%AD%B8%E6%9A%A8%E6%99%AE%E9%80%9A%E5%9E%8B%E9%AB%98%E7%B4%9A%E4%B8%AD%E7%AD%89%E5%AD%B8%E6%A0%A1-%E6%95%B8%E5%AD%B8%E9%A0%98%E5%9F%9F.pdf |dead-url=no }}</ref>技術型高中數學分成「數學A」、「數學B」、「數學C」與「數學S」四種，各四冊。數學A是家政數學；數學B商業數學；數學C是工業工程數學；數學S是影視數學，其中「數學A」、與「數學S」皆並未列入，僅「數學B」、「數學C」才有，並在醫、農、理、工、商管學院大學部一年級上、下學期分別開設「微積分 (一) 」、「微積分 (二) 」課程，作為該學院之共同必修課程，也為該學院之各科系將來開設之進階課程奠定基礎，以方便學生修習，同時，也是熱門大學轉學考及碩士班考試，熱門考科之一。

==參見==
{{Portal|数学}}
=== 列表 ===
*[[微积分学主题列表]]
*[[积分表]]
*[[导数列表]]

=== 其它相关议题 ===
{{col-begin}}
{{col-break|width=50%}}
*[[预科微积分]]
*[[高等数学]]
*[[数学分析]]
*[[无穷级数]]
*[[微分方程]]
*[[积分方程]]
{{col-break|width=50%}}
*[[複分析]]
*[[微分几何]]
*[[非标准分析]]
*[[随机分析]]
{{col-end}}

== 注释 ==
{{Reflist|group=註}}

== 参考资料 ==
{{reflist}}

=== 补充来源 ===
* {{MathWorld |urlname=Calculus |title=微積分}}
* {{cite book |author1=Larson, Ron |author2=Bruce H. Edwards |title=''Calculus'' |url=https://archive.org/details/calculus0001lars |trans_title=微积分 |publisher=Brooks Cole Cengage Learning |edition=9 |isbn=978-0-547-16702-2 |language=en |year=2010}}
* {{cite book |author=McQuarrie, Donald A. |title=''Mathematical Methods for Scientists and Engineers'' |url=https://archive.org/details/mathematicalmeth0000mcqu |trans_title=科学家与工程师们的数学方法 |publisher=University Science Books |isbn=978-1-891389-24-5 |language=en |year=2003}}
* {{cite book |author=Stewart, James |title=''Calculus: Early Transcendentals'' |trans_title=微积分：超越函数章节提前 |publisher=Brooks Cole Cengage Learning |edition=6 |isbn=978-0-495-01166-8 |language= |year=2008}}
* {{cite book |author1=Thomas, George B. |author2=Maurice D. Weir |author3=Joel Hass |author4=Frank R. Giordano |title=''Calculus''  |url=https://archive.org/details/thomascalculus0000unse |trans_title=微积分 |publisher=Addison-Wesley |edition=11 |isbn=0-321-48987-X |language=en |year=2008}}

==外部链接==
* {{cite web |url=http://210.240.187.229/TeachingCalculus.html |title=微積分網路教學资料 |author= |language=en |date= |access-date=2018-02-28 |archive-date=2011-11-07 |archive-url=https://web.archive.org/web/20111107041240/http://210.240.187.229/TeachingCalculus.html |dead-url=unfit }}
* {{cite web |url= http://krsna.lamost.org/popular/calculus_basic.htm |title= 微积分拾阶 |author=  |language=  |date=  |access-date= 2011-03-04 |archive-date= 2021-05-10 |archive-url= https://web.archive.org/web/20210510222228/https://krsna.lamost.org/popular/calculus_basic.htm |dead-url= no }}

{{数学主要领域}}
{{艾薩克·牛頓}}

{{DEFAULTSORT:calculus}}
[[Category:数学分析]]
[[Category:微积分|*]]