RO-NMO 2003 Problem 83

The real numbers $a,b$ fulfil the conditions (i) $0<a<a+\frac12\le b$ ; (ii) $a^{40}+b^{40}=1$ . Prove that $b$ has the first 12 digits after the decimal point equal to 9.

Mircea Fianu