Maths WorkshopMaths problems with full solutions
Exercise 1120Number theory › PrimesL1Added 3 Nov 2026

Factorial and coprime integers

#factorial#coprime#bounds

Statement

Let n≥1n\ge1. Show that n!n! and n!+1n!+1 are coprime.

Hint

Any common divisor divides 11.

Show solutionHide solution

Solution

Difference. If d∣n!d\mid n! and d∣n!+1d\mid n!+1, then d∣1d\mid1, so d=1d=1.

Conclusion. gcd⁡(n!,n!+1)=1\gcd(n!,n!+1)=1.

Generalization. gcd⁡(n!,n!+k)=1\gcd(n!,n!+k)=1 for 1≤k≤n1\le k\le n (since any prime divisor of kk divides n!n!, so it cannot also divide n!+kn!+k).