Home

MPSI/PCSI

Révisions Maths lycée

Analyse Terminale

Convexité

Le cours consiste en la démonstration que le point M, situé entre les points A et B, se trouve également sur la droite AB. Pour cela, le professeur utilise l'équation de la droite AB (Y = AlphaX + Beta) où Alpha est le coefficient directeur et Beta est l'ordonnée à l'origine. 
Il prouve ensuite que le point M appartient bien à cette droite en remplaçant les coordonnées de M dans cette équation. Si le résultat est égal à l'ordonnée de M, cela signifie que M est sur la droite. 
En conclusion, puisque le segment AB est au-dessus de la courbe CF (où F est une fonction convexe), l'image de l'ordonnée de M par la droite AB est au-dessus de son image par F.

Alors, j'essaie de le faire relativement vite, on prend deux réels X et Y, ça je vous l'ai déjà dit, on prend A et B les points associés, voilà le petit dessin, je vous l'ai déjà montré plein de fois mais là on le revoit encore une fois, donc gardez-le bien en tête parce que je ne vais pas pouvoir l'afficher à l'écran tout le temps mais c'est ce dessin-là, et on prend un point M d'Apcis TX plus 1 moins TY, puis TF2X plus 1 moins TF2Y, donc ce point sera sur la séquente. On va déjà essayer de démontrer que ça là, cette ordonnée, c'est bien l'ordonnée qui est sur la séquente, parce qu'en fait on vous le fait un peu accepter, on vous le dit, j'ai envie de vous le démontrer. Donc si on va regarder où est cette Apcis, je vous l'ai déjà expliqué mais on va bien regarder le fait qu'elle est bien entre X et Y, et où est cette ordonnée, le fait qu'elle est bien entre TF2X et TF2Y et qu'elle est d'ailleurs sur, on va montrer d'abord qu'elle est entre TF2X et TF2Y, oui, et montrer qu'elle est bien sur la séquente. Attention, trop souvent c'est un peu hâtif, on va montrer que M appartient bien au segment A et B, très bien, petit 1, montrons que XM et YM sont bien positionnés, donc on va montrer que l'Apcis de M et l'Apcis de Y sont bien comprises entre les Apcis de A et B et les ordonnées de A et B, donc c'est répéter un peu ce que j'ai dit mais proprement, TX plus un moins TY appartient à X et Y parce que c'est une moyenne pondérée, dessin, en effet j'ai X et Y sur le segment, je vois que quand je prends TX plus un moins TY, c'est une moyenne pondérée, c'est-à-dire que si je prends T et un demi, je trouve bien le milieu, donc parfaitement pondéré, un demi, un demi, mais si je prends T qui varie, ça varie un peu, de la même manière, ça, c'est une moyenne pondérée de F2X et F2Y, je suis donc bien entre F2X et F2Y, pareil, j'ai un demi plus un demi ici, le milieu qui est ici, donc là je sais qu'en gros, Apcis ordonnées de M sont bien entre Apcis ordonnées de A et B, donc je suis content, et maintenant je veux voir que c'est bien sur le segment, c'est ce que je montre dans un deuxième temps. Vérifions que M est bien sur la droite, en fait on a vu que si elle est sur la droite, AB, ça sera donc sur le segment, vu qu'on sait que c'est entre A et B comme j'ai montré avant. L'équation de AB, c'est Y, grand Y, égal Alpha, grand X, plus Beta, en effet c'est une droite. Je prends Alpha qui est le coefficient directeur, je sais que j'ai un point A et un point B, en troisième on a vu que la pente d'une droite qui passe par A et B, c'est la variation des ordonnées divisées par la variation des Apcis. Et ensuite pour trouver Beta, qu'est-ce que je fais ? J'utilise le fait que le point A est bien sur la droite, donc je mets dans l'équation ici, Y, grand Y, égal Alpha, grand X, plus Beta, je mets le fait que je sais que le point A d'Apcis X, d'ordonnée f2x, est sur la droite, donc je remplace f2x, égal Alpha, X, plus Beta, Alpha, petit X, plus Beta, et ça me donne Beta en fait. Donc Beta, égal f2x, moins Alpha, qui vaut ça que je mets ici, fois X. Grand Y, et donc il y a cette pente qui se factorise avec un des bouts du Beta, pour faire grand X moins petit X, plus petit f2x. N'oubliez pas que la variable ici de la droite, de l'équation de la droite affine, c'est grand X et c'est grand Y qui doit être là. f2x et f2y sont des points fixes, ce sont les Apcis de A et B. M est-il sur cette droite ? Qu'est-ce qu'il faut faire pour vérifier que M appartient bien à cette droite ? Il faut remplacer l'Apcis de M à la place du grand X, et espérer qu'à la fin du calcul, on retrouve bien comme grand Y, comme ordonnée image, l'ordonnée de M qu'on s'est donnée depuis le début. C'est ce qu'on va faire ici en un calcul. C'est un peu long, mais on va le faire. On intègre ici Tx plus 1 moins Ty, et est-ce que quand on le met, ça donne bien Tf2x plus 1 moins Tf2y, qu'il y ait l'ordonnée de M ? Si ça donne ça, ça veut dire qu'on est bien sur la droite. J'accélère un peu. Je mets Tx plus 1 moins Ty à la place du grand X, et je vois où j'arrive. J'espère arriver au Y de M. J'avance, je vois que ça se simplifie ici, vous pouvez mettre pause si vous voulez le détail des calculs. Y moins X ici en factorisant, ça va finir par se factoriser et se simplifier. Ensuite, je peux mettre ensemble les termes, 1 moins T fois ça, je vois qu'il y a des f2x qui vont se simplifier, et il reste Tf2x plus 1 moins Tf2y. Ouf, c'est bien, l'Apcis de Y. J'ai donc bien montré que l'image de l'Apcis de M par l'équation de la droite AB donne exactement l'ordonnée de M. Donc M est sur la droite. Conclusion, maintenant c'est la démonstration simple. M appartenant au segment AB qui est la séquente de CF, F étant convex, AB le segment est au-dessus de CF. Donc l'image de l'Apcis de M par la séquente est au-dessus de son image par F. Idéalement qu'on peut écrire ce truc-là.

Démo inégalité convexité

RELATED

Recommended videos

Intuition et déf

Fonctions usuelles

Inégalité fondamentale