革命性数学动画框架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的学习曲线虽然较陡,但一旦掌握,你将拥有创建专业级数学动画的超能力。从简单的几何变换开始,逐步探索这个强大工具的无限可能。
登录后查看全文
热门项目推荐
相关项目推荐
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
请把这个活动推给顶尖程序员😎本次活动专为懂行的顶尖程序员量身打造,聚焦AtomGit首发开源模型的实际应用与深度测评,拒绝大众化浅层体验,邀请具备扎实技术功底、开源经验或模型测评能力的顶尖开发者,深度参与模型体验、性能测评,通过发布技术帖子、提交测评报告、上传实践项目成果等形式,挖掘模型核心价值,共建AtomGit开源模型生态,彰显顶尖程序员的技术洞察力与实践能力。00
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
MiniMax-M2.5MiniMax-M2.5开源模型,经数十万复杂环境强化训练,在代码生成、工具调用、办公自动化等经济价值任务中表现卓越。SWE-Bench Verified得分80.2%,Multi-SWE-Bench达51.3%,BrowseComp获76.3%。推理速度比M2.1快37%,与Claude Opus 4.6相当,每小时仅需0.3-1美元,成本仅为同类模型1/10-1/20,为智能应用开发提供高效经济选择。【此简介由AI生成】Python00
Qwen3.5Qwen3.5 昇腾 vLLM 部署教程。Qwen3.5 是 Qwen 系列最新的旗舰多模态模型,采用 MoE(混合专家)架构,在保持强大模型能力的同时显著降低了推理成本。00- RRing-2.5-1TRing-2.5-1T:全球首个基于混合线性注意力架构的开源万亿参数思考模型。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
567
3.83 K
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
68
20
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
12
1
暂无简介
Dart
798
197
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.37 K
779
喝着茶写代码!最易用的自托管一站式代码托管平台,包含Git托管,代码审查,团队协作,软件包和CI/CD。
Go
23
0
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
349
200
Ascend Extension for PyTorch
Python
376
446
无需学习 Kubernetes 的容器平台,在 Kubernetes 上构建、部署、组装和管理应用,无需 K8s 专业知识,全流程图形化管理
Go
16
1