基本积分公式证明全解：从牛顿-莱布尼茨到现代应用

1. 指数函数积分公式证明

指数函数 eˣ 是微积分中独特的函数，因为它的导数和积分都是它本身。

证明：

由自然指数函数的定义可知，d/dx(eˣ) = eˣ。根据积分与微分的互逆关系，直接可得上述结论。对于一般底数 aˣ (a>0, a≠1)：

推导：已知 d/dx(aˣ) = aˣ·ln(a)。为了消去 ln(a)，需除以该常数，故积分结果为 aˣ/ln(a)。

2. 对数函数积分公式证明

对数函数的积分在基本积分公式证明中具有特殊地位，特别是 ln|x) 的出现。

详细推导：

我们分两种情况讨论：

当 x > 0 时：
已知 d/dx(ln(x)) = 1/x。因此，∫(1/x)dx = ln(x) + C。

当 x < 0 时：
令 t = -x，则 t > 0。且 dx = -dt。
∫(1/x)dx = ∫(1/(-t))(-dt) = ∫(1/t)dt = ln(t) + C = ln(-x) + C。
综合 x>0 和 x<0 两种情况，可得 ∫(1/x)dx = ln|x| + C。

1. 正弦与余弦积分

证明： 我们知道 d/dx(cos(x)) = -sin(x)。因此，d/dx(-cos(x)) = sin(x)。故 ∫sin(x)dx = -cos(x) + C。

证明： 已知 d/dx(sin(x)) = cos(x)，直接得证。

2. 正切与余切积分

这两个公式的证明涉及换元积分法，是理解基本积分公式证明进阶应用的关键。

推导：

将 tan(x) 写为 sin(x)/cos(x)：
∫ tan(x) dx = ∫ [sin(x)/cos(x)] dx
令 u = cos(x)，则 du = -sin(x)dx，即 sin(x)dx = -du。
原式 = ∫ (-1/u) du = -ln|u| + C = -ln|cos(x)| + C。

推导： 类似地，cot(x) = cos(x)/sin(x)。令 u = sin(x)，du = cos(x)dx。
原式 = ∫ (1/u) du = ln|u| + C = ln|sin(x)| + C。