These Solutions Look Cyclically Familiar

If A B + C D + E F = 99 \overline{AB} + \overline{CD} + \overline{EF} = 99 and A B C + D E F = 999 \overline{ABC} + \overline{DEF} = 999 , where each letter A A through F F represents a distinct non-zero digit, then find the greatest common factor of all possible values of A B C D E F \overline{ABCDEF} .


The answer is 10989.

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.

2 solutions

Mark Hennings
Dec 18, 2020

For any possible solution, we have A B C D E F = 1000 A B C + D E F = 999 ( 1 + A B C ) = 3 3 × 37 ( A B C + 1 ) = 10000 A B + 100 C D + E F = 9999 A B + 99 C D + 99 = 99 ( 101 A B + C D + 1 ) = 3 2 × 11 ( 101 A B + C D + 1 ) \begin{aligned} \overline{ABCDEF} & = \; 1000\overline{ABC} + \overline{DEF} \; = \; 999\big(1 + \overline{ABC}\big) \; = \; 3^3 \times 37 \big(\overline{ABC} + 1\big) \\ & = \; 10000\overline{AB} + 100\overline{CD} + \overline{EF} \; =\; 9999\overline{AB} + 99\overline{CD} + 99 \; = \; 99\big(101\overline{AB} + \overline{CD} + 1\big) \; =\; 3^2 \times 11\big(101\overline{AB} + \overline{CD} + 1\big) \end{aligned} and hence 3 3 × 11 × 37 = 10989 3^3 \times 11 \times 37 = 10989 divides A B C D E F \overline{ABCDEF} . Since two particular solutions are 142857 = 13 × 10989 241758 = 22 × 10989 142857 \; = \; 13 \times 10989 \hspace{2cm} 241758 \; =\; 22 \times 10989 we deduce that the greatest common divisor of all solutions is 10989 \boxed{10989} .

In fact, there are 12 12 solutions in total, all with the property that A + D = B + E = C + F = 9 A+D = B+E = C+F = 9 . This means that, whenever A B C D E F \overline{ABCDEF} is a solution, so is C B A F E D \overline{CBAFED} .

Great solution! Since 999999 10989 = 91 = 7 13 \frac{999999}{10989} = 91 = 7 \cdot 13 , the different solutions for A B C D E F \overline{ABCDEF} correspond to different decimal periods for denominators 7 7 , 13 13 , and 91 91 , which is why the solutions should "look cyclically familiar". For example, 142857 142857 is the period of 1 7 \frac{1}{7} , and 241758 241758 is the period of 22 91 \frac{22}{91} . This question was inspired by Midy's Theorem .

David Vreken - 5 months, 3 weeks ago
Alexander Shannon
Dec 19, 2020

A case, where ( B , D , F ) (B,D,F) and ( A , C , E ) (A,C,E) both add up to 9 9 (satisfying the first condition), won't ever satisfy the second condition since the possible A B C , D E F \overline{ABC},\overline{DEF} won't be large enough to add up to 999 999 .

So we should look for cases where ( B , D , F ) (B,D,F) add up to 19 19 and ( A , C , E ) (A,C,E) add up to 8 8 . ( B , D , F ) = ( 4 , 7 , 8 ) (B,D,F)=(4,7,8) and ( A , C , E ) = ( 2 , 1 , 5 ) (A,C,E)=(2,1,5) is a solution that satisfies both conditions. The corresponding integer 241758 241758 can be written as 2 × 3 3 × 1 1 2 × 37 2\times 3^3\times 11^2 \times 37 . Another solution is 582417 = 3 3 × 11 × 37 × 53 582417=3^3\times 11 \times 37 \times 53 . Trying other possibilities hint that 3 3 × 11 × 37 3^3\times 11 \times 37 exist in all possible solutions. In order to prove the hypothesis, we should notice the following

1- 1000 1 1000\equiv 1 when the modulo is 27 , 37 27,37 . So A B C D E F \overline{ABCDEF} can be written as A B C + A B C 999 0 m o d 27 , 37 \overline{ABC}+\overline{ABC} \equiv 999 \equiv 0 \ mod \ 27\ ,\ 37

2- the alternating sum of digits of A B C D E F \overline{ABCDEF} is 19 8 = 11 19-8=11 , meaning A B C D E F \overline{ABCDEF} is divisible by 11 11

Therefore, 27 , 37 , 11 27,37,11 exist in all potential solutions (satisfying the two mentioned equations)

But why no more than 27 × 11 × 37 27 \times 11 \times 37 ?

Mark Hennings - 5 months, 3 weeks ago

because the two instances 582417 = 3 3 × 11 × 37 × 53 582417=3^3\times 11\times 37\times 53 and 241758 = 2 × 3 3 × 1 1 2 × 37 241758=2 \times 3^3\times 11^2 \times 37 , mentioned in my solution, have the GCD 27 × 11 × 37 27 \times 11 \times 37 . So, the GCD of the entire solution space should be a divisor of 27 × 11 × 37 27 \times 11 \times 37

Alexander Shannon - 5 months, 3 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...