straightedge-and-compass

在固定尺规模型下研究最少作图步数：提供正十七边形 17E 与正257边形 69E 构造的精确证书、SageMath 验证、搜索记录和 Manim 动画。

A constructive N-series acceleration law for polygonal approximation of π.

Euclid's Elements as software that runs: every proposition draws its own figure, checks its own conclusion in exact arithmetic, and reports what it depended on.

Description: A straightedge-and-compass constructible cubic error cascade for approximate angle trisection.