革命性数学动画框架manim:3Blue1Brown背后的神秘力量
2026-02-04 04:53:28作者:舒璇辛Bertina
你是否曾被3Blue1Brown频道中那些优雅流畅的数学动画所震撼?那些将抽象数学概念可视化得如此直观的视频,背后隐藏着一个强大的开源工具——manim(Mathematical Animation Engine)。这个由Grant Sanderson(3Blue1Brown创始人)创造并开源的Python框架,正在彻底改变数学教育和科学可视化的方式。
什么是manim?
manim是一个专门用于创建精确数学动画的Python引擎。它不同于传统的图形软件,而是通过编程方式定义动画的每一个细节,确保数学表达的准确性和视觉美感。
manim的核心架构
graph TD
A[Scene场景] --> B[构造方法construct]
B --> C[创建Mobject数学对象]
B --> D[应用Animation动画]
C --> E[几何形状]
C --> F[文本公式]
C --> G[坐标系统]
D --> H[变换动画]
D --> I[创建动画]
D --> J[颜色动画]
manim的版本演进
| 版本类型 | 维护者 | 特点 | 推荐用途 |
|---|---|---|---|
| 3b1b/manim | Grant Sanderson | 原始版本,功能精简 | 学习Grant的制作方式 |
| ManimCommunity | 社区维护 | 功能丰富,文档完善 | 生产环境和学习 |
为什么manim如此强大?
1. 数学精度无可匹敌
传统动画软件在处理数学公式和几何变换时往往存在精度损失,而manim直接使用LaTeX渲染数学公式,确保每一个符号都完美呈现。
from manim import *
class MathExample(Scene):
def construct(self):
# 完美渲染LaTeX公式
formula = MathTex(r"\int_{-\infty}^{\infty} e^{-x^2} dx = \sqrt{\pi}")
self.play(Write(formula))
2. 程序化动画控制
manim允许你通过代码精确控制动画的每一个细节,从时间线到运动轨迹,都能精确编程。
class PrecisionAnimation(Scene):
def construct(self):
circle = Circle()
square = Square()
# 精确控制动画时间和效果
self.play(Transform(square, circle), run_time=2, rate_func=smooth)
3. 丰富的数学对象库
manim内置了大量预定义的数学对象,从基本几何形状到复杂的三维曲面。
class MathObjectsDemo(Scene):
def construct(self):
# 创建坐标系
axes = Axes(x_range=[-3,3], y_range=[-3,3])
# 绘制函数图像
graph = axes.plot(lambda x: np.sin(x), color=BLUE)
# 创建向量场
vector_field = VectorField(lambda p: p/2)
self.play(Create(axes), Create(graph), Create(vector_field))
实战:创建你的第一个manim动画
环境安装
# 使用uv安装manim社区版
uv venv
source .venv/bin/activate # Linux/Mac
# 或 .venv\Scripts\activate # Windows
uv pip install manim
基础动画示例
from manim import *
class SquareToCircle(Scene):
def construct(self):
# 创建圆形和正方形
circle = Circle()
circle.set_fill(PINK, opacity=0.5)
square = Square()
square.rotate(PI / 4) # 旋转45度
# 动画序列
self.play(Create(square)) # 创建正方形
self.play(Transform(square, circle)) # 变换为圆形
self.play(FadeOut(square)) # 淡出消失
渲染动画
manim -pql example.py SquareToCircle
参数说明:
-p: 预览模式,自动打开视频-q: 质量等级(l, m, h, k分别代表低、中、高、4K质量)-l: 低质量,渲染速度快
manim的高级特性
1. 动画合成与组合
class AdvancedAnimation(Scene):
def construct(self):
shapes = VGroup(
Circle().set_fill(RED, 0.5),
Square().set_fill(BLUE, 0.5),
Triangle().set_fill(GREEN, 0.5)
)
shapes.arrange(RIGHT, buff=1)
# 同时播放多个动画
self.play(LaggedStart(
Create(shapes[0]),
Create(shapes[1]),
Create(shapes[2]),
lag_ratio=0.5
))
2. 数学公式动画
class FormulaAnimation(Scene):
def construct(self):
equation = MathTex(
r"e^{i\pi} + 1 = 0",
font_size=72
)
# 逐个字符显示公式
self.play(Write(equation))
self.wait(1)
# 变换公式
new_equation = MathTex(
r"\int_0^\infty e^{-x^2} dx = \frac{\sqrt{\pi}}{2}",
font_size=48
)
self.play(Transform(equation, new_equation))
3. 3D图形渲染
class ThreeDScene(ThreeDScene):
def construct(self):
# 设置3D相机视角
self.set_camera_orientation(phi=75*DEGREES, theta=30*DEGREES)
# 创建3D球体
sphere = Sphere(radius=1, resolution=(24, 24))
# 创建3D坐标系
axes = ThreeDAxes()
self.play(Create(axes), Create(sphere))
# 旋转相机
self.begin_ambient_camera_rotation(rate=0.5)
self.wait(4)
manim在教育领域的应用
数学概念可视化
class CalculusVisualization(Scene):
def construct(self):
# 展示导数概念
axes = Axes(x_range=[-1, 4], y_range=[-1, 6])
func = axes.plot(lambda x: 0.5 * x**2, color=BLUE)
tangent = axes.get_secant_slope_group(
x=2, graph=func, dx=0.01, secant_line_color=RED
)
self.play(Create(axes), Create(func))
self.play(Create(tangent))
self.wait(2)
物理过程模拟
class PhysicsSimulation(Scene):
def construct(self):
# 简谐运动模拟
spring = Line(ORIGIN, RIGHT, color=BLUE)
mass = Square(side_length=0.5).next_to(spring, RIGHT)
# 添加弹簧振子运动
mass.add_updater(lambda m, dt: m.shift(
0.1 * np.sin(2 * PI * self.time) * RIGHT
))
self.add(spring, mass)
self.wait(4)
性能优化技巧
1. 缓存机制
manim内置了强大的缓存系统,可以显著减少重复渲染时间。
config.disable_caching = False # 启用缓存(默认)
config.flush_cache = True # 清除缓存(需要时使用)
2. 渲染质量平衡
# 开发阶段使用低质量快速预览
manim -pql scene.py MyScene
# 最终渲染使用高质量
manim -pqh scene.py MyScene
# 4K超高清渲染
manim -pqk scene.py MyScene
3. 并行渲染
对于复杂项目,可以使用多进程并行渲染多个场景。
manim render scene.py Scene1 Scene2 Scene3 --jobs 4
社区生态与资源
manim拥有活跃的开源社区,提供了丰富的扩展和资源:
- manim-gl: 基于OpenGL的实时渲染版本
- manim-physics: 物理模拟扩展
- Jupyter集成: 在笔记本中直接预览动画
- 在线编辑器: 浏览器中编写和预览manim代码
未来展望
manim正在持续发展中,未来的方向包括:
- 实时编辑预览:更快的迭代开发体验
- Web渲染:直接在浏览器中运行manim
- AI辅助:智能动画建议和自动化
- 扩展库:更多学科领域的专用组件
结语
manim不仅仅是一个动画工具,它代表了数学可视化领域的一次革命。通过将编程的精确性与数学的美学相结合,manim为教育者、研究者和科学传播者提供了前所未有的表达能力。
无论你是想制作精美的数学教学视频,还是需要将复杂的科学概念可视化,manim都能为你提供强大的工具和支持。加入manim社区,开始创建属于你自己的数学动画杰作吧!
提示:manim的学习曲线虽然较陡,但一旦掌握,你将拥有创建专业级数学动画的超能力。从简单的几何变换开始,逐步探索这个强大工具的无限可能。
登录后查看全文
热门项目推荐
相关项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust099- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
Kimi-K2.6Kimi K2.6 是一款开源的原生多模态智能体模型,在长程编码、编码驱动设计、主动自主执行以及群体任务编排等实用能力方面实现了显著提升。Python00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00
热门内容推荐
最新内容推荐
跨系统应用融合:APK Installer实现Windows环境下安卓应用运行的技术路径探索如何用OpCore Simplify构建稳定黑苹果系统?掌握这3大核心策略ComfyUI-LTXVideo实战攻略:3大核心场景的视频生成解决方案告别3小时抠像噩梦:AI如何让人人都能制作电影级视频Anki Connect:知识管理与学习自动化的API集成方案Laigter法线贴图生成工具零基础实战指南:提升2D游戏视觉效率全攻略如何用智能助手实现高效微信自动回复?全方位指南3步打造高效游戏自动化工具:从入门到精通的智能辅助方案掌握语音分割:从入门到实战的完整路径开源翻译平台完全指南:从搭建到精通自托管翻译服务
项目优选
收起
deepin linux kernel
C
28
16
Claude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed.
Get Started
Rust
570
99
暂无描述
Dockerfile
709
4.51 K
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
958
955
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.61 K
942
Ascend Extension for PyTorch
Python
572
694
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
413
339
🍒 Cherry Studio 是一款支持多个 LLM 提供商的桌面客户端
TypeScript
1.42 K
116
暂无简介
Dart
951
235
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
12
2