Read · 1 min
It's a well known fact that every positive rational can be written as the sum of distinct Egyptian Fractions, or reciprocals of integers. One way is to apply a greedy algorithm. Start with . Then at the th step, if the remaining number is at least , subtract to get . Note that when , or when the fraction is less than . But eventually, because the harmonic series diverges, we'll never reach a state where two unit fractions are subtracted in a row, beucase if was the last non subtracted unit fraction before them we have , a contradiction. So eventually whenever we're subtracting a from , it will be because and we did not subtract the . So the numerator will decrease and eventually become .
Another way, which you can figure out yourself, involves creating a binary tree. Start with, say, as a root (any number at least will do). Below each number, write to the left and to the right. You can prove that the numbers in each row are distinct (try it yourself) and have sum of reciprocals . From here it shouldn't be too hard to see that every positive half-integer, and thus every positive integer and every positive rational, can be written as the sum of reciprocals of distinct positive integers.