Brocard's problem

Last updated
Unsolved problem in mathematics:

Does have integer solutions other than ?

Contents

Brocard's problem is a problem in mathematics that seeks integer values of such that is a perfect square, where is the factorial. Only three values of are known 4, 5, 7 and it is not known whether there are any more.

More formally, it seeks pairs of integers and such that

The problem was posed by Henri Brocard in a pair of articles in 1876 and 1885, [1] [2] and independently in 1913 by Srinivasa Ramanujan. [3]

Brown numbers

Pairs of the numbers that solve Brocard's problem were named Brown numbers by Clifford A. Pickover in his 1995 book Keys to Infinity, after learning of the problem from Kevin S. Brown. [4] As of October 2022, there are only three known pairs of Brown numbers:

(4,5), (5,11), and (7,71),

based on the equalities

4! + 1 = 52 = 25,
5! + 1 = 112 = 121, and
7! + 1 = 712 = 5041.

Paul Erdős conjectured that no other solutions exist. Computational searches up to one quadrillion have found no further solutions. [5] [6] [7]

Connection to the abc conjecture

It would follow from the abc conjecture that there are only finitely many Brown numbers. [8] More generally, it would also follow from the abc conjecture that

has only finitely many solutions, for any given integer , [9] and that

has only finitely many integer solutions, for any given polynomial of degree at least 2 with integer coefficients. [10]

Related Research Articles

<span class="mw-page-title-main">Diophantine equation</span> Polynomial equation whose integer solutions are sought

In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, for which only integer solutions are of interest. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents.

In mathematics, the factorial of a non-negative integer , denoted by , is the product of all positive integers less than or equal to . The factorial of also equals the product of with the next smaller factorial:

Catalan's conjecture (or Mihăilescu's theorem) is a theorem in number theory that was conjectured by the mathematician Eugène Charles Catalan in 1844 and proven in 2002 by Preda Mihăilescu at Paderborn University. The integers 23 and 32 are two perfect powers (that is, powers of exponent higher than one) of natural numbers whose values (8 and 9, respectively) are consecutive. The theorem states that this is the only case of two consecutive perfect powers. That is to say, that

Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a general algorithm that, for any given Diophantine equation, can decide whether the equation has a solution with all unknowns taking integer values.

<span class="mw-page-title-main">Diophantine approximation</span> Rational-number approximation of a real number

In number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria.

71 (seventy-one) is the natural number following 70 and preceding 72.

<span class="mw-page-title-main">Taxicab number</span> Smallest integer expressable as a sum of two positive integer cubes in n distinct ways

In mathematics, the nth taxicab number, typically denoted Ta(n) or Taxicab(n), is defined as the smallest integer that can be expressed as a sum of two positive integer cubes in n distinct ways. The most famous taxicab number is 1729 = Ta(2) = 13 + 123 = 93 + 103, also known as the Hardy-Ramanujan number.

The Beal conjecture is the following conjecture in number theory:

In mathematics, in the field of number theory, the Ramanujan–Nagell equation is an equation between a square number and a number that is seven less than a power of two. It is an example of an exponential Diophantine equation, an equation to be solved in integers where one of the variables appears as an exponent.

The Erdős–Straus conjecture is an unproven statement in number theory. The conjecture is that, for every integer that is 2 or more, there exist positive integers , , and for which

A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties to the real numbers.

In number theory, Tijdeman's theorem states that there are at most a finite number of consecutive powers. Stated another way, the set of solutions in integers x, y, n, m of the exponential diophantine equation

In mathematics, the Goormaghtigh conjecture is a conjecture in number theory named for the Belgian mathematician René Goormaghtigh. The conjecture is that the only non-trivial integer solutions of the exponential Diophantine equation

<span class="mw-page-title-main">Fermat's Last Theorem</span> 17th-century conjecture proved by Andrew Wiles in 1994

In number theory, Fermat's Last Theorem states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2. The cases n = 1 and n = 2 have been known since antiquity to have infinitely many solutions.

Trygve Nagell or Trygve Nagel was a Norwegian mathematician, known for his works on Diophantine equations in number theory.

The Lander, Parkin, and Selfridge conjecture concerns the integer solutions of equations which contain sums of like powers. The equations are generalisations of those considered in Fermat's Last Theorem. The conjecture is that if the sum of some k-th powers equals the sum of some other k-th powers, then the total number of terms in both sums combined must be at least k.

<span class="mw-page-title-main">Sixth power</span>

In arithmetic and algebra the sixth power of a number n is the result of multiplying six instances of n together. So:

<span class="mw-page-title-main">Sums of three cubes</span> Problem in number theory

In the mathematics of sums of powers, it is an open problem to characterize the numbers that can be expressed as a sum of three cubes of integers, allowing both positive and negative cubes in the sum. A necessary condition for an integer to equal such a sum is that cannot equal 4 or 5 modulo 9, because the cubes modulo 9 are 0, 1, and −1, and no three of these numbers can sum to 4 or 5 modulo 9. It is unknown whether this necessary condition is sufficient.

References

  1. Brocard, H. (1876), "Question 166", Nouv. Corres. Math., 2: 287
  2. Brocard, H. (1885), "Question 1532", Nouv. Ann. Math., 4: 391
  3. Ramanujan, Srinivasa (2000), "Question 469", in Hardy, G. H.; Aiyar, P. V. Seshu; Wilson, B. M. (eds.), Collected papers of Srinivasa Ramanujan, Providence, Rhode Island: AMS Chelsea Publishing, p. 327, ISBN   0-8218-2076-1, MR   2280843
  4. Pickover, Clifford A. (1995), Keys to Infinity, John Wiley & Sons, p. 170
  5. Berndt, Bruce C.; Galway, William F. (2000), "On the Brocard–Ramanujan Diophantine equation n! + 1 = m2" (PDF), Ramanujan Journal, 4 (1): 41–42, doi:10.1023/A:1009873805276, MR   1754629, S2CID   119711158
  6. Matson, Robert (2017), "Brocard's Problem 4th Solution Search Utilizing Quadratic Residues" (PDF), Unsolved Problems in Number Theory, Logic and Cryptography, archived from the original (PDF) on 2018-10-06, retrieved 2017-05-07
  7. Epstein, Andrew; Glickman, Jacob (2020), C++ Brocard GitHub Repository
  8. Overholt, Marius (1993), "The Diophantine equation n! + 1 = m2", The Bulletin of the London Mathematical Society, 25 (2): 104, doi:10.1112/blms/25.2.104, MR   1204060
  9. Dąbrowski, Andrzej (1996), "On the Diophantine equation x! + A = y2", Nieuw Archief voor Wiskunde, 14 (3): 321–324, MR   1430045
  10. Luca, Florian (2002), "The Diophantine equation P(x) = n! and a result of M. Overholt" (PDF), Glasnik Matematički, 37(57) (2): 269–273, MR   1951531

Further reading