Bornes d'une partie dilatée
Application directe du cours · niveau 2 · mathématiques (PTSI), chapitre 5 — Nombres réels et suites numériques · A. Nombres réels, bornes supérieures et inférieures
Énoncé
Soit une partie non vide et bornée de , et . On note et . Montrer que et que . Que devient la première formule pour ?
Corrigé
Stratégie : la caractérisation de la borne supérieure, toujours en deux temps — d'abord « c'est un majorant », ensuite « aucun réel plus petit n'en est un ».
Posons et , qui existent puisque est non vide et bornée.
1) La dilatation positive : pour .
C'est un majorant. Pour tout , on a ; multiplier par conserve le sens de l'inégalité, donc . Ainsi majore , qui est non vide : la borne supérieure existe et .
Aucun réel plus petit ne majore. Soit . La caractérisation de fournit un tel que . Alors et . Donc ne majore pas , et ce pour tout .
Les deux points donnent .
⚠️ On est allé chercher dans un élément à près, et non à près. C'est le point délicat : le que l'on se donne à l'arrivée doit être divisé par au départ, pour ressortir de la bonne taille après multiplication. Le réflexe se retrouvera dans toutes les preuves de ce type.
2) La symétrie : .
Ici l'argument est plus direct : décrivons les majorants de . Pour ,
Les majorants de sont donc exactement les opposés des minorants de . Or passer à l'opposé renverse l'ordre : le plus petit des majorants de est l'opposé du plus grand des minorants de , c'est-à-dire .
3) Le cas . Écrivons , puisque . En composant les deux résultats précédents :
car . Ainsi
Multiplier par un nombre négatif échange la borne supérieure et la borne inférieure.
Contrôles numériques. Prenons , donc et .
- : , de borne supérieure . ✔
- : , de borne supérieure . ✔ (Et non , qui est ici la borne inférieure.)
- , de borne supérieure . ✔
Les trois formules ont été testées sur trois cents parties finies tirées au hasard, en arithmétique exacte sur les fractions : aucun écart.
Ce que l'exercice installe. La borne supérieure se prouve toujours en deux temps, et l'application échange systématiquement et : c'est le principe de dualité qui permet de ne jamais redémontrer un énoncé sur quand on l'a établi pour .
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.