Difference between revisions of "1977 Canadian MO Problems/Problem 1"
(→Solution 2) |
(Tag: Undo) |
||
Line 8: | Line 8: | ||
In order for both <math>a</math> and <math>b</math> to be integers, the [[discriminant]] must be a [[perfect square]]. However, since <math>b^2< b^2+b+1 <(b+1)^2,</math> the quantity <math>b^2+b+1</math> cannot be a perfect square when <math>b</math> is an integer. Hence, when <math>b</math> is a positive integer, <math>a</math> cannot be. | In order for both <math>a</math> and <math>b</math> to be integers, the [[discriminant]] must be a [[perfect square]]. However, since <math>b^2< b^2+b+1 <(b+1)^2,</math> the quantity <math>b^2+b+1</math> cannot be a perfect square when <math>b</math> is an integer. Hence, when <math>b</math> is a positive integer, <math>a</math> cannot be. | ||
+ | |||
+ | ==Solution 2== | ||
+ | Suppose there exist positive integral <math>a</math> and <math>b</math> such that <math>4f(a) = f(b)</math>. | ||
+ | |||
+ | Thus, <math>4a^2 + 4a = b^2 + b</math>, or <math>(2a+1)^2 = b^2 + b + 1</math>. Then in order for the original equation to be true, <math>b^{2} + b + 1</math> would have to be a perfect square. Completing the square of <math>b^{2} + b + 1</math> results in <math>(b+1/2)^{2} + 3/4</math>. Thus, <math>b^{2} + b + 1</math> is not a perfect square, and thus there is no <math>b</math> that satisfies <math>4f(a) = f(b)</math>. | ||
==Alternate Solutions?== | ==Alternate Solutions?== |
Revision as of 22:26, 18 January 2023
Problem
If prove that the equation has no solutions in positive integers and
Solution
Directly plugging and into the function, We now have a quadratic in
Applying the quadratic formula,
In order for both and to be integers, the discriminant must be a perfect square. However, since the quantity cannot be a perfect square when is an integer. Hence, when is a positive integer, cannot be.
Solution 2
Suppose there exist positive integral and such that .
Thus, , or . Then in order for the original equation to be true, would have to be a perfect square. Completing the square of results in . Thus, is not a perfect square, and thus there is no that satisfies .
Alternate Solutions?
Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.
See also
1977 Canadian MO (Problems) | ||
Preceded by First question |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • | Followed by Problem 2 |