Question stupide : c'est quoi le TSM ?
Sinon A = { x | x <= f(x), x <= g(x) }
A != Ø vu que 0 € A
soit u = borne sup (A)
x € A, x <= u et donc x <= f(x) <= f(u) donc f(u) est aussi un majorant de A et f(u) >= u. Pareil pour g.
g(u) <= g(g(u)) et g(u) <= g(f(u)) = f(g(u)) et donc g(u) € A et g(u) <= u.
Conclusion g(u) =u. Pareil pour f.
L'hypothèse de continuité n'est pas indispensable, elle permet juste de raccourcir car alors u € A.