3
$\begingroup$

"On a Diophantine Equation" paper of Erdös, at some point it is said that it is well known that $C(n,2)=x^2$ has infinitely many integer solutions. I am just wondering the formula generating all possible $n \geq 2$,because I wonder whether they all come by integer solutions of $2x^2-y^2=\pm 1$ Pell's equation generated by fundamental unit, or is it possible to have different $n$'s that do not come from the solutions of the pell's equation.

For example $C(2,2)=1$ a square, $C(9,2)=36$ a square too, so the first two $n$'s are 2,9.

One can also see from the solutions of $2x^2-y^2=\pm 1$ pell's equation, by take $x=1, y=0$ for $n=2=2*1$ and take $x=2, y=3$ for $n=9=3^2$.

Improve this question
$\endgroup$
9
  • $\begingroup$ What is $C(n, 2)?$ $\endgroup$
    – Igor Rivin
    Commented Dec 16, 2011 at 15:32
  • 1
    $\begingroup$ I would guess it is $\dbinom{n}{2}$... $\endgroup$
    – Pedro Martins Rodrigues
    Commented Dec 16, 2011 at 15:37
  • $\begingroup$ $n$ and $n-1$ are relatively prime. Voting to close. $\endgroup$
    – fedja
    Commented Dec 16, 2011 at 15:41
  • 2
    $\begingroup$ @fedja, what is the relevance of $n$ and $n-1$ being relatively prime? The equation $C(n,2)=x^2$ rewrites to $(2n-1)^2 - 8x^2 = 1$, so all solutions come from solutions to Pell's equation. $\endgroup$
    – Barry Cipra
    Commented Dec 16, 2011 at 16:02
  • 1
    $\begingroup$ I view it as $n(n-1)=2x^2$, so $n=y^2$ and $n-1=2z^2$ or vice versa, both options resulting in Pell's equations mentioned in the original post. Anyway, no matter how you think of it, it is pretty obvious. Hence the closing vote. $\endgroup$
    – fedja
    Commented Dec 16, 2011 at 16:08

1 Answer 1

Reset to default
5
$\begingroup$

Another approach to the problem, at least for non-number theorists, is to ask Mathematica:

Select[Range[10000], IntegerQ[Sqrt[Binomial[#, 2]]] &]

and you find that the first examples are

{1, 2, 9, 50, 289, 1682, 9801}

Then go to the OEIS (https://oeis.org/) and input that. You find that this is sequence A055997 (https://oeis.org/A055997), and the OEIS response is together with generating functions, recurrence relations, citations, and more.

One of those references is to an article titled "Discovering the Square-Triangular Numbers", which seems a promising title. The citation is to the Fibonacci Quarterly, and a little googling finds that their old issues are online (http://www.fq.math.ca/list-of-issues.html), and this particular article (by Phil Lafer) is, too (http://www.fq.math.ca/Scanned/9-1/lafer.pdf).

The article reads nicely (thank you Phil Lafer), and the Pell equation $2x^2-y^2=1$ does indeed make a fundamental appearance.

Improve this answer
$\endgroup$
1
  • 1
    $\begingroup$ Kevin i am sorry of being too late not saying thank you by the time you spent your time for this not so loved question. $\endgroup$
    – UserErdos
    Commented Mar 24, 2014 at 10:07

Not the answer you're looking for? Browse other questions tagged .