Sally (./17) :
candide (./15) :
Il est parfois plus commode d'écrire : pour tous a et b dans I, (f(b) - f(a))/(b - a) >= 0.
oui mais ça oblige à préciser que a doit être différent de b.
Oui, tu as raison, il faut écrire
pour tous a et b distincts dans I, (f(b) - f(a))/(b - a) >= 0.
Exemple d'application : montrer que si x et y sont des réels alors
x^2 - xy + y^2 >= 0
(ça peut en fait se montrer de diverses façons).
Sally (./17) :
Bon sinon c'est strictement équivalent de mettre a < b ou a <= b de toute façon (parce que le fait que si a = b alors f(a) = f(b) est toujours vrai)
Oui, c'est équivalent mais je trouve que c'est une contrainte inutile.
Candide