Construire un pentagone en évitant l'utilisation d'une boussole

38

Règles

Vous commencerez avec seulement deux éléments: Points et tels que . Ces points occupent un plan infini dans toutes les directions.ABAB

À n'importe quelle étape du processus, vous pouvez effectuer l'une des trois actions suivantes:

  1. Tracez une ligne qui passe par deux points.

  2. Tracez un cercle centré en un point tel qu'un autre point se trouve sur le cercle.

  3. Ajoutez un nouveau point où deux objets (lignes et cercles) se croisent.

Votre objectif est de créer 5 points de sorte qu'ils forment les sommets d'un pentagone régulier (un polygone convexe de 5 côtés de longueur égale) en utilisant le moins de cercles possible. Vous pouvez bien sûr avoir d’autres points, mais il en faut 5 pour un pentagone régulier. Vous n'avez pas à dessiner les bords du pentagone pour votre score.

Notation

Lorsque l'on compare deux réponses, celle qui trace le moins de cercles est préférable. En cas d'égalité, la réponse qui trace le moins de lignes possible est meilleure. En cas d'égalité dans les deux cercles et lignes, la réponse qui ajoute le moins de points est préférable.

Anti-règles

Bien que la liste de règles soit exhaustive et qu'elle détaille tout ce que vous pouvez faire, cette liste ne le fait pas, ce n'est pas parce que je ne dis pas que vous ne pouvez pas faire quelque chose.

  • Vous ne pouvez pas créer d'objets "arbitraires". Certaines constructions que vous trouverez vont faire comme ajouter un point à un emplacement "arbitraire" et travailler à partir de là. Vous ne pouvez pas ajouter de nouveaux points à des emplacements autres que des intersections.

  • Vous ne pouvez pas copier un rayon. Certaines constructions impliquent de prendre un compas le plaçant dans un rayon entre deux points, puis de le relever et de tracer un cercle ailleurs. Tu ne peux pas faire ça.

  • Vous ne pouvez pas effectuer de processus limitants. Toutes les constructions doivent prendre un nombre fini d'étapes. Il ne suffit pas d'aborder la réponse de manière asymptotique.

  • Vous ne pouvez pas dessiner un arc ou une partie de cercle afin d'éviter de le compter comme un cercle dans votre notation. Si vous souhaitez utiliser visuellement des arcs pour montrer ou expliquer votre réponse car ils occupent moins d’espace, allez-y, mais ils comptent comme un cercle pour marquer.

Outils

Vous pouvez réfléchir au problème sur GeoGebra . Il suffit de passer à l'onglet Formes. Les trois règles sont équivalentes au point, à la ligne et au cercle avec les outils centraux.

Charge de la preuve

Ceci est standard mais je voudrais le répéter. S'il existe une question quant à la validité d'une réponse donnée, le fardeau de la preuve incombe au répondant qui doit prouver que sa réponse est valide, et non au public de montrer que la réponse ne l'est pas.

Qu'est-ce que cela fait sur mon site Code-Golf?!

Il s’agit d’une forme de semblable à la mais dans un langage de programmation un peu étrange. Il existe actuellement un consensus de + 22 / -0 sur la méta autorisant ce genre de chose.

Assistant de blé
la source
12
C'est comme le jeu que j'ai sur mon téléphone appelé Euclidea.
mbomb007
étroitement liée: codegolf.stackexchange.com/q/38653/15599
Level River St
6
La prochaine fois que vous devriez demander aux gens de dessiner un heptagone, ce qui serait un peu plus difficile :)
flawr
3
C'est le 17-gon régulier qui est constructible en utilisant une règle et un compas. Je peux vous donner un heptagone mais ce ne sera pas forcément régulier!
Rosie F
1
Heptagon (7 faces) n'est pas possible avec seulement règle et compas. Mathologer a couvert .
Draco18s le

Réponses:

37

2 cercles, 13 lignes, 17 points

image

Essayez-le sur GeoGebra

  • Soit le cercle (A, B) croiser le cercle (B, A) en C et D.
  • Laissez AB croiser le cercle (A, B) à nouveau en E.
  • Laissez AB croiser le cercle (B, A) à nouveau en F.
  • Laissez AD intersecter le cercle (A, B) à nouveau à G.
  • Laissez AD intersecter les FC à H.
  • Laissez BG intersecter DF en I.
  • Laissez HI intersecter le cercle (A, B) en J et K.
  • Laissez BG intersecter EJ en L.
  • Laissez BJ intersecter EG à M.
  • Laissez BG intersecter EK à N.
  • Laissez BK intersecter EG en O.
  • Laissez LM intersecter le cercle (A, B) en P et S.
  • Soit NO intersecter le cercle (A, B) en Q et R.

Alors EPQRS est un pentagone régulier.

Pourquoi ça marche

Laissez BE intersecter GJ en T et BE intersectons GK en U. Le quadrilatère complet BEGJ montre que T est la polaire de LM, qui est l'intersection des tangentes en P et S. De même, le quadrilatère complet BEGK montre que U est la polaire de NO, qui est l'intersection des tangentes en Q et R.

Laissez FG intersecter HI en V. Les diagonales DV et GI du quadrilatère complet DGVI coupent FH en conjugué harmonique par rapport à F et H; puisque le premier est en ∞, le second est le milieu C de FH, c'est-à-dire que C, D, V sont colinéaires.

Laissez CG intersecter HI à W.

image

Maintenant pour la partie amusante. La ligne FUBAT est une perspective entre G et VKIHJ, qui est une perspective autour de D pour entourer CKDGJ, qui est une perspective entre C et HKVWJ, qui est une perspective entre G et AUF∞T. La composition de ces quatre perspectives donne une projectivité FUBAT ⌅ AUF∞T. Puisqu'une projectivité unidimensionnelle est déterminée par trois points, T et U sont déterminés comme les deux points fixes de FBA ⌅ AF∞.

En assignant des coordonnées avec A = 0, B = -1, F = -2, cette projectivité est définie par x 4 / x + 2, et ses points fixes T = 1 + √5 = sec (2π / 5) et U = 1 - √5 = −sec (2π / 10), exactement comme requis pour faire d’EPQRS un pentagone régulier.

Anders Kaseorg
la source
10
Veuillez expliquer chaque étape de votre algorithme en mots et en symboles.
Rosie F
2
@Servaes Cette réponse pourrait utiliser une explication, mais je peux vous dire que la troisième ligne est bonne, c'est une bissectrice perpendiculaire, mais elle est définie en termes de deux points préexistants plutôt que comme une bissectrice perpendiculaire. Même chose pour le quatrième.
Wheat Wizard
2
@RosieF Désolé pour ça, les étiquettes étaient ennuyeuses à ajouter avec la façon dont j'avais produit les images. Je l'ai refait dans GeoGebra avec des points étiquetés et des instructions ajoutées ainsi qu'un lien vers l'application interactive où vous pouvez jouer avec la construction.
Anders Kaseorg
2
Cela ressemble à une solution simple, mais vous souciez-vous d'expliquer pourquoi le résultat est un pentagone régulier? Ie pourquoi EP = PQ = QR = RS = SE?
Minethlos le
2
@Minethlos Il m'a fallu un certain temps pour trouver une belle preuve, mais j'en ai finalement trouvé une qui me satisfait. Soyez averti que cela nécessite une bonne connaissance de la géométrie projective.
Anders Kaseorg
17

7 6 cercles, 3 lignes

Ceci est une construction classique du pentagone, une preuve de son exactitude peut être trouvée ici .

entrez la description de l'image ici

flawr
la source
10

4 cercles, 7 lignes

Depuis qu'il a été battu, je pensais que je posterais simplement ma solution originale au problème. Cette solution est modifiée à partir de la méthode donnée par Dixon en mathématiques , une preuve de son exactitude pour cette méthode peut être trouvée ici .

  • Circle(A,B)
  • AB¯
  • Circle(A,B)AB¯C
  • Circle(B,C)
  • Circle(C,B)
  • Circle(C,B)Circle(B,C)D
  • Circle(C,B)AB¯E
  • DC¯
  • Circle(C,B)DC¯F
  • Circle(C,B)Circle(B,C)G
  • BG¯
  • BG¯EF¯H
  • HC¯
  • HC¯Circle(C,B)I
  • IA¯
  • IA¯Circle(A,B)J
  • Cirlce(I,J)
  • Circle(I,J)HC¯L
  • Circle(I,J)Circle(C,B)MK
  • ML¯
  • KL¯
  • Cjercle(C,B)ML¯N
  • Cjercle(C,B) et HC¯ comme O
  • Marquez l'intersection de Cjercle(C,B) et KL¯ comme P

MKPON est un pentagone régulier.

Drawing

Assistant de blé
la source
1
C'est merveilleux! Certaines de vos constructions ressemblent à la méthode de Dixon, mais votre méthode évite intelligemment de couper quoi que ce soit ou de construire une perpendiculaire.
Rosie F
@RosieF C'est une modification de la méthode de Dixon, j'aurais probablement dû le mentionner.
Wheat Wizard