Adloun

Bornes d'une partie dilatée

Application directe du cours · niveau 2 · mathématiques (PCSI), 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 .

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.