Построить пятиугольник, избегая использования компаса


38

правила

Вы начнете с только два элемента: Точки и такие , что . Эти точки занимают плоскость, которая бесконечна во всех направлениях.ABAB

На любом этапе процесса вы можете выполнить одно из следующих трех действий:

  1. Нарисуйте линию, которая проходит через две точки.

  2. Нарисуйте круг с центром в одной точке, так что другая точка лежит на круге.

  3. Добавьте новую точку, где два объекта (линии и круги) пересекаются.

Ваша цель состоит в том, чтобы создать 5 точек таким образом, чтобы они образовывали вершины правильного пятиугольника (выпуклый многоугольник с 5 сторонами, равными по длине), используя как можно меньше кругов. Конечно, у вас могут быть и другие очки, но 5 из них должны иметь обычный пятиугольник. Вам не нужно рисовать края пятиугольника для вашей оценки.

счет

При сравнении двух ответов лучше использовать тот, который рисует меньше кругов. В случае ничьей в кругах ответ, который рисует наименьшее количество линий, лучше. В случае равенства в кругах и линиях ответ, который добавляет наименьшее количество баллов, будет лучше.

Анти-правила

Хотя список правил является исчерпывающим и детализирует все, что вы можете сделать, этого списка нет, но то, что я не говорю, что вы не можете что-то делать, не означает, что вы можете.

  • Вы не можете создавать «произвольные» объекты. Некоторые конструкции, которые вы найдете, будут думать, как добавить точку в «произвольном» месте и работать оттуда. Вы не можете добавлять новые точки в местах, отличных от перекрестков.

  • Вы не можете скопировать радиус. Некоторые конструкции будут включать компас, устанавливая его на радиус между двумя точками, а затем подбирая его и рисуя круг в другом месте. Ты не сможешь это сделать.

  • Вы не можете выполнять ограничивающие процессы. Все конструкции должны пройти конечное число шагов. Недостаточно подходить к ответу асимптотически.

  • Вы не можете нарисовать дугу или часть круга, чтобы не считать его кругом при подсчете очков. Если вы хотите визуально использовать дуги при показе или объяснении своего ответа, потому что они занимают меньше места, продолжайте, но они считаются кругом для подсчета очков.

инструменты

Вы можете продумать проблему на GeoGebra . Просто перейдите на вкладку формы. Три правила эквивалентны точке, линии и окружности с центральными инструментами.

Бремя доказательства

Это стандартно, но я хотел бы повторить. Если возникает вопрос о том, является ли конкретный ответ действительным, бремя доказывания лежит на ответчике, чтобы показать, что его ответ является действительным, а не на публике, чтобы показать, что ответ не является.

Что это делает на моем сайте Code-Golf ?!

Это форма похожего на хотя и немного странного языка программирования. В настоящее время существует + 22 / -0 консенсус в отношении того, что подобные вещи разрешены.


12
Это похоже на игру, которая у меня на телефоне называется Евклида.
mbomb007


6
В следующий раз вы должны попросить людей нарисовать семиугольника, который будет немного сложнее :)
flawr

3
Это обычный 17-летний гонщик, который можно построить с помощью линейки и компасов. Я могу дать вам семиугольник, но он не обязательно будет регулярным!
Рози Ф

1
Семиугольник (7 сторон) невозможен только с линейкой и компасом. Матолог покрыл это .
Draco18s

Ответы:


37

2 круга, 13 линий, 17 баллов

картина

Попробуйте это на GeoGebra

  • Пусть окружность (A, B) пересекает окружность (B, A) в точках C и D.
  • Пусть AB снова пересекает окружность (A, B) в точке E.
  • Пусть AB снова пересекает окружность (B, A) в F.
  • Пусть AD снова пересекает окружность (A, B) в G.
  • Пусть AD пересекает CF в H.
  • Пусть BG пересекает DF в I.
  • Пусть HI пересекает окружность (A, B) в точках J и K.
  • Пусть BG пересекается с EJ в L.
  • Пусть BJ пересекается с EG в M.
  • Пусть BG пересекается с EK в точке N.
  • Пусть BK пересекается с EG в O.
  • Пусть LM пересекает окружность (A, B) в точках P и S.
  • Пусть NO не пересекает окружность (A, B) в Q и R.

