Difference between revisions of "2006 JBMO Problems/Problem 1"
(Add →See Also) |
|||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| − | ==Problem== | + | == Problem == |
If <math>n>4</math> is a composite number, then <math>2n</math> divides <math>(n-1)!</math>. | If <math>n>4</math> is a composite number, then <math>2n</math> divides <math>(n-1)!</math>. | ||
| − | |||
== Solution == | == Solution == | ||
| Line 11: | Line 10: | ||
Let us define set <math>S = \{1, 2, 3 ... n-1\}</math> | Let us define set <math>S = \{1, 2, 3 ... n-1\}</math> | ||
| + | |||
<math>Case 1: q > p</math> | <math>Case 1: q > p</math> | ||
| Line 39: | Line 39: | ||
Thus <math>4n</math> divides <math>(n-1)!</math>. | Thus <math>4n</math> divides <math>(n-1)!</math>. | ||
| + | ~Kris17 | ||
| + | |||
| + | == See Also == | ||
| − | + | * [[JBMO]] | |
Latest revision as of 15:57, 28 February 2025
Problem
If
is a composite number, then
divides
.
Solution
We shall prove a more stronger result that
divides
for any composite number
which will cover the case of problem statement.
Let
where
.
Let us define set
First let's note that
Now, all multiples of
from
to
Since
we have that
Also, since
we have that
So, we have that
,
in other words,
divides
Now, all multiples of
from
to
Since
we have that
Also, since
so we have that
So, we have that
,
in other words,
divides
Thus
divides
.
~Kris17