On the factorial equations $A! B! =C!$ and $A!B!C! = D!$

See Chris Caldwell, The diophantine equation $A!B!=C!$, J. Recreational Math. 26 (1994) 128-133. $9!=7!3!3!2!$, $10!=7!6!=7!5!3!$, and $16!=14!5!2!$ were the only known non-trivial examples of a factorial as a product of factorials as of the 3rd edition of Guy, Unsolved Problems In Number Theory (Problem B23).


Immediately we see that any $n$ that's a power of 2 should work. e.g.

$4! = 3!2!2!$, $8! = 7!2!2!2!$, $16! = 15!2!2!2!2!$

Similarly, by combining whatever small factorials we want, we can take $n!$ and $(n-1)!$ to have that ratio. For instance, suppose we wanted to use $3!5!7! = 3628800$ somewhere; we can then make $3628800! = 3628799!7!5!3!$. You can obviously generate an infinite number of solutions this way.

However, the instances of $n!/(n-1)!$ are probably what Caldwell (see other answer) referred to as "trivial". The non-trivial instances of $n!/(n-k)!$ would be given by

$n(n-1)(n-2) ... (n-k) = A_1!A_2!...A_i!$ which -- in general -- I know no way of tackling the general case, but the case where $i=1$ (that is, $n!=(n-k)!A!$) can be attacked:

$n(n-1)(n-2) ... (n-k) = P(n) = A!$

Which is referred to as a polynomial-factorial diophantine equation. This is still largely open, but has some interesting results proven about it -- namely, that the set of solutions is finite for any polynomial P. An extensive treatment of the matter is given in http://www.ams.org/journals/tran/2006-358-04/S0002-9947-05-03780-3/S0002-9947-05-03780-3.pdf


Consider the general equation $$a_1!a_2!\cdots a_n! = b!.$$ People like Paul Erdős worked on this kind of equations. So, they are rather serious problems. Even for the simplest case where $n=2$, namely the equation $A!B!=C!$, we don't know whether there is any other non-trivial solution other than $10!=7!6!$.

Erdős proved that in the equation $A!B!=C!$ if we assume $1< A \leq B$, then for large enough values of $C$, the difference of $B$ and $C$ does not exceed $5 \log \log n$. It is clear that $5 \log \log n$ grows to infinity as $n$ increases. But in fact, this is a very slowly growing function. For instance, the first $n$ for which $5 \log \log n = 50$ has more than $9566$ digits. Caldwell proved (1994) that the only non-trivial solution with $C < 10^6$ is $10!=7!6!$. Florian Luca proved in this paper (2007) that considering the $abc$ hypothesis, we have $C-B=1$ for large enough $n$. Read also a remark (2009) on this paper if you're interested.

Suppose that $P(m)$ denotes the largest prime factor of $m$. Erdős also showed in one of his many papers that the assertion $$ P(n(n+1)) > 4 \log n $$ would imply that the general equation $(1)$ has finitely many non-trivial solutions.

The last paragraph is taken from a recent work of Hajdua, Pappa, and Szakács, who prove proved in this paper (2018) that writing $k=B-A$ for all non-trivial solutions of the equation $A!B!=C!$ different from $(A, B, C) =(6, 7, 10)$, we have $C<5k$. Further, if $k \leq 10^6$, then the only non-trivial solution is given by $(A, B, C) =(6, 7, 10)$. I presented their paper in our MathSciNet seminar at UBC and you can find the slides here.

More references:

  1. Discussion on ArtofProblemSolving
  2. Luca, Florian. "The Diophantine equation $P (x)= n!$ and a result of M. Overholt." Glasnik matematički 37.2 (2002): 269-273.
  3. Berend, Daniel, and Jørgen Harmse. "On polynomial-factorial diophantine equations." Transactions of the American Mathematical Society 358.4 (2006): 1741-1779.