If A B + C D + E F = 9 9 and A B C + D E F = 9 9 9 , where each letter A through F represents a distinct non-zero digit, then find the greatest common factor of all possible values of A B C D E F .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Great solution! Since 1 0 9 8 9 9 9 9 9 9 9 = 9 1 = 7 ⋅ 1 3 , the different solutions for A B C D E F correspond to different decimal periods for denominators 7 , 1 3 , and 9 1 , which is why the solutions should "look cyclically familiar". For example, 1 4 2 8 5 7 is the period of 7 1 , and 2 4 1 7 5 8 is the period of 9 1 2 2 . This question was inspired by Midy's Theorem .
A case, where ( B , D , F ) and ( A , C , E ) both add up to 9 (satisfying the first condition), won't ever satisfy the second condition since the possible A B C , D E F won't be large enough to add up to 9 9 9 .
So we should look for cases where ( B , D , F ) add up to 1 9 and ( A , C , E ) add up to 8 . ( B , D , F ) = ( 4 , 7 , 8 ) and ( A , C , E ) = ( 2 , 1 , 5 ) is a solution that satisfies both conditions. The corresponding integer 2 4 1 7 5 8 can be written as 2 × 3 3 × 1 1 2 × 3 7 . Another solution is 5 8 2 4 1 7 = 3 3 × 1 1 × 3 7 × 5 3 . Trying other possibilities hint that 3 3 × 1 1 × 3 7 exist in all possible solutions. In order to prove the hypothesis, we should notice the following
1- 1 0 0 0 ≡ 1 when the modulo is 2 7 , 3 7 . So A B C D E F can be written as A B C + A B C ≡ 9 9 9 ≡ 0 m o d 2 7 , 3 7
2- the alternating sum of digits of A B C D E F is 1 9 − 8 = 1 1 , meaning A B C D E F is divisible by 1 1
Therefore, 2 7 , 3 7 , 1 1 exist in all potential solutions (satisfying the two mentioned equations)
But why no more than 2 7 × 1 1 × 3 7 ?
because the two instances 5 8 2 4 1 7 = 3 3 × 1 1 × 3 7 × 5 3 and 2 4 1 7 5 8 = 2 × 3 3 × 1 1 2 × 3 7 , mentioned in my solution, have the GCD 2 7 × 1 1 × 3 7 . So, the GCD of the entire solution space should be a divisor of 2 7 × 1 1 × 3 7
Problem Loading...
Note Loading...
Set Loading...
For any possible solution, we have A B C D E F = 1 0 0 0 A B C + D E F = 9 9 9 ( 1 + A B C ) = 3 3 × 3 7 ( A B C + 1 ) = 1 0 0 0 0 A B + 1 0 0 C D + E F = 9 9 9 9 A B + 9 9 C D + 9 9 = 9 9 ( 1 0 1 A B + C D + 1 ) = 3 2 × 1 1 ( 1 0 1 A B + C D + 1 ) and hence 3 3 × 1 1 × 3 7 = 1 0 9 8 9 divides A B C D E F . Since two particular solutions are 1 4 2 8 5 7 = 1 3 × 1 0 9 8 9 2 4 1 7 5 8 = 2 2 × 1 0 9 8 9 we deduce that the greatest common divisor of all solutions is 1 0 9 8 9 .
In fact, there are 1 2 solutions in total, all with the property that A + D = B + E = C + F = 9 . This means that, whenever A B C D E F is a solution, so is C B A F E D .