Find the total number of ordered pairs of integers ( a , b ) satisfying
a 2 ( b 2 + 1 ) + b 2 ( a 2 + 1 6 ) = 4 4 8 .
This problem is shared by Arshdeep D , who came across it in Mathematical Mayham.
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.
Some further motivation came from the fact that the given expression almost invited factorization.Dr.Simon's favorite factoring trick works like this:
a b + b c + a d + d c = b ( a + c ) + d ( a + c ) = ( a + c ) ( b + d )
So normally,when given something of the form a b + b c + a d ,I try to add something [in this case d c ] in order to factor it.
Don't forget 57 as an odd factor! Other than that, this exactly is how I did it.
Log in to reply
Yes,I forgot that while writing up this solution.Thank you for bringing this to my attention.
I found that − 2 7 ≤ b ≤ 2 7 , because the LHS is minimized for constant a when a = 0 , and then you get that b 2 = 2 8 .
Then, I did casework for b ∈ { 1 , 2 , 3 , 4 , 5 } since b is an integer. For each working value of b , I added 4 because of the negative/positive values of a and b .
Factoring is more difficult, but it is definitely more elegant :)
by simple observation, v can tell tat value of 'b' cannot exceed 5, as it exceeds 448(6 6 16)...So i tried puttin 5,4,3,2,1,in the above equation for 'b'...Dis shows tat v can solve w/o knowin any formula...I don know any formula coz i am a doctor...
Also,when I say "see the 1 missing....." ,I mean that if a 1 can be added to 2 b 2 inside the bracket in 8 ( 2 b 2 ) ,we will get a nice factorizable polynomial.
a 2 ( 2 b 2 + 1 ) + 8 ( 2 b 2 + 1 ) = ( a 2 + 8 ) ( 2 b 2 + 1 )
This solution's quite nicely written. Voted up!
Which class are you in?
Log in to reply
Class 9 next year(i.e. after a few days).Btw,do you know when BdMO registration will start this year?
Log in to reply
I'm sorry but I can't help you there. You should contact someone at the prothom alo office. From what I know, due to unavoidable reasons, it hasn't been possible to send the registration forms to different districts yet .
I was dumb enough to do casework over a,b even or odd, THEN SFFT. I see that just using SFFT straightforward does the trick.
Wow, nice solution! And thanks for the motivation :) Voted up!
Log in to reply
Thank you!For more on the factoring trick,see here
good
a 2 ( b 2 + 1 ) + b 2 ( a 2 + 1 6 ) = 4 4 8 ⇒ 2 b 2 = ( a 2 + 8 ) 4 4 8 − a 2 = − a 2 + 8 a 2 − 4 4 8 = − a 2 + 8 ( a 2 + 8 ) − 4 4 8 − 8 = − 1 + a 2 + 8 4 5 6 = a 2 + 8 2 3 ∗ 3 ∗ 1 9 − 1 . a 2 + 8 2 3 ∗ 3 ∗ 1 9 must be an odd number , so 8 must cancel with the denominator . ⇒ a 2 + 8 ∈ M 8 (the multiples of 8) ⇒ a 2 ∈ M 8 ⇒ a 2 ∈ { 0 , 1 6 , 5 6 , 1 4 4 , 2 5 6 , 4 0 0 } But also a 2 + 8 ≤ 4 5 6 / 2 ⇒ a 2 ∈ { 0 , 1 6 , 5 6 , 1 4 4 } . Checking these values we see that only 16 and 144 work out . ⇒
a = ± 4 ∣ b = ± 3 or a = ± 1 2 ∣ b = ± 1 ⇒ There are 8 ordered pairs.
A nice Diophantine Equation ! Well put solution !
(a^2) (b^2 + 1) + (b^2) (a^2 + 16) = 448 => a^2 + 2 (a^2) (b^2) + 16 (b^2) = 448 => 2 (a^2) (b^2) + 16 (b^2) + a^2 + 8 = 448 + 8 = 456 => 2 (b^2) (a^2 + 8) + (a^2 + 8) = 456 => {2 (b^2) + 1} (a^2 + 8) = (2^3) 3 19
Since a & b are integers both {2 (b^2) + 1} and (a^2 + 8) are positive integers with {2 (b^2) + 1} being odd. Therfore, {2*(b^2) + 1} must be equal to one of the odd factors of 456 viz. 1, 3, 19, and 57.
2 (b^2) + 1 = 1 => b^2 = 0 => b = 0; a^2 = 448 => a = +/- 8 sqrt(7) --> No Solution 2 (b^2) + 1 = 3 => b^2 = 1 => b = +1, -1; a^2 = 144 => a = +12, -12 --> 2 2 = 4 ordered pair of solutions 2 (b^2) + 1 = 19 => b^2 = 9 => b = +3, -3; a^2 = 16 => a = +4, -4 --> 2 2 = 4 ordered pair of solutions 2 (b^2) + 1 = 57 => b^2 = 28 => b = +/- 4 sqrt(7) --> No Solution
Therefore, there are 8 solutions. (a, b) = {(-12, -1), (-12, 1), (12, -1), (12, 1), (-4, -3), (-4, 3), (4, -3), (4, 3)}
2 a 2 b 2 + a 2 + 1 6 b 2 = 4 4 8 ( a 2 + 8 ) ( 2 b 2 + 1 ) = 4 5 6
Since a and b are integers, so are the factors on the RHS. Also note that 2 b 2 + 1 is odd, so when we examine the factors of 4 5 6 = 2 3 × 3 × 1 9 we only have to check the cases when 2 b 2 + 1 is 3 , 1 9 or 3 × 1 9 . It follows the solutions over the positive integers are ( a , b ) = ( 1 2 , 1 ) , ( 4 , 3 ) . Considering negative integers we get 8 solutions in total
Rewrite the LHS, we have 2a^2 b^2 + a^2 + 16 b^2 = 448. Adding 8 to the both sides and manipulating the expression, we get (2b^2 + 1)(a^2 +8) = 456.
Note that 456 = 8 x 3 x 19 Since 2b^2 + 1 is non negative odd, its only possible value are 1, 3, 19, 57. Checking case by case whether a is an integer or not, the only possible pairs (a^2, b^2) are (1, 144) and (9, 16). This yields 8 cases of solutions.
By solving the given equation we find that a^2 = (16(28-b^2))÷(2b^2+1). As L.H.S is positive R.H.S should also be positive this implies that b^2<28 or b<=5. By putting values of b^2 which are 1,4,9,16 and 25. At b^2 equal to 1 and 9 a is a^2 is a integer(144,16 respectively) so a = 12,-12;4,-4 and b = 1,-1;3,-3. With these values of a and b we can make 8 ordered pairs.
a^2(b^2+1)+b^2(a^2+16)=448 => 2(ab)^2+a^2+16b^2=448 => 2l a^2 , Let be a=2c => 2(cb)^2+c^2+4b^2 = 112 => 2l c^2 => c=2d => 2(db)^2 +d^2 + b^2 = 28 => there are 2 solutions in positive (1,3) and (3,1) when a=12d (a,b)= (4,3) , (12,1) , (-4,3) (4, -3), (-4,-3), (-12,1), (12,-1), (-12,-1).
a=4d, sorry.
if (a,b) then (-a,-b),(a,-b),(-a,b) are solutions too,so we can assume a,b>=0
a^2(b^2+1)+b^2(a^2+16)=448
a^2(2b^2+1)=16(28-b²)
so because 2b^2+1 is odd
a^2 must br divided by 16,i.e. a must be divided by 4
putting a=0 b=2√7 isn't integer
a^2=16 : 2b²+1=28-b², i.e b^2=9, .i.e. , b=3
so there are 4 solutions (4,3) ,(4,-3),(-4,3),(-4,-3)
2a^2b^2<448 put b=1 ,so a^2<224,. i.e a<=12,so just to check a=8 and a=12
a=8 : 4(2b^2+1)=28-b^2, i.e. 9b^2=24, i.e .b=2√2/√3 or b=-2√2/√3 so this isn't integer
a=12: 9(2b^2+1)=28-b^2, i.e. 19b^2=19, i.e b=1 or b=-1
so there are 4 more solutions (12,1) ,(12,-1),(-12,1),(-12,-1)
So there are 8 solutions (4,3) ,(4,-3),(-4,3),(-4,-3),(12,1) ,(12,-1),(-12,1),(-12,-1)
A Diophantine equation like this one can be solved with relative ease if it is in factored form. So to begin, we will try to rewrite the equation in this way.
Expand: a 2 b 2 + a 2 + a 2 b 2 + 1 6 b 2 = 4 4 8
Combine like terms and rearrange the LHS: 2 a 2 b 2 + 1 6 b 2 + a 2 = 4 4 8
Now, Simon's Favorite Factoring Trick can be used: 2 b 2 ( a 2 + 8 ) + ( a 2 + 8 ) = 4 4 8 + 8
Simplify: ( 2 b 2 + 1 ) ( a 2 + 8 ) = 4 5 6 which is the factored form we want.
(If you don't know/understand Simon's Favorite Factoring Trick, do a quick web search for it. It is extremely useful in problems like this one.)
Define variables m = 2 b 2 + 1 and n = a 2 + 8 , where m n = 4 5 6 , and ( m , n ) ∈ Z + . Because 2 b 2 is even, m must be a positive odd integer. Taking the prime factorization of 456, we find only four m , n pairs where m is odd: ( 1 , 4 5 6 ) , ( 3 , 1 5 2 ) , ( 1 9 , 2 4 ) , and ( 5 7 , 8 ) . Now, we can use these pairs to find their analogous a , b pairs which solve the equation.
( m , n ) = ( 1 , 4 5 6 ) : a = ± 4 4 8 . There is no such integer a . Hence, there are 0 possible pairs.
( m , n ) = ( 3 , 1 5 2 ) : b = ± 1 and a = ± 1 2 . Hence there are 4 possible pairs.
( m , n ) = ( 1 9 , 2 4 ) : b = ± 3 and a = ± 4 . Hence there are 4 possible pairs.
( m , n ) = ( 5 7 , 8 ) : b = ± 2 8 . There is no such integer b . Hence, there are 0 possible pairs.
Adding our results, we calculate a final answer of 0 + 4 + 4 + 0 = 8 .
max value of a is 21(when b=0)
max value of b is 5 (when a=0)
checking for all values of b
(12,1) & (4,3) satisfy the above eq.
so 8 ordered pairs are possible.(4 for each)
Notation: LHS is the Left Hand Side of the equation, and RHS is the Right Hand Side of the equation.
We can rewrite the equation as b 2 ( 2 a 2 + 1 6 ) = 4 4 8 − a 2 The term 4 4 8 − a 2 must be greater than or equal its factors, so:
( 4 4 8 − a 2 ) > = ( 2 a 2 + 1 6 ) , thus 3 a 2 < = 4 3 2 and then a 2 < = 1 4 4 , so ∣ a ∣ < = 1 2 .
Keep in mind that LHS of the new equation is always even (since the term ( 2 a 2 + 1 6 ) is always divisible by 2), and so RHS must be as well. If ∣ a ∣ were to be odd, then a 2 would also be odd, and 4 4 8 − a 2 would be odd. Thus, ∣ a ∣ must be even.
a = 0 yields b 2 ∗ 1 6 = 4 4 8 , or b 2 = 2 8 . Has no solution over the integers, since 28 is not a perfect square.
∣ a ∣ = 2 yields b 2 ∗ 2 4 = 4 4 4 , or 2 b 2 = 3 7 . LHS is even, RHS is odd, so this equation has no solution over the integers.
∣ a ∣ = 4 yields b 2 ∗ 4 8 = 4 3 2 , or b 2 = 9 . Thus, ∣ b ∣ = 3 . We have 4 solutions from this.
∣ a ∣ = 6 yields b 2 ∗ 8 8 = 4 1 2 , or b 2 ∗ 2 2 = 1 0 3 . LHS is even, RHS is odd, so this equation has no solution over the integers.
∣ a ∣ = 8 yields b 2 ∗ 1 4 4 = 3 8 4 . The LHS is a perfect square ( ( 1 2 b ) 2 ) , while 384 is not (since 1 9 2 = 3 6 1 and 2 0 2 = 4 0 0 ). So this equation has no solution over the integers.
∣ a ∣ = 1 0 yields b 2 ∗ 2 1 6 = 3 4 8 , or b 2 ∗ 1 8 = 2 9 . LHS is even, RHS is odd, so this equation has no solution over the integers
∣ a ∣ = 1 2 yields 3 0 4 b 2 = 3 0 4 , so b 2 = 1 , and thus ∣ b ∣ = 1 . We have another set of four solutions coming from this pair.
Our solutions are, then: ( − 1 2 , − 1 ) , ( − 1 2 , 1 ) , ( 1 2 , − 1 ) , ( 1 2 , 1 ) , ( − 4 , − 3 ) , ( − 4 , 3 ) , ( 4 , − 3 ) and ( 4 , 3 ) , giving us a total of 8.
Problem Loading...
Note Loading...
Set Loading...
a 2 ( b 2 + 1 ) + b 2 ( a 2 + 1 6 ) = 4 4 8 ⟹ 2 a 2 b 2 + a 2 + 1 6 b 2 = 4 4 8
At this point,I stopped and thought about it.After some failed attempts at completing the square,I tried the Favorite Factoring Trick and got
a 2 ( 2 b 2 + 1 ) + 8 ( 2 b 2 + 0 ) = 4 4 8
See the 1 missing beside the 2 b 2 ?What if we add an 8 to both sides?We can fully factor it to get
( a 2 + 8 ) ( 2 b 2 + 1 ) = 4 5 6 = 2 3 3 ⋅ 1 9
The second factor must always be odd,The only odd factors of 4 5 6 are 3 , 1 9 , 5 7 ,and 1 . Plugging in the values yields the following solutions:
( 1 2 , 1 ) , ( 1 2 , − 1 ) , ( − 1 2 , − 1 ) , ( − 1 2 , 1 ) , ( 4 , 3 ) , ( 4 , − 3 ) , ( − 4 , 3 ) , ( − 4 , − 3 )
Hence,the answer is 8 .