📚 Investigation 6 - The derivative of ln x | 探究6 - 自然对数函数的导数
The natural logarithm function, denoted ln x (or sometimes ㏑ (ln x) = 1/x, how to prove it rigorously, and how to apply it in deeper IB-style problems.
自然对数函数记为 ln x（或有时写作 ㏑x），是微积分中最不可或缺的函数之一。它独特的导数形式不包含任何对数或指数项，这使它成为纯数学与应用数学的基石。本次探究将引导你发现为什么 d/dx (ln x) = 1/x，如何严格证明它，以及如何将其应用于更深层次的 IB 风格问题。
1. Defining the Natural Logarithm | 自然对数的定义
ral logarithm, denoted ln x, is the inverse function of the natural exponential function eˣ. By definition, y = ln x if and only if eʸ s ln(ab) = ln a + ln b and ln(a/b) = ln a - ln b, are derived directly from exponent laws.
自然对数，记为 ln x，是自然指数函数 eˣ 的反函数。根据定义，y = ln x 当且仅当 eʸ = x，其中 x > 0。ln x 的定义域为 (0, ∞)，值域为全体实数。它的性质如 ln(ab) = ln a + ln b 和 ln(a/b) = ln a - ln b，均由指数律直接推导而来。
2. Derivative via the First Principle | 由第一原理求导
To find the derivative of ln x, we begin with the limit definition: f'(x) = limₕ→₀ [f(x+h) - f(x)]/h. For f(x) = ln x, this gives f' ), we simplify the difference quotient to (1/h)·ln(1 + h/x). Then, letting u = h/x gives f'(x) = (1/x)·limᵤ→₀ ln(1+u)1/u. The limit is none other than ln e = 1, yielding the elegant result.
为了求 ln x 的导数，我们从极限定义开始：f'(x) = limₕ→₀ [f(x+h) - f(x)]/h。对于 f(x) = ln x，得出 f'(x) = limₕ→₀ [ln(x+h) - ln x]/h。利用对数性质 ln A - ln B = ln(A/B)，我们将差商化简为 (1/h)·ln(1 + h/x)。然后，令 u = h/x，得 f'(x) = (1/x)·limᵤ→₀ ln(1+u)1/u。该极限正是 ln e = 1，从而得到简洁的结果。
3. Recognising the Limit as e | 识别重要极限 e
The evaluation of limᵤ→₀ (1+u)1/u = e is fundamental. This limit defines Euler' e the natural log function is continuous, we can swap limit and logarithm: limᵤ→₀ ln[(1+u)1/u] = ln[limᵤ→₀ (1+u)1/u step is crucial for a rigorous proof and is often explored numerically by evaluating (1+u)1/u for smaller and smaller u.
求解 limᵤ→₀ (1+u)1/u = e 是基本的。该极限定义了欧拉数，并且由于自然对数函数连续，我们可以交换极限与对数的顺序：limᵤ→₀ ln[(1+u)1/u] = ln[limᵤ→₀ (1+u)1/u] = ln e = 1。这一步对于严格证明至关重要，常通过计算越来越小的 u 下的 (1+u)1/u 来进行数值探究。
4. The Clean Formula | 最终的简洁公式
Thus, we arrive at the derivative rule that stands apart from almost all other functions: the derivative of ln x is itself not logarithmic, but algebraic.
d/dx (ln x) = 1/x, for x > 0
This formula is wonderfully simple and serves as a bridge between exponential growth and algebraic rates of change.
因此，我们得出了一个几乎不同于所有其他函数的导数法则：ln x 的导数本身不是对数，而是代数的。
d/dx (ln x) = 1/x, 对于 x > 0
这个公式极其简单，是连接指数增长与代数变化率的桥梁。
5. Inverse Function Approach | 利用反函数关系求导
Since ln x is the inverse of eˣ, we can also differentiate using the inverse function theorem. If y = ln x, then x = eʸ. Differentiating both sides with respect to x gives 1 = eʸ·dy/dx. Since eʸ vation and highlights the deep connection between the exponential and logarithm functions.
由于 ln x 是 eˣ 的反函数，我们也可以通过反函数定理进行求导。若 y = ln x，则 x = eʸ。两边对 x 求导得 1 = eʸ·dy/dx。因为 eʸ = x，所以 1 = x·dy/dx，从而 dy/dx = 1/x。这种方法优雅地验证了第一原理推导，并凸显了指数函数与对数函数之间的深层联系。
6. Extension to the Absolute Value: ln|x| | 推广至绝对值：ln|x|
What about the derivative of ln|x| for negative x? Since the domain of ln x is x > 0, we consider x ≠ 0. For x < 0, |x| = -x, so ln|x| le, d/dx ln(-x) = (1/(-x))·(-1) = 1/x. Therefore, for all x ≠ 0, the unified result holds:
d/dx (ln|x|) = 1/x, x ≠ 0
This formula is essential when integrating 1/x, as it provides the antiderivative ln|x| + C.
那么对于负的 x，ln|x| 的导数又如何呢？由于 ln x 的定义域为 x > 0，我们考虑 x ≠ 0。当 x < 0 时，|x| = -x，于是 ln|x| = ln(-x)。应用链式法则，d/dx ln(-x) = (1/(-x))·(-1) = 1/x。因此，对所有 x ≠ 0，统一结果成立：
d/dx (ln|x|) = 1/x, x ≠ 0
这个公式在积分 1/x 时至关重要，因为它给出了原函数 ln|x| + C。
7. The Chain Rule with Logarithms | 对数函数的链式法则
volves an inner function u(x), the general derivative becomes d/dx ln(u) = (1/u)·du/dx = u' ly in calculus, from product/quotient rule simplifications to integration by substitution.
当对数中包含内层函数 u(x) 时，一般导数变为 d/dx ln(u) = (1/u)·du/dx = u'/u，前提是 u > 0。例如，若 y = ln(3x²+5)，则 dy/dx = (6x)/(3x²+5)。这种模式在微积分中被广泛使用，从乘积/商的法则简化到换元积分。
8. Logarithmic Differentiation | 对数求导法
ntiation exploits the derivative of ln x to differentiate intricate expressions like y = xˣ thod transforms multiplication into addition and powers into products, making otherwise tedious derivatives manageable.
一种称为对数求导法的强大技术，利用 ln x 的导数来处理诸如 y = xˣ 或多个函数乘积等复杂表达式的求导。我们对两边取自然对数：ln y = ln(f(x))，然后隐式求导：(1/y)·dy/dx = ln(f(x)) 的导数。最后解出 dy/dx = y·[ln(f(x)) 的导数]。该方法将乘法变为加法，将幂变为乘积，使得原本繁复的求导变得易于处理。
9. Higher-Order Derivatives | 高阶导数
= 2x⁻³. A pattern emerges: the n-th derivative for n ≥ 1 is dⁿ/dxⁿ (ln x) = (-1)ⁿ⁻¹·(n-1)! al pattern is crucial in Taylor series expansions, where ln(1+x) is expanded around x = 0.
既然 d/dx (ln x) = 1/x = x⁻¹，我们可以轻松地求出逐阶导数。二阶导数为 d²/dx² (ln x) = -1/x² = -x⁻²。三阶导数为 2/x³ = 2x⁻³。一个规律浮现出来：对 n ≥ 1，n 阶导数为 dⁿ/dxⁿ (ln x) = (-1)ⁿ⁻¹·(n-1)!/xⁿ。该阶乘规律在泰勒级数展开中至关重要，例如 ln(1+x) 在 x = 0 处展开时就用到了它。
10. Tangent Lines and Graph Behaviour | 切线方程与图像行为
, the function is strictly increasing, although its rate of increase decays to 0 as x → ∞.
利用导数 1/x，我们可以找出曲线 y = ln x 在任意点 (a, ln a) 处的切线方程。斜率为 1/a，因此切线方程为 y - ln a = (1/a)(x - a)。例如，在 x = 1 处，切线为 y = x - 1，这是 ln x 在 x=1 附近著名的线性近似。此外，由于对所有 x > 0 均有 1/x > 0，该函数严格递增，尽管其增长率随 x → ∞ 而衰减至 0。
11. Application in Optimisation Problems | 最优化问题中的应用
y/dx = 1 - 1/x to zero gives x = 1. The second derivative test confirms a minimum (since y'' garithmic and polynomial functions tests conceptual understanding of derivative behaviour.
ln x 的导数经常出现在 IB 的最优化题目中。例如，求曲线 y = x - ln x 的最大/最小值。令导数 dy/dx = 1 - 1/x 为零，得 x = 1。通过二阶导数检验（y'' = 1/x² > 0）可确认是极小值点。因此极小值为 y = 1 - ln 1 = 1。这种对数与多项式函数的结合，考查对导数行为的深层次理解。
12. Comparing Growth Rates Using Derivatives | 利用导数比较增长率
As x → ∞, ln x grows without bounds but much slower than any positive power of x. Using L'Hôpital' This fact is fundamental in asymptotic analysis and when sketching rational-logarithmic graphs.
当 x → ∞ 时，ln x 无限增长，但比任何正的幂函数增速都要慢。利用洛必达法则（它依赖于 ln x 的导数），我们可以证明对任意 p > 0，limₓ→∞ (ln x)/xᵖ = 0。这表明 ln x 被任何幂函数所控制。这一事实在渐近分析以及绘制有理-对数函数图像时是基础性的。
Published by TutorHao | 数学 Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图