a)
D'abord un lemme : f a un point fixe
En effet : f(a)-a >= 0 et f(b)-b <= 0 + TVI
Par esprit de contradiction on suppose que f < g par exemple.
L'ensemble des points fixes de f est donc non vide, fermé (f étant continue), borné : on prend x0 sont plus grand élément.
Mézalor f(g(x0)) = g(f(x0)) = g(x0) : g(x0) est un point fixe mais g(x0) > f(x0) = x0 + blème.
b) Nan