Difference between revisions of "1988 IMO Problems/Problem 6"
m (→Solution 2 (Sort of Root Jumping)) |
m (→Video Solutions) |
||
Line 34: | Line 34: | ||
-Benedict T (countmath1) | -Benedict T (countmath1) | ||
− | ==Video | + | ==Video Solution== |
https://www.youtube.com/watch?v=usEQRx4J_ew ~KevinChen_Yay | https://www.youtube.com/watch?v=usEQRx4J_ew ~KevinChen_Yay | ||
{{IMO box|year=1988|num-b=5|after=Last question}} | {{IMO box|year=1988|num-b=5|after=Last question}} |
Revision as of 11:41, 10 August 2023
Problem
Let and be positive integers such that divides . Show that is the square of an integer.
Solution 1
Choose integers such that Now, for fixed , out of all pairs choose the one with the lowest value of . Label . Thus, is a quadratic in . Should there be another root, , the root would satisfy: Thus, isn't a positive integer (if it were, it would contradict the minimality condition). But , so is an integer; hence, . In addition, so that . We conclude that so that .
This construction works whenever there exists a solution for a fixed , hence is always a perfect square.
Solution 2 (Sort of Root Jumping)
We proceed by way of contradiction.
WLOG, let and fix to be the nonsquare positive integer such that such that or Choose a pair out of all valid pairs such that is minimized. Expanding and rearranging, This quadratic has two roots, and , such that WLOG, let . By Vieta's, and From , is an integer, because both and are integers.
From is nonzero since is not square, from our assumption.
We can plug in for in the original expression, because yielding . If then and and because is a positive integer.
We construct the following inequalities: since is positive. Adding , contradicting the minimality of
-Benedict T (countmath1)
Video Solution
https://www.youtube.com/watch?v=usEQRx4J_ew ~KevinChen_Yay
1988 IMO (Problems) • Resources | ||
Preceded by Problem 5 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Last question |
All IMO Problems and Solutions |