Une inégalité de convexité

RUBRIQUES

Cours & Math-fiches

1ère (29 Jan 2008)
3ème (19 Jn 2007)
4ème (29 Jn 2007)
LaTeX (02 Sep 2007)
Seconde (22 Fév 2008)
Supérieur (29 Oct 2006)
Terminale (08 Sep 2008)
Toutes classes (14 Sep 2008)

Partenaires

Le Math-sondage

[ Résultats | Sondages ]

Votes : 3411
Commentaires : 9

Racine :: Le Math-Forum :: Enigmes, curiosités. :: Une inégalité de convexité

Modéré par: Thierry, Jeet-chris, raycage

	Une inégalité de convexité

Zauctore	Envoyé: 15.11.2006, 15:19
Cosmos enregistré depuis: aoû. 2005 Messages: 4052 Status: hors ligne dernière visite: 06.10.08	Salut. En voici une que j'ai apprise il y a peu. $\text{Pour tout triangle de cotes }a,\,b,\,c\text{ et d\'aire }\mathcal{A},\,\text{ on a :}$ $\fbox{a^2 + b^2 + c^2 \geq (a-b)^2 + (b-c)^2 +(c-a)^2 + 4 \mathcal{A} \sqrt3}$ Joli, non ? Pour la preuve : Al-Kashi, expression de l'aire, sin(A/2) et ... convexité de la fonction tangente sur [0 ; /2[. modifié par : Zauctore, 20 Nov 2006 - 15:56


Zauctore	Envoyé: 17.11.2006, 18:52
Cosmos enregistré depuis: aoû. 2005 Messages: 4052 Status: hors ligne dernière visite: 06.10.08	Bon. La figure rappelle les notations Alors on a $a^2 = b^2 + c^2 - 2\,bc\,\cos\hat A$ Or $b^2 + c^2 = (b-c)^2 + 2\,bc$ donc $a^2 = (b-c)^2 + 2\,bc - 2\,bc\,\cos\hat A$ d'où $a^2 = (b-c)^2 + 2\,bc (1 - \cos\hat A).$ C'est un début, n'est-ce pas.

Zauctore	Envoyé: 20.11.2006, 15:55
Cosmos enregistré depuis: aoû. 2005 Messages: 4052 Status: hors ligne dernière visite: 06.10.08	La suite maintenant. Dans la dernière ligne ci-dessus, on voit le produit $\ bc$ . Or on a $\mathcal{A} = \frac12\, bc \, \sin \hat A$ c'est-à-dire $bc = \frac{2\mathcal{A}}{\sin\hat A}$ d'où $\fbox{a^2 = (b-c)^2 + 4\mathcal{A}\,\frac{1 - \cos \hat A}{\sin \hat A}}$ De la même manière, on obtient $b^2 = (c-a)^2 + 4\mathcal{A}\,\frac{1 - \cos \hat B}{\sin \hat B}$ $c^2 = (a-b)^2 + 4\mathcal{A}\,\frac{1 - \cos \hat C}{\sin \hat C}$ Un peu de trigo permettra de simplifier un peu ces fractions... modifié par : Zauctore, 21 Nov 2006 - 12:23

miumiu	Envoyé: 20.11.2006, 17:14
Cosmos enregistré depuis: mar. 2006 Messages: 3528 Status: hors ligne dernière visite: 27.03.08	coucou très belle démonstration ;)

Zauctore	Envoyé: 20.11.2006, 17:16
Cosmos enregistré depuis: aoû. 2005 Messages: 4052 Status: hors ligne dernière visite: 06.10.08	coucou mais c'est pas fini ! et puis attends l'apparition de la convexité (si, si, je suis sûr que ça te dit quelque chose). modifié par : Zauctore, 21 Nov 2006 - 12:06

Zauctore	Envoyé: 21.11.2006, 12:23
Cosmos enregistré depuis: aoû. 2005 Messages: 4052 Status: hors ligne dernière visite: 06.10.08	Alors un peu de trigo, maintenant... On a pour tout $x$ réel $\sin(2x) = 2\, \sin x\, \cos x$ on en déduit $\sin\hat A = 2\, \sin \frac{\hat A}2 \, \cos \frac{\hat A}2$ Maintenant, on peut reporter ceci dans l'égalité précédente $a^2 = (b-c)^2 + 4\mathcal{A}\,\frac{1 - \cos \hat A}{\sin \hat A}$ ce qui donne $(1)\qquad \qquad \qquad a^2 = (b-c)^2 + 4\mathcal{A}\,\frac{1 - \cos \hat A}{2\, \sin \frac{\hat A}2 \, \cos \frac{\hat A}2}$ De même, on a pour tout $x$ réel $\cos (2x) =1 - 2\sin^2 x$ d'où l'on déduit $\frac{1-\cos \hat A}2 = \sin^2 \Big[\frac{\hat A}2\Big]$ Remplaçons à nouveau dans (1), pour obtenir $a^2 = (b-c)^2 + 4\mathcal{A}\,\frac{\sin^2 \Big[\frac{\hat A}2\Big]}{ \sin \frac{\hat A}2 \, \cos \frac{\hat A}2}$ c'est-à-dire $a^2 = (b-c)^2 + 4\mathcal{A}\,\frac{\sin \frac{\hat A}2}{\cos \frac{\hat A}2}$ d'où enfin $\fbox{a^2 = (b-c)^2 + 4\mathcal{A}\,\tan\frac{\hat A}2}$

nelly	Envoyé: 21.11.2006, 17:41
Cosmos enregistré depuis: mar. 2005 Messages: 392 Status: hors ligne dernière visite: 26.05.08	Z... t'es vraiment dans ton tripe avec les démonstrations?! D'ailleurs, à mon grand étonnement, il n'y a encore aucun théorème qui porte ton nom? ou ton prénom? ou ton pseudo?!!!... je suis déçue...

Zauctore	Envoyé: 22.11.2006, 15:06
Cosmos enregistré depuis: aoû. 2005 Messages: 4052 Status: hors ligne dernière visite: 06.10.08	Bah, Nell' tu vas rester déçue longtemps alors... Après cet aparté, je reprends : De même, on a $b^2 = (c-a)^2 + 4\mathcal{A}\,\tan\frac{\hat B}2$ $c^2 = (b-a)^2 + 4\mathcal{A}\,\tan\frac{\hat C}2$ d'où il résulte en définitive $\fbox{a^2 +b^2 + c^2 = (b-c)^2 + (c-a)^2 + (b-a)^2 +4\mathcal{A}\left(\tan\frac{\hat A}2 + \tan\frac{\hat B}2 + \tan\frac{\hat C}2\right)$ ce qui est déjà bien. On s'attaque ensuite à la somme des trois tangentes...

nelly	Envoyé: 23.11.2006, 10:22
Cosmos enregistré depuis: mar. 2005 Messages: 392 Status: hors ligne dernière visite: 26.05.08	Bah, je ne pense pas Z... T'as vu tout ce que tu as mis sur le forum comme théorèmes, démonstrations, exemples (t'as pas encore essayé les blagues?...ah non, ça c'est moi!!! )... tu vas voir : d'ici peu, je suis sûre qu'on va pouvoir trouver en librairie quelques bouquins à ton effigie! ...dans le nord... ... non je déconne mon ptit Z, je ne te vannes pas!! j'admire ton boulot, et celui que tu fais pour le forum!Merci!... Pour ma part, je suis en préparation (très très très lente, vu qu'il pleut des partiels ces temps-ci!) de quelques formulaires supplémentaires!!!... faut pas perdre les bonnes habitudes! modifié par : nelly, 23 Nov 2006 - 09:23

Zauctore	Envoyé: 23.11.2006, 14:33
Cosmos enregistré depuis: aoû. 2005 Messages: 4052 Status: hors ligne dernière visite: 06.10.08	N'imp', Nell' : je suis trop beau pour être mis en photo ! et... t'as fini de jouer avec les trucs qui clignotent ? C'est le lieu pour parler un peu de convexité. déf. 1 Un ensemble E dans le plan est convexe, lorsque le segment joignant deux quelconques de ces points est tout entier contenu dans E. Précisément, pour tous A, B de E, pour tout point M du segment [AB], alors M est dans E. à gauche : convexe $\qquad$ ; $\qquad$ à droite : non-convexe La représentation graphique $(\Gamma)$ d'une fonction $f$ définit un ensemble $E_f$ des points situés au-dessus de $(\Gamma)$ : c'est l'ensemble des points $M(x ; y)$ tels que $y \geq f(x)$ - les $x$ étant compris dans le domaine $I$ de définition de $f$ . $E_f = \{M(x\,;\,y)\, \mid\, x \in I, \; y \geq f(x)\}.$ déf. 2 Alors la fonction $f$ est convexe sur $I$ lorsque cet ensemble $E_f$ est lui-même convexe au sens de la définition 1. Cela se traduit par le fait que, en reliant deux points de la courbe de $f$ , le segment tracé est tout entier situé au-dessus de la courbe. [image à inclure] Un point de ce segment peut se caractériser en terme de barycentre... [La suite plus tard] modifié par : Zauctore, 26 Nov 2006 - 13:54

nelly	Envoyé: 23.11.2006, 16:11
Cosmos enregistré depuis: mar. 2005 Messages: 392 Status: hors ligne dernière visite: 26.05.08	Quels trucs qui clignotent??? ... Pour ta photo, je comprend... c'est un forum public! Et il ne faudrait pas perdre de mathforeurs... Quant à une photo à l'échelle nationale , la France n'est pas encore prête... et encore moins à l'échelle internationale !!!... je comprends, je suis dans le même cas que toi! Quoi que pour ton bouquin : pas besoin de photos?! Bon, mais pour lma convexité : je suis tout à fait d'accord!!