Sur chaque côté d'un polygone régulier à n côtés, nous sélectionnons un point qui n'est pas un sommet, et nous construisons le n-gone convexe P que ces n points déterminent.
(a) Lorsque n=4, si le quadrilatère P à ses angles égaux, est-il nécessairement un carré ?
(b) Lorsque n=5, si le pentagone P à ses angles égaux, est-il nécessairement régulier ?
(c) Pour quels nombres naturels n supérieurs à 3 est-il vrai que, si le n-gone P à ses angles égaux, alors il est nécessairement régulier ?

(a) Le quadrilatère P n'est pas nécessairement un carré puisqu'on peut facilement inscrire un rectangle dans un carré, et ce rectangle a bien ses angles égaux.
(b) Je pense que oui mais je ne vois pas comment le prouver.
(c) Je pense que tous les n-gone avec n impair et qui ont leur angles égaux sont semblables au n-gone régulier, ils sont donc réguliers. Je pense donc que la propriété est vraie pour tout n impair supérieur à 3.
Du reste, si n est pair (soit n=2k), je pense qu'on peut facilement inscrire un k-gone, tronqué à chacune de ses extrémités, dans le 2k-gone régulier de départ. Or ce k-gone tronqué n'est pas forcément un 2k-gone régulier, bien qu'il ait ses angles égaux (il suffit pour cela de partir d'un k-gone régulier et de le tronquer d'un k-gone régulier à chacune de ses extrémités). En tous cas cela fonctionne avec n=4, n=6 et n=8.
Bien sûr ceci n'est pas une preuve, c'est pourquoi je vous demande de m'aider pour ce problème.
Je ne sais pas comment vous montrer mes dessins sur le forum, est-ce possible ? Faut-il utiliser un logiciel spécialisé pour cela ?

Alors, qu'en dites-vous ? Comment résoudre ce problème ?

Bon alors, je l'ai fait d'une façon barbare mais c'est déjà cela.

Pour un polygone à cotés de mesure (ça ne change rien de considérer cela). On construit le polygone intérieur où se trouve sur (sauf pour le mais vous avez compris).

On sait que les angles du polygone régulier sont tous égaux, et comme ceux du polygone intérieur aussi, tous les angles en question ont la même amplitude (à savoir mais peu importe).

Dès lors, tous les petits triangles qui se trouvent entre le petit polygone et le grand (, , ...) sont semblables (les angles sont les mêmes). Notons la mesure et la mesure ( est alors le rapport des deux cotés du triangle , et il est le même pour tous les triangles).

On a donc .
Puis .
Puis .
Et ainsi de suite, jusqu'à avoir





Or, on avait , donc on se retrouve avec la magnifique équation :




Si est impair, alors on a :



Or, on sait que (car positif), donc



A ce stade, soit on recalcule toutes les longueurs de segment pour voir qu'on a chaque fois la même chose. Soit on se dit qu'on avait pris le segment de longueur au hasard, et donc tous les triangles ont pour cotés et . Il est alors facile de constater que le polygone intérieur est bien régulier.

Pour ce qui est du cas pair, on arrive à



Or, , et on trouve donc


Ce qui est vrai tout le temps lorsque .
Donc en fait, on peut par exemple prendre , et de cette façon on a des petits triangles isocèles de coté une fois sur deux, et de coté l'autre fois. Et cela fonctionne bien, et le polygone intérieur a alors un coté sur deux de longueur et l'autre de longueur (je vous laisse trouver par Pythagore généralisé, ca sert quand même à rien ici). On a donc un polygone qui respecte les conditions mais qui n'est pas régulier.
D'où la réponse est bien uniquement les impairs.

Ta façon est peut-être barbare, mais c comme ça que j'ai fait aussi et je vois pas vraiment comment faire plus élégant. Et quand on y réfléchit, c'est pas si barbare que ça..