Тогда EPQRS - это правильный пятиугольник.

Почему это работает

Пусть BE пересекается с GJ в точке T, и пусть BE пересекается с GK в точке U. Полный четырехугольник BEGJ показывает, что T - это полярность LM, которая является пересечением касательных в точках P и S. Аналогично, полный четырехугольник BEGK показывает, что U полярность NO, которая является пересечением касательных в Q и R.

Пусть FG пересекается с HI в V. Диагонали DV и GI полного четырехугольника DGVI пересекают FH на гармонических сопряженных относительно F и H; поскольку первая находится в точке ∞, вторая является средней точкой C FH, то есть C, D, V коллинеарны.

Пусть CG пересекается с HI в W.

картина

Теперь самое интересное. Линия FUBAT представляет собой перспективу относительно G для линии VKIHJ, которая представляет собой перспективу относительно D для обведения CKDGJ, которая представляет собой перспективу относительно C для линии HKVWJ, которая является перспективой относительно G для линии AUF∞T. Сочетание этих четырех перспектив дает проективность FUBAT ⌅ AUF∞T. Поскольку одномерная проективность определяется тремя точками, T и U определяются как две неподвижные точки FBA ⌅ AF∞.

Присваивая координаты A = 0, B = −1, F = −2, эта проективность определяется как x ↦ 4 / x + 2, а его неподвижные точки T = 1 + √5 = sec (2π / 5) и U = 1 - √5 = −sec (2π / 10), в точности так, как требуется для того, чтобы сделать EPQRS правильным пятиугольником.


10
Пожалуйста, объясните каждый шаг вашего алгоритма словами и символами.
Рози Ф

2
@Servaes. В этом ответе может быть какое-то объяснение, но я могу сказать, что третья строка в порядке, она перпендикулярна биссектрисе, но она определяется в терминах двух ранее существовавших точек, а не перпендикулярно биссектрисе. То же самое касается четвертого.
Пшеничный волшебник

2
@RosieF К сожалению об этом, лейблы были раздражающими, чтобы добавить способ, которым я производил картины. Я переделал это в GeoGebra с помеченными точками и добавил инструкции и ссылку на интерактивное приложение, где вы можете поиграть с конструкцией.
Андерс Касеорг

2
Выглядит как изящное решение, но не хотите ли вы объяснить, почему в результате получается правильный пятиугольник? Т.е. почему EP = PQ = QR = RS = SE?
Минетлос

2
@Minethlos Потребовалось некоторое время, чтобы найти хорошее доказательство, но я наконец нашел то, чем я доволен. Имейте в виду, что это требует достаточного количества фона в проективной геометрии.
Андерс Касеорг

17

7 6 кругов, 3 линии

Это классическая конструкция пятиугольника, доказательство ее правильности можно найти здесь .

введите описание изображения здесь


10

4 круга, 7 линий

Так как он был побежден, я подумал, что просто опубликую свое первоначальное решение проблемы. Это решение модифицировано по методу, указанному Диксоном в Mathographics , доказательство правильности этого метода можно найти здесь .

  • 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
  • Вг¯
  • Вг¯ЕF¯ЧАС
  • ЧАСС¯
  • ЧАСС¯СярсLе(С,В)я
  • яA¯
  • яA¯СярсLе(A,В)J
  • СярLсе(я,J)
  • СярсLе(я,J)ЧАСС¯L
  • СярсLе(я,J)СярсLе(С,В) как M а также К,
  • Привлечь ML¯
  • Привлечь КL¯
  • Отметить пересечение СярсLе(С,В) а также ML¯ как N
  • Отметить пересечение СярсLе(С,В) а также ЧАСС¯ как О
  • Отметить пересечение СярсLе(С,В) а также КL¯ как п

MКпОN это обычный пятиугольник.

Drawing


1
Это изумительно! Часть вашей конструкции напоминает метод Диксона, но ваш метод ловко избегает деления пополам или построения перпендикуляра.
Рози Ф

@RosieF Это модифицированный метод Диксона, наверное, я должен был упомянуть об этом.
Пшеничный волшебник
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.