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 16: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