Exos sympas MP(*)

Un problème, une question, un nouveau théorème ?

Messages : 6

Inscription : 30 avr. 2017 01:48

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par oty20 » 05 nov. 2018 15:21

Bonjour Professeur, non je n'ai pas regardé ces cours, par contre la question est tiré d'un énoncé d'oral non corrigé de la RMS

Image

ce résultat y était admis, je n'ai pas posté les questions intermédiaires parce que j’espérais voir une méthode différente que celle proposé par l'énoncé.

A ce jour avec un peu de recul je pense que c'est aussi faisable par le théorème des valeurs intermédiaire en dimension 2, et aussi par le théorème de point fixe de Brouwer.
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 0

Inscription : 13 févr. 2018 09:22

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par matmeca_mcf1 » 05 nov. 2018 23:36

Le groupe d'homotopie $ \pi_1 $ (topologie algébrique) est d'ailleurs un moyen de démontrer Brouwer en dimension 2.
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.

V@J

Messages : 2811

Inscription : 22 janv. 2009 17:15

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par V@J » 07 nov. 2018 21:24

oty20 a écrit :
05 nov. 2018 15:21
A ce jour avec un peu de recul je pense que c'est aussi faisable par le théorème des valeurs intermédiaire en dimension 2, et aussi par le théorème de point fixe de Brouwer.
On peut aussi faire ça « à la main », par exemple en introduisant un quadrillage comme suit. Attention, c'est pédestre, comme on pouvait s'y attendre.
SPOILER:
Les ensembles $ F = f([0,1]) $ et $ G = g([0,1]) $, sont compacts, en tant qu'images du compact $ [0,1] $ par les fonctions continues $ f $ et $ g $. Si $ F \cap G = \emptyset $, la distance entre $ F $ et $ G $ est donc un nombre réel $ \varepsilon > 6 \sqrt{2} / n $ pour tout entier $ n $ assez grand. On choisit alors un quadrillage du carré $ [0,1]^2 $ en $ n \times n $ carrés de côté $ 1/n $. Puis, si on colorie en bleu les carrés inclus dans $ F^+ = \{z \mid d(z,F) \leqslant \varepsilon / 3\} $ en rouge ceux inclus dans $ G^+ = \{z \mid d(z,G) \leqslant \varepsilon / 3\} $, alors chaque couleur de carrés forme une zone discrétisée et connexe « par arêtes de côtés » et contenant à chaque fois deux coins du carré $ [0,1]^2 $ situés en diagonale l'un de l'autre ; nos deux zones coloriées sont disjointes, et ne sont même pas adjacentes.

On peut maintenant raisonner par récurrence sur le nombre de carrés rouges et bleus pour montrer que deux telles parties n'existent pas : c'est un processus de rectification un peu pénible mais faisable. Par exemple, on peut supposer que chaque partie se déconnecte ou perd un des coins du carré $ [0,1]^2 $ dès lors que l'on supprime un de ses petits carrés. Le graphe induit est donc sans cycle. Puis, s'il existe deux carrés de même couleur, sur une même ligne ou une même colonne, et séparés uniquement par des carrés incolores, on peut les joindre et supprimer l'autre bout du cycle ainsi formé, gagnant un nombre strictement positif de petits carrés. Ainsi, sur chaque ligne ou colonne, on a une alternance rouge - incolore - bleu - incolore, etc.

Mais alors, si on suit le chemin formé par notre graphe de petits carrés bleus (et en commençant par le carré en bas à gauche), on ne peut jamais revenir vers la droite, sinon on aurait identifié deux carrés bleus sur une même colonne, séparés par des carrés incolores uniquement. De même, notre chemin ne peut jamais redescendre, et le chemin rouge, partant du carré en haut à gauche, ne peut qu'aller vers la droite ou descendre. De là, un théorème des valeurs intermédiaires, dans une version discrète, montre bien l'absurde de notre situation.

Messages : 0

Inscription : 15 août 2015 21:58

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par artslidd » 08 nov. 2018 00:01

Soient $ (\epsilon _n) $ une suite à valeurs dans $ \{-1, 1\} $ et $ (u_n) $ une suite décroissante positive telles que $ \sum \epsilon_n u_n $ converge.

Montrer que $ u_n \sum_{k=0}^{n} \epsilon_k \rightarrow 0 $
2015/2016 MPSI Jean Perrin
2016/2017 MP * Lycée du Parc

"Parfois ce sont les personnes que l'on imagine capable de rien qui font des choses que personne n'auraient imaginé"
Le bon vieil Alan

Messages : 6

Inscription : 30 avr. 2017 01:48

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par oty20 » 08 nov. 2018 05:44

jolie exo, je l'avais vu dans ce TD http://www.denischoimet.com/Exercices_f ... s_1819.pdf , vous êtes élève chez lui ?

on peut omettre l’hypothèse $ e_{n} \in \{-1,1\} $, voici une démonstration :

Il suffit de traiter le cas $ u_{n} $ strictement positif on pose $ S_{n}=\sum_{k=1}^{n} e_{k}u_{k} $ et pour alléger l’écriture $ v_{n}=e_{n}u_{n} $ ,alors pour toute suite $ (w_{n}) $ on a la transformation d'Abel suivante :

$ v_{1}w_{1}+...+v_{n}w_{n}=\sum_{k=1}^{n-1}S_{k}(w_{k}-w_{k+1})+S_{n}w_{n} $ , d'ou pour $ (w_{n}) $ non nulle :

$ \frac{v_{1}w_{1}+...+v_{n}w_{n}}{w_{n}}~~=S_{n} - \sum_{k=1}^{n-1} S_{k} \frac{w_{k+1}-w_{k}}{w_{n}} $

