made with Mathematica technology MathWorld

Ramanujan's Sum Identity
DOWNLOAD Mathematica Notebook

Given the generating functions defined by

(1+53x+9x^2)/(1-82x-82x^2+x^3)=sum_(n=1)^(infty)a_nx^n
(1)
(2-26x-12x^2)/(1-82x-82x^2+x^3)=sum_(n=0)^(infty)b_nx^n
(2)
(2+8x-10x^2)/(1-82x-82x^2+x^3)=sum_(n=0)^(infty)c_nx^n
(3)

(Sloane's A051028, A051029, and A051030), then

 a_n^3+b_n^3=c_n^3+(-1)^n.
(4)

Hirschhorn (1995) showed that

a_n=1/(85)[(64+8sqrt(85))alpha^n+(64-8sqrt(85))beta^n-43(-1)^n]
(5)
b_n=1/(85)[(77+7sqrt(85))alpha^n+(77-7sqrt(85))beta^n+16(-1)^n]
(6)
c_n=1/(85)[(93+9sqrt(85))alpha^n+(93-9sqrt(85))beta^n-16(-1)^n],
(7)

where

alpha=1/2(83+9sqrt(85))
(8)
beta=1/2(83-9sqrt(85)).
(9)

Hirschhorn (1996) showed that checking the first seven cases n=0 to 6 is sufficient to prove the result.

REFERENCES:

Hirschhorn, M. D. "An Amazing Identity of Ramanujan." Math. Mag. 68, 199-201, 1995.

Hirschhorn, M. D. "A Proof in the Spirit of Zeilberger of an Amazing Identity of Ramanujan." Math. Mag. 69, 267-269, 1996.

Sloane, N. J. A. Sequences A051028, A051029, and A051030 in "The On-Line Encyclopedia of Integer Sequences."




CITE THIS AS:

Weisstein, Eric W. "Ramanujan's Sum Identity." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/RamanujansSumIdentity.html

The Wolfram Demonstrations Project Browse Topics View Latest
JUST RELEASED: Wolfram Mathematica 7