UD5工具箱
核心术语
理解分数约分涉及的核心术语是正确使用工具和掌握约分技巧的基础。以下术语均与本工具的功能密切相关。
分数（Fraction）
分数是表示整体一部分的数学表达式，由分子（位于上方或左侧）和分母（位于下方或右侧）组成，中间以分数线分隔。例如 3/4 中，3 是分子，4 是分母。分数可以表示小于 1 的数（真分数，如 3/4）、大于 1 的数（假分数，如 7/3）或等于 1 的数（如 5/5）。本工具的核心功能就是将任意分数化简为最简形式。
约分（Simplify / Reduce）
约分是指将分数的分子和分母同时除以它们的公因数，直到分子和分母互质（即最大公约数为 1）的过程。约分不改变分数的数值大小，只是将其表达为更简洁的形式。例如，4/6 约分后为 2/3，两者数值相等但后者更简洁。本工具自动完成约分运算，用户无需手动查找公因数。
最大公约数（GCD）
最大公约数（Greatest Common Divisor，简称 GCD）是指能够同时整除两个或多个整数的最大正整数。例如，GCD(4, 6) = 2，因为 2 是能同时整除 4 和 6 的最大整数。GCD 是分数约分的关键数值——将分子和分母同时除以 GCD 即可得到最简分数。本工具在约分结果中会显示 GCD 值，帮助用户理解约分的数学依据。
最简分数（Reduced Fraction）
最简分数是指分子和分母互质（即 GCD = 1）的分数，无法再进一步约分。例如 2/3 是最简分数，因为 GCD(2, 3) = 1；而 4/6 不是最简分数，因为 GCD(4, 6) = 2。判断一个分数是否为最简分数，只需检查其分子和分母的最大公约数是否为 1。本工具的输出结果始终为最简分数形式。
相关数学术语
欧几里得算法（Euclidean Algorithm）
欧几里得算法，又称辗转相除法，是计算两个整数最大公约数的经典算法。其基本原理是：用较大数除以较小数取余数，然后用较小数和余数重复此过程，直到余数为 0，此时的除数即为 GCD。例如计算 GCD(48, 18)：48÷18=2 余 12 → 18÷12=1 余 6 → 12÷6=2 余 0，因此 GCD=6。该算法时间复杂度为 O(log(min(a,b)))，即使处理大数字也极为高效。本工具内部正是采用此算法进行 GCD 计算。
分子（Numerator）
分子是分数中位于分数线上方（或左侧）的数字，表示将整体等分后取出的份数。例如在分数 5/8 中，5 是分子，表示取出了 8 等份中的 5 份。在约分过程中，分子和分母会被同时除以相同的数（GCD），因此分子的符号也会影响分数的正负性。本工具支持正整数和负整数作为分子。
分母（Denominator）
分母是分数中位于分数线下方（或右侧）的数字，表示将整体等分成多少份。例如在分数 5/8 中，8 是分母，表示将整体分成了 8 等份。分母不能为零，因为除以零在数学中是未定义的操作。本工具会自动检测分母是否为零并给出提示，防止产生无意义的计算结果。
假分数（Improper Fraction）
假分数是指分子绝对值大于或等于分母的分数，如 7/3、5/5、100/75 等。假分数的值大于或等于 1。在实际应用中，假分数通常可以转换为带分数形式，例如 7/3 = 2 又 1/3。本工具在约分时会自动识别假分数并同时展示带分数形式，方便用户在不同场景下使用。
带分数（Mixed Number）
带分数是由整数部分和真分数部分组成的分数表示形式，如 2 又 1/3、3 又 2/5 等。带分数在日常生活中比假分数更直观，例如在烹饪中说"2 又 1/3 杯面粉"比"7/3 杯面粉"更容易理解。带分数可以通过除法转换：整数部分 = 分子 ÷ 分母的商，余数作为新分子，分母不变。本工具会自动为假分数生成对应的带分数形式。
互质（Coprime）
互质是指两个整数的最大公约数为 1，即它们没有除 1 以外的公因数。例如 3 和 4 互质，因为 GCD(3, 4) = 1；而 4 和 6 不互质，因为 GCD(4, 6) = 2。当一个分数的分子和分母互质时，该分数就是最简分数。本工具通过计算 GCD 来判断分数是否已经是最简形式。