Il suffit de prendre $ w_{n}=\frac{1}{u_{n}} $ avec $ a_{n,k}=\frac{w_{k+1}-w_{k}}{w_{n}} $ , Le théorème de Silverman-Toeplitz
https://en.wikipedia.org/wiki/Silverman ... tz_theorem permet de conclure.


@V@j votre approche est génialissime, par contre je n'arrive pas à tout suivre, pourriez-vous caricaturalisé votre approché avec un dessin ? Merci
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 0

Inscription : 15 août 2015 21:58

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par artslidd » 08 nov. 2018 21:14

Oui j'étais dans sa classe il y a deux ans maintenant
2015/2016 MPSI Jean Perrin
2016/2017 MP * Lycée du Parc

"Parfois ce sont les personnes que l'on imagine capable de rien qui font des choses que personne n'auraient imaginé"
Le bon vieil Alan

Messages : 6

Inscription : 30 avr. 2017 01:48

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par oty20 » 17 nov. 2018 04:17

Autour de l'espérance :

Soit $ X,Y $ deux variables aléatoires réelles indépendantes de même loi , et pour simplifier à valeurs dans un ensemble fini.

Montrer que : $ E(|X-Y|) \leq E(|X+Y|) $
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .

Messages : 0

Inscription : 16 oct. 2017 22:49

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par BobbyJoe » 17 nov. 2018 10:28

Voilà une preuve générale fondée sur unes astuce due au mathématicien polonais : Jacek Wesolowski.

Soit $X$ et $Y$ deux vecteurs aléatoires de $\mathbb{R}^{n}$ intégrables, de même loi et indépendants.

On note $<,>$ un produit scalaire sur $\mathbb{R}^{n}$ et $\|.\|$ la norme associée.

On veut montrer l'inégalité : $$\mathbb{E}[\|X-Y\|]\leq \mathbb{E}[\|X+Y\|].$$

**Lemme
Tout d'abord, il existe une constante $C_{n}>0$ telle que pour tout $u$ appartenant à $\mathbb{R}^{n}$ $$\|u\|=C_{n}\int_{\mathbb{S}^{n-1}}dx\int_{\mathbb{R}}\frac{1-\cos(t<x,u>)}{t^{2}}dt.$$

L'intégrande étant positif, on peut calculer formellement.
L'identité à prouver repose sur le fait qu'il existe une constante $C>0$ telle que pour $x$ appartenant à $\mathbb{R}$ $$\int_{\mathbb{R}} \frac{\sin^{2}(tx)}{t^{2}}=C\vert x \vert.$$
Si $u=0$, l'identité est directe. Si $u\neq 0$, on écrit que $\mathbb{R}^{n}$ est somme directe de la droite engendrée par $\frac{u}{\|u\|}$ et de l'orthogonal de cette droite vectorielle pour obtenir après un changement de variable l'identité désirée.

**Preuve de l'inégalité

Par Fubini positif, il vient $$\mathbb{E}[\|X+Y\|-\|X-Y\|]=C_{n}\int_{\mathbb{S}^{n-1}}dx\int_{\mathbb{R}}\mathbb{E}\left[\frac{1-\cos\left(t<x,X+Y>)\right)}{t^{2}}-\frac{1-\cos\left(t<x,X-Y>)\right)}{t^{2}}\right]dt.$$
On a alors avec un peu de trigonométrie que $$\mathbb{E}[\|X+Y\|-\|X-Y\|]=2C_{n}\int_{\mathbb{S}^{n-1}}dx\int_{\mathbb{R}}\mathbb{E}\left[\frac{\sin(t<x,X>)}{t}\frac{\sin(t<x,Y>)}{t}\right]dt.$$
D'où l'on tire par indépendance de $X$ et $Y$ (et du fait que $X$ et $Y$ aient même loi) $$\mathbb{E}[\|X+Y\|-\|X-Y\|]=2C_{n}\int_{\mathbb{S}^{n-1}}dx\int_{\mathbb{R}}\mathbb{E}\left[\frac{\sin(t<x,X>)}{t}\right]^{2}dt\geq 0.$$

Remarque :
On peut également utiliser l'astuce suivante (si $\|.\|$ désigne la norme euclidienne standard sur $\mathbb{R}^{n}$)
$ $$\displaystyle \left( \frac{1}{\sqrt{2\pi}} \right)^{n}\int_{\mathbb{R}^{n}}\exp(-\frac{\|x\|^{2}}{2})\vert <x,u> \vert dx=\|u \|.$
Bref...
Dernière modification par BobbyJoe le 17 nov. 2018 23:14, modifié 3 fois.

Avatar de l’utilisateur
dSP

Messages : 603

Inscription : 03 oct. 2004 11:59

Profil de l'utilisateur : Enseignant (CPGE)

Re: Exos sympas MP(*)

Message par dSP » 17 nov. 2018 16:09

Si c'est la démonstration attendue, alors cet exercice est de mauvais goût...
Professeur de Mathématiques en MP*/MPI* au lycée Hoche

Messages : 0

Inscription : 16 oct. 2017 22:49

Profil de l'utilisateur : Élève de lycée

Re: Exos sympas MP(*)

Message par BobbyJoe » 17 nov. 2018 16:34

En dimension $ $$1$, il y a une preuve ad-hoc (fondée sur l'inégalité triangulaire) par récurrence sur le nombre de points du support de la loi $ $$X,$ en supposant que $ $$X$ est uniforme (ce qui implique le cas général par la loi des grands nombres)... mais c 'est fastidieux!

Répondre