Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#1 13-12-2013 22:05:01
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Polygone des milieux
Bonjour à tous,
Un petit problème (qui m'a été posé par un collègue).
On part d'un polygone quelconque et on construit le polygone dont les sommets sont les milieux des côtés du polygone de départ, et on répète l'opération à l'infini.
Est-ce que ce processus converge, et si oui, vers quoi ?
La solution se trouve bien sûr sur le net (je suis toujours émerveillé par le changement radical dans le partage du savoir qu'apporte Internet), essayez donc un remue méninges avant [tex]10^{100}[/tex] (aka Gogol)
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#6 15-12-2013 15:58:44
- jdec
- Invité
Re : Polygone des milieux
Bonjour,
Il suffit de constater que le périmètre décroît...(un nouveau côté est plus petit que la somme des deux moitiés du polygone précédent)
#7 15-12-2013 18:04:34
- jpp
- Membre
- Inscription : 31-12-2010
- Messages : 1 105
Re : Polygone des milieux
salut.
chaque point milieu d'un segment se voit affecté des coefficients de ces 2 points . Donc les sommets du second polygone ont pour coefficient 2 , le suivant a des sommets de coefficient 4 , et le nième a des sommets de coefficient 2n-1
ça se densifie donc . On dirait que les points finissent sur une ellipse parce que j'ai tracé un cercle passant par les 2 points les plus éloignés , et les 4 derniers points sont à l'intérieur de ce cercle.
Hors ligne
#8 15-12-2013 18:28:32
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : Polygone des milieux
Bonjour,
Il suffit de constater que le périmètre décroît...(un nouveau côté est plus petit que la somme des deux moitiés du polygone précédent)
Certes, le périmètre décroit. C'est une suite positive et décroissante, elle converge donc. On ne peut par contre rien dire de sa limite (à part qu'elle positive ou nulle).
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#9 15-12-2013 18:59:59
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : Polygone des milieux
salut.
chaque point milieu d'un segment se voit affecté des coefficients de ces 2 points . Donc les sommets du second polygone ont pour coefficient 2 , le suivant a des sommets de coefficient 4 , et le nième a des sommets de coefficient 2n-1
ça se densifie donc . On dirait que les points finissent sur une ellipse parce que j'ai tracé un cercle passant par les 2 points les plus éloignés , et les 4 derniers points sont à l'intérieur de ce cercle.
Salut,
Ci-après un exemple intéressant :
On voit que le polygone obtenu, à une homothétie près, est exactement le même que le polygone de départ. ça permet d'illustrer la diversité des cas.
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#10 16-12-2013 00:11:29
- jdec
- Invité
Re : Polygone des milieux
Bonjour,
@Yassine : Pour une démonstration cliquer ici
En milieu de page on trouve :
"…that is all the vertices of the polygon [tex]M^p(a)[/tex]
converge for [tex] p \mapsto \infty[/tex] to the isobarycenter of the n vertices of polygon a.
It is easy to get an estimation of this convergence…"
#11 16-12-2013 08:53:30
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : Polygone des milieux
Bonjour,
@jdec : c'est en effet la démonstration qu'il y a sur le net. J'ai néanmoins trouvé une "solution" un peu moins compliquée que celle-ci (et moins bien formalisée !). Je ne suis néanmoins pas sûr de mon résultat. Je la posterai ici plus tard pour avoir vos points de vue avisés.
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#12 17-12-2013 22:05:23
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : Polygone des milieux
Bonsoir,
En essayant de formaliser ma solution, je me suis rendu compte qu'elle était incorrecte (je partais avec la même idée que jdec sur le périmètre, et je pensais à tort avoir trouvé un bon majorant pour le périmètre)
Je n'ai donc malheureusement pas de solution plus simple que ce qui est proposé dans le lien donné par jdec (réponse ici également, en français).
Je pense que je n'aurais pas posé cet exo si j'avais repéré mon erreur avant (la solution utilisant les matrices circulantes et la diagonalisation me parait trop complexe pour cette rubrique).
Désolé.
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#13 18-12-2013 17:04:54
- totomm
- Membre
- Inscription : 25-08-2011
- Messages : 1 093
Re : Polygone des milieux
Bonjour,
Comme G est l'isobarycentre fixe des n sommets [tex]A_i[/tex] à la kième itération, et que [tex]\sum{\vec{GA_i}}=0[/tex],
je prends le demi-périmètre comme majorant du plus grand des [tex]\vec{GA_i}[/tex], et sans formaliser plus,
je conjecture que tous les [tex]A_i[/tex] tendent vers le point G, qui ne peut être qu'intérieur au contour convexe des [tex]A_i[/tex],
puisque le périmètre sera rendu aussi petit que l'on veut (il diminue sans pouvoir rester stable).
Et je n'ai pas honte de cette conjecture...
Hors ligne
#14 19-12-2013 21:52:32
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : Polygone des milieux
Bonjour,
Comme G est l'isobarycentre fixe des n sommets [tex]A_i[/tex] à la kième itération, et que [tex]\sum{\vec{GA_i}}=0[/tex],
je prends le demi-périmètre comme majorant du plus grand des [tex]\vec{GA_i}[/tex], et sans formaliser plus,
je conjecture que tous les [tex]A_i[/tex] tendent vers le point G, qui ne peut être qu'intérieur au contour convexe des [tex]A_i[/tex],
puisque le périmètre sera rendu aussi petit que l'on veut (il diminue sans pouvoir rester stable).Et je n'ai pas honte de cette conjecture...
Il ne s'agit pas d'une conjecture mais d'un fait démontré (vu que les points convergent vers l'isobarycentre, alors le périmètre converge vers zéro). J'avais pris un approche similaire dans ma (mauvaise) solution. Je reprends le début si jamais ça inspirait quelqu'un (je ne met pas mon erreur, je n'en suis pas fier):
[tex][/tex]
Je note [tex]a_i,b_i[/tex] les longueurs du polygone de départ et d'arrivé après une étape, avec la convention [tex]a_{n+1}=a_1, b_{n+1}=b_1[/tex]. Je note également [tex]\theta_i[/tex] l'angle entre les côtés [tex]i[/tex] et [tex]i+1[/tex]. On a alors [tex](2b_i)^2 = a_i^2 + a_{i+1}^2 - 2a_i a_{i+1}cos\theta_i[/tex]. En sommant, ça donne [tex]\Sigma b_i^2 = \frac{1}{2}\Sigma a_i^2 - \frac{1}{2}\Sigma a_i a_{i+1}cos\theta_i[/tex], ou encore, en réarrangeant les termes [tex]\Sigma b_i^2 = \Sigma a_i^2 - \frac{1}{2}\Sigma (a_i^2 - a_i a_{i+1}cos\theta_i)[/tex]. On voit donc apparaître la somme quadratique des longueurs, qui décroit d'un terme [tex]X=\frac{1}{2}\Sigma (a_i^2 - a_i a_{i+1}cos\theta_i)[/tex]. J'ai cherché en vain à trouver un bon minorant pour ce terme. Les [tex]\theta_i[/tex] sont reliés entre eux par une relation du type [tex]\Sigma \theta_i = (n-2)\pi[/tex] (où on aura pris, dans le cas d'un angle supérieur à [tex]\pi[/tex] le complémentaire [tex]2\pi-\theta_i[/tex]). Le cas défavorable est celui des points alignés, dans ce cas, les angles valent [tex]\pi[/tex] à l'exception de deux angles qui seront nuls. c'est cette contrainte/propriété que je n'arrive pas à concrétiser pour trouver un minorant.
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne