Is it possible that the product of the first positive integers equals the product of some subsequent, consecutive integers (right after )?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Rewrite the equation as the following:
M ! = M ! N !
( M ! ) 2 = N !
We are going to prove that n ! cannot be a perfect square for n > 1 , so this equation has no solutions for N > 1 . Thus the only possibility is N = 1 and M = 1 , but N > M implies that it is not a good solution so indeed this equation cannot be satisfied.
For the proof recall Chebisev's theorem, which states that there exist a prime p for every n > 0 such that n < p ≤ 2 n . Applying this to n = [ 2 N ] there must exist a prime p such that
[ 2 N ] + 1 ≤ p ≤ 2 [ 2 N ]
Since 2 p ≥ 2 ( [ 2 N ] + 1 ) > 2 2 N = N it follows that the highest power of p dividing N ! is 1. This is known to imply that N ! can not be a perfect square.