Ben considers year lucky for a person if is divisible by his/her age (as a whole number of years) on 1st January of that year, e.g. is lucky for someone whose age is or or , but not for someone whose age is . Ben was surprised to discover that both and were lucky for himself and they were also lucky for his daughter Amy (who was born prior to ). Even though Ben's last lucky year before was more than a decade earlier, he remembers that it had also been a lucky year for his father, Chris!
What is the least age difference between Amy and Chris, given that Chris is not yet years old? Your answer should be in years and days e.g. "30 years and 364 days". You may assume that parents are always at least fifteen years older than their children. (Note that and .)
Solution
Let , , and be the ages of Amy, Ben, and Chris as whole numbers on 1st January , so that
Since is a factor of , it must equal one of the following numbers: , , , , , , , , , , , , . Since is also a factor of , we deduce that .
When was the previous lucky year for Ben? Certainly, we need to go no further back than , since that is divisible by . We also need to check that is not divisible by for : is not divisible by , is not divisible by (or even by ), is not divisible by , and is not divisible by (or even by ). can also be ruled out, but we do not need to do this because of the "more than a decade earlier" phrase in the problem.
Thus, Ben's last lucky year was indeed , and is a factor of . Since also
must equal one of , , and . We want to minimise the age between Amy and Chris, so we must pick the least of these, i.e. . Therefore, . Meanwhile, we want to pick as large as possible so that is divisible by , and is divisible by , and . The constraint means that is one of , , , , , , , , , , . Examining these, beginning with the largest and continuing until we find so that is divisible by , we see that must equal .
Thus, . To minimise the age difference, we assume that Chris's birthday is on January, and Amy's is on January. The difference in their ages is then years and day.