2008 IMO Problems/Problem 2
Problem 2
(i) If ,
and
are three real numbers, all different from
, such that
, then prove that
.
(With the
sign for cyclic summation, this inequality could be rewritten as
.)
(ii) Prove that equality is achieved for infinitely many triples of rational numbers ,
and
.
Solution
Consider the transormation defined by
and put
. Since
maps rational numbers to rational, the problem is equivalent to showing that
given that
\[\frac{\alpha}{\alpha+1)\frac{\beta}{\beta+1) \frac{\gamma}{\gamma+1) = 1 \quad (2)\] (Error compiling LaTeX. Unknown error_msg)
and that the equallity holds for infinitely many triplets of .