Passer au playerPasser au contenu principal
  • il y a 9 mois

Catégorie

Personnes
Transcription
00:00Et on attaque la partie 3 du concours XENS Mat A version Psi édition 2025.
00:05Je te laisse regarder l'énoncé et on attaque avec la question 9.
00:08Justifier que f c1 et que f est convexe et donner l'ensemble de ces minimiseurs.
00:13Eh bien on va vérifier tout ça à la main.
00:14Déjà on n'a que f et c1 sur R étoile.
00:16Ensuite f est continué en 0 puisque les deux limites sont égales.
00:19Et enfin si je prends le taux d'accroissement il est égal à ceci ou ceci.
00:23Et donc les limites en 0 à gauche et à droite sont égales à 0.
00:27Et donc la valeur du nombre dérivé de la fonction en 0 est bien 0.
00:31La dérivée est bien continue en 0 puisque si je prends la limite quand X tend vers 0.
00:35On a bien 0 puisque l'expression de la dérivée est donnée par ceci.
00:38De plus on n'a que f' est croissante.
00:40Oui puisque c'est ceci l'expression.
00:41On n'a que la fonction qui a X associé à X² est bien croissante sur 0 plus l'infini.
00:45Et on a que la fonction constamment nulle est bien croissante.
00:48Alors attention au petit piège ça ne suffit pas tel quel.
00:50Être croissant pour les négatifs et croissant pour les positifs ne signifie pas qu'on est croissant sur R.
00:54Il manque un petit truc, si on compare les gens qui sont dans R- et les gens dans R+,
00:58est-ce qu'on a toujours la préservation de l'ordre ?
01:00Et oui c'est le cas, si je prends n'importe qui de négatif il est inférieur à n'importe qui de positif.
01:05Et si je prends leurs images, j'aurai pour le cas positif un carré puisqu'on est défini comme ça sur les positifs.
01:10Et 0 pour le négatif.
01:12Donc j'aurai toujours que l'image d'un négatif est plus petite que l'image d'un positif par cette fonction.
01:16Et donc les images sont bien dans le même ordre pour toute valeur de X réelle.
01:20Ainsi f' est croissante et donc on peut conclure que f est convexe.
01:23On va maintenant donner l'ensemble des minimiseurs.
01:25Pour toute X dans R, on a f de X supérieur ou égal à 0.
01:28Or f de X étoile égale 0 si X étoile est dans moins l'infini 0.
01:31C'est même un si et seulement si.
01:33Puisque dans les autres cas, f de X est différent de 0.
01:35On a donc trouvé l'ensemble des minimiseurs, c'est tout simplement R-.
01:39Check !
01:39Question 10a.
01:40On suppose que X0 est strictement supérieur à 0 et strictement inférieur à 1 sur taux.
01:45Justifiez que la suite Xn définie par la relation de récurrence 2 est décroissante à valeur strictement positive.
01:50Et satisfait que Xn plus 1 est égal à Xn facteur de 1 moins taux Xn pour toute n dans...
01:55On a que pour toute n dans une naturelle, Xn plus 1 est égal à Xn moins taux f' de Xn.
01:59Donc Xn plus 1 moins Xn est égal à moins taux f' de Xn.
02:02On sait que la dérivée est toujours supérieure ou égale à 0.
02:05Donc ceci est positif, ceci est strictement positif et donc tout ceci est négatif.
02:10Ainsi Xn est décroissante.
02:12Check !
02:12On va montrer par récurrence à l'arrache que Xn est strictement positif pour toute n anti-naturelle.
02:16Donc initialisation X0 strictement positif d'après l'énoncé.
02:19Check !
02:20Soit n tel que Xn est strictement positif.
02:22On trouve que Xn plus 1 est strictement positif.
02:24On a que Xn plus 1 est égal à Xn moins taux f' de Xn.
02:27Mais vu que Xn est strictement positif à l'hypothèse de récurrence,
02:30ça c'est égal à Xn moins taux Xn carré.
02:32La dérivée vaut X carré pour les X positifs.
02:35Et ça, ça se factorise en Xn, facteur de 1 moins taux Xn.
02:38Or on a que ceci est strictement positif par hypothèse de récurrence.
02:41Il y en a que ceci est strictement positif.
02:43Pourquoi ?
02:43Parce que 1 sur taux est strictement supérieur à X0 d'après l'énoncé.
02:48Et d'après ce qu'on a dit juste avant,
02:49la suite est décroissante.
02:50Donc X0 est supérieur ou égal à Xn.
02:52Donc Xn est strictement affaire à 1 sur taux.
02:55Donc je multiplie par taux qui est positif.
02:56Ça me fait bien que 1 moins taux Xn est strictement positif.
03:00Donc j'ai bien que Xn plus 1 est strictement positif.
03:03Check.
03:04On a donc bien prouvé ceci par récurrence.
03:06Et encore une fois, on a bien que pour toute n anti-naturel,
03:08Xn plus 1 est égal à Xn, facteur de 1 moins taux Xn,
03:11puisque la dérivée en une valeur qui est positive vaut X carré.
03:15J'ai Xn moins taux Xn carré.
03:17Et donc j'ai bien ceci.
03:19Question B justifie que Xn tend vers 0 lorsque n tend vers l'infini.
03:21Et bien d'après la question précédente, Xn est décroissante et Xn est strictement positive,
03:27donc minorée.
03:28Donc d'après le théorème de convergence monotone, Xn converge.
03:31De plus, la fonction qui a X associe X, facteur de 1 moins taux X,
03:35est continue sur tout R, parce que c'est tout simplement un polynôme.
03:38Je peux donc appliquer le théorème du point fixe.
03:40Je sais que Xn va converger vers un point fixe de cette fonction.
03:43On a donc que Xn converge vers L,
03:45et L est égal à L, facteur de 1 moins taux L.
03:48Je distribue, je simplifie par L, j'obtiens 0 est égal à moins taux L carré.
03:53Et donc en divisant par moins taux qui est strictement positif,
03:55j'obtiens que L carré est égal à 0, ce qui équivaut à L est égal à 0.
03:58Donc Xn tend bien vers 0 quand n tend vers plus l'infini.
04:00Check.
04:01Question C, montrez que 1 sur Xn plus 1 est égal à 1 sur Xn plus taux sur 1 moins taux Xn
04:06pour tout n entier naturel.
04:08Soit un entier naturel quelconque, je peux faire 1 sur Xn plus 1,
04:11puisqu'on a démontré juste avant que Xn plus 1 est strictement positif,
04:13donc différent de 0, et donc c'est égal à ceci.
04:15Pareil, tout ceci est valide, car Xn est différent de 0,
04:19et ceci est différent de 0, vu que Xn est strictement inférieur à 1 sur taux,
04:23par le raisonnement que j'ai fait ici dans la récurrence.
04:25Je fais tout simplement une décomposition en éléments simples,
04:27et j'obtiens ceci.
04:28En mettant au même dénominateur, on voit rapidement qu'on a bien l'égalité.
04:31Check.
04:32Deuxième partie de la question,
04:33on déduit que Xn est inférieur ou égal à X0 sur 1 plus n taux X0.
04:37Je viens de montrer que pour tout cas,
04:391 sur Xk plus 1 moins 1 sur Xk est égal à ceci.
04:42Je fais juste passer ça de l'autre côté de l'égalité.
04:45Et donc je vais sommer pour cas de 0 à n moins 1,
04:48ce qui me donne que cette somme-là est égale à cette somme-là.
04:52Ici, vous avez reconnu une somme télescopique,
04:54donc j'ai le terme ici en n moins 1 qui fait 1 sur Xn,
04:57moins 1 sur X0, tous les autres se simplifient.
05:00Je factorise ici par taux,
05:02et finalement en isolant 1 sur Xn,
05:03j'obtiens que 1 sur Xn est égal à 1 sur X0 plus taux fois toute cette somme.
05:07Je l'inverse, puisqu'évidemment tout ça est strictement positif,
05:10donc différent de 0.
05:11Et je divise par X0,
05:12ce qui équivaut à multiplier le dénominateur par X0,
05:14donc j'ai 1 plus taux X0 fois cette somme.
05:18Et ça, j'affirme que c'est inférieur ou égal à 1 sur 1 plus taux X0 n.
05:22Pourquoi ?
05:23Parce que j'ai que 1 est inférieur ou égal à 1 sur 1 moins taux Xk,
05:27quel que soit k.
05:28Pourquoi ?
05:28Parce que taux Xk est strictement positif,
05:31et donc 1 moins taux Xk est inférieur ou égal à 1.
05:33Je passe de l'autre côté et je rajoute 1,
05:35et je divise par ça, qui est différent de 0.
05:37Et je somme de 0 à n moins 1,
05:39et j'obtiens donc du coup n est inférieur ou égal à ceci.
05:42Et quand j'ai un quotient,
05:43si je prends une quantité plus petite que le dénominateur,
05:46je majore la quantité globale.
05:49Donc vu que n est plus petit que cette somme-là,
05:51j'ai que 1 sur 1 plus tout ça,
05:54et plus petit que 1 sur taux X0 n.
05:57Taux X0 sont bien strictement positifs.
05:59Je peux le voir aussi en mode,
06:01je multiplie ici par taux X0,
06:03pareil ici,
06:04je rajoute 1,
06:05donc c'est dans cet ordre-là,
06:06et tous les deux sont positifs,
06:07je prends les inverses pour n différent de 0,
06:10et j'obtiens bien cette inégalité-là.
06:12L'inégalité à démontrer est évidemment vraie
06:14quand n est égal à 0,
06:15et tout ce qu'on a fait ici,
06:16on précise que c'est pour n plus grand que 1.
06:19Si après multiplication par X0,
06:20donne l'inégalité voulue, check !
06:22Question 11,
06:23on suppose seulement que le taux est strictement positif,
06:25montrer que pour tout X0 dans R,
06:26la suite Xn converge vers un minimiseur de F.
06:29D'abord, on peut noter que par le même raisonnement
06:30que la question 10a,
06:32j'ai Xn plus 1 moins Xn,
06:33qui est toujours égal à ceci,
06:34qui est toujours négatif,
06:35donc j'ai bien aussi que la suite Xn est décroissante.
06:38On va montrer que dans la généralité de taux strictement positif,
06:41soit Xn est minoré par 0,
06:43et donc convergente et par le même raisonnement tendra vers 0,
06:46soit Xn est constante à partir d'un certain rang.
06:49Si elle est minorée par 0,
06:50on reproduit le même raisonnement qu'avant,
06:51et donc on a bien que Xn tend vers 0,
06:54et donc on a bien qu'on tend vers un minimiseur de la fonction.
06:57Maintenant, si Xn n'est pas minoré vers 0,
07:00ça veut dire qu'il existe une valeur de la suite
07:01qui est strictement négative.
07:03On va l'appeler Xp,
07:04or Xp plus 1 après la relation de récurrence
07:06est égal à Xp moins taux F' de Xp.
07:09Et pour rappel, F' elle vaut 0 pour les strictement négatifs,
07:12ce qui signifie qu'ici on a que c'est égal tout simplement à Xp,
07:15puisque ceci s'annule.
07:17Et donc j'ai que Xp plus 1 est égal à Xp,
07:19et de même je reproduis le raisonnement,
07:21Xp plus 2, etc., etc. est égal à Xp,
07:23on est bien constant à partir d'un certain rang
07:25de valeurs strictement négatives.
07:27Donc comme on est constant à partir d'un certain rang,
07:29on tend vers Xp,
07:31et Xp est une valeur strictement négative
07:32qui est bien un minimiseur.
07:34Après la question 9,
07:35on a affirmé que les minimiseurs,
07:36c'est R moins.
07:37Question 12a,
07:38je te laisse lire la petite intro hypothèse,
07:40et moi je lis la question 12a,
07:41montrer que pour tout XY dans R,
07:43F de Y est super ou égal à F de X,
07:45plus Fn de X,
07:46facteur de Y moins X.
07:48Alors il donne une indication avec le développement limité
07:50de la relation 1 quand T tend vers 0+,
07:53mais on pouvait faire autrement,
07:55donc je vais te présenter 3 preuves distinctes,
07:56incluant la leur.
07:57Pour rappel, la relation 1,
07:59c'est que pour tout XY dans R et tout T dans 0,1,
08:01j'ai cette inégalité-là,
08:02c'est la convexité de F.
08:04Et je réécris ce terme de cette façon-là,
08:06et du coup on voit que ici,
08:08quand T tend vers 0,
08:09j'ai bien un truc qui tend vers 0,
08:10et je fais le développement limité de ça.
08:12Alors droit 1,
08:12puisque j'ai seulement comme information que F est C1.
08:15J'obtiens donc cette nouvelle inégalité
08:16avec mon développement limité
08:18qui apparaît sur la gauche.
08:19Je simplifie les F de X,
08:20et je divise par T,
08:22on va supposer que T est différent de 0,
08:23et j'obtiens finalement cette inégalité-là.
08:25Pourquoi ?
08:25Parce qu'un petit taux de T2 divisé par T,
08:28ça fait un petit taux de T.
08:29Je te laisse démontrer ça en commentaire.
08:30Et j'obtiens finalement cette inégalité-là,
08:32et je vais passer à la limite
08:33quand T tend vers 0+,
08:35dans cette inégalité,
08:36qui me donne bien l'inégalité voulue.
08:38Check !
08:38Deuxième possibilité,
08:39soit XY dans R,
08:40supposons que X est inférieur ou égal à Y.
08:42On fera dans l'autre sens après.
08:44Aussi, X égale Y, c'est trivial,
08:45donc on va les supposer distincts.
08:47La fonction vérifie les hypothèses du TAF,
08:49et donc j'applique le théorème des accroissements finis,
08:51et j'ai l'existence d'un Z dans l'ouvert,
08:53tel que ce taux d'accroissement est égal à F' de Z.
08:56Or, Z est supérieur ou égal à X.
08:58Pourquoi ?
08:58Parce que Z était pris dans l'intervalle XY ouvert.
09:01Ben, X est strictement inférieur à Y.
09:02Et donc, on a que F' de Z est supérieur ou égal à F' de X,
09:05car F' est croissante,
09:06car F est convexe d'après l'énoncé.
09:08Et donc, je remplace F' de Z par le taux d'accroissement,
09:11et j'ai bien l'inégalité voulue,
09:12après avoir réarrangé,
09:13sachant que Y moins X est strictement positif,
09:16et qu'en multipliant, je ne change pas l'inégalité.
09:18Check !
09:18Je le fais aussi rapidement dans le cas où X est strictement plus grand que Y,
09:21et c'est un peu la même chose,
09:22sauf qu'il faut simplement faire attention ici,
09:24où je multiplie par Y moins X,
09:25Y moins X est strictement négatif.
09:27Donc l'inégalité change de sens en passant de ici à ici.
09:32T'es voulu, check !
09:33Dernière méthode, je te laisse la faire en commentaire.
09:35Tu peux noter que ça, ça va être l'équation d'une tangente bien choisie.
09:38Alors fais attention à ne pas t'embrouiller avec les Y,
09:40peut-être change les lettres à la place de Y, mais Z.
09:42Et calcule l'équation de la tangente,
09:43et donc tu verras que tu auras ceci par la convexité de F.
09:46Check aussi, parce que je sais que t'es bégé et que tu vas y arriver.
09:49N'hésite pas, si tu as des questions, à les lâcher en commentaire.
09:51On se donne rendez-vous pour la suite.
09:54Bisous !
Écris le tout premier commentaire
Ajoute ton commentaire

Recommandations