Find the sum of all the ordered pairs ( a , b ) of positive integers that satisfy
⎩ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎧ b 2 ∣ a − 7 8 a 2 − 1 4 b − 5 6 a + 2 a b a + b ∣ 2 b 2 − 2 a − b 2 b + 3 1 6 a b + 6 b + 4 b 2 + 2 4 a ∣ b 2
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.
Problem Loading...
Note Loading...
Set Loading...
Notice that
a − 7 8 a 2 − 1 4 b − 5 6 a + 2 a b = a − 7 ( 8 a + 2 b ) ( a − 7 ) = 8 a + 2 b
and
2 b + 3 1 6 a b + 6 b + 4 b 2 + 2 4 a = 2 b + 3 ( 8 a + 2 b ) ( 2 b + 3 ) = 8 a + 2 b
So the system is equivalent to
⎩ ⎪ ⎪ ⎨ ⎪ ⎪ ⎧ b 2 ∣ 8 a + 2 b a + b ∣ 2 b 2 − 2 a − b 8 a + 2 b ∣ b 2
b 2 ∣ 8 a + 2 b ⟹ 8 a + 2 b ≥ b 2 (I)
8 a + 2 b ∣ b 2 ⟹ 8 a + 2 b ≤ b 2 (II)
For both (I) and (II) to be valid, we need b 2 = 8 a + 2 b
Substituting b 2 in the second statement:
a + b ∣ 2 8 a + 2 b − 2 a − b ⟹ a + b ∣ 4 a + b − 2 a − b ⟹ a + b ∣ 2 a
We have a + b 2 a < a 2 a = 2 ⟹ a + b 2 a = 1 ⟹ 2 a = a + b ⟹ a = b
Knowing that a = b , the first statement becomes
a 2 ∣ 1 0 a ⟹ a 2 ≤ 1 0 a (III)
and the third statement becomes
1 0 a ∣ a 2 ⟹ a 2 ≥ 1 0 a (IV)
For both (III) and (IV) to be valid, we need a 2 = 1 0 a ⟹ a = 1 0 = b
The only solution is ( 1 0 , 1 0 ) , so the answer is 1 0 + 1 0 = 2 0