Manim 引擎 · 数学可视化

数理动图样片库

由 Manim(数学动画引擎)参数化渲染的 K12 数理动图样片。全部 1920×1080 @ 60fps,公式、坐标系、图形变换逐帧精确,可直接作为提分大师模型墙的演示素材。

3已上线样片
60fps 帧率
1080P 分辨率
60s总时长

样片清单

三支已验收样片,覆盖函数、几何、向量三大 K12 核心板块。点击播放器即可观看,支持拖动进度条与全屏。

📈
SAMPLE 01 · 函数

一次函数 y = kx + b

从 k、b 两个参数出发演示斜率和截距如何决定直线形态:k 控制倾斜方向与陡缓,b 控制直线与 y 轴交点。坐标系逐格绘制,随参数变化实时联动,把「背公式」变成「看规律」。

  • 时长21.70 秒
  • 规格1920×1080 @ 60fps
  • 体积1,988,105 B
📐
SAMPLE 02 · 几何

勾股定理 a² + b² = c²

以直角三角形三边上的正方形面积做「等积变形」演示:两个直角边正方形被切割、平移、重排,恰好填满斜边正方形,让 a² + b² = c² 从结论变成看得见的事实。

  • 时长17.10 秒
  • 规格1920×1080 @ 60fps
  • 体积1,301,063 B
🧭
SAMPLE 03 · 向量

向量加减(三角形 / 平行四边形法则)

同一组向量,两套法则对照演示:首尾相接走「三角形法则」,共起点张开走「平行四边形法则」,两条路径终点重合,直观说明向量加法与顺序无关;减法用反向向量收尾。

  • 时长21.30 秒
  • 规格1920×1080 @ 60fps
  • 体积1,551,717 B

批量出片能力

样片不是手工作品,而是产线产物:一份参数表驱动,一次批量渲染,即可成体系地产出整套数理动图。

  1. 知识点建模把考点拆成「公式 + 图形 + 变换」三要素,写成 Manim 场景脚本(Python)。
  2. 参数表驱动参数抽离为 JSON 参数表:标题、公式、取值区间、配色、时长、分辨率,脚本与内容解耦。
  3. 批量渲染批量渲染器读取参数表逐条出片,输出统一规格 MP4,并自动抽取关键帧做目检图。
  4. 目检与上架抽帧目检确认公式与图形无误后,连同展示页一并上架到本站样片目录。
产线现状

当前已跑通「参数表 → 批量渲染 → 抽帧目检 → 上架」全链路,本次上线的三支样片即为该产线的首批成果。后续可按教材章节批量扩展:新增一个知识点只需追加一条参数,无需改动渲染器。