∀x [0, 1], max (f(x),g(x)) ≥ 0.
Montrer qu’il existe λ [0,1] tel que ∀x [0,1],(1 - λ)f(x) + λg(x) ≥ 0.
∙ Soit A := {x [a,b]∣f(x) < 0} et B := {y [a,b]∣g(y) < 0}. Si A = ∅, on prend λ = 0 et si B = ∅, on prend λ = 1. On peut donc supposer A et B non vides ; on a évidemment A ∩ B = ∅.
∙ Soit λ [0, 1] ; on a
Les comparaisons à 0 et 1 sont immédiates et il suffit donc d’établir le lemme suivant
Démonstration. Les deux segments [(x,g(x)),(y,g(y))] et [(x,f(x)),(y,f(y))] sont respectivement au dessus du graphe de g et de f. Formant les diagonales d’un trapèze, ils se coupent en un point M d’ordonnée Y . Comme M est au dessus du graphe de f et de g, on a Y ≥ 0.
Calculons Y . Pour un certain ρ [0,1], on a
donc
Puisque le dénominateur est strictement négatif, on a
f(x)(g(y) - g(x)) + g(x)(f(x) - f(y)) ≤ 0,
soit f(x)g(y) - g(x)f(y) ≤ 0 d’où l’on déduit (*).
Remarque : le résultat reste vrai en remplaçant [a,b] par une partie convexe non vide d’un espace
vectoriel réel quelconque.
[Liste des corrigés]