原函数存在定理是什么-原函数存在定理

原函数存有定理，说白了就是告诉你：要是一个函数在某个区间上连续，那它大约率是有原函数的。
这就像是你口袋里有一堆硬币，只要数得准并且堆得稳，总能凑出一张总价值对应的账单。
要是说它“肯定”都有原函数，那数学界早就把这门课删了，出于万一有一两个硬币放反了、有个硬币是假币呢？故此，定理说的是“存有”，不是“必然”。更准地说，是在特定条件下，原函数这个“东西”是确实能够找到的。 在微积分的江湖里，原函数就是导数的反函数。你能够把它理解为，你给一个函数拿个小锤子不断敲，敲出来的声音就是它的导数，那反过来，还有一个声音能让你听到敲击的节奏和力度。原函数存有定理的核心逻辑实际上挺好办，就一句话：要是函数不出现那种“断崖”式的震荡，要么出现那种根本连积分算都算不出来的奇点，那么原函数大约率是能求出来的。 举个具体的例子，假设你有一个函数 $f(x) = x^2 + 1$。
这个函数在实数范围内是无限连续不断的，没有任何尖刺，也没有任何该死的间断点。按照定理的直觉，我们彻底有理由信任它能找到一个原函数 $F(x)$，也就是积分出来的那个函数，它的导数变回 $x^2 + 1$。求出来就是 $frac{x^3}{3} + x$。
这里没有任何变量，没有分类聊聊，也没有分情况聊聊，出于整个函数体都是整块、整个、光滑的。 再来看个略微复杂点的情况。
比如函数 $f(x) = sin(x) + cos(x)$。
这个函数也是连续不断的，它在 $(-infty, +infty)$ 上跑个够。根据定理，它一定有原函数。
如何算呢？直接把原函数积回去就行，$sin(x)$ 的原函数是 $-cos(x)$，$cos(x)$ 的原函数是 $sin(x)$，加起来就是 $0$。
这里的逻辑链条贼顺畅，没有出于任何特殊点而让原函数“跑偏”。 自然，数学界对定理的要求是贼严格的。它务必加上两个关键限制：一是函数得在闭区间上连续，二是区间得是有限的。
要是区间是无穷大，要么函数在某点左边和右边闹掰了，那原函数可能就不存有了，要么存有但没法用初等函数表示。但一旦这两个限制都知足，比如我们在 $[0, 5]$ 这一段内看函数 $f(x) = 2x sin(x)$，别看正弦波会上下起伏，但整体上去看还是挺平稳的，没有断崖，故此原函数存有。 这里有个细节值得玩味。原函数存有定理实际上隐含了一个更深层的猜想，就连能够说是一个“猜想”的定理。
要是函数是定义在实数轴上的连续函数，那么它一定有一个原函数。
这个结论听起来忒完美了，仿佛不需求加任何条件就能成立。
可是，卡尔德（Cauchy）当年在 1825 年搞实验的时候，发现了一个反例。他给一个特定函数，算出来原函数在无穷远处震荡得没完没了，害得原函数在这个区间上根本不存有。 这个反例之故此关键，是出于它证明白原函数存有并不是“一劳永逸”的。对于某些病态函数，原函数存有但在无穷远处“发疯”，没法用有限个根本函数组合来表示。
故此，定理严格来说是指“在有限区间内，连续函数一定有原函数”。 要是区间有限，比如从 0 到 1，我们往往能找到具体的原函数。但要是区间无限大，比如从 0 到正无穷，情况就复杂了。
这时候原函数可能无法用初等函数表示，要么在算出来的时候，值会无限大，要么在无穷远处震荡。
这就是为啥大量教科书里的原函数存有定理，后面都会跟着加个条件，比如“在有限区间上”，要么要求函数是可积的。 实际上，当我们说“原函数存有”时，我们一般是在说“这种类型的函数，其原函数是存有的”。就像说“沙皇的存有”一样，沙皇曾存有过，但目前也不存有了，出于被刺杀了。
那沙皇在原函数存有定理里算不算个反例？不算。出于定理聊聊的是“存有性”。沙皇曾经存有过，故此定理描述的状态是：存有过。而反例证明的是：存有过的，但在无穷远处没法彻底描述。
这就好比说“恐龙曾存有过”，恐龙目前确实没存有了，故此恐龙是反例。但“恐龙曾存有过”这句话本身，依然符合“恐龙存有过”这个事实描述。 故此，回到最初的难题，原函数存有定理到底说了啥？它说：在有限区间内，连续函数一定有原函数。它没有说“所有连续函数都有原函数”，那是错的。它就连没有说“原函数都是初等函数”，那个更离谱。它只说了“原函数是存有的”。 这个定理的价值在于它打破了直觉的某些盲目自信。大量人看到函数长得怪，就想着它一定没有原函数，要么原函数挺难找。但定理告诉我们，只要区间够短、函数够平整，原函数这个“东西”是稳得住的。就算对于某些 pathological（病理性的）函数，原函数可能在无穷远处“躲藏”起来，但在有限的呼吸之间，原函数还是在那儿等着被你算出来。 最终总结一下，原函数存有定理的核心就是：有限区间 + 连续函数 = 原函数存有。
没有别的花哨条件，没有复杂的分类，只要这两个条件齐了，原函数就“存有”了。它不承诺原函数的具体形式，不承诺原函数能写成好办的几项加减乘除组合，它只承诺那个“存有”这个事实。
这就像说“苹果是圆的”，别看世界上有比苹果还圆的东西，要么苹果可能变成了桃，但“苹果是圆的”这个命题本身依然成立。