Intereting Posts

Formal proof for $(-1) \times (-1) = 1$
Dimension of a Two-Scale Cantor Set
Prove $ 1 + 2 + 4 + 8 + \dots = -1$
Greatest prime factor of $n$ is less than square root of $n$, proof
Prove Leibniz 's formula for the nth derivitive of a product by induction
Where are the geometric figures in those “advanced geometry” textbooks?
Closed form for $\sum_{n=-\infty}^\infty \frac{1}{(z+n)^2+a^2}$
Is this proof by induction that $\sum_{i=1} ^{n} i = \frac{n(n+1)}{2}$ correct?
An Olympiad Problem (tiling a rectangle with the L-tetromino)
Calculating $\sum_{k=1}^nk(k!)$ combinatorially
Area in axiomatic geometry
Proving an affine set's equivalence to the solution set of $Ax=b$
Does the exceptional Lie algebra $\mathfrak{g}_2$ arise from the isometry group of any projective space?
The closure of a product is the product of closures?
Find the Roots of $(x+1)(x+3)(x+5)(x+7) + 15 = 0$

I have read a question (written in Korean) that the equality

$$1^2+2^2+\cdots + 24^2 = 70^2$$

is just a coincidence or not. It is a related to the integral points of the following elliptic curve (?):

$$y^2 = \frac{1}{3}x^3 + \frac{1}{2}x^2+\frac{1}{6}x.$$

(To notice, its determinant is $1/1296$.)

I have heard that finding the integral points of an ellptic curve is very hard in general, so my first goal is to find rational solutions of it. However, I have not learn of the number theory so I have no idea how to find rational points of that.

- Clarifying a comment of Serre
- Cubic diophantine equation
- Why 1728 in $j$-invariant?
- Why is a genus 1 curve smooth and is it still true for a non-zero genus one in general?
- History of elliptic curves
- Integral points on an elliptic curve

Is there any idea to solve this? Furthermore, is there an idea to find integral points of it? I would be appreciated for your help!

- Is $p(p + 1)$ always a friendly number for $p$ a prime number?
- How to calculate $|\operatorname {SL}_2(\mathbb Z/N\mathbb Z)|$?
- Why does $\frac{1 }{ 99989999}$ generate the Fibonacci sequence?
- Characterising reals with terminating decimal expansions
- Solve $y^2= x^3 − 33$ in integers
- Prove that $a^2 + 1$ cannot have prime factor of the form $4k + 3$
- Computing sums of divisors in $O(\sqrt n)$ time?
- How to deal with a Pell's equation type problem with two primes
- Why $f\colon \mathbb{Z}_n^\times \to \mathbb{Z}_m^\times$ is surjective?
- Does $\mathbb{F}_p((X))$ has only finitely many extension of a given degree?

There is only one solution(except $1=1$). There is a proof in Mordell’s book on Diophantine Equations. The problem is attributed to Lucas:

with N > 1 is when N = 24 and M = 70. This is known as the cannonball

problem, since it can be visualized as the problem of taking a square

arrangement of cannonballs on the ground and building a square pyramid

out of them. It was not until 1918 that a proof (using elliptic

functions) was found for this remarkable fact, which has relevance to

the bosonic string theory in 26 dimensions.1 More recently,

elementary proofs have been published.2

https://en.wikipedia.org/wiki/%C3%89douard_Lucas

Here is a discussion and proof by Bennett

Elementary proof by Anglin

The fact is critically important in the history of the Leech Lattice, the history of finite simple groups, Monstrous Moonshine and other cute things. See page 130 in Ebeling *Lattices and Codes* (second edition), I will try to find it in SPLAG as well. Yes page 524 in the first edition, chapter *Lorentzian Forms for the Leech Lattice*.

Not a coincidence, definitely. $70$ is a Pell number, so $2\cdot 70^2+1=99^2$, and some solutions of

$$ 1^2+2^2+\ldots+n^2 = \frac{n(n+1)(2n+1)}{6} = q^2 $$

can be derived by imposing that both $2n+1$ and $\frac{n(n+1)}{6}$ are squares: that leads to a Pell equation.

- Prove that $\Gamma_I(\frac{M}{\Gamma_I(M)})=0$
- Unbounded function on bounded interval not uniformly continuous
- Pure Submodules and Finitely Presented versus Finitely Generated Submodules
- Set of prime numbers and subrings of the rationals
- Independence and Events.
- Finding UMVUE of $p^s$ in Bernoulli distribution
- Asymptotic expansion of the integral $\int_0^1 e^{x^n} dx$ for $n \to \infty$
- Inertia group modulo $Q^2$
- How to integrate $\int_1^\infty \frac{dx}{x^2\sqrt{x^2-1}}$?
- Prove that $\{(1 2),(1 2 … n)\}$ can generate $S_n$
- Distance from a point to a plane in normed spaces
- Does $f(x) = f(2x)$ for all real $x$, imply that $f(x)$ is a constant function?
- Subgroups of finite index have finitely many conjugates
- Holder continuity of power function
- Fiboncacci theorem: Proof by induction that $F_{n} \cdot F_{n+1} – F_{n-2}\cdot F_{n-1}=F_{2n-1}$