纯文本 Penrose 数学图生成器

为什么数学插图自动化值得做

在写技术文档或论文时，为数学概念画一张准确的插图往往比写公式更耗时。手动调整坐标、对齐标签、保持风格统一——这些重复劳动占用了本该用于思考的时间。更麻烦的是，当公式或布局需要调整时，插图几乎要从头重画。

Penrose 的解决思路是让插图像代码一样可描述。 你用纯文本写下「什么是图形元素」「它们怎么组合」，再指定「线条粗细、颜色、字体」这类样式规则，剩下的渲染工作交给工具自动完成。最终输出干净的 SVG，能直接嵌进网页、LaTeX 或 Markdown 文档。

它是怎么做到的

核心流程分三步，每一步都在纯文本环境完成：

1. 定义概念：用类数学符号描述对象之间的关系，比如「点 A 在直线 L 上」「圆 O 经过点 B」。这一步不涉及坐标，只关心逻辑。
2. 编写物质程序：把上述关系翻译成 Penrose 的方言，指定「A 是一个圆」「L 是直线」这类具体几何类型。
3. 应用样式：用代码规则控制最终观感，比如 Shape { stroke: "#333" } 或 Text { font: "12pt serif" }。

工具会解析这些描述，自动计算出满足所有约束的坐标，再渲染成 SVG。整个过程不需要打开图形编辑器，也不需要手动摆放每个元素。

适用边界和注意点

这个技能适合逻辑清晰、可符号化的数学概念，比如几何定理、函数图像、集合关系。但如果插图需要复杂的艺术处理，或概念本身难以用规则描述，Penrose 可能不是最佳选择。

另外，Penrose 有自己的语法，初次使用需要花时间熟悉。不过一旦掌握，插图就能像程序一样被复用、修改和版本控制——这比反复手动调整插图要可靠得多。