17 октября 2010

Разбор задачи ММ128 математического марафона

================

Оценка за решение задачи ММ128 учитывается дважды в основном Марафоне и в тематическом конкурсе.

ММ128 (КГ-10) (20 баллов)

На сколько классов изополярных восьмиугольников разбиваются выпуклые восьмиугольники?

================

Решение

Очевидно, что у выпуклого восьмиугольника может быть не более одного полюса второго порядка. А из рассуждений, приведенных при разборе задачи ММ102, следует, что общее число полюсов не может превышать девяти. Поэтому число классов изополярных восьмиугольников не превышает 19.
Ниже приведены представители 17 классов изополярных восьмиугольников. Для каждого случая приводится не только рисунок, но и координаты вершин, дабы желающие (если таковые найдутся :) ) могли убедиться, что все без обмана.

1. $(120,20), (80,80), (-20,120), (-80,65), (-100,0), (-80,-80), (-5,-100), (80,-80)$
Изображение

2. $(120,20),(80,80),(-33,120),(-80,80),(-100,0),(-80,-80),(0,-100),(80,-80)$
Изображение

3. $(120,30),(80,80),(0,120),(-80,80),(-100,0),(-80,-80),(0,-100),(80,-80)$
Изображение

4. $(120,0),(\frac{13520}{97}, \frac{10320}{97}),(0,100),(-80,80),(-100,0),(-80,-80),(0,-100),(80,-80)$
Изображение

5. $(100,0),(\frac{5200}{57}, \frac{2000}{57}),(0,100),(-80,80),(-100,0),(-80,-80),(0,-100),(80,-80)$
Изображение

6. $(\frac{2425}{13}, -\frac{500}{13}),(80,80),(0,100),(-80,80),(-100,0),(-80,-80),(0,-100),(80,-80)$
Изображение

7. $(120,0),(\frac{3920}{29},\frac{2960}{29}),(0,120),(-80,80),(-120,0),(-80,-80),(0,-120),(80,-80)$
Изображение

8. $(100,\frac{225}{14}),(90,45),(0,50),(-90,45),(-100,\frac{225}{14}),(-90,-45),(0,-\frac{475}{9}),(90,-45)$
Изображение

9. $(\frac{35}{9}, -100), (70, -70), (115, \frac{35}{18}), (70, 70), (\frac{35}{9}, \frac{768}{7}), (-70, 70), (-\frac{1815}{19}, \frac{35}{18}), (-70, -70)$
Изображение

10. $(0, -100), (70, -70), (\frac{985}{9}, \frac{35}{9}), (70, 70), (0, 120), (-70, 70), (-\frac{985}{9}, \frac{35}{9}), (-70, -70)$
Изображение

11. $(120,0),(80,80),(0,120),(-80,80),(-100,0),(-80,-80),(0,-100),(100,-100)$
Изображение

12. $(120,0),(80,80),(0,120),(-80,80),(-100,0),(-\frac{1800}{23},-\frac{1800}{23}),(0,-100),(90,-90)$
Изображение

13. $(120,0),(80,80),(0,120),(-80,80),(-100,0),(-80,-80),(0,-100),(80,-80)$
Изображение

14. $(120,0),(80,80),(0,100),(-80,80),(-100,0),(-\frac{1200}{17},-\frac{1200}{17}),(0,-100),(80,-80)$
Изображение

15. $(10,-20),(20,-10),(20,10),(10,20),(-10,20),(-20,10),(-20,-10),(-10,-20)$
Изображение

16. $(\frac{1900}{9},0),(90,90),(0,100),(-90,90),(-100,0),(-90,-90),(0,-100),(90,-90)$
Изображение

17. $(100,0),(\frac{1180}{11},\frac{840}{11}),(20,60),(-\frac{310}{13},\frac{420}{13}),(-\frac{75}{2},0),(-\frac{1180}{31},-\frac{840}{31}),(-\frac{280}{19},-\frac{840}{19}),(\frac{155}{4},-\frac{105}{2})$
Изображение

У меня нет строгого доказательства отсутствия классов с характеристическими векторами (5, 1) и (7, 1). Но есть соображения (не оставляющие лично у меня сомнения в том, что таких восьмиугольников не существует). Они приведены в обсуждении.

Обсуждение

Вслед за Сергеем Половинкиным диагональ многоугольника буду называть i-диагональю, если между вершинами, которые она соединяет, (на ломаной из сторон, содержащей наименьшее число звеньев) расположено i вершин исходного многоугольника. Такая терминология представляется мне более удобной, чем та (с "короткими", "средними" и "длинными" диагоналями), которую я использовал раньше.

Ясно, что, если в восьмиугольнике есть полюс второго порядка, полюса первого порядка могут быть расположены либо на пересечени двух 2-диагоналей и одной 3-диагонали, либо на пересечении трех 2-диагоналей.
Координаты вершин многоугольника с рисунка 17 были получены следующим образом:
Несколько вершин (полагаю не сложно догадаться какие) и полюсов были подобраны заранее. Положение остальных зависело от неких параметров. Затем составлялась система, позволяющая найти такие значения параметров, при которых получался бы восьмиугольник, имеющий один полюс второго порядка и пять полюсов типа 2-2-3.
Однако, полученный таким образом восьмиугольник имеет не пять, а целых восемь полюсов первого порядка (все типа 2-2-3). Учитывая, что я специально строил восьмиугольник, не обладающий какими-либо очевидными симметриями, гипотеза о том, что еще целых три полюса образовались случайно, выглядит не слишком правдоподобной :) Тем более, что картина повторяется при построении восьмиугольника с другими начальным данными.
Полагаю, эти примеры убедительно свидетельствуют: наличие одного полюса второго порядка и пяти полюсов типа 2-2-3, автоматически влечет появление еще трех таких же полюсов.
Значит, надо искать среди многоугольников имеющих полюса типа 2-2-2.

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

И я "пошевелил". Результат Вы можете видеть на рисунке 18-2. Как только вершины были подвинуты так, чтобы близкие точки пересечения диагоналей стянулись в один полюс второго порядка, четыре полюса типа 2-2-3 и один полюс типа 2-2-2, как черт и табакерки выскочил еще один полюс типа 2-2-2, на который до "шевеления" не было даже намека.
Изображение

Координаты вершин возникшего восьмиугольника с характеристическим вектором (6-1), на мой взгляд, исключают гипотезу случайного появления дополнительного полюса:
$(-40, -35),(\frac{2164204000}{4449630273}, -\frac{68234660000}{1483210091}),(42, -45),(100, 0),(\frac{62160000}{693907}, \frac{54390000}{693907}),(-\frac{6492612000}{3300366221}, \frac{614111940000}{3300366221}),(-\frac{3108000}{18049}, \frac{3330000}{18049}),(-105, 0)$

Восьмиугольник с рисунка 18-2 сыграл со мной злую шутку. Изучая его, я обнаружил, что все шесть полюсов первого порядка лежат на одном эллипсе (это достоверный факт, я подставлял координаты в уравнение). После этого я решил, что для строгого обоснования невозможности случаев (5, 1) и (7, 1) надо "копать" в сторону терем Паскаля, Брианшона, Штейнера еtc. И копал...
Но вот Анатолий Казмерчук прислал "обоснование" существования восьмиугольника типа (5, 1). Он поступил аналогично тому, как поступал я, с той разницей, что не стал отыскивать требуемое значение параметра, а лишь наметил план и указал, что по соображениям непрерывности такое значение обязательно найдется.
Наученный предыдущим опытом, я не сомневался, что одновременно с пятым полюсом первого порядка образуется и шестой, и что эти шесть полюсов лягут на один эллипс.
Первая гипотеза подтвердилась. А вот вторая... Здесь и подставлять ничего не надо, достаточно взглянуть на рисунок 19.
Изображение

По традиции приведу координаты вершин: $(0, 55), (\frac{400}7, \frac{300}7), (\frac{880}{13}, 0), (40, -30), (0, -\frac{66550}{983}), (-\frac{4400}{133}, -\frac{3300}{133}), (-50, 0), (-44, 33)$

Мне по-прежнему не верится в случайность попадания шести полюсов многоугольника с рисунка 18-2 на один эллипс. Возможно так будет всегда, когда полюса типа 2-2-2 оказываются напротив друг друга. (Рисунок 16 показывает, что обращение этой гипотезы места не имеет.) Я наверняка постараюсь внести ясность в этот вопрос. Хотя построение примеров - вещь довольно утомительная. Даже с применением мат. пакетов.

Попытки построения восьмиугольника с характеристическим вектором (5, 1) и тремя полюсами типа 2-2-2 привели меня лишь к вырожденным "восьмиугольникам", у которых "склеиваются" несколько вершин.

Отмечу, что класс преобразований, не нарушающих изополярности восьмиугольника (даже имеющего много полюсов), довольно широк.
Например, ясно что проективное преобразование, сохраняя прямолинейность и инцидентность, переведет восьмиугольник в изополярный. (Если мы работаем на расширенной плоскости, то важно, чтобы прямая, образ которой будет несобственной прямой, не "цепляла" восьмиугольник.)
Однако даже в наиболее "узком" классе изополярных многоугольников с характеристическим вектором (8, 1) есть такие, которые не могут быть переведены друг в друга проективным преобразованием. Это следует хотя бы из того, что проективные преобразования сохраняют кривые второго порядка. В то же время, восьмиугольник с рисунка 17 не вписывается в кривую второго порядка, в отличие от правильного восьмиугольника, имеющего тот же характеристический вектор.

Алексей Волошин, единственный из участников представивший законченное описание представителей классов (с указанием координат всех вершин), отталкивался от различных правильных многоугольников. В результате, в его примерах координаты многих вершин иррациональны, в отличие от восьмиугольников, приведенных на рисунках 1-17.
Полагаю, что для произвольных выпуклых n-угольников ситуация такая же: в каждом классе изополярных многоугольников найдется представитель, у которого координаты всех вершин рациональны (если надо, то и целы).

В общем случае из изополярности восьмиугольников, разумеется, не следует их однотипность и, тем более. изотопность. Однако для восьмиугольников, насыщенных полюсами, картина иная. Так, все восьмиугольники с характеристическим вектором (8, 1), очевидно, изотопны. Восьмиугольники с характеристическим вектором (6, 1) уже могут быть не изотопны (см. рис. 18-2 и рис 19), но, по-видимому, всегда однотипны. Похоже , что однотипны, а возможно, и изотопны, будут и восьмиугольники с векторами (9, 0) и (8, 0).

Интересно, что в разбиении восьмиугольников с характеристическими векторами (8, 1), (6, 1) и (9, 0) встречаются только треугольники и четырехугольники.

Задачи нахождения чисел классов однотипных и изотопных восьмиугольников представляются весьма сложными. В любом случае счет идет на тысячи.

Награды

За решение задачи ММ128 Алексей Волошин получает 18 призовых баллов, Анатолий Казмерчук - 12 призовых баллов, а Сергей Половинкин - 10 призовых баллов.

Эстетическая оценка задачи 4.8 балла

================

Разбор задачи ММ128 подготовлен Владимиром Лецко.

Комментариев нет:

Отправить комментарий