Solve in positive integers $n!=m(m+1)$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T19:00:46Z http://mathoverflow.net/feeds/question/39210 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/39210/solve-in-positive-integers-nmm1 Solve in positive integers $n!=m(m+1)$ Alexey Ustinov 2010-09-18T10:27:59Z 2011-02-02T07:23:44Z <p>Is anybody know a solution of this problem? (Sorry, I've missed one summand in the previous post.)</p> http://mathoverflow.net/questions/39210/solve-in-positive-integers-nmm1/39260#39260 Answer by Gjergji Zaimi for Solve in positive integers $n!=m(m+1)$ Gjergji Zaimi 2010-09-18T23:46:11Z 2010-09-18T23:46:11Z <p>I'm pretty sure this is open. As suggested from Brocard's problem, it is interesting to investigate the Diophantine equations $$n!=P(m)$$ for polynomials $P$. You can see the paper <a href="http://www.ams.org/journals/tran/2006-358-04/S0002-9947-05-03780-3/home.html" rel="nofollow">"On polynomial-factorial diophantine equations"</a>, by D. Berend, J.E. Harmse where they make some advances on the problem and prove that this equation has finitely many solutions for many classes of polynomials (irreducible, with an irreducible factor of large degree or with an irreducible factor to a large power).</p> <p>So by their results it is known that the equation $n!=m^r(m+1)$ has finitely many solutions if $r\geq 4$. But for $r\in \{1,2,3\}$ the problem is open.</p> http://mathoverflow.net/questions/39210/solve-in-positive-integers-nmm1/39362#39362 Answer by Denis Serre for Solve in positive integers $n!=m(m+1)$ Denis Serre 2010-09-20T06:38:24Z 2010-09-20T12:12:41Z <p>Let us look for a probabilistic hint. Given $n\ge3$, define $N:=[\sqrt{n!}]$, the integer part of the square root $n!$ . Then $n!\in[N^2+1,\ldots,N^2+2N]$. The answer to the question is positive if and only if $n!=N^2+N$, because $m$ has to be $N$. At first glance, the probability of this event is $1/2N$. However, we know <em>a priori</em> that both $n!$ and $N(N+1)$ are even. Therefore this probability is $1/N\sim(n!)^{-1/2}$.</p> <p>Since the series $$\sum_{n=2}^{\infty}\frac{1}{\sqrt{n!}}$$ converges, I expect that the number of solutions to this problem be finite. Actually, I checked that the answer is <strong>No</strong> for $4\le n\le 10$. Then the number of solutions with $n\ge4$ can be estimated by the series $$\sum_{n=11}^{\infty}\frac{1}{\sqrt{n!}}$$ Because this number is very small (not greater than $10^{-3}$), I bet that there does not exist a solution $n\ge4$. </p> <p>This is the same kind of reasoning that is used to guess that there does not exist a prime number among Fermat numbers $F_m$ with $m\ge5$. </p> http://mathoverflow.net/questions/39210/solve-in-positive-integers-nmm1/54072#54072 Answer by Tapio Rajala for Solve in positive integers $n!=m(m+1)$ Tapio Rajala 2011-02-02T07:23:44Z 2011-02-02T07:23:44Z <p>I thought I should share with you the results from my computations from the past two days. All these computations could be carried out to significantly higher limits with better code and a bit more time. However, my motivation was just to play with them.</p> <p>Please check the code before taking these computations as facts! I did not check the code too carefully.</p> <hr> <h2>Computation 1</h2> <p>The equation $$n! = m(m+1)$$ does not have integer solutions for $3 &lt; n &lt; 10^9$.</p> <p>I used Mark Sapir's observation that if $n$ is a solution then $4n!+1$ is a square. I wrote a small program which calculates Legendre symbols $$\left(\frac{4n!+1}{p}\right),$$ with a set of primes $p>n$, to check if there might be a solution for $n$. Confirming that for $3 &lt; n &lt; 10^9$ there are no solutions took about one hour on my laptop using 40 primes. The code is available at <a href="http://users.jyu.fi/~tamaraja/temp/brogen.c" rel="nofollow">http://users.jyu.fi/~tamaraja/temp/brogen.c</a> for anyone interested to see it.</p> <hr> <h2>Computation 2</h2> <p>I wanted to test the slightly stronger guess in Mark Sapir's post that for $p>5$, $p^2$ does not divide any integer of the form $4n!+1$. This turned out not to be true. I checked that for $5 &lt; p &lt;10^6$ there is one exception, namely $$761671^2 ~|~ 4\cdot446142!+1.$$ Here I used only brute force and the trivial observation that $$p ~|~ 4n!+1 \Rightarrow n &lt; p.$$ Testing this range for $p$ took a couple of hours. The code is available at <a href="http://users.jyu.fi/~tamaraja/temp/sqrdiv.c" rel="nofollow">http://users.jyu.fi/~tamaraja/temp/sqrdiv.c</a></p> <hr> <h2>Computation 3</h2> <p>Byron Schmuland pointed out the similarity to Brocard's problem in his comment. Because the previous computations I found for the equation $$n! + 1 = m^2$$ were carried out over a decade ago, I decided to extend them a bit.</p> <p>With the same approach which was used by Berndt and Galway in 2000 (and in Computation 1 above) I confirmed that the equation has no solutions for $7 &lt; n &lt; 10^{10}$. This took about one day. The code was the same as in Computation 1.</p> <hr> <h2>Computation 4</h2> <p>After the previous 3 computations I did a little bit of the "missing" fourth. The equation $$n!+1 \equiv 0 \pmod{p^2}$$ has no solutions $(p,n)$ with $p$ prime and $613 &lt; p &lt; 10^6$.</p>