Bourbaki

Exercice 21, § 1

Fonctions d’une variable réelle, II, p. 32

Soit f une fonction numérique croissante convexe et continue dans un intervalle (0, a) et telle que f(0)=0f(0) = 0. Si a1≥a2≥⋯≥an≥0a_1 \geq a_2 \geq \cdots \geq a_n \geq 0 est une suite finie décroissante de points de (0, a), montrer que l’on a

f(a1)−f(a2)+⋯+(−1)n−1f(an)≥f(a1−a2+⋯+(−1)n−1an). f(a_1) - f(a_2) + \cdots + (-1)^{n-1} f(a_n) \geq f(a_1 - a_2 + \cdots + (-1)^{n-1} a_n ).
(On peut se borner au cas où n=2mn = 2m est pair; remarquer que pour 1≤j≤m1 \leq j \leq m, on a
∫αβf′(t) dt≤∫a2ja2j−1f′(t) dt \int_\alpha^{\beta} f'(t)\,dt \leq \int_{a_{2j}}^{a_{2j-1}} f'(t)\,dt
où α=a2j+1−a2j+2+⋯+a2m−1−a2m\alpha = a_{2j+1} - a_{2j+2} + \cdots + a_{2m-1} - a_{2m} et β=α+(a2j−1−a2j)\beta = \alpha + (a_{2j-1} - a_{2j}).)

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.