引言
图灵新知丛书《你不可不知的50个数学知识》第13页谈到埃及分数:
这段话中的“单分数”,规范的术语是“单位分数(Unit fraction)”,是指分子是 1,分母是正整数的分数。而埃及分数是相异单位分数的和,任何正有理数都能表达成这一形式。下面我们来证明这一点。
斐波那契法(即贪心算法)
设 a,b 为互素的正整数,且 a < b 。分数 a/b 可用以下步骤分解成若干相异单位分数之和:
步骤一:若 a 等于 1,则结束。否则,用 b 除以 a,得到商 q 及余数 r ,此时 r > 0 。则:
(注:
是不大于
的最大单位分数,而
是剩余分数。)
步骤二:仿照步骤一求不大于
的最大单位分数及其对应的剩余分数。重复此步骤,直到剩余分数成为单位分数为止。由于剩余分数的分子较原先的小,所以经过有限步骤之后,最终的剩余分数的分子必定是 1 。
举例说明: