IMO LongList 1967, Romania 5
Source: IMO LongList 1967, Romania 5
December 16, 2004
trigonometryalgebrasystem of equationsTrigonometric EquationsIMO ShortlistIMO Longlist
Problem Statement
If are real numbers satisfying relations
x+y+z = 1 \textrm{and} \arctan x + \arctan y + \arctan z = \frac{\pi}{4},
prove that holds for all positive integers .