等值分数
děng zhí fēn shù
等值分数是形式不同但表示相同数值或相同整体份额的分数。
Formula
\frac{a}{b} = \frac{an}{bn} \text{ for any nonzero } n
Definition
等值分数看起来不同，但表示相同的数量：如果你把一个三明治切成$2$份，取$1$份，或者切成$4$份，取$2$份，你得到的数量是一样的，所以$1/2$和$2/4$是等值的。形式上，两个分数$a/b$和$c/d$等值当且仅当$ad = bc$（它们的交叉乘积相等），这等价于说它们化简后得到相同的最简分数。这种等价关系是有理数系统的形式基础：等值分数是$\mathbb{Q} = (\mathbb{Z} \times (\mathbb{Z} \setminus \{0\})) / \sim$中同一个等价类的元素，其中$(a, b) \sim (c, d)$当且仅当$ad = bc$，标准代表元（最简形式）用最大公约数来规范化。
Example
$1/2 = 2/4 = 3/6 = 4/8$；你可以通过折纸来验证，对折一次得到的阴影部分是$1/2$，再对折一次得到四等份，阴影部分是$2/4$，两次阴影面积完全相同。要判断$4/6$和$10/15$是否等值，比较交叉乘积：$4 \times 15 = 60$，$6 \times 10 = 60$，所以它们等值（都可化简为$2/3$）。$2/3$的等价类包含$(2,3)$、$(4,6)$、$(-2,-3)$、$(6,9)$、$(100,150)$等等；任意两个代表元$(a,b)$和$(c,d)$都满足交叉相乘检验$ad = bc$，而经最大公约数规范化的代表元是唯一满足$b/\gcd > 0$的数对$(a/\gcd, b/\gcd)$。
Key Insight
你总可以通过将分子和分母同时乘以或除以同一个数来得到一个等值分数，这就像放大同一块比萨饼的切片：切的次数更多，比萨饼的量却相同。等值分数其实只是同一个有理数的不同名字，数$2/3$有无穷多个分数名字（$2/3$、$4/6$、$6/9$、$-2/-3$等等），而最简形式就是那个"官方"代表。这种等价类构造正是环论中局部化的一个实例（$\mathbb{Q}$是$\mathbb{Z}$在$S = \mathbb{Z} \setminus \{0\}$处的局部化），这与构造$p$进有理数、函数域，以及代数几何中的层所使用的技术相同，这使得等值分数成为一种普适代数构造的最简单实例。