Непрерывное математическое образование

Спойлеры к предыдущей задаче:


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

Пусть наши фигуры — это круги радиусов 10, 20, 30 и т.д. Почти все условия выполнены, только фигуры не помещаются в квадрат 10×10. Ну порежем все эти круги на кусочки небольшого размера, да еще снабдим кусочки выступами и (соответствующими им) пазами, чтобы они собирались только обратно в большие круги.


Утверждение а) можно доказать, пользуясь идеей компактности. А именно, рассмотрим набор вложенных в друг друга увеличивающихся квадратов, покрывающих всю плоскость; рассмотрим для каждого из квадратов покрытие полиминошками из нашего набор и «выделим сходящуюся подпоследовательность» (последовательность продолжающих друг друга замощений; при этом помогает, что каждая конечная область может быть покрыта только конечным числом способов).

// спасибо, кстати, А.Антропову за сюжет


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

Telegram

Непрерывное математическое образование

а) Пусть есть набор фигур полимино, каждая умещается в квадрат 10×10. Докажите, что если копиями этих фигурок можно замостить область, содержащую квадрат сколь угодно большого размера, то можно ими замостить и всю плоскость.

б) Существует набор фигур (уже…

www.group-telegram.com/ms/cme_channel.com/3987

3.9K viewsedited  Oct 30 at 17:09

Спойлеры к предыдущей задаче:


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

Пусть наши фигуры — это круги радиусов 10, 20, 30 и т.д. Почти все условия выполнены, только фигуры не помещаются в квадрат 10×10. Ну порежем все эти круги на кусочки небольшого размера, да еще снабдим кусочки выступами и (соответствующими им) пазами, чтобы они собирались только обратно в большие круги.


Утверждение а) можно доказать, пользуясь идеей компактности. А именно, рассмотрим набор вложенных в друг друга увеличивающихся квадратов, покрывающих всю плоскость; рассмотрим для каждого из квадратов покрытие полиминошками из нашего набор и «выделим сходящуюся подпоследовательность» (последовательность продолжающих друг друга замощений; при этом помогает, что каждая конечная область может быть покрыта только конечным числом способов).

// спасибо, кстати, А.Антропову за сюжет


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

BY Непрерывное математическое образование