Difference between revisions of "1974 IMO Problems/Problem 6"
| Line 43: | Line 43: | ||
| <math>\mathbf{2.}</math>  This problem is very easy.  It is made difficult | <math>\mathbf{2.}</math>  This problem is very easy.  It is made difficult | ||
| − | artificially by hiding the essence of  | + | artificially by hiding the essence of the description of the | 
| − | integer solutions of <math>P(x) - 1 = 0</math> and <math>P(x) + 1 = 0</math> behind | + | distinct, integer solutions of <math>P(x) - 1 = 0</math> and <math>P(x) + 1 = 0</math> | 
| − | a more general sounding  | + | behind a more general sounding statement.  Had it been formulated | 
| − | state the essence it would have been much less intimidating, | + | to state the essence, it would have been much less intimidating, | 
| − | because the essence would have pointed towards a solution. | + | and easier, because the essence would have pointed towards a | 
| + | solution. | ||
| Here is a reformulation the problem: | Here is a reformulation the problem: | ||
| Line 54: | Line 55: | ||
| Let <math>m_1 =</math> the number of distinct integer roots of <math>P(x) - 1 = 0</math>, | Let <math>m_1 =</math> the number of distinct integer roots of <math>P(x) - 1 = 0</math>, | ||
| and <math>m_2 =</math> the number of distinct integer roots of <math>P(x) + 1 = 0</math>. | and <math>m_2 =</math> the number of distinct integer roots of <math>P(x) + 1 = 0</math>. | ||
| − | If both <math>m_1 \ge 1, m_2 \ge 1</math> then <math>m_1 + m_2 \le 4</math>. | + | If both <math>m_1 \ge 1, m_2 \ge 1</math> then <math>m = m_1 + m_2 \le 4</math>. | 
| <math>\mathbf{Additional\ challenges:}</math>  If <math>d = 2</math>, find <math>P(x)</math> so that | <math>\mathbf{Additional\ challenges:}</math>  If <math>d = 2</math>, find <math>P(x)</math> so that | ||
| − | there are <math>4</math> distinct integer roots of | + | there are <math>4</math> distinct integer roots of <math>P(x) - 1 = 0</math> and | 
| − | <math>P(x) - 1 = 0</math> and <math>P(x) + 1 = 0</math>. | + | <math>P(x) + 1 = 0</math>. | 
| If <math>d \ge 3</math> and both <math>m_1 \ge 1, m_2 \ge 1</math>, then one of <math>m_1, m_2</math> | If <math>d \ge 3</math> and both <math>m_1 \ge 1, m_2 \ge 1</math>, then one of <math>m_1, m_2</math> | ||
Revision as of 01:36, 27 October 2025
Problem
Let  be a non-constant polynomial with integer coefficients. If
 be a non-constant polynomial with integer coefficients. If  is the number of distinct integers
 is the number of distinct integers  such that
 such that  prove that
 prove that  where
 where  denotes the degree of the polynomial
 denotes the degree of the polynomial  
Solution
Lemma: Let  be a polynomial with integer coefficients which is not constant. Then if
 be a polynomial with integer coefficients which is not constant. Then if  obtains
 obtains  (or
 (or  ) as its values for at least four times then
) as its values for at least four times then  ( or
 ( or  ) for all
) for all  .
Proof. Assume that
.
Proof. Assume that  for
 for  distince. Then if there's
 distince. Then if there's  which
 which  then
 then  so
 so  where
 where  is a polynomial with the integer coefficients! So
 is a polynomial with the integer coefficients! So
 which is impossible cause
 which is impossible cause  can not presents as product of more than three distince numbers! This proved the lemma!
 can not presents as product of more than three distince numbers! This proved the lemma!
Back to our problem: For convinet put  and
 and  . Firstly if
. Firstly if  then
 then  . Assume
. Assume  . If equation
. If equation  with more than three integer points (ie.. at least
 with more than three integer points (ie.. at least  ) then equation
) then equation  implies
 implies  so
 so  , ie...
, ie...  . The same case for equation
. The same case for equation  . So
. So  . If
. If  then
 then  . Now assume that
. Now assume that  . In this case if
. In this case if  then
 then  .
.
So let us show that  . In fact if
. In fact if  then
 then  has three integers distince roots, and the same for
 has three integers distince roots, and the same for  . So
. So
 and
 and  where
 where  distince and
 distince and  distince and all with
 distince and all with  are integers! Then
 are integers! Then
 for all
 for all  . So
. So  .
Finally, we have
.
Finally, we have
 for
 for  and because that
 and because that  can not presents as products of three distince numbers so
 can not presents as products of three distince numbers so  , we may assume
, we may assume  . Because
. Because  so
 so
 This means
This means  . So we must have
. So we must have  which follows
 which follows  , which contracts!. So
, which contracts!. So  and we're done.
 and we're done.
The above solution was posted and copyrighted by pluricomplex.
Remarks (added by pf02, October 2025)
 The solution above is correct, but it is written
very badly.  However, it is understandable, and I will refrain
from rewriting it.
  The solution above is correct, but it is written
very badly.  However, it is understandable, and I will refrain
from rewriting it.
It is interesting to note that it actually proves substantially more than the problem asked. It proves the following two statements:
a. If one of the equations  and
 and  has
has  integer, distinct solutions, then the other has
no integer solutions.
 integer, distinct solutions, then the other has
no integer solutions.
b. If both equations  and
 and  have
integer solutions then
 have
integer solutions then  .
.
The problem is a trivial consequence of these statements.
 This problem is very easy.  It is made difficult
artificially by hiding the essence of the description of the
distinct, integer solutions of
  This problem is very easy.  It is made difficult
artificially by hiding the essence of the description of the
distinct, integer solutions of  and
 and  behind a more general sounding statement.  Had it been formulated
to state the essence, it would have been much less intimidating,
and easier, because the essence would have pointed towards a
solution.
behind a more general sounding statement.  Had it been formulated
to state the essence, it would have been much less intimidating,
and easier, because the essence would have pointed towards a
solution.
Here is a reformulation the problem:
 Let
  Let  be a polynomial of degree
 be a polynomial of degree  .
Let
.
Let  the number of distinct integer roots of
 the number of distinct integer roots of  ,
and
,
and  the number of distinct integer roots of
 the number of distinct integer roots of  .
If both
.
If both  then
 then  .
.
 If
  If  , find
, find  so that
there are
 so that
there are  distinct integer roots of
 distinct integer roots of  and
 and
 .
.
If  and both
 and both  , then one of
, then one of  equals
equals  and the other equals
 and the other equals  or
 or  (in other words, we can
not have
 (in other words, we can
not have  
 Below I will prove this problem (from which the original
problem follows easily), as well as the additional challenges.
  Below I will prove this problem (from which the original
problem follows easily), as well as the additional challenges.
There will be some overlap of ideas with the first solution, but for the sake of making the solution self contained, I will fill in all the details.
Solution 2
[TO BE CONTINUED]
The original thread for this problem can be found here: [1]
See Also
| 1974 IMO (Problems) • Resources | ||
| Preceded by Problem 5 | 1 • 2 • 3 • 4 • 5 • 6 | Followed by Last Question | 
| All IMO Problems and Solutions | ||
