The first problem in the first International Mathematical Olympiad was this.
Prove that is irreducible for every
.
Solution
Show/hide the solution.
Note that . By Bézout’s identity, 1 is the greatest common divisor of
and
. Hence the fraction is irreducible.
A Generalization
What other fractions of the form are irreducible for every natural number
?
This amounts to looking for a prime such that the following system of congruences, call it
, has a solution.
Let be a prime that divides neither
nor
. Then
and
have inverses modulo
, and we can solve each congruence for
.
If is a solution to both congruences then we have
This shows that if doesn’t divide
and
has a solution, then
divides
. Therefore we only have to check primes that divide
,
, or
.
If is a prime that divides
then
if and only if
divides
. If this is the case, then any
satisfies
. To simultaneously solve
, it is required that either (1)
divides both
and
or (2)
doesn’t divide
, in which case any
such that
solves
. Mutatis mutandis for primes that divide
.
Now suppose there is a prime that divides
but doesn’t divide
or
. Then we can solve each congruence directly. We can use the fact that
, which is equivalent to Fermat’s little theorem.
If such an also satisfies
, then the fraction is reducible.
Examples
1. Is irreducible for every
?
7 divides the numerator but does not divide 4. Therefore we can solve to find an
that will make the fraction reducible:
Therefore any such that
will make the fraction reducible.
2. Is irreducible for every
?
We have to check 3 and 5. By inspection it is clear that neither 3 nor 5 divide both numerator and denominator. Next we check primes that divide . So we must look for solutions to
We solve the first congruence:
Substituting into the second congruence we get
. The system is not satisfied, therefore
is irreducible for every
.
3. Is irreducible for every
?
Neither 2 nor 3 divide both the numerator and denominator. . We solve
and obtain
. This also satisfies
since
. Therefore
is reducible when
.