114 Un problème chinois

 

Prouver que parmi 9 réels distincts on peut en trouver deux, a et b, tels que :

0 < (a - b) / (1 + a*b) < sqrt (2) - 1

 

solution