1974 IMO Problems/Problem 6: Difference between revisions
No edit summary |
No edit summary |
||
| Line 56: | Line 56: | ||
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_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>. | <math>P(x) - 1 = 0</math> and <math>P(x) + 1 = 0</math>. | ||
| Line 62: | Line 62: | ||
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> | ||
equals <math>1</math> and the other equals <math>2</math> or <math>3</math> (in other words, we can | equals <math>1</math> and the other equals <math>2</math> or <math>3</math> (in other words, we can | ||
not have m_1 = m_2 = 2 | not have <math>m_1 = m_2 = 2</math>). | ||
Revision as of 19:38, 26 October 2025
Problem
Let
be a non-constant polynomial with integer coefficients. If
is the number of distinct integers
such that
prove that
where
denotes the degree of the polynomial
Solution
Lemma: Let
be a polynomial with integer coefficients which is not constant. Then if
obtains
(or
) as its values for at least four times then
( or
) for all
.
Proof. Assume that
for
distince. Then if there's
which
then
so
where
is a polynomial with the integer coefficients! So
which is impossible cause
can not presents as product of more than three distince numbers! This proved the lemma!
Back to our problem: For convinet put
and
. Firstly if
then
. Assume
. If equation
with more than three integer points (ie.. at least
) then equation
implies
so
, ie...
. The same case for equation
. So
. If
then
. Now assume that
. In this case if
then
.
So let us show that
. In fact if
then
has three integers distince roots, and the same for
. So
and
where
distince and
distince and all with
are integers! Then
for all
. So
.
Finally, we have
for
and because that
can not presents as products of three distince numbers so
, we may assume
. Because
so
This means
. So we must have
which follows
, which contracts!. So
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.
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
has
integer, distinct solutions, then the other has
no integer solutions.
b. If both equations
and
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 describing the distinct,
integer solutions of
and
behind
a more general sounding conclusion. Had it been formulated to
state the essence it would have been much less intimidating,
because the essence would have pointed towards a solution.
Here is a reformulation the problem:
Let
be a polynomial of degree
.
Let
the number of distinct integer roots of
,
and
the number of distinct integer roots of
.
If both
then
.
If
, find
so that
there are
distinct integer roots of
and
.
If
and both
, then one of
equals
and the other equals
or
(in other words, we can
not have
).
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 | ||