Faut pas apprendre des trucs comme ça, en pratique, ça sert quasiment jamais.
Sinon pour démontrer le TAF généralisé ( il existe c de ]a,b[ tq |f(b)-f(a),f´(c);g(b)-g(a),g´(c)|=0 ) il suffit d´appliquer le théorème de Rolle à x->|f(x),f(a),f(b);g(x),g(a),g(b);1,1,1|