Difference between revisions of "2008 IMO Problems/Problem 3"
m (→Solution) |
|||
(6 intermediate revisions by 5 users not shown) | |||
Line 2: | Line 2: | ||
Prove that there are infinitely many positive integers <math>n</math> such that <math>n^{2} + 1</math> has a prime divisor greater than <math>2n + \sqrt {2n}</math>. | Prove that there are infinitely many positive integers <math>n</math> such that <math>n^{2} + 1</math> has a prime divisor greater than <math>2n + \sqrt {2n}</math>. | ||
− | == | + | == Solutions == |
'''Solution 1''' | '''Solution 1''' | ||
Line 35: | Line 35: | ||
Now armed with <math>a+b-1>\sqrt{p}</math> and (2), we get | Now armed with <math>a+b-1>\sqrt{p}</math> and (2), we get | ||
− | <cmath> | + | <cmath>4(n^2+1)\le p( a^2+b^2 - 2(a+b-1) )< p( p-2\sqrt{p} )< u^2(u-1)^2,</cmath> |
− | 4(n^2+1) | ||
− | |||
− | |||
− | </cmath> | ||
where <math>u=\sqrt{p}.</math> | where <math>u=\sqrt{p}.</math> | ||
Finally, | Finally, | ||
− | <cmath>u^2(u-1)^2 > 4n^2+4 > 4n^2\Rightarrow | + | <cmath>u^2(u-1)^2 > 4n^2+4 > 4n^2\Rightarrow |
− | u(u-1) > 2n \Rightarrow | + | u(u-1) > 2n \Rightarrow |
− | (u-\frac{1}{2})^2 > 2n+\frac{1}{4} > 2n \Rightarrow | + | (u-\frac{1}{2})^2 > 2n+\frac{1}{4} > 2n \Rightarrow |
− | u > \sqrt{2n} + \frac{1}{2} \Rightarrow | + | u > \sqrt{2n} + \frac{1}{2} \Rightarrow |
p = u^2 > 2n + \sqrt{2n}.</cmath> | p = u^2 > 2n + \sqrt{2n}.</cmath> | ||
− | The proof is complete. | + | The proof is complete. |
'''Solution 2''' | '''Solution 2''' | ||
Line 54: | Line 50: | ||
We begin with a lemma. | We begin with a lemma. | ||
− | Lemma: For every prime <math>p \equiv 1 \mod{4}</math>, there exists a positive integer <math>n \le \dfrac{p - \sqrt{p-4}}{2}</math> such that <math>p | + | Lemma: For every prime <math>p \equiv 1 \mod{4}</math>, there exists a positive integer <math>n \le \dfrac{p - \sqrt{p-4}}{2}</math> such that <math>p\mid n^2 + 1</math>. |
+ | |||
Proof: | Proof: | ||
We know that there must be a solution <math>x</math> to the equation | We know that there must be a solution <math>x</math> to the equation | ||
<cmath>x^2+1 \equiv 0 \mod{p}</cmath> | <cmath>x^2+1 \equiv 0 \mod{p}</cmath> | ||
with <math>1 \le x \le p-1</math>. However, if <math>x</math> is a solution then so is <math>p-x</math>, so there must be a solution <math>x \le p-1</math>. Let <math>n</math> denote this solution and suppose that <math>n = \frac{p-k}{2}</math>. Then, we have | with <math>1 \le x \le p-1</math>. However, if <math>x</math> is a solution then so is <math>p-x</math>, so there must be a solution <math>x \le p-1</math>. Let <math>n</math> denote this solution and suppose that <math>n = \frac{p-k}{2}</math>. Then, we have | ||
− | <cmath>\left(\dfrac{p-k}{2}\right)^2 \equiv -1 \mod{ | + | <cmath>\left(\dfrac{p-k}{2}\right)^2 \equiv -1 \mod{p}</cmath> |
− | <cmath>k^2 \equiv -4 \mod{ | + | <cmath>k^2 \equiv -4 \mod{p}.</cmath> |
− | Since <math>k</math> is a positive integer, it follows that <math>k \ge p-4</math>, so we have | + | Since <math>k</math> is a positive integer, it follows that <math>k^2 \ge p-4</math>, so we have |
<cmath>n \le \dfrac{p - \sqrt{p-4}}{2},</cmath> | <cmath>n \le \dfrac{p - \sqrt{p-4}}{2},</cmath> | ||
as desired. The lemma is proven. | as desired. The lemma is proven. | ||
Line 78: | Line 75: | ||
Thus, <math>N</math> satisfies the required condition and it follows that there exist infinitely many values of <math>n</math> that satisfy the given condition, as desired. | Thus, <math>N</math> satisfies the required condition and it follows that there exist infinitely many values of <math>n</math> that satisfy the given condition, as desired. | ||
+ | |||
+ | ==See Also== | ||
+ | |||
+ | {{IMO box|year=2008|num-b=2|num-a=4}} |
Latest revision as of 01:09, 19 November 2023
Problem
Prove that there are infinitely many positive integers such that
has a prime divisor greater than
.
Solutions
Solution 1
The main idea is to take a gaussian prime and multiply it by a "twice as small"
to get
. The rest is just making up the little details.
For each sufficiently large prime of the form
, we shall find a corresponding
such that
divides
and
. Since there exist infinitely many such primes and, for each of them,
, we will have found infinitely many distinct
satisfying the hypothesis.
Take a prime of the form
and consider its "sum-of-two squares" representation
, which we know to exist for all such primes. As
, assume without loss of generality that
. If
, then
is what we are looking for, and
as long as
(and hence
) is large enough. Assume from now on that
.
Since and
are (obviously) co-prime, there must exist integers
and
such that
In fact, if
and
are such numbers, then
and
work as well for any integer
, so we can assume that
.
Define and let's see why this is a good choice. For starters, notice that
.
If , from (1) we see that
must divide
and hence
. This implies,
and
. Therefore,
, so
. Finally,
and the case
is cleared.
We can safely assume now that
As
implies
, we have
so
Therefore,
Before we proceed, we would like to show first that . Observe that the function
over
reaches its minima on the ends, so
given
is minimized for
, where it equals
. So we want to show that
which is not hard to show for large enough
.
Now armed with and (2), we get
where
Finally,
The proof is complete.
Solution 2
We begin with a lemma.
Lemma: For every prime , there exists a positive integer
such that
.
Proof:
We know that there must be a solution to the equation
with
. However, if
is a solution then so is
, so there must be a solution
. Let
denote this solution and suppose that
. Then, we have
Since
is a positive integer, it follows that
, so we have
as desired. The lemma is proven.
Suppose for sake of contradiction that there are only finitely many integers that work. Let
be a prime with
and such that
is relatively prime to
for all
(the existence of
is guaranteed by the existence of infinitely many primes of the form
). Then, we know that there exists an
such that
and
(this last condition shows that
is not among
. We want to show that
But, we know that
, so it suffices to show that
Once again, it suffices to show that
which follows from
.
Thus, satisfies the required condition and it follows that there exist infinitely many values of
that satisfy the given condition, as desired.
See Also
2008 IMO (Problems) • Resources | ||
Preceded by Problem 2 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 4 |
All IMO Problems and Solutions |