Math Visualizer 是一个数学可视化技能,目标是把数学概念制作成精确、美观的动画,从而揭示数学内部的结构与关系。它隶属于 rohitg00/manim-video-generator 技能集合,从提供的模板代码看,动画基于 Manim(Python 的数学动画库)实现。
【触发条件】资料说明,当用户提及方程、公式或数学相关内容时,该技能会被触发。
【支持的数学领域】资料列出以下范围:
- 代数:方程、不等式、多项式;
- 微积分:导数、积分、极限、级数;
- 几何:图形、变换、证明;
- 三角:函数、恒等式、单位圆;
- 线性代数:向量、矩阵、变换;
- 复分析:复数、变换;
- 数论:素数、数列、规律。
【规则文件】技能包含若干规则文件,用于约束呈现方式:
- rules/equation-presentation.md:如何以恰当的节奏与强调来呈现方程;
- rules/color-coding-math.md:数学元素的统一配色方案;
- rules/graphing-best-practices.md:创建清晰、信息充分的函数图像;
- rules/proof-visualization.md:逐步构建理解的证明动画。
【配色标准】资料给出如下配色:变量(x、y)为 BLUE (#58C4DD);常量为 YELLOW (#FFFF00);运算符为 WHITE (#FFFFFF);关键项为 GREEN (#83C167);等号/结果为 GOLD (#FFD700);负数/减法为 RED (#FC6255)。
【模板示例】资料提供了多个可直接参考的 Manim 模板:
- 方程推导(EquationDerivation):用 Write 写出初始方程,再用 TransformMatchingTex 逐步变换,最后用 SurroundingRectangle 高亮答案。
- 彩色编码方程(ColorCodedEquation):用 MathTex 拆分公式各部分并分别 set_color,再配合 Indicate 与文字标签逐项解释系数、变量、常量。
- 带动画的函数图像(FunctionGraph):创建带刻度的 Axes 与坐标轴标签,绘制 f(x)=x^2 与导数 f'(x)=2x,并用 ValueTracker 与 always_redraw 演示切线(割线斜率组)沿曲线移动。
- 3D 数学曲面(Surface3D):使用 ThreeDScene 设置相机方向,创建 ThreeDAxes,用 Surface 绘制 z=sin(u)·cos(v),并按高度设置填充颜色,最后开启环境相机旋转。
- 几何证明(PythagoreanProof):用 Polygon 画直角三角形,标注 a、b、c,在边外侧添加正方形并标出 a²、b²,最后写出并高亮 a²+b²=c²。
【LaTeX 速查】资料列出常用表达式:分数 \frac{a}{b};平方根 \sqrt{x}、\sqrt[n]{x};求和 \sum_{i=1}^{n} x_i;积分 \int_{a}^{b} f(x),dx;极限 \lim_{x \to \infty} f(x);矩阵 \begin{pmatrix} a & b \ c & d \end{pmatrix};偏导 \frac{\partial f}{\partial x}。希腊字母包括 \alpha \beta \gamma \delta \epsilon、\theta \lambda \mu \pi \sigma \omega、\Gamma \Delta \Theta \Lambda \Sigma \Omega。
【最佳实践】资料给出五条原则:逐步揭示方程,把复杂公式逐块搭建;使用一致的记号,同一符号全文含义一致;进行有意义的标注,标签应澄清而非堆砌;通过动画展示数学关系而不只是陈述;连接直觉,在抽象数学与视觉理解之间建立桥梁。
【限制】资料未提供该技能的安装方式、运行平台、依赖要求、收费与价格等信息,上述内容暂未提供。