Problem:
Bus numbers have 6 digits, and leading zeros are allowed. A number is considered lucky if the sum of the first three digits equals the sum of the last three digits. Prove that the sum of all lucky numbers is divisible by 13.
Problem:
Bus numbers have 6 digits, and leading zeros are allowed. A number is considered lucky if the sum of the first three digits equals the sum of the last three digits. Prove that the sum of all lucky numbers is divisible by 13.
Solution:
The total is made up of numbers of the form , and pairs of numbers , . The former is and the sum of the pair is . So the total is divisible by and hence by .