сайты - меню - вход - но­во­сти


Задания
Версия для печати и копирования в MS Word

Среди любых пяти узлов обыч­ной клет­ча­той бу­ма­ги обя­за­тель­но най­дут­ся два, се­ре­ди­на от­рез­ка между ко­то­ры­ми  — тоже узел клет­ча­той бу­ма­ги. А какое ми­ни­маль­ное ко­ли­че­ство узлов сетки из пра­виль­ных ше­сти­уголь­ни­ков не­об­хо­ди­мо взять, чтобы среди них обя­за­тель­но на­шлось два, се­ре­ди­на от­рез­ка между ко­то­ры­ми  — тоже узел этой сетки?

 

(А. К. Кулы­гин)

Спрятать решение

Ре­ше­ние.

Лемма. Среди любых пяти узлов сетки из пра­виль­ных тре­уголь­ни­ков най­дут­ся два, се­ре­ди­на от­рез­ка между ко­то­ры­ми  — тоже узел сетки.

До­ка­за­тель­ство. Введём на­ча­ло отсчёта в одном из узлов сетки и обо­зна­чим за \veca и \vecb ра­ди­ус-век­то­ры к двум бли­жай­шим узлам, как на верх­нем ри­сун­ке. Тогда узлы сетки суть точки вида m \veca плюс n \vecb для целых m и n. По прин­ци­пу Ди­ри­х­ле из пяти точек най­дут­ся две точки m_1 \veca плюс n_1 \vecb и m_2 \veca плюс n_2 \vecb, у ко­то­рых од­но­вре­мен­но сов­па­да­ет чётность m1 и m2 и чётность n1 и n2. Се­ре­ди­на от­рез­ка, со­еди­ня­ю­ще­го эти две точки, есть точка

 дробь: чис­ли­тель: m_1 плюс m_2, зна­ме­на­тель: 2 конец дроби \veca плюс дробь: чис­ли­тель: n_1 плюс n_2, зна­ме­на­тель: 2 конец дроби \vecb.

Она яв­ля­ет­ся узлом сетки, так как числа  дробь: чис­ли­тель: m_1 плюс m_2, зна­ме­на­тель: 2 конец дроби и  дробь: чис­ли­тель: n_1 плюс n_2, зна­ме­на­тель: 2 конец дроби яв­ля­ют­ся це­лы­ми в силу оди­на­ко­вой чётно­сти m1 и m2, n1 и n2.

На ри­сун­ке слева можно уви­деть при­мер рас­по­ло­же­ния 8 узлов сетки, среди ко­то­рых нет двух, се­ре­ди­на от­рез­ка между ко­то­ры­ми  — узел сетки. До­ка­жем, что де­вя­ти узлов до­ста­точ­но. За­ме­тим, что ше­сти­уголь­ная сетка раз­би­ва­ет­ся в объ­еди­не­ние двух тре­уголь­ных (см. ниж­ний ри­су­нок). По прин­ци­пу Ди­ри­х­ле среди любых де­вя­ти узлов по край­ней мере пять ока­жут­ся в одной из этих двух тре­уголь­ных сеток. По лемме среди этих пяти узлов най­дут­ся два ис­ко­мых.

 

Ответ: 9.

 

Ком­мен­та­рий.

Тре­уголь­ная сетка из леммы ле­ле­ет­ся сет­кой из рав­ных па­рал­ле­ло­грам­мов, если сте­реть я лиш­ние линии. А утвер­жде­ние про квад­рат­ную сетку из усло­вия за­да­чи также спра­вед­ли­во для любой сетки из рав­ных па­рал­ле­ло­грам­мов. Таким об­ра­зом, в усло­вии за­да­чи при­сут­ство­ва­ла в каком-то смыс­ле под­сказ­ка.