2006 JBMO Problems/Problem 1

Revision as of 21:58, 26 December 2018 by KRIS17 (talk | contribs) (Created page with "==Problem== If <math>n>4</math> is a composite number, then <math>2n</math> divides <math>(n-1)!</math>. == Solution == We shall prove a more stronger result that <math>4n...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Problem

If $n>4$ is a composite number, then $2n$ divides $(n-1)!$.


Solution

We shall prove a more stronger result that $4n$ divides $(n-1)!$ which will cover the case of the problem statement.

Let $n = p.q$ where $q \ge p \ge 2$.

Let us define set $S = \{1, 2, 3 ... n-1\}$

First let's note that $p, q \in S$


$Case 1: q > p$

Now, all multiples of $p$ from $p.1$ to $p.(q-1) \in S$

Since $q > p => q > 2 => q-1 \ge 2$ we have that $p.2 \in S$ Also, since $p \ge 2$ we have that $2 \in S$

So, we have that $2, p.2, q \in S$, in other words, $4.p.q$ divides $(n-1)!$


$Case 2: q = p$

Now, all multiples of $p$ from $p.1$ to $p.(p-1) \in S$

Since $p > 2 => p-1 \ge 2$ we have that $p.2 \in S$

Also, since $n = p^2 > 4 => p > 2$ so we have that $2 \in S$

So, we have that $2, p.1, p.2 \in S$, in other words, $4.p^2$ divides $(n-1)!$


Thus $4n$ divides $(n-1)!$.


$Kris17$