MathDB
Prove IMO 1989 Longlist Identity

Source: IMO Longlist 1989, Problem 34

September 18, 2008
algebra unsolvedalgebra

Problem Statement

Prove the identity 1 \plus{} \frac{1}{2} \minus{} \frac{2}{3} \plus{} \frac{1}{4} \plus{} \frac{1}{5} \minus{} \frac{2}{6} \plus{} \ldots \plus{} \frac{1}{478} \plus{} \frac{1}{479} \minus{} \frac{2}{480} \equal{} 2 \cdot \sum^{159}_{k\equal{}0} \frac{641}{(161\plus{}k) \cdot (480\minus{}k)}.