4

Let $n$ be a positive integer, $n!$ denotes the factorial of $n$. Let $d = \gcd(n! + 1, (n + 1)! + 1)$. Show that $d$ divides $n$. (Hint: notice that $(n+1)(n!+1) = (n+1)!+n+1$)

4 Answers4

5

The given hint shows that $\rm\ n\ $ is an integral linear combination of $\rm\ n!+1\ $ and $\rm\ (n+1)! + 1\:,\: $ so $\rm\ n\ $ is divisible by all common divisors, including the GCD. In fact we can go further and show that the GCD = 1. Namely, since the GCD divides the coprime numbers $\rm\:n\:$ and $\rm\ n!+1\ $ it must be 1. Below is an alternate derivation using explicit gcd laws, along with an explicit Bezout linear representation of the GCD.

Putting $\rm\ k = n!+1\ $ below shows that the GCD equals $\rm\ gcd(n!+1,n) = 1$.

$\rm\quad\quad\ \ gcd(k,(n+1)k-n)\ =\ gcd(k,n)\ \ $ via $\rm\ \ n = (n+1)k - ((n+1)k-n)$

$\quad\quad$ recalling $\rm\quad\quad\ \ gcd(k,m)\ =\ gcd(k,\:jk\pm m)\ $

$\quad\quad$ since if $\rm\ \ d|k\ $ then $\rm\ \: d|m\ \ \iff\ \: d\ |\ jk\pm m\quad\ \ $ Above $\rm \ j = n+1 $

In fact we can unwind the above to obtain an explicit Bezout linear representation of the GCD:

$\quad\quad\quad\quad\quad \rm n\ =\ n!\ ((n+1)!+1) + (n-(n+1)!)\ (n!+1) $

Dividing the above through by $\rm\:n\:$ shows that the gcd is 1! $\ $ But, alas, I fear I've exclaimed too much ...

Bill Dubuque
  • 272,048
3

HINT: Use the definition of GCD and the fact that $$(n+1)!+1 = n! \times (n+1) +1 = n! \cdot n + (n!+1)$$ We know that $d \mid (n!+1)$ since $d$ is the GCD

  • 2
    You've merely restated the hint. – Bill Dubuque Oct 09 '10 at 18:40
  • @Bill: BILL, I think i have put it in a form where the answer can is more tangible. –  Oct 09 '10 at 20:29
  • @Chandru1: But the given hint already shows that n is an integral linear combination of n!+1 and (n+1)!+1, so we immediately infer that n is divisible by every common divisor, hence by the GCD. Your variant of the hint exhibits n n! (not n) as a linear combination, so it would seem to require more work than the original hint. – Bill Dubuque Oct 09 '10 at 20:49
1

As $(n+1)(n!+1)=(n+1)!+n+1$, so $n=(n+1)(n!+1)-((n+1)!+1)$, let $d=\text{gcd}(n!+1,(n+1)!+1)$, then $d\mid(n!+1)$ and $d\mid((n+1)!+1)$, so $d\mid n$, this means that $\text{gcd}(n!+1,(n+1)!+1)\mid n$

Alfred Chern
  • 2,658
0

Assume that $d\ne1$ is a common divisor for $n!+1$ and $(n+1)!+1$. Then $d$ divides $((n+1)!−n!)$, i.e., $d$ divides $n(n!)$. By assumption, $d$ divides $(n!+1)$, then $d$ is not a factor of $n!$, but $d$ is a factor of $n(n!)$. The only possible way that this holds is if $n^2$ divides $(n!+1)$, $n^2$ divides $d$, and since $d$ divides $(n+1)!+1$, then $n^2$ divides $((n+1)!+1)$. Since $(n+1)!+1=(n+1)(n!+1)−n$, this means that $\frac{(n+1)(n!+1)- n}{n^2}$ is an integer but since $$\frac{(n+1)(n!+1)- n}{n^2} = (n+1)\left(\frac{n!+1}{n^2}\right) - \frac{1}{n}$$ this is impossible as $\frac{n!+1}{n^2}$ is an integer and here we obtain a contradiction so that mean $\gcd(n!+1,(n+1)!+1)=1$

pie
  • 4,192