Salut.
On démontre que ]a-r,a+r[I]b-s,b+s[ = 0 <=> |a-b|>/ r+s
On a: ]a-r,a+r[I]b-s,b+s[ = 0 <=> a+r </ b-s ou b+s </ a-s
<=> r+s </ b-a ou r+s </ a-b
<=> 2(r+s) </ 0 et |a-b|>/ 0
<=> r+s </ 0 et |a-b| >/ 0
<=> |a-b|>/ r+s
Donc : ]a-r,a+r[I]b-s,b+s[ =/= 0 <=> |a-b|< r+s
Sauf erreur.
EDIT : Je viens de voir que r et s sont strictement positifs ... Donc soit l'énoncé est faux,soit c'est moi qui ai fait du n'importe quoi.