10^100 is way too high

Find the number of coprime pairs ( a , b ) (a,b) of positive integers subject to 0 < a < b < 1 0 100 , 0< a<b<10^{100}, such that a ( b 2 11 ) a\mid (b^2-11) and b ( a 2 11 ) . b\mid (a^2-11).


The answer is 582.

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.

1 solution

Sean Ty
Sep 27, 2014

For people who don't know this, it's called Vieta Root Jumping/Root Flipping . I learned it from the second worked example. Which is similar to this problem. (Actually, this problem is very familiar.)

First note that if a b 2 11 a\mid b^{2}-11 and b a 2 11 b\mid a^{2}-11 , then a b a 2 + b 2 11 ab\mid a^{2}+b^{2}-11 . Then let a 2 + b 2 11 a b = k \dfrac{a^2+b^2-11}{ab}=k , for some positive integer k k .

a 2 + b 2 11 = k a b b 2 k a b + ( a 2 11 ) = 0 \implies a^2+b^2-11=kab \\ \implies b^2-kab+(a^2-11)=0

So b b is a root of the equation x 2 k a x + ( a 2 11 ) = 0. x^2-kax+(a^2-11)=0.

By Vieta's Formulas, the other root is r = ( k a b ) = a 2 11 b r=(ka-b)=\dfrac{a^2-11}{b} . We know that r r should be an integer since b + r = k a b+r=ka . In which b b and k a ka are integers.

If a 2 11 > 0 a^2-11>0 , we have a 2 < a b a^2<ab or a < b a<b and 0 < r < a 0<r<a which follows the conditions. So the solutions r r and a a here is the same as the solutions a a and b b . In which they yield the same value of k k .

Do what we did earlier again and again until we get a solution ( m , n ) (m,n) such that m 2 11 < 0 m^2-11<0 , we have m = 1 , 2 , 3 m=1,2,3 .

Case 1: m = 1 m=1

We have n 2 k n = 10 n^2-kn=10 which yields to the solutions ( n , k ) = ( 2 , 3 ) , ( 5 , 3 ) , ( 10 , 9 ) (n,k)=(2,-3),(5,3),(10,9) . In which to the original equation, corresponds to ( a , b ) = ( 1 , 2 ) , ( 1 , 5 ) , ( 1 , 10 ) (a,b)=(1,2),(1,5),(1,10) .

The pairs ( 1 , 5 ) (1,5) and ( 1 , 10 ) (1,10) have their own recursive sequence of pairs that will satisfy the equation. The pair ( 1 , 5 ) (1,5) will give rise to the sequence ( a i , a i + 1 ) (a_i,a_{i+1}) with a 0 = 1 , a 1 = 5 a_0=1, a_1=5 , and the recursion a i + 1 = 3 a i a i 1 a_{i+1}=3a_i-a_{i-1} for all i 2 i\geq2 . Similarly, the pair ( 1 , 10 ) (1,10) will give rise to the sequence ( b i , b i + 1 ) (b_i,b_{i+1}) with b 0 = 1 , b 1 = 10 b_0=1, b_1=10 , and the recursion b i + 1 = 9 b i b i 1 b_{i+1}=9b_i-b_{i-1} for all i 2 i\geq2 .

Case 2: m = 2 m=2

We have n ( n 2 k ) = 7 n(n-2k)=7 which will give rise to the solution ( n , k ) = ( 7 , 3 ) (n,k)=(7,3) . In which will correspond to ( a , b ) = ( 2 , 7 ) (a,b)=(2,7) . Similar to our first case, this pair will also give rise to a sequence ( c i , c i + 1 ) (c_i,c_{i+1}) with c 0 = 2 , c 1 = 7 c_0=2, c_1=7 and the recursion c i + 1 = 3 c i c i 1 c_{i+1}=3c_i-c_{i-1} for all i 2 i\geq2 .

Case 3: m = 3 m=3

We have n ( n 3 k ) = 2 n(n-3k)=2 . But wait, n n should be greater than m m , a contradiction. So there are no solutions if m = 3 m=3 .

Solving this took me quite a long time. Plus it would be very long and it would be more understandable if you would refer to this instead.

Summing all solutions, we have 1 + 238 + 238 + 105 = 582 1+238+238+105=\boxed{582} .

[Edit] Actually, I first typed in 582. And said I was wrong. So I tried a + 1 +1 (in case I miscounted something) and got it right. [Edit 2] Oops, so I was right after all

What does "|" mean? I couldn't do the question because I didn't understand. (Although from your solution it looks like it means "is divisible by". Is it?

Srujan Gupta - 6 years, 8 months ago

Log in to reply

that means the value before it is a factor of the value after it i suppose

Gary Lee - 6 years, 8 months ago

It means divides

Sean Ty - 6 years, 8 months ago

Isn't this the same problem as "11 is not a typo"?

Bogdan Simeonov - 6 years, 8 months ago

Log in to reply

I think so. In that problem, I got it wrong. Now I know how to solve such a problem. As they say, you learn from your mistakes!

Sean Ty - 6 years, 8 months ago

wonderful sum.beautiful solution....

Soumak Bhattacharjee - 6 years, 8 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...