尺规只有两条规则：过两点画直线，以一点为心画圆。钥匙是把画图动作翻译成算术。直线交直线解一次方程，圆交直线或圆解二次方程——每一步新交点的坐标，最多是已有的数加减乘除再开一次平方根。尺规是一台只会开平方的机器。
于是可作图的数被关进一座塔：从有理数起步，每步只能把「维度」翻一倍，可达层级永远是 $1,2,4,8,\ldots$；而倍立方要的 $\sqrt[3]{2}$ 维度是 3。不是画法不够巧妙，是 3 永远挤不进 2 的幂里。
$\mathbb{Q}(\alpha)$ 是把 $\alpha$ 添进有理数后得到的数系；方括号是它作为 $\mathbb{Q}$ 上向量空间的维数，即「描述 $\alpha$ 要几个独立的有理坐标」。$\sqrt[3]{2}$ 的极小多项式 $x^3-2$ 不可约，维数 3，出局；三等分 $60^\circ$ 即作 $\cos 20^\circ$，它满足不可约的 $8x^3-6x-1=0$，同样是 3；化圆为方要作 $\sqrt{\pi}$，而 Lindemann 1882 年证明 $\pi$ 超越，连有限维都不是。
两千年里人们在几何里找答案，答案却在代数里：Wantzel 1837 年的证明不研究任何一种画法，而是给工具本身建了一个模型，再指出目标不在它的值域内。这就是不可能性证明的通用配方——找一个所有合法操作都保持的不变量，再证明目标不具备它。
同一套理论也给出惊人的正面结果：正 $n$ 边形可尺规作图 $\iff$ $n$ 是 2 的幂乘上若干相异费马素数（高斯 19 岁据此作出正十七边形）。这条线上的分圆环 $\mathbb{Z}[x]/(x^n+1)$ 今天正是 Ring-LWE 格密码的运算舞台（Day 32）。而「刻画一台机器能生成什么」，正是可计算性（Day 24）与复杂性归约（Day 36）的原型。
二次方程的求根公式人人会背，三次、四次也在 16 世纪被 Cardano 一派攻下；五次卡了两百多年，人们以为只是更难。Abel 与 Galois 的回答是：不是难，是不存在。
根式公式无非是「加减乘除 + 反复开方」。而方程的根之间有一种对称——任意交换它们，系数不变（系数本就是根的对称函数），这些置换构成一个群。每开一次方，就打破一点对称性，把群剥掉一层；根式可解，就是能一层层剥到什么都不剩，且每层都「温和」（交换）。而 $S_5$ 里藏着 $A_5$：非交换，又不含真正规子群，像一块剥不开的原子——链在这里断了。
左边是夹在系数域 $F$ 与根所在域 $K$ 之间的所有数系，右边是「保持 $F$ 每个数不动」的那些对称（自同构）所成群的子群。两边一一对应且反序：域越大，能保持它的对称越少。核心定理是——方程根式可解 $\iff$ 其 Galois 群可解，即存在一条子群链，相邻两层的商群都交换；而 $n\ge 5$ 时 $S_n$ 不可解。
这是数学史上第一次，一个问题被整体搬到另一个范畴解决：「能不能解出来」被翻译成「这个群长什么样」——而后者可以有限地检查。这套手法后来成了现代数学的主发动机。附带的美感是：$A_5$ 的单性既杀死了五次求根公式，又正是正二十面体对称群的来源——同一块「剥不开」，一边是禁令，一边是柏拉图立体。
有限域上的 Galois 理论是 Reed-Solomon 纠错码（Day 33）与 AES 中 $\mathrm{GF}(2^8)$ 运算的地基。微分 Galois 理论支撑 Risch 算法：SymPy 说 $\int e^{-x^2}dx$「积不出来」不是搜索超时，而是已证明初等原函数不存在。Galois 表示则是 Wiles 证明费马大定理的语言。
欧几里得的前四条公设朴素得像常识，第五条却啰嗦得像定理：过直线外一点恰有一条平行线。两千年里无数人想把它从前四条推出来。Saccheri（1733）假设平行线不唯一，指望撞出矛盾，却只撞出「奇怪」——三角形内角和小于 $180^\circ$。他宣布这些「与直线的本性相悖」，其实已经在写双曲几何的定理了。
突破不是更用力地证明，而是换了问题：造一个世界。庞加莱圆盘把整个双曲平面塞进一个圆内，「直线」是垂直于边界的圆弧，越靠边缘尺子缩得越短，边界永远走不到。那里过一点可画出无穷多条平行线，而前四条公设全部成立。第五条推不出来——因为存在一个世界，前四条真而它假。
命题 $P$ 独立于公理集 $A$：存在 $A$ 的一个模型使 $P$ 真，另一个使 $P$ 假。「模型」即一套具体解释，让公理全部成为真陈述——庞加莱圆盘正是把「点」与「线」重新解释了一遍。更精细的是相对一致性：该模型由欧氏平面的点与圆造出，故双曲几何若矛盾，矛盾可逐字翻译回欧氏几何。一致性无法凭空建立，只能相对转嫁。
这是数学「元层次」的诞生：此前公理是关于空间的真理，此后成为一组规则，可以有很多模型。「证不出来」第一次从失败变成一种可被证明的性质。这条路径直通希尔伯特纲领、哥德尔不完备定理（Day 12）与 Cohen 的力迫法（Day 11）；而这个玩具世界，六十年后成了广义相对论的语言（Day 10）。
双曲空间的体积随半径指数增长，恰好匹配树的分支增长，因此双曲嵌入能用远低的维数保住层级结构，知识图谱的表示学习都在用。工程一侧，形式验证问「这条性质是否被规格蕴含」，SMT 求解器的回答正是找一个反模型——与两千年前造圆盘完全同构。找不到证明时，就去构造一个反例世界。
拨一下吉他弦，听一秒你能说出音高；只听千分之一秒，只听到一声「啪」。越短的声音，频谱越宽。这不是仪器的不足——频率的定义就是「每秒重复多少次」，不给它时间重复，它就没有确定的频率。
把信号在时间轴压窄 $a$ 倍，傅里叶变换必然在频率轴展宽 $a$ 倍，两边宽度的乘积有一个压不破的下界。海森堡的测不准原理正是它的物理实例：位置与动量的波函数恰是一对傅里叶变换。物理的限制，是数学结构的影子。
$f$ 是信号，$\hat f$ 是它的频谱；两个积分分别衡量能量在时间轴与频率轴上的分散程度（以能量为权重的方差），$\|f\|_2$ 是总能量。不等式说两个方差不能同时小，而右端是与 $f$ 无关的常数——这道墙对一切信号一视同仁。等号仅在 $f$ 为高斯时成立，这正是 Gabor 变换爱用高斯窗的原因。
在这四种不可能里，它最「结构性」：不来自逻辑，不来自工具，而来自伸缩对称本身——$f(ax)$ 的频谱是 $\hat f(\xi/a)/|a|$，压缩与展宽被绑在同一变换的两端，下界只是这个绑定的定量化。「测不准」由此从物理的神秘感中被剥离，还原成一条关于函数的不等式：粒子测不准与听不清音高，是同一定理的两次现身。
短时傅里叶与小波（Day 40）的设计张力全在这里：窗开得短则时间定位准、频率糊，反之亦然，音频修音软件的「金属味」正是窗长取舍的副作用。雷达的距离分辨率与多普勒分辨率受同一模糊函数约束，无法同时最优。一个常见误解：压缩感知靠稀疏先验绕开的是 Nyquist 采样率，不是这条不等式——它无法被任何先验绕过。