utilise l'absurde: on considère la fonction h(x)=f(x)-g(x). on suppose que h(x)=0 n'admet pas de solutions dans I. h(x) est continue donc selon TVI (pour tt x de I : h(x)<0) ou ( pour tout x de I: h(x)>0) et on a aussi h(I)= (m;M) (intervale) avec M<0
alors pour tou x £ I:
f(x)<g(x)+M .... f(a)<f(X1)+M.......f(b)<f(Xn)+M
donc 0< nM contradiction