这篇文章讲述了计算机科学家高德纳在设计印刷字体时遇到的挑战，特别是字母"S"的设计难题。他花了三天三夜研究，最终通过数学方法解决了这个问题，并开发了METAFONT系统来辅助字体设计。文章展示了现代印刷技术已从传统金属活字转向基于离散数学和计算机科学的新方法。

字母S的数学设计探索

引言

在尝试为现代印刷设备设计字母时，我发现25个字母相对容易处理，但字母“S”却成了难题。经过三天三夜的思考，我最终通过数学方法定义了“S”的形状。这一过程不仅涉及有趣的数学问题，还展示了如何用META-FONT语言实现设计。

历史背景

早期的字母设计依赖于几何构造。例如，Francesco Torniello在1517年提出了一种基于圆规和直尺的“S”构造方法（见图1）。他的方法虽然不够精确，但为现代设计提供了灵感。

数学方法

通过解析几何，我将Torniello的描述转化为坐标和方程，定义了14个关键点来构造“S”的边界。例如：
- 点1：(4.5, 9)
- 点2：通过圆心(4.5, 5.5)和半径3.5的圆弧确定
- 点5：通过直线与圆弧的切点计算得出

这一过程展示了如何用数学语言精确描述曲线。

META-FONT实现

META-FONT语言通过定义点的坐标和方向向量，可以自动生成曲线。例如：
draw 1{yl-5.5u,4.5u-xl}..2{y2-5.5u,4.5u-x2}
表示从点1到点2的曲线，方向由向量控制。图3和图4展示了程序生成的“S”及其填充效果。

椭圆与直线结合

为了设计更通用的“S”，我提出了一个问题：如何构造一个椭圆，使其顶部在(xt, yt)，左侧在(xz, yz)，并与斜率为σ的直线相切于(xc, yc)？通过解方程组，得到了简洁的解析解（公式7），确保了曲线的平滑性。

避免曲线交叉

在放大设计时，发现椭圆可能交叉（图11）。通过分析，得出避免交叉的条件（公式8）：
[ \frac{Yt - Yl^{(1)}}{(Xt - Xl^{(1)})^2} > \frac{Yt - Yl^{(2)}}{(Xt - Xl^{(2)})^2} ]
这一条件确保了设计的稳定性。

应用与扩展

该方法不仅适用于“S”，还可用于其他字符（图13）。通过调整参数（如斜率、宽度），可以生成多种风格的字母（图9、图10）。

结语

数学为字体设计提供了精确的工具，而META-FONT语言则实现了这一过程的自动化。这一探索不仅解决了实际问题，还提出了新的数学问题，展示了数学与设计的交叉魅力。

附录
提供了META-FONT代码示例，展示了如何通过参数化设计“S”字符。

参考文献
包括数学排版、字体设计史及计算机代数系统等相关研究。

（注：本文为Donald E. Knuth的《The Letter S》主要内容提炼，保留了核心数学方法和设计思路，删减了部分技术细节和历史背景。）

总结评论内容：

1. 对Knuth工作的幽默评价

• "我花了30分钟阅读数学版的'画个S，再画个更不同的S'"(I just spent 30 minutes reading...)
• "Knuth真是个宝藏"(Knuth is just a treasure)

2. 关于字体设计难度的讨论

• 书中详细描述了设计困难，包括Knuth妻子建议"为什么不把它们做成S形"(Why don't you make them S shaped?)
• "不清楚为什么S比其他字母更难"(It's not clear to me why the S is more difficult)

3. 技术实现层面的分析

• 采用轮廓建模是出于理想方法耗时太长(the expedient approach...due to the difficulty)
• 缺乏自动计算贝塞尔曲线并集的算法(no available algorithm...for arbitrary Bézier curves)

4. 相关资源推荐

• 推荐了Knuth的《计算机与排版》五卷集(five volume set Computers and Typesetting)
• 分享了Étienne Ghys的数学会议讲座(a lecture...from Joint Mathematics Meeting)

5. 个人使用经历

• "1988年写第三篇关于奇怪吸引子的论文时就开始用TeX"(using TeX...in 1988)
• "最近在读Metafont，遇到这篇文章很惊喜"(reading about Metafont...lovely to come across)

6. 对论文插图的质疑

• "图9明显有问题，左右两组字形像素级相同"(Fig 9...pixel by pixel identical)