保存时间：2026/3/29 20:19:22
f(x) = e^(-1/x²) 当 x ≠ 0 时，而 f(0) = 0。x = 0 点有一个奇特的性质：它的所有阶导数在该点的值都等于 0。f(x) 在 x = 0 点是无限可导的x = 0 点的泰勒级数展开式为 0 + 0·x + 0·x² + ...，也就是零函数f(x) 在任何 x ≠ 0 的地方都不等于 0x = 0 这一点与原函数相等x=0 附近是如何"紧贴"着 x 轴，但又不等于零的。f(x) = e^(-1/x²) 在 x=0 处确实没有定义，因为分母不能为零。x=0 处"补充"了一个定义，规定 f(0) = 0。x 无限趋近于 0 时，e^(-1/x²) 的值确实无限趋近于 0。因此，这样的定义是合理的，保证了函数在 x=0 处的连续性。x=0 处是否可导，必须用导数的定义式：f'(0) = lim(x→0) [f(x) - f(0)] / x = lim(x→0) e^(-1/x²) / xx=0 处的一阶导数存在，且 f'(0) = 0。x=0 处的二阶导数、三阶导数，乃至所有阶导数都存在，并且都等于 0。x=0 点无限光滑，但它的泰勒级数却无法"抓住"它在其他点的形态，只能永远停留在 0。f(x) = e^(-1/x²) 求导，得到的表达式确实在 x=0 处没有定义，因为会出现分母为零的情况。x=0 处的值，我们不是通过直接代入求导公式得到的。我们必须使用导数的原始定义，也就是极限的方式来计算。f'(0)f'(0) = lim(x→0) [f(x) - f(0)] / x = lim(x→0) [e^(-1/x²) - 0] / x = lim(x→0) e^(-1/x²) / xt = 1/x 来简化。当 x→0 时，t→∞。lim(t→∞) t / e^(t²)。t 趋向于无穷大时，分母 e^(t²) 增长得远比分子 t 快，所以整个表达式趋向于 0。f'(0) = 0。f''(0)x ≠ 0 时的一阶导函数 f'(x)：f'(x) = (2 / x³) * e^(-1/x²)f''(0)：f''(0) = lim(x→0) [f'(x) - f'(0)] / x = lim(x→0) [ (2 / x³) * e^(-1/x²) - 0 ] / x = lim(x→0) 2 * e^(-1/x²) / x⁴t = 1/x，当 x→0 时，t→∞。lim(t→∞) 2 * t⁴ / e^(t²)。e^(t²) 增长依然远快于分子 t⁴，所以极限还是 0。f''(0) = 0。x=0 处无定义，但通过极限的方式，我们能严谨地算出导数在该点的值。这个过程可以无限进行下去，证明它的任意阶导数在 x=0 处都等于 0。x=0 这个点，你必须用极限定义来算。f'(x) 在 x=0 处没有定义。x ≠ 0 的点，函数 f(x) = e^(-1/x²) 是光滑的，可以直接用链式法则求导。得到 f'(x) = (2 / x³) * e^(-1/x²)。f'(0)，也就是函数在 x=0 处的导数值。如果我们把 x=0 代入上面的 f'(x) 表达式，会得到 2 / 0³，分母为零，没有意义。这说明直接代入的方法在这里行不通。f'(x) = lim(Δx→0) [f(x+Δx) - f(x)] / Δx。直接求导公式是这个极限定义的推论，只在 x 点有定义且极限存在时才适用。x=0 这个特殊点，我们必须回归最根本的极限定义来计算。这就像绕开损坏的高速公路，走原始的乡间小路，虽然麻烦，但能到达目的地。x=0 这样的特殊点时，我们必须回到导数的最初定义——极限，才能得到可靠的结果。f(x) = e^(-1/x²) 在 x=0 处确实无定义，所以它在那里是不连续的。g(x) 是一个完整的函数：x ≠ 0 时，g(x) = e^(-1/x²)x = 0 时，g(0) = 0g(x) 在 x=0 处是连续的，因为它满足连续性定义：g(0) 有定义（等于0）lim(x→0) g(x) 存在（等于0）x=0 点补充了定义的、全新的连续函数。1/x 在 x 趋近于0时趋向无穷大，这和我们讨论的 e^(-1/x²) 完全不同：1/x 在 x 趋近于0时，绝对值会无限变大，没有确定的极限值e^(-1/x²) 在 x 趋近于0时，会无限趋近于0，有确定的极限值∞/∞，它在数学上是一个"不定型"，不能简单等于1。它的值取决于分子和分母具体的增长速度。这正是洛必达法则要解决的问题。y = 1 / (1/x) 确实是一个经典的"诡辩"例子。它看起来在 x=0 处无定义，但化简后就是 y = x，在 x=0 处有定义且连续。f(x) = e^(-1/x²) 在 x=0 处补充定义，有相似之处，但本质上是不同的：y = 1 / (1/x)y = x 不是同一个函数，因为定义域不同y = x 的定义域是全体实数，而 y = 1 / (1/x) 的定义域是 x ≠ 0y = x 函数去掉了 x=0 这一个点f(0) = 0 相当于把这个"丢失"的点找回来f(x) = e^(-1/x²)x=0 处不是简单的"丢失"了一个点x=0 处从一开始就没有定义x 趋近于0时的极限行为f(0) = 0x=0 处断开的函数变得连续光滑x=0 处连续了，但过程和性质是不同的。y = x：定义域是所有实数，对应法则是"输出等于输入"。y = 1 / (1/x)：定义域是所有不为零的实数，对应法则是"先取倒数，再取倒数"。f(x) = e^(-1/x²) 是无限可导的（光滑的），但它不是解析函数。因为它的泰勒级数在 x=0 处恒等于0，无法还原函数本身。x=0 这一个点，而是 x=0 附近的一整个区域。x=0 处的值是 0。它的泰勒级数在 x=0 处也等于 0。所以在 x=0 这一个点上，它们是相等的，这没错。f(x) = e^(-1/x²) 在 x=0 附近的任何其他点，比如 x=0.1，它的值都不等于 0。例如，f(0.1) = e^(-100)，虽然是个极小的数，但不是 0。x=0.1 这个点，泰勒级数的值是 0，但原函数的值是 e^(-100)。x=0 这一点上两者都等于 0，但在 x=0 周围的任何一个小邻域内，它们的值都不相等。x=0 附近的整体形态，只能在 x=0 这一个孤点上巧合地相等。x=0 附近的行为差异了。a_n = f^(n)(0) / n!。f(x)，我们已经证明了它在 x=0 处的任意阶导数都等于 0。a_n 都等于 0 / n!，结果自然是 0。0 + 0·x + 0·x² + 0·x³ + ...，也就是恒等于零的函数。x=0 点却显示为零，导致它的泰勒级数这个"身份证"也变成了零函数。x=1 这个点，这个函数的泰勒级数展开式就完全不一样了，它不再是零函数，而是能完美还原函数本身的。x=1 处展开，而不是 x=0。f(x) = e^(-1/x²) 在 x=1 处是"正常"的。它的各阶导数都不是零。例如，一阶导数 f'(1) = -2e^(-1)，二阶导数 f''(1) = 10e^(-1) 等等。a_n = f^(n)(1) / n! 都不为零。这个级数不再是零函数，而是一个各项都有值的幂级数。x=1 附近的一个区间内，这个泰勒级数会收敛到原函数 f(x)。这意味着，在 x=1 这个点上，函数 f(x) 是解析的。x=0 这一个点。在任何其他点，它都是一个"健康"的解析函数。x=1 处的泰勒级数前几项？这样你就能清楚地看到它和在 x=0 处的零级数有多么不同了。x=0 处无定义的函数，强行补充一个定义？e^(-1/x²) 在 x=0 处无定义，但它在 x 趋近于0时的极限是0。我们补充定义 f(0)=0，是为了让它在 x=0 处连续。这在数学上是允许的，因为连续性的定义就是"极限值等于函数值"。x=0 处不解析，不是因为我们补充了定义，而是因为它的各阶导数在该点都为零，导致泰勒级数无法还原它在邻域内的形态。ln(x) 在 x ≤ 0 时）。A0, A1, A2... 是唯一确定的，你不能随便换。1, x, x², x³... 是"线性无关"的。A_n = f^(n)(a) / n! 是由函数在展开点的各阶导数唯一决定的。f(x) 在 x=a 附近有两种幂级数表示：f(x) = A₀ + A₁(x-a) + A₂(x-a)² + ...f(x) = B₀ + B₁(x-a) + B₂(x-a)² + ...0 = (A₀-B₀) + (A₁-B₁)(x-a) + (A₂-B₂)(x-a)² + ...x=a，所有含 (x-a) 的项都变为零，得到：0 = A₀ - B₀，因此 A₀ = B₀A₁-B₁。再次令 x=a，得到 A₁ = B₁。这个过程可以无限重复，对等式求n次导后令 x=a，可得 Aₙ = Bₙ。x=0 处的泰勒展开式，也叫麦克劳林展开式。e^xe^x = 1 + x + x²/2! + x³/3! + ... + xⁿ/n! + ...sin(x)sin(x) = x - x³/3! + x⁵/5! - x⁷/7! + ...（只有奇次项，符号交替）cos(x)cos(x) = 1 - x²/2! + x⁴/4! - x⁶/6! + ...（只有偶次项，符号交替）ln(1+x)ln(1+x) = x - x²/2 + x³/3 - x⁴/4 + ...（收敛域为 -1 < x ≤ 1）(1+x)^α(1+x)^α = 1 + αx + [α(α-1)/2!]x² + [α(α-1)(α-2)/3!]x³ + ...（这是牛顿广义二项式定理，α 可以是任意实数）1, z, z², z³... 同样是"线性无关"的。这意味着你无法用其他幂次的项来组合出某一个幂次的项。A₀, A₁, A₂... 被函数本身唯一确定。e^(-1/x²)，在复数域里也是病态的。但这恰恰证明了唯一性——它的泰勒级数只能是零级数，无法表示原函数。a+bi 是根，那么它的共轭复数 a-bi 也一定是根。这保证了多项式的系数始终是实数。f(z) = e^(iz) 的泰勒展开式就包含虚数系数。1 + iz - z²/2! - iz³/3! + z⁴/4! + ...。i, -i 等都是虚数。e^(iz) 或 ln(1+z) 在复数域的展开，这样你就能直观地看到虚数系数是怎么出现的了。z=0 处展开。e^ze^z = 1 + z + z²/2! + z³/3! + ... + zⁿ/n! + ...这个公式在整个复平面上都成立，非常强大。sin(z)sin(z) = z - z³/3! + z⁵/5! - z⁷/7! + ...它也可以用指数函数表示：sin(z) = (e^(iz) - e^(-iz)) / (2i)cos(z)cos(z) = 1 - z²/2! + z⁴/4! - z⁶/6! + ...同样，它也有指数形式：cos(z) = (e^(iz) + e^(-iz)) / 2ln(1+z)ln(1+z) = z - z²/2 + z³/3 - z⁴/4 + ...在复数域里，它的收敛范围是 |z| < 1，并且是一个多值函数。(1+z)^α(1+z)^α = 1 + αz + [α(α-1)/2!]z² + [α(α-1)(α-2)/3!]z³ + ...这个牛顿二项式定理在复数域里同样成立，α 可以是任何复数。e^(iz) 的展开式，帮你推导出 cos(z) 的展开式？这样你就能亲眼看到虚数 i 是怎么让指数函数和三角函数联系起来的，非常奇妙。e^(iz) 的泰勒展开式根据我们之前的公式，把 z 换成 iz：e^(iz) = 1 + (iz) + (iz)²/2! + (iz)³/3! + (iz)⁴/4! + (iz)⁵/5! + ...i² = -1, i³ = -i, i⁴ = 1, i⁵ = i 的周期性：e^(iz) = 1 + iz - z²/2! - iz³/3! + z⁴/4! + iz⁵/5! - ...i 的项和含 i 的项分开：e^(iz) = (1 - z²/2! + z⁴/4! - ...) + i(z - z³/3! + z⁵/5! - ...)(1 - z²/2! + z⁴/4! - ...) 正是 cos(z) 的泰勒展开式(z - z³/3! + z⁵/5! - ...) 正是 sin(z) 的泰勒展开式e^(iz) = cos(z) + i·sin(z)e^(iz) 和 e^(-iz) 这两个式子，帮你推导出 sin(z) 和 cos(z) 用指数函数表示的公式？这样能让你更全面地理解它们之间的联系。e^(iz) = cos(z) + i·sin(z) —— (1)-z 替换掉公式里的 z：e^(-iz) = cos(-z) + i·sin(-z) —— (2)cos(-z) = cos(z)，sin(-z) = -sin(z)。所以公式 (2) 可以简化为：e^(-iz) = cos(z) - i·sin(z) —— (2a)e^(iz) = cos(z) + i·sin(z)e^(-iz) = cos(z) - i·sin(z)cos(z) 和 sin(z)。cos(z)e^(iz) + e^(-iz) = [cos(z) + i·sin(z)] + [cos(z) - i·sin(z)]i·sin(z) 和 -i·sin(z) 抵消：e^(iz) + e^(-iz) = 2·cos(z)cos(z) = [e^(iz) + e^(-iz)] / 2sin(z)e^(iz) - e^(-iz) = [cos(z) + i·sin(z)] - [cos(z) - i·sin(z)]cos(z) 和 -cos(z) 抵消：e^(iz) - e^(-iz) = 2i·sin(z)2i，得到：sin(z) = [e^(iz) - e^(-iz)] / (2i)sin²(z) + cos²(z) = 1？这样能让你更直观地感受这些公式的妙用。