sussposon que f# 0 pour tout x de I et qu'il existe un x1 de I tel que f(x1)>=0 et il existe un x2 tel que f(x2)<=0 (ca c'est non l'implication qu'on demande a demonter ,demonstration pas absurde)
donc si on a x1 de I tel que f(x1)>=0 et x2 de I tel que f(x2)<=0 et que f continue sur I alors selon TVI il existe un x de [x1.x2] ([x2.x1] ) tel que f(x)=0
ET
f(x)#0 poru tout x de I
d'ou la contradiction (P et non p) toujorus fausse
et on conclu