规范形式：为什么等价表达还要选一个代表？

二分之一可以写成 1/2、2/4 或 50/100；这些分数数值相同，字符串却不同。规范形式是在一组等价表达中，按明确规则选出一个统一代表，例如把分数约成分子分母互质、分母为正的形式。这样比较时不必反复证明等价：两个表达先各自转换，结果相同即可视为同一类。

它与“规范化”不同。规范化常把同一事实放回权威位置，避免重复保存；规范形式处理的是同一对象的多种表达。它也不是说某种写法更真实，只是让检索、缓存和去重拥有稳定依据。规则若不唯一，或转换改变了原意，所谓规范形式就失去作用。它的价值不是消灭差异，而是把与当前问题无关的表达差异收束起来。