今晚的洋葱数学课，氛围比往常松弛，但手里的《高等数学》依然厚重。我们死磕导数定义，那个教科书上写的“极限的形式”。很多人盯着公式半小时，感觉它像个死扣的钉子。但命题定理证明洋葱数学要做的，就是把这抽象的趋势剥开。
极限是函数在某个点附近无限接近某个数值的趋势。老师让我们画图，坐标系里两条曲线：y = ln x 与 y = x，交点就在 x=e 的位置。当笔尖落下，线条歪了，但那一刻我们突然明白：导数不是静止的点，而是变化率的镜头。
教科书定义极限为“当x趋近于某点时函数值趋近的常数”。但在命题定理证明洋葱数学中，我们更关注那种看不见的拉扯。比如计算 f(x)=x² 在 x→1 的极限：取1.000001，分子1.000002000002，分母0.000001，结果就是2。再取0.999999，结果依然是2。它一直在变，但你抓不住它的变化——这就是无限接近的瞬态。
老师在黑板上画y=x²的导数图形。原本以为导数是平滑曲线，但实际在x=1处导数为2，向右变成4、8、16……导数本身也在加速增长。这揭示了导数不只是切线斜率，它有时比原函数更剧烈。这种流动的画面正是洋葱数学的魅力。
f'(x₀) = lim_{h→0} [f(x₀+h)-f(x₀)]/h。在命题定理证明洋葱数学中，我们用具体数字逼近：对于f(x)=x²，在x=1处，h=0.0001时差商为2.0001。无限缩小h，结果稳定在2。这就是变化率的极限。
示例：f(x)=ln x 在 x=e 处导数为 1/e。通过计算 (ln(e+0.001)-1)/0.001 ≈ 0.3678，吻合1/e。
导数几何意义是切线斜率。但洋葱数学告诉你：当点沿着曲线滑动，切线斜率也在变。考察y=x³，在x=0处切线水平，左右两侧斜率符号相反。这反映了函数的单调性转折。
网友们还关心：导数不存在的点（尖点）、绝对值函数在x=0处的不可导现象。
阶导数描述变化率的变化。若f(x)表示位移，f''(x)就是加速度。在命题定理证明中，我们计算f(x)=x⁴，f'(x)=4x³，f''(x)=12x²。当x增大，加速度非线性上升。
周边知识：泰勒展开依赖高阶导数，用多项式逼近复杂函数。
在命题定理证明洋葱数学体系中，定理证明是核心环节。我们从费马引理出发：若函数在极值点可导，则导数为0。证明思路：利用左导数与右导数符号矛盾。
若f(x)在[0,2]连续，(0,2)可导，且f(0)=f(2)=1。那么存在ξ∈(0,2)使得f'(ξ)=0。例如f(x)=-(x-1)²+2，显然在x=1处导数为0。
“任意小的ε都能找到δ，使得距离内的函数值波动小于ε”。洋葱数学用瞄准镜比喻：无论多小的靶心，总存在一个范围让你命中。
当x→0时，sinx~x，tanx~x，1-cosx~x²/2。这些等价无穷小是命题定理证明中简化极限计算的利器。
在命题定理证明洋葱数学的晚间讨论中，我们意识到导数捕捉的是局部线性化。就像用显微镜观察曲线某点，它近似为直线。f(x)≈f(x₀)+f'(x₀)(x-x₀)。这种思想贯穿微分学。例如估算√4.1：令f(x)=√x，x₀=4，f'(4)=0.25，则√4.1≈2+0.25×0.1=2.025，真实值约2.0248。误差极小。
再比如隐函数求导：椭圆x²/4+y²=1，两边对x求导得(2x/4)+2y·y'=0，解得y'=-x/(4y)。这展示了命题定理证明中链式法则的威力。网友们常搜索“洋葱数学隐函数”“参数方程求导”。
关于中值定理的物理意义：若你从家到学校平均速度60km/h，那么途中至少某一时刻车速恰好60。这就是拉格朗日中值定理的日常版。数学不是枯燥符号，而是描述世界的语言。
最后回到那个画歪的草图：当x无限接近1，f(x)=x²的变化率稳定在2。我们不需要完美图形，只需要感知那种无限逼近的确定性。命题定理证明洋葱数学正是培养这种直觉。