Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How could I find all the pairs (n, k) for this equation. The most obvious pair solution that I can see is (1, 1).
Using summation identity, I have:

$$\frac{n(n+1)}{2} = \frac{k(k + 1)(2k + 1)}{6}$$

Then I thought of using cubic formula for k-equation, but it involved many variables. Any idea?

Thanks,
Chan

share|improve this question
    
Do you want all solutions or just one? –  Aryabhata Feb 19 '11 at 1:08
    
@Moron: I found references (that I didn't check) in OEIS that claim there are only four [or five if you count (0,0)] –  Ross Millikan Feb 19 '11 at 1:20
    
@Ross: Yes I noticed. Apparently this is called Thomas' problem and the supposed proof: linkinghub.elsevier.com/retrieve/pii/0022314X72900364. I got this by following your OEIS link. –  Aryabhata Feb 19 '11 at 1:36
    
I vaguely remember there is a theorem that says since the densities are 1/n^2 and 1/n^3 and 1/2+1/3<1, you should expect only finitely many solutions. Maybe somebody will be prompted to cite it. –  Ross Millikan Feb 19 '11 at 1:44
    
@Moron: unfortunately I don't have free access –  Ross Millikan Feb 19 '11 at 1:46

2 Answers 2

up vote 6 down vote accepted

There are only two variables involved. If you want to search, you can write it as a quadratic in $n$, just try values of $k$, solve for $n$, and see if it comes out integral. I find k=5, n=10, k=6, n=13 and k=85, n=645 as solutions as well with no more under k=200. Then OEIS has no more and asserts the series is finite. There are references for this claim in A053611

share|improve this answer
    
How could you find those solutions? Did you use a program to generates k, n or did you solve mathematically? –  Chan Feb 19 '11 at 0:59
    
@Chan: I just made an Excel spreadsheet that did what I said. Fill series will make the numbers from 1-200, then copy down is a powerful tool. It works well when you want up to 2000 or so, then becomes cumbersome, but I find debugging much easier than with a Python program. –  Ross Millikan Feb 19 '11 at 1:03
    
Interesting, I never thought of Excel spreadsheet. Thanks for this great idea ;) –  Chan Feb 19 '11 at 1:08

Fix the variable $k$. Let $$k' = \dfrac{k(k+1)(2k+1)}{6}.$$ Then you get the quadratic equation $$n^2+n-2k' = 0$$ with the solutions $$n_{1/2} = -\dfrac{1}{2} \pm \sqrt{(\dfrac{1}{2})^2+2k'}.$$ Now you can generate your solution pairs.

share|improve this answer
    
Thanks ;) –  Chan Feb 19 '11 at 1:09

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.