Cannonball problem

Last updated
A square pyramid of cannonballs in a square frame Rye Castle, Rye, East Sussex, England-6April2011 (1).jpg
A square pyramid of cannonballs in a square frame

In the mathematics of figurate numbers, the cannonball problem asks which numbers are both square and square pyramidal. The problem can be stated as: given a square arrangement of cannonballs, for what size squares can these cannonballs also be arranged into a square pyramid. Equivalently, which squares can be represented as the sum of consecutive squares, starting from 1.

Contents

Formulation as a Diophantine equation

When cannonballs are stacked within a square frame, the number of balls is a square pyramidal number; Thomas Harriot gave a formula for this number around 1587, answering a question posed to him by Sir Walter Raleigh on their expedition to America. [1] Édouard Lucas formulated the cannonball problem as a Diophantine equation

or

Solution

4900 cannonballs can be arranged as either a square of side 70 or a square pyramid of side 24 Cannonball problem.svg
4900 cannonballs can be arranged as either a square of side 70 or a square pyramid of side 24

Lucas conjectured that the only solutions are (N,M) = (0,0), (1,1), and (24,70), using either 0, 1, or 4900 cannonballs. It was not until 1918 that G. N. Watson found a proof for this fact, using elliptic functions. More recently, elementary proofs have been published. [2] [3]

Applications

The solution N = 24, M = 70 can be used for constructing the Leech lattice. The result has relevance to the bosonic string theory in 26 dimensions. [4]

Although it is possible to tile a geometric square with unequal squares, it is not possible to do so with a solution to the cannonball problem. The squares with side lengths from 1 to 24 have areas equal to the square with side length 70, but they cannot be arranged to tile it.

A triangular-pyramid version of the cannonball problem, which is to yield a perfect square from the Nth Tetrahedral number, would have N = 48. That means that the (24 × 2 = ) 48th tetrahedral number equals to (702 × 22 = 1402 = ) 19600. This is comparable with the 24th square pyramid having a total of 702 cannonballs. [5]

Similarly, a pentagonal-pyramid version of the cannonball problem to produce a perfect square, would have N = 8, yielding a total of (14 × 14 = ) 196 cannonballs. [6]

The only numbers that are simultaneously triangular and square pyramidal are 1, 55, 91, and 208335. [7] [8]

There are no numbers (other than the trivial solution 1) that are both tetrahedral and square pyramidal. [8]

See also

Related Research Articles

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

19 (nineteen) is the natural number following 18 and preceding 20. It is a prime number.

35 (thirty-five) is the natural number following 34 and preceding 36.

<span class="mw-page-title-main">Square triangular number</span> Integer that is both a perfect square and a triangular number

In mathematics, a square triangular number is a number which is both a triangular number and a square number. There are infinitely many square triangular numbers; the first few are:

1000 or one thousand is the natural number following 999 and preceding 1001. In most English-speaking countries, it can be written with or without a comma or sometimes a period separating the thousands digit: 1,000.

300 is the natural number following 299 and preceding 301.

<span class="mw-page-title-main">360 (number)</span> Natural number

360 is the natural number following 359 and preceding 361.

<span class="mw-page-title-main">Pyramidal number</span> Figurate number

A pyramidal number is the number of points in a pyramid with a polygonal base and triangular sides. The term often refers to square pyramidal numbers, which have a square base with four sides, but it can also refer to a pyramid with any number of sides. The numbers of points in the base and in layers parallel to the base are given by polygonal numbers of the given number of sides, while the numbers of points in each triangular side is given by a triangular number. It is possible to extend the pyramidal numbers to higher dimensions.

<span class="mw-page-title-main">Tetrahedral number</span> Polyhedral number representing a tetrahedron

A tetrahedral number, or triangular pyramidal number, is a figurate number that represents a pyramid with a triangular base and three sides, called a tetrahedron. The nth tetrahedral number, Ten, is the sum of the first n triangular numbers, that is,

<span class="mw-page-title-main">Square pyramidal number</span> Number of stacked spheres in a pyramid

In mathematics, a pyramid number, or square pyramidal number, is a natural number that counts the stacked spheres in a pyramid with a square base. The study of these numbers goes back to Archimedes and Fibonacci. They are part of a broader topic of figurate numbers representing the numbers of points forming regular patterns within different shapes.

3000 is the natural number following 2999 and preceding 3001. It is the smallest number requiring thirteen letters in English.

4000 is the natural number following 3999 and preceding 4001. It is a decagonal number.

5000 is the natural number following 4999 and preceding 5001. Five thousand is, at the same time, the largest isogrammic numeral, and the smallest number that contains everyone of the five vowels in the English language.

6000 is the natural number following 5999 and preceding 6001.

7000 is the natural number following 6999 and preceding 7001.

<span class="mw-page-title-main">Octahedral number</span>

In number theory, an octahedral number is a figurate number that represents the number of spheres in an octahedron formed from close-packed spheres. The th octahedral number can be obtained by the formula:

<span class="mw-page-title-main">Centered cube number</span> Centered figurate number that counts points in a three-dimensional pattern

A centered cube number is a centered figurate number that counts the points in a three-dimensional pattern formed by a point surrounded by concentric cubical layers of points, with i2 points on the square faces of the ith layer. Equivalently, it is the number of points in a body-centered cubic pattern within a cube that has n + 1 points along each of its edges.

288 is the natural number following 287 and preceding 289. Because 288 = 2 · 12 · 12, it may also be called "two gross" or "two dozen dozen".

<span class="mw-page-title-main">Stella octangula number</span> Figurate number based on the stella octangula

In mathematics, a stella octangula number is a figurate number based on the stella octangula, of the form n(2n2 − 1).

<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:

References

  1. Darling, David. "Cannonball Problem". The Internet Encyclopedia of Science.
  2. Ma, De Gang (1984). "An Elementary Proof of the Solutions to the Diophantine Equation ". Chinese Science Bulletin. 29 (21): 1343–1343. doi:10.1360/csb1984-29-21-1343.
  3. Anglin, W. S. (1990). "The Square Pyramid Puzzle". American Mathematical Monthly . 97 (2): 120–124. doi:10.2307/2323911. JSTOR   2323911.
  4. "week95". Math.ucr.edu. 1996-11-26. Retrieved 2012-01-04.
  5. Sloane, N. J. A. (ed.). "SequenceA000292(Tetrahedral (or triangular pyramidal) numbers: a(n) = C(n+2,3) = n*(n+1)*(n+2)/6)". The On-Line Encyclopedia of Integer Sequences . OEIS Foundation.
  6. Sloane, N. J. A. (ed.). "SequenceA002411(Pentagonal pyramidal numbers: a(n) = n^2*(n+1)/2)". The On-Line Encyclopedia of Integer Sequences . OEIS Foundation.
  7. Sloane, N. J. A. (ed.). "SequenceA039596(Numbers that are simultaneously triangular and square pyramidal)". The On-Line Encyclopedia of Integer Sequences . OEIS Foundation.
  8. 1 2 Weisstein, Eric W. "Square Pyramidal Number". MathWorld .