如果你正在学习微积分或者准备考研数学一定遇到过这样的问题为什么二阶导数能判断驻点的性质课本上写着“若二阶导大于0则为极小值点若小于0则为极大值点”但你是否曾对这个结论感到一丝困惑它背后是纯粹的数学巧合还是有其深刻的几何与物理意义更实际的问题是当你想把这个抽象的概念讲给别人听或者自己彻底弄懂时仅仅依靠静态的公式和文字描述总感觉隔着一层纱。有没有一种方法能让我们“看见”函数在驻点附近的行为直观地理解二阶导数符号如何决定了曲线的凹凸性从而决定了极值答案是肯定的。本文将介绍如何利用Manim——一个由3Blue1Brown大神创造的数学动画引擎来可视化“二阶导数判定驻点性质”这一核心原理。我们不止于复述定理而是通过动手制作一个动画将函数的图像、一阶导数切线斜率、二阶导数凹凸性三者动态地关联起来让你真正从几何意义上理解并记住这个结论。读完本文你将能透彻理解二阶导数判定法的几何本质告别死记硬背。亲手使用Manim制作一个专业的数学原理演示动画。掌握将抽象数学概念转化为直观视觉表达的基本方法论。1. 这篇文章真正要解决的问题让“二阶导数判定”从公式变成直觉很多人在学习极值问题时记住了结论但并未建立直觉。我们面临几个核心困惑困惑一一阶导数为零驻点只是“嫌疑犯”如何定罪我们知道驻点可能是极值点也可能是拐点。凭什么二阶导数站出来当了“法官”困惑二二阶导数的“正负”到底代表了什么物理或几何图景为什么“正”就对应“凹向上”极小值“负”就对应“凹向下”极大值困惑三如何向他人或未来的自己清晰解释这一点静态的教科书插图缺乏动态变化难以展现从函数到导数再到二阶导数的连锁反应。本文的目标就是解决这些困惑。我们将使用Manim作为工具因为它不是为了制作炫酷动画而动画其设计哲学就是解释性可视化。通过它我们可以动态绘制一个函数曲线。实时追踪某一点的切线一阶导数。生动展示该点附近曲线的弯曲方向二阶导数。并置对比不同二阶导数值下驻点性质的巨大差异。最终你将获得一个自己构建的、可交互通过代码修改参数的数学认知模型。这比任何文字描述都更加有力。2. 基础概念与核心原理重新审视导数家族在动手之前我们需要统一认知确保我们在同一层面讨论问题。2.1 驻点、极值点与拐点一张关系网概念定义设函数 f(x) 在点 x0 处可导相互关系与注意驻点满足 f‘(x0) 0 的点。极值点的必要条件可导条件下。但驻点不一定是极值点如 f(x)x³ 在 x0 处。极值点在 x0 的某个邻域内f(x) ≤ f(x0)极大值或 f(x) ≥ f(x0)极小值。是局部概念。可能出现在驻点或不可导点。拐点曲线凹凸性发生改变的点。拐点处 f‘’(x0) 可能为0也可能不存在。拐点不是极值点。核心问题给定一个驻点f(x0)0如何快速判断它是极大、极小还是拐点2.2 二阶导数的几何意义凹凸性的“检察官”一阶导数 f‘(x) 衡量的是函数的变化率切线斜率。那么二阶导数 f’‘(x) 就是一阶导数的变化率。几何上f‘’(x) 描述的是曲线本身的弯曲方向即凹凸性。f‘’(x) 0切线斜率在增加。想象你开车沿着曲线走方向盘在向左打曲线向左弯。这时曲线是凹向上Convex Upward的像一个碗口朝上的碗。f‘’(x) 0切线斜率在减少。方向盘在向右打曲线向右弯。这时曲线是凹向下Concave Downward的像一个碗口朝下的碗。在驻点处既然 f‘(x0)0说明切线是水平的。如果此时 f‘’(x0) 0凹向上那么点在碗底自然是极小值点。如果此时 f‘’(x0) 0凹向下那么点在碗顶自然是极大值点。如果 f‘’(x0) 0“检察官”无法定罪需要更高阶的导数或其它方法如第一充分条件来审理。它可能是极值点如 f(x)x⁴也可能是拐点如 f(x)x³。这就是我们要可视化的核心逻辑链f(x0)0(水平切线) f(x0)的符号(凹凸方向) →极值类型判定。3. 环境准备与前置条件我们将使用 Manim 社区维护的manim库。请确保你的环境是Python 3.7或更高版本。3.1 安装 Manim强烈建议使用pip在虚拟环境中安装。# 创建并激活虚拟环境可选但推荐 python -m venv manim_env # Windows: manim_env\Scripts\activate # Linux/macOS: source manim_env/bin/activate # 安装 manim 及必要的渲染后端Pango用于文字渲染 pip install manim pip install manim[text] # 或者根据系统安装Pango3.2 验证安装创建一个简单的测试脚本test_scene.pyfrom manim import * class TestScene(Scene): def construct(self): circle Circle() self.play(Create(circle)) self.wait()在命令行运行manim -pql test_scene.py TestScene如果弹出一个窗口并播放了一个圆形动画说明安装成功。-pql参数表示预览p、低质量ql适合快速测试。3.3 项目结构建议为你的动画项目创建一个清晰的目录结构my_manim_project/ ├── scenes/ │ └── second_derivative_test.py # 我们的主场景文件 ├── assets/ # 存放图片、字体等 └── output/ # 渲染的视频文件manim自动生成4. 核心流程拆解动画的构思与实现步骤我们的动画将分为几个逻辑章节逐步揭示原理章节A展示函数与驻点。绘制函数曲线并高亮标出导数为零的点驻点。章节B可视化一阶导数切线。在驻点处绘制一条水平切线强调此时斜率为0。章节C引入二阶导数凹凸性。在驻点附近取一个小区间展示曲线的弯曲方向。章节D建立关联与判定。将凹凸性动画与“碗底”极小值或“碗顶”极大值的比喻结合起来并打出判定结论的文字。章节E对比案例。切换另一个函数如将凹向上改为凹向下重复过程展示不同的判定结果。我们将在一个Manim场景Scene中通过多个“小节”Section来组织这些内容。5. 完整示例与代码实现以下是完整的Manim场景代码。我们将代码保存在scenes/second_derivative_test.py中。# 文件路径scenes/second_derivative_test.py from manim import * import numpy as np class SecondDerivativeTest(Scene): 二阶导数判定驻点性质的可视化 def construct(self): # 第一部分标题与引入 title Text(二阶导数判定驻点性质, font_size48, colorBLUE) sub_title Text(从几何意义理解极值, font_size36, colorGRAY) sub_title.next_to(title, DOWN) self.play(Write(title), Write(sub_title)) self.wait(2) self.play(FadeOut(title, sub_title)) # 第二部分案例一 - 凹向上极小值 self.intro_case(案例一f(x) x² - 1, YELLOW) # 1. 定义函数和坐标轴 axes Axes( x_range[-2, 2, 1], y_range[-1.5, 3, 1], x_length8, y_length6, axis_config{color: WHITE}, ) axes_labels axes.get_axis_labels(x_labelx, y_labelf(x)) func_label MathTex(rf(x) x^2 - 1, colorYELLOW).to_corner(UL).shift(DOWN*0.5) # 2. 绘制函数曲线 def func(x): return x**2 - 1 graph axes.plot(func, colorYELLOW) self.play(Create(axes), Write(axes_labels), Write(func_label)) self.play(Create(graph)) self.wait() # 3. 标出驻点 (x0) dot_at_zero Dot(axes.c2p(0, func(0)), colorRED) dot_label MathTex(r(0, -1), colorRED).next_to(dot_at_zero, UR, buff0.1) self.play(Create(dot_at_zero), Write(dot_label)) # 4. 展示一阶导数为零水平切线 tangent_line axes.get_horizontal_line(axes.c2p(0, func(0)), colorGREEN, line_funcLine) tangent_label MathTex(rf(0)0, colorGREEN).next_to(tangent_line, LEFT) self.play(Create(tangent_line), Write(tangent_label)) self.wait() # 5. 展示二阶导数大于零凹向上 # 在x0附近取一个小区间绘制曲线段并填充颜色以强调“碗”的形状 concave_up_section axes.plot(func, x_range[-0.7, 0.7], colorYELLOW, stroke_width8) # 创建一个多边形来模拟“碗”的填充效果简化版 fill_points [ axes.c2p(-0.7, func(-0.7)), axes.c2p(0.7, func(0.7)), axes.c2p(0.7, func(0) 0.5), # 底部一个点形成填充感 axes.c2p(-0.7, func(0) 0.5), ] fill_area Polygon(*fill_points, colorBLUE_D, fill_opacity0.3, stroke_width0) second_deriv_text MathTex(rf(0) 2 0, colorBLUE).to_corner(UR) concave_text Text(凹向上, colorBLUE, font_size36).next_to(second_deriv_text, DOWN) self.play(Create(concave_up_section), FadeIn(fill_area)) self.play(Write(second_deriv_text), Write(concave_text)) self.wait() # 6. 得出结论极小值点 conclusion Text(结论该驻点为极小值点, colorGREEN, font_size42) conclusion_box SurroundingRectangle(conclusion, colorGREEN, buff0.5) self.play(Write(conclusion), Create(conclusion_box)) self.wait(3) # 清理场景准备下一个案例 self.clear_section(axes, axes_labels, graph, dot_at_zero, dot_label, tangent_line, tangent_label, concave_up_section, fill_area, second_deriv_text, concave_text, conclusion, conclusion_box, func_label) # 第三部分案例二 - 凹向下极大值 self.intro_case(案例二f(x) -x² 1, PINK) # 1. 重新定义函数和坐标轴可以复用但为了清晰我们重做 axes2 Axes( x_range[-2, 2, 1], y_range[-1.5, 3, 1], x_length8, y_length6, ) axes_labels2 axes2.get_axis_labels(x_labelx, y_labelg(x)) func_label2 MathTex(rg(x) -x^2 1, colorPINK).to_corner(UL).shift(DOWN*0.5) def func2(x): return -x**2 1 graph2 axes2.plot(func2, colorPINK) self.play(Create(axes2), Write(axes_labels2), Write(func_label2)) self.play(Create(graph2)) self.wait() # 2. 标出驻点 (x0) dot2_at_zero Dot(axes2.c2p(0, func2(0)), colorRED) dot_label2 MathTex(r(0, 1), colorRED).next_to(dot2_at_zero, UR, buff0.1) self.play(Create(dot2_at_zero), Write(dot_label2)) # 3. 展示一阶导数为零 tangent_line2 axes2.get_horizontal_line(axes2.c2p(0, func2(0)), colorGREEN, line_funcLine) tangent_label2 MathTex(rg(0)0, colorGREEN).next_to(tangent_line2, LEFT) self.play(Create(tangent_line2), Write(tangent_label2)) self.wait() # 4. 展示二阶导数小于零凹向下 concave_down_section axes2.plot(func2, x_range[-0.7, 0.7], colorPINK, stroke_width8) # 创建一个多边形来模拟“倒碗”的填充效果 fill_points2 [ axes2.c2p(-0.7, func2(-0.7)), axes2.c2p(0.7, func2(0.7)), axes2.c2p(0.7, func2(0) - 0.5), # 顶部一个点形成填充感 axes2.c2p(-0.7, func2(0) - 0.5), ] fill_area2 Polygon(*fill_points2, colorBLUE_D, fill_opacity0.3, stroke_width0) second_deriv_text2 MathTex(rg(0) -2 0, colorBLUE).to_corner(UR) concave_text2 Text(凹向下, colorBLUE, font_size36).next_to(second_deriv_text2, DOWN) self.play(Create(concave_down_section), FadeIn(fill_area2)) self.play(Write(second_deriv_text2), Write(concave_text2)) self.wait() # 5. 得出结论极大值点 conclusion2 Text(结论该驻点为极大值点, colorGREEN, font_size42) conclusion_box2 SurroundingRectangle(conclusion2, colorGREEN, buff0.5) self.play(Write(conclusion2), Create(conclusion_box2)) self.wait(3) # 第四部分总结与对比 self.play(*[FadeOut(mob) for mob in self.mobjects]) # 清屏 summary_title Text(二阶导数判定法总结, font_size50, colorBLUE) self.play(Write(summary_title)) self.wait() # 使用表格总结 summary_table Table( [[驻点处 f(x₀)0, 二阶导数 f(x₀), 曲线凹凸性, 驻点性质], [是, 0, 凹向上 (∪), 极小值点], [是, 0, 凹向下 (∩), 极大值点], [是, 0, 不确定, 需进一步检验]], include_outer_linesTrue, line_config{stroke_width: 1}, ).scale(0.6) summary_table.get_entries((2,2)).set_color(GREEN) # 0 标绿 summary_table.get_entries((2,4)).set_color(GREEN) # 极小值标绿 summary_table.get_entries((3,2)).set_color(RED) # 0 标红 summary_table.get_entries((3,4)).set_color(RED) # 极大值标红 summary_table.get_entries((4,2)).set_color(YELLOW) # 0 标黄 summary_table.get_entries((4,4)).set_color(YELLOW) # 不确定标黄 self.play(summary_title.animate.to_edge(UP)) self.play(Create(summary_table)) self.wait(5) def intro_case(self, case_title, color): 用于引入每个案例的标题动画 title Text(case_title, font_size40, colorcolor) self.play(Write(title)) self.wait(1.5) self.play(FadeOut(title)) def clear_section(self, *mobjects_to_remove): 淡出指定的一组物体用于切换场景 self.play(*[FadeOut(mob) for mob in mobjects_to_remove])5.1 代码关键逻辑解析导入与类定义从manim导入所有常用类。我们的场景类继承自Scene。construct方法这是Manim场景的入口所有动画都在这里定义。坐标轴 (Axes)创建了一个二维坐标系定义了x和y的范围及长度。这是绘制函数图像的基础。绘制函数 (axes.plot)使用plot方法根据函数表达式绘制曲线。我们定义了两个简单的二次函数x² -1凹向上和-x² 1凹向下。标记与标注Dot用于标记驻点。MathTex用于渲染LaTeX格式的数学公式如函数表达式、导数。Text用于渲染普通文本。get_horizontal_line一个方便的方法用于在给定y值处绘制水平线直观表示斜率为0。动画序列 (self.play)Create,Write,FadeIn,FadeOut是基本的动画效果。通过顺序播放这些动画构建出讲解逻辑。强调凹凸性我们通过两种方式可视化凹凸性加粗绘制驻点附近的曲线段 (stroke_width8)。创建一个半透明的Polygon多边形填充在曲线下方或上方模拟“碗”的形状这是非常直观的几何提示。场景切换与清理使用clear_section自定义方法和FadeOut来清理画布避免元素堆积使每个案例清晰独立。总结表格 (Table)最后用表格清晰对比不同情况强化记忆。通过set_color方法对关键信息进行高亮。6. 运行结果与效果验证在项目根目录my_manim_project/下打开终端或命令行运行以下命令来渲染并预览动画# 使用较低质量快速预览-pql: 预览低质量最后渲染 manim -pql scenes/second_derivative_test.py SecondDerivativeTest # 如果需要生成高质量视频文件用于分享或保存使用-pqh: 预览高质量最后渲染 # manim -pqh scenes/second_derivative_test.py SecondDerivativeTest预期输出与验证终端输出你会看到Manim开始解析场景、渲染帧。成功后会显示类似Rendered scenes\second_derivative_test.py的信息并自动打开媒体播放器。动画播放视频将按以下顺序播放出现主标题和副标题。淡入第一个案例标题“案例一f(x) x² - 1”。逐步绘制坐标轴、函数曲线、驻点、水平切线。高亮显示x0附近的曲线段并填充蓝色区域同时显示“f(0)20”和“凹向上”的文字。给出绿色框的结论“该驻点为极小值点”。清屏后开始第二个案例“f(x) -x² 1”流程类似但曲线开口向下结论为“极大值点”。最后清屏展示一个总结表格清晰对比三种情况。验证成功如果你能看到上述完整的动画流程并且每个数学元素公式、坐标、点、线都正确显示说明动画制作成功。特别注意观察在驻点处切线是否是水平的凹向上时填充区域是否在曲线下方像碗凹向下时填充区域是否在曲线上方像倒碗如果运行失败第一步排查错误信息包含Pango或Cairo这是文字渲染问题。请确保安装了manim[text]或根据官方文档安装系统级的Pango库。ModuleNotFoundError: No module named manim说明Manim未正确安装或不在当前Python环境中。请确认虚拟环境已激活并尝试重新安装。动画播放器未弹出检查-p参数是否添加。也可以使用-s参数将视频保存为文件然后手动播放。7. 常见问题与排查思路问题现象可能原因排查方式解决方案运行命令后无任何输出或报错command not found: manim1. Manim未安装。2. 虚拟环境未激活。3.manim命令不在系统PATH中。1. 检查当前环境pip list | grep manim。2. 确认命令行提示符前有虚拟环境名。1. 在正确的环境中pip install manim。2. 使用python -m manim代替manim命令。渲染时卡住或报错关于FFmpegFFmpeg未安装或路径不对。FFmpeg是Manim用于合成视频的工具。在命令行输入ffmpeg -version检查。从 FFmpeg官网 下载并安装确保其bin目录在系统环境变量PATH中。数学公式LaTeX显示为乱码或空白系统中没有安装LaTeX或Manim找不到LaTeX。查看错误日志中是否有latex,pdflatex相关报错。安装一个LaTeX发行版如TeX Live (Linux/macOS) 或 MiKTeX (Windows)。安装后可能需要重启终端。动画播放太快或太慢默认的动画速率 (wait时间) 不适合。观察动画节奏。在代码中调整self.wait()的时长例如self.wait(2)表示暂停2秒。坐标轴或图形位置不对跑出画面坐标轴范围 (x_range,y_range) 或图形长度 (x_length,y_length) 设置不合理。先使用简单的图形测试坐标轴。调整Axes初始化参数确保函数图像的主要部分在视野内。可以先用print(axes.c2p(x, y))调试点的坐标。颜色、线宽等样式不生效1. 参数名拼写错误。2. 该Mobject不支持该属性。查阅Manim官方文档对应类的构造函数。检查并更正参数。例如Line使用stroke_width而Text使用font_size。8. 最佳实践与工程建议将数学可视化项目化不仅能做出更好的动画也便于维护和复用。8.1 代码组织一个场景一个文件就像上面的例子一个Python文件定义一个主要的Scene类。这使项目结构清晰。使用函数封装重复逻辑如示例中的intro_case和clear_section函数提高了代码可读性和可维护性。常量提取将颜色、字体大小、坐标范围等可能调整的参数定义为类常量或配置文件方便统一修改。8.2 动画设计原则循序渐进一次只引入一个新概念。先展示函数再标点再画切线最后解释凹凸性。避免画面过早拥挤。颜色编码保持一致性。例如函数曲线用黄色/粉色驻点用红色切线用绿色导数文本用蓝色。这有助于观众建立视觉联想。善用等待 (wait)在关键结论出现后给予足够的停留时间让观众消化信息。对比展示像本文这样将相反案例极大 vs 极小先后展示能极大强化理解。8.3 性能优化预览时用低质量 (-ql)在开发调试阶段使用-pql参数可以极大加快渲染速度。复杂动画分步渲染对于非常复杂的场景可以注释掉部分self.play来分段测试。谨慎使用高精度绘图plot函数的x_range默认使用大量样本点。对于平滑函数可以适当减少采样点如设置use_smoothingFalse并调整范围来提升性能。8.4 扩展到其他数学概念Manim的强大之处在于其通用性。掌握了本文的流程你可以轻松可视化其他微积分概念导数的定义可视化割线逼近切线的过程。积分与面积展示黎曼和如何逼近曲线下面积。泰勒展开动态展示不同阶数的泰勒多项式如何逼近原函数。多元函数极值虽然更复杂但可以尝试用三维场景 (ThreeDScene) 展示鞍点等。9. 总结与后续学习方向通过这个具体的Manim项目我们不仅生动解释了“二阶导数判定驻点性质”这个定理更重要的是掌握了一种主动学习和知识传播的方法将抽象的数学语言转化为精确的、可控制的视觉动画。本文的核心收获理解层面二阶导数的正负决定了曲线的凹凸方向在驻点水平切线处凹凸方向直接决定了该点是“谷底”极小还是“峰顶”极大。工具层面你已成功搭建了Manim环境并理解了其核心工作流定义场景 (Scene)、创建对象 (Mobject)、组织动画 (self.play)。方法论层面学习了一个可视化数学原理的标准模板定义问题 → 构建坐标与函数 → 标记关键点 → 展示一级关系切线/一阶导→ 展示二级关系凹凸性/二阶导→ 得出结论 → 对比总结。下一步可以做什么修改参数尝试将函数改成f(x) x³或f(x) x⁴观察在f(0)0时动画如何表现并思考如何用动画展示更高阶的判定法或拐点。美化动画为动画添加更流畅的过渡如Transform、箭头指示、更精美的字体和颜色搭配。探索Manim社区Manim有极其活跃的社区在GitHub、Discord和官方文档中有大量示例和高级教程学习如何制作更复杂的3D动画、图形变换等。制作你的教程选择另一个你感兴趣但觉得难以理解的数学或物理概念用Manim把它“画”出来。这个过程本身就是最深刻的学习。记住好的技术文章和好的数学讲解一样目标都是降低认知负荷建立深刻直觉。Manim正是实现这一目标的绝佳工具。希望这篇结合了原理深度与实操细节的文章能成为你探索数学可视化之旅的一个坚实起点。 Manim可视化二阶导数判定驻点性质：从几何意义理解极值
如果你正在学习微积分或者准备考研数学一定遇到过这样的问题为什么二阶导数能判断驻点的性质课本上写着“若二阶导大于0则为极小值点若小于0则为极大值点”但你是否曾对这个结论感到一丝困惑它背后是纯粹的数学巧合还是有其深刻的几何与物理意义更实际的问题是当你想把这个抽象的概念讲给别人听或者自己彻底弄懂时仅仅依靠静态的公式和文字描述总感觉隔着一层纱。有没有一种方法能让我们“看见”函数在驻点附近的行为直观地理解二阶导数符号如何决定了曲线的凹凸性从而决定了极值答案是肯定的。本文将介绍如何利用Manim——一个由3Blue1Brown大神创造的数学动画引擎来可视化“二阶导数判定驻点性质”这一核心原理。我们不止于复述定理而是通过动手制作一个动画将函数的图像、一阶导数切线斜率、二阶导数凹凸性三者动态地关联起来让你真正从几何意义上理解并记住这个结论。读完本文你将能透彻理解二阶导数判定法的几何本质告别死记硬背。亲手使用Manim制作一个专业的数学原理演示动画。掌握将抽象数学概念转化为直观视觉表达的基本方法论。1. 这篇文章真正要解决的问题让“二阶导数判定”从公式变成直觉很多人在学习极值问题时记住了结论但并未建立直觉。我们面临几个核心困惑困惑一一阶导数为零驻点只是“嫌疑犯”如何定罪我们知道驻点可能是极值点也可能是拐点。凭什么二阶导数站出来当了“法官”困惑二二阶导数的“正负”到底代表了什么物理或几何图景为什么“正”就对应“凹向上”极小值“负”就对应“凹向下”极大值困惑三如何向他人或未来的自己清晰解释这一点静态的教科书插图缺乏动态变化难以展现从函数到导数再到二阶导数的连锁反应。本文的目标就是解决这些困惑。我们将使用Manim作为工具因为它不是为了制作炫酷动画而动画其设计哲学就是解释性可视化。通过它我们可以动态绘制一个函数曲线。实时追踪某一点的切线一阶导数。生动展示该点附近曲线的弯曲方向二阶导数。并置对比不同二阶导数值下驻点性质的巨大差异。最终你将获得一个自己构建的、可交互通过代码修改参数的数学认知模型。这比任何文字描述都更加有力。2. 基础概念与核心原理重新审视导数家族在动手之前我们需要统一认知确保我们在同一层面讨论问题。2.1 驻点、极值点与拐点一张关系网概念定义设函数 f(x) 在点 x0 处可导相互关系与注意驻点满足 f‘(x0) 0 的点。极值点的必要条件可导条件下。但驻点不一定是极值点如 f(x)x³ 在 x0 处。极值点在 x0 的某个邻域内f(x) ≤ f(x0)极大值或 f(x) ≥ f(x0)极小值。是局部概念。可能出现在驻点或不可导点。拐点曲线凹凸性发生改变的点。拐点处 f‘’(x0) 可能为0也可能不存在。拐点不是极值点。核心问题给定一个驻点f(x0)0如何快速判断它是极大、极小还是拐点2.2 二阶导数的几何意义凹凸性的“检察官”一阶导数 f‘(x) 衡量的是函数的变化率切线斜率。那么二阶导数 f’‘(x) 就是一阶导数的变化率。几何上f‘’(x) 描述的是曲线本身的弯曲方向即凹凸性。f‘’(x) 0切线斜率在增加。想象你开车沿着曲线走方向盘在向左打曲线向左弯。这时曲线是凹向上Convex Upward的像一个碗口朝上的碗。f‘’(x) 0切线斜率在减少。方向盘在向右打曲线向右弯。这时曲线是凹向下Concave Downward的像一个碗口朝下的碗。在驻点处既然 f‘(x0)0说明切线是水平的。如果此时 f‘’(x0) 0凹向上那么点在碗底自然是极小值点。如果此时 f‘’(x0) 0凹向下那么点在碗顶自然是极大值点。如果 f‘’(x0) 0“检察官”无法定罪需要更高阶的导数或其它方法如第一充分条件来审理。它可能是极值点如 f(x)x⁴也可能是拐点如 f(x)x³。这就是我们要可视化的核心逻辑链f(x0)0(水平切线) f(x0)的符号(凹凸方向) →极值类型判定。3. 环境准备与前置条件我们将使用 Manim 社区维护的manim库。请确保你的环境是Python 3.7或更高版本。3.1 安装 Manim强烈建议使用pip在虚拟环境中安装。# 创建并激活虚拟环境可选但推荐 python -m venv manim_env # Windows: manim_env\Scripts\activate # Linux/macOS: source manim_env/bin/activate # 安装 manim 及必要的渲染后端Pango用于文字渲染 pip install manim pip install manim[text] # 或者根据系统安装Pango3.2 验证安装创建一个简单的测试脚本test_scene.pyfrom manim import * class TestScene(Scene): def construct(self): circle Circle() self.play(Create(circle)) self.wait()在命令行运行manim -pql test_scene.py TestScene如果弹出一个窗口并播放了一个圆形动画说明安装成功。-pql参数表示预览p、低质量ql适合快速测试。3.3 项目结构建议为你的动画项目创建一个清晰的目录结构my_manim_project/ ├── scenes/ │ └── second_derivative_test.py # 我们的主场景文件 ├── assets/ # 存放图片、字体等 └── output/ # 渲染的视频文件manim自动生成4. 核心流程拆解动画的构思与实现步骤我们的动画将分为几个逻辑章节逐步揭示原理章节A展示函数与驻点。绘制函数曲线并高亮标出导数为零的点驻点。章节B可视化一阶导数切线。在驻点处绘制一条水平切线强调此时斜率为0。章节C引入二阶导数凹凸性。在驻点附近取一个小区间展示曲线的弯曲方向。章节D建立关联与判定。将凹凸性动画与“碗底”极小值或“碗顶”极大值的比喻结合起来并打出判定结论的文字。章节E对比案例。切换另一个函数如将凹向上改为凹向下重复过程展示不同的判定结果。我们将在一个Manim场景Scene中通过多个“小节”Section来组织这些内容。5. 完整示例与代码实现以下是完整的Manim场景代码。我们将代码保存在scenes/second_derivative_test.py中。# 文件路径scenes/second_derivative_test.py from manim import * import numpy as np class SecondDerivativeTest(Scene): 二阶导数判定驻点性质的可视化 def construct(self): # 第一部分标题与引入 title Text(二阶导数判定驻点性质, font_size48, colorBLUE) sub_title Text(从几何意义理解极值, font_size36, colorGRAY) sub_title.next_to(title, DOWN) self.play(Write(title), Write(sub_title)) self.wait(2) self.play(FadeOut(title, sub_title)) # 第二部分案例一 - 凹向上极小值 self.intro_case(案例一f(x) x² - 1, YELLOW) # 1. 定义函数和坐标轴 axes Axes( x_range[-2, 2, 1], y_range[-1.5, 3, 1], x_length8, y_length6, axis_config{color: WHITE}, ) axes_labels axes.get_axis_labels(x_labelx, y_labelf(x)) func_label MathTex(rf(x) x^2 - 1, colorYELLOW).to_corner(UL).shift(DOWN*0.5) # 2. 绘制函数曲线 def func(x): return x**2 - 1 graph axes.plot(func, colorYELLOW) self.play(Create(axes), Write(axes_labels), Write(func_label)) self.play(Create(graph)) self.wait() # 3. 标出驻点 (x0) dot_at_zero Dot(axes.c2p(0, func(0)), colorRED) dot_label MathTex(r(0, -1), colorRED).next_to(dot_at_zero, UR, buff0.1) self.play(Create(dot_at_zero), Write(dot_label)) # 4. 展示一阶导数为零水平切线 tangent_line axes.get_horizontal_line(axes.c2p(0, func(0)), colorGREEN, line_funcLine) tangent_label MathTex(rf(0)0, colorGREEN).next_to(tangent_line, LEFT) self.play(Create(tangent_line), Write(tangent_label)) self.wait() # 5. 展示二阶导数大于零凹向上 # 在x0附近取一个小区间绘制曲线段并填充颜色以强调“碗”的形状 concave_up_section axes.plot(func, x_range[-0.7, 0.7], colorYELLOW, stroke_width8) # 创建一个多边形来模拟“碗”的填充效果简化版 fill_points [ axes.c2p(-0.7, func(-0.7)), axes.c2p(0.7, func(0.7)), axes.c2p(0.7, func(0) 0.5), # 底部一个点形成填充感 axes.c2p(-0.7, func(0) 0.5), ] fill_area Polygon(*fill_points, colorBLUE_D, fill_opacity0.3, stroke_width0) second_deriv_text MathTex(rf(0) 2 0, colorBLUE).to_corner(UR) concave_text Text(凹向上, colorBLUE, font_size36).next_to(second_deriv_text, DOWN) self.play(Create(concave_up_section), FadeIn(fill_area)) self.play(Write(second_deriv_text), Write(concave_text)) self.wait() # 6. 得出结论极小值点 conclusion Text(结论该驻点为极小值点, colorGREEN, font_size42) conclusion_box SurroundingRectangle(conclusion, colorGREEN, buff0.5) self.play(Write(conclusion), Create(conclusion_box)) self.wait(3) # 清理场景准备下一个案例 self.clear_section(axes, axes_labels, graph, dot_at_zero, dot_label, tangent_line, tangent_label, concave_up_section, fill_area, second_deriv_text, concave_text, conclusion, conclusion_box, func_label) # 第三部分案例二 - 凹向下极大值 self.intro_case(案例二f(x) -x² 1, PINK) # 1. 重新定义函数和坐标轴可以复用但为了清晰我们重做 axes2 Axes( x_range[-2, 2, 1], y_range[-1.5, 3, 1], x_length8, y_length6, ) axes_labels2 axes2.get_axis_labels(x_labelx, y_labelg(x)) func_label2 MathTex(rg(x) -x^2 1, colorPINK).to_corner(UL).shift(DOWN*0.5) def func2(x): return -x**2 1 graph2 axes2.plot(func2, colorPINK) self.play(Create(axes2), Write(axes_labels2), Write(func_label2)) self.play(Create(graph2)) self.wait() # 2. 标出驻点 (x0) dot2_at_zero Dot(axes2.c2p(0, func2(0)), colorRED) dot_label2 MathTex(r(0, 1), colorRED).next_to(dot2_at_zero, UR, buff0.1) self.play(Create(dot2_at_zero), Write(dot_label2)) # 3. 展示一阶导数为零 tangent_line2 axes2.get_horizontal_line(axes2.c2p(0, func2(0)), colorGREEN, line_funcLine) tangent_label2 MathTex(rg(0)0, colorGREEN).next_to(tangent_line2, LEFT) self.play(Create(tangent_line2), Write(tangent_label2)) self.wait() # 4. 展示二阶导数小于零凹向下 concave_down_section axes2.plot(func2, x_range[-0.7, 0.7], colorPINK, stroke_width8) # 创建一个多边形来模拟“倒碗”的填充效果 fill_points2 [ axes2.c2p(-0.7, func2(-0.7)), axes2.c2p(0.7, func2(0.7)), axes2.c2p(0.7, func2(0) - 0.5), # 顶部一个点形成填充感 axes2.c2p(-0.7, func2(0) - 0.5), ] fill_area2 Polygon(*fill_points2, colorBLUE_D, fill_opacity0.3, stroke_width0) second_deriv_text2 MathTex(rg(0) -2 0, colorBLUE).to_corner(UR) concave_text2 Text(凹向下, colorBLUE, font_size36).next_to(second_deriv_text2, DOWN) self.play(Create(concave_down_section), FadeIn(fill_area2)) self.play(Write(second_deriv_text2), Write(concave_text2)) self.wait() # 5. 得出结论极大值点 conclusion2 Text(结论该驻点为极大值点, colorGREEN, font_size42) conclusion_box2 SurroundingRectangle(conclusion2, colorGREEN, buff0.5) self.play(Write(conclusion2), Create(conclusion_box2)) self.wait(3) # 第四部分总结与对比 self.play(*[FadeOut(mob) for mob in self.mobjects]) # 清屏 summary_title Text(二阶导数判定法总结, font_size50, colorBLUE) self.play(Write(summary_title)) self.wait() # 使用表格总结 summary_table Table( [[驻点处 f(x₀)0, 二阶导数 f(x₀), 曲线凹凸性, 驻点性质], [是, 0, 凹向上 (∪), 极小值点], [是, 0, 凹向下 (∩), 极大值点], [是, 0, 不确定, 需进一步检验]], include_outer_linesTrue, line_config{stroke_width: 1}, ).scale(0.6) summary_table.get_entries((2,2)).set_color(GREEN) # 0 标绿 summary_table.get_entries((2,4)).set_color(GREEN) # 极小值标绿 summary_table.get_entries((3,2)).set_color(RED) # 0 标红 summary_table.get_entries((3,4)).set_color(RED) # 极大值标红 summary_table.get_entries((4,2)).set_color(YELLOW) # 0 标黄 summary_table.get_entries((4,4)).set_color(YELLOW) # 不确定标黄 self.play(summary_title.animate.to_edge(UP)) self.play(Create(summary_table)) self.wait(5) def intro_case(self, case_title, color): 用于引入每个案例的标题动画 title Text(case_title, font_size40, colorcolor) self.play(Write(title)) self.wait(1.5) self.play(FadeOut(title)) def clear_section(self, *mobjects_to_remove): 淡出指定的一组物体用于切换场景 self.play(*[FadeOut(mob) for mob in mobjects_to_remove])5.1 代码关键逻辑解析导入与类定义从manim导入所有常用类。我们的场景类继承自Scene。construct方法这是Manim场景的入口所有动画都在这里定义。坐标轴 (Axes)创建了一个二维坐标系定义了x和y的范围及长度。这是绘制函数图像的基础。绘制函数 (axes.plot)使用plot方法根据函数表达式绘制曲线。我们定义了两个简单的二次函数x² -1凹向上和-x² 1凹向下。标记与标注Dot用于标记驻点。MathTex用于渲染LaTeX格式的数学公式如函数表达式、导数。Text用于渲染普通文本。get_horizontal_line一个方便的方法用于在给定y值处绘制水平线直观表示斜率为0。动画序列 (self.play)Create,Write,FadeIn,FadeOut是基本的动画效果。通过顺序播放这些动画构建出讲解逻辑。强调凹凸性我们通过两种方式可视化凹凸性加粗绘制驻点附近的曲线段 (stroke_width8)。创建一个半透明的Polygon多边形填充在曲线下方或上方模拟“碗”的形状这是非常直观的几何提示。场景切换与清理使用clear_section自定义方法和FadeOut来清理画布避免元素堆积使每个案例清晰独立。总结表格 (Table)最后用表格清晰对比不同情况强化记忆。通过set_color方法对关键信息进行高亮。6. 运行结果与效果验证在项目根目录my_manim_project/下打开终端或命令行运行以下命令来渲染并预览动画# 使用较低质量快速预览-pql: 预览低质量最后渲染 manim -pql scenes/second_derivative_test.py SecondDerivativeTest # 如果需要生成高质量视频文件用于分享或保存使用-pqh: 预览高质量最后渲染 # manim -pqh scenes/second_derivative_test.py SecondDerivativeTest预期输出与验证终端输出你会看到Manim开始解析场景、渲染帧。成功后会显示类似Rendered scenes\second_derivative_test.py的信息并自动打开媒体播放器。动画播放视频将按以下顺序播放出现主标题和副标题。淡入第一个案例标题“案例一f(x) x² - 1”。逐步绘制坐标轴、函数曲线、驻点、水平切线。高亮显示x0附近的曲线段并填充蓝色区域同时显示“f(0)20”和“凹向上”的文字。给出绿色框的结论“该驻点为极小值点”。清屏后开始第二个案例“f(x) -x² 1”流程类似但曲线开口向下结论为“极大值点”。最后清屏展示一个总结表格清晰对比三种情况。验证成功如果你能看到上述完整的动画流程并且每个数学元素公式、坐标、点、线都正确显示说明动画制作成功。特别注意观察在驻点处切线是否是水平的凹向上时填充区域是否在曲线下方像碗凹向下时填充区域是否在曲线上方像倒碗如果运行失败第一步排查错误信息包含Pango或Cairo这是文字渲染问题。请确保安装了manim[text]或根据官方文档安装系统级的Pango库。ModuleNotFoundError: No module named manim说明Manim未正确安装或不在当前Python环境中。请确认虚拟环境已激活并尝试重新安装。动画播放器未弹出检查-p参数是否添加。也可以使用-s参数将视频保存为文件然后手动播放。7. 常见问题与排查思路问题现象可能原因排查方式解决方案运行命令后无任何输出或报错command not found: manim1. Manim未安装。2. 虚拟环境未激活。3.manim命令不在系统PATH中。1. 检查当前环境pip list | grep manim。2. 确认命令行提示符前有虚拟环境名。1. 在正确的环境中pip install manim。2. 使用python -m manim代替manim命令。渲染时卡住或报错关于FFmpegFFmpeg未安装或路径不对。FFmpeg是Manim用于合成视频的工具。在命令行输入ffmpeg -version检查。从 FFmpeg官网 下载并安装确保其bin目录在系统环境变量PATH中。数学公式LaTeX显示为乱码或空白系统中没有安装LaTeX或Manim找不到LaTeX。查看错误日志中是否有latex,pdflatex相关报错。安装一个LaTeX发行版如TeX Live (Linux/macOS) 或 MiKTeX (Windows)。安装后可能需要重启终端。动画播放太快或太慢默认的动画速率 (wait时间) 不适合。观察动画节奏。在代码中调整self.wait()的时长例如self.wait(2)表示暂停2秒。坐标轴或图形位置不对跑出画面坐标轴范围 (x_range,y_range) 或图形长度 (x_length,y_length) 设置不合理。先使用简单的图形测试坐标轴。调整Axes初始化参数确保函数图像的主要部分在视野内。可以先用print(axes.c2p(x, y))调试点的坐标。颜色、线宽等样式不生效1. 参数名拼写错误。2. 该Mobject不支持该属性。查阅Manim官方文档对应类的构造函数。检查并更正参数。例如Line使用stroke_width而Text使用font_size。8. 最佳实践与工程建议将数学可视化项目化不仅能做出更好的动画也便于维护和复用。8.1 代码组织一个场景一个文件就像上面的例子一个Python文件定义一个主要的Scene类。这使项目结构清晰。使用函数封装重复逻辑如示例中的intro_case和clear_section函数提高了代码可读性和可维护性。常量提取将颜色、字体大小、坐标范围等可能调整的参数定义为类常量或配置文件方便统一修改。8.2 动画设计原则循序渐进一次只引入一个新概念。先展示函数再标点再画切线最后解释凹凸性。避免画面过早拥挤。颜色编码保持一致性。例如函数曲线用黄色/粉色驻点用红色切线用绿色导数文本用蓝色。这有助于观众建立视觉联想。善用等待 (wait)在关键结论出现后给予足够的停留时间让观众消化信息。对比展示像本文这样将相反案例极大 vs 极小先后展示能极大强化理解。8.3 性能优化预览时用低质量 (-ql)在开发调试阶段使用-pql参数可以极大加快渲染速度。复杂动画分步渲染对于非常复杂的场景可以注释掉部分self.play来分段测试。谨慎使用高精度绘图plot函数的x_range默认使用大量样本点。对于平滑函数可以适当减少采样点如设置use_smoothingFalse并调整范围来提升性能。8.4 扩展到其他数学概念Manim的强大之处在于其通用性。掌握了本文的流程你可以轻松可视化其他微积分概念导数的定义可视化割线逼近切线的过程。积分与面积展示黎曼和如何逼近曲线下面积。泰勒展开动态展示不同阶数的泰勒多项式如何逼近原函数。多元函数极值虽然更复杂但可以尝试用三维场景 (ThreeDScene) 展示鞍点等。9. 总结与后续学习方向通过这个具体的Manim项目我们不仅生动解释了“二阶导数判定驻点性质”这个定理更重要的是掌握了一种主动学习和知识传播的方法将抽象的数学语言转化为精确的、可控制的视觉动画。本文的核心收获理解层面二阶导数的正负决定了曲线的凹凸方向在驻点水平切线处凹凸方向直接决定了该点是“谷底”极小还是“峰顶”极大。工具层面你已成功搭建了Manim环境并理解了其核心工作流定义场景 (Scene)、创建对象 (Mobject)、组织动画 (self.play)。方法论层面学习了一个可视化数学原理的标准模板定义问题 → 构建坐标与函数 → 标记关键点 → 展示一级关系切线/一阶导→ 展示二级关系凹凸性/二阶导→ 得出结论 → 对比总结。下一步可以做什么修改参数尝试将函数改成f(x) x³或f(x) x⁴观察在f(0)0时动画如何表现并思考如何用动画展示更高阶的判定法或拐点。美化动画为动画添加更流畅的过渡如Transform、箭头指示、更精美的字体和颜色搭配。探索Manim社区Manim有极其活跃的社区在GitHub、Discord和官方文档中有大量示例和高级教程学习如何制作更复杂的3D动画、图形变换等。制作你的教程选择另一个你感兴趣但觉得难以理解的数学或物理概念用Manim把它“画”出来。这个过程本身就是最深刻的学习。记住好的技术文章和好的数学讲解一样目标都是降低认知负荷建立深刻直觉。Manim正是实现这一目标的绝佳工具。希望这篇结合了原理深度与实操细节的文章能成为你探索数学可视化之旅的一个坚实起点。