Введение

Геометрическая фигура, образованная тремя квадратами.
Геометрическая фигура

Тромино или триомино — это полиомино третьего порядка, то есть многоугольник на плоскости, состоящий из трех квадратов одинакового размера, соединенных сторонами.

Симметрия и перечисление

Когда вращения и отражения не рассматриваются как различные фигуры, существует только два различных свободных тромино: "I" и "L" (форма "L" также называется "V"). Поскольку оба свободных тромино обладают зеркальной симметрией, они же являются единственными двумя односторонними тромино (тромино, где отражения считаются различными фигурами). Если же учитывать вращения как различные фигуры, то существует шесть фиксированных тромино: две "I" и четыре "L"-образные. Их можно получить, поворачивая вышеуказанные формы на 90°, 180° и 270°.

Рептилинг и теорема тромино Голомба

Оба типа тромино можно разделить на n² меньших тромино того же типа для любого целого числа n > 1. То есть, они являются рептилиями. Продолжение этого деления рекурсивно приводит к замощению плоскости, которое во многих случаях является апериодическим замощением. В этом контексте L-тромино называют «стулом», а замощение, полученное рекурсивным делением на четыре меньших L-тромино, называется «замощением стульями». Вдохновлённый задачей об изувеченной шахматной доске, Соломон В. Голомб использовал это замощение в качестве основы для того, что стало известно как теорема Голомба о тромино: если из шахматной доски размером 2ⁿ × 2ⁿ удалить любой квадрат, оставшуюся доску можно полностью покрыть L-тромино. Чтобы доказать это методом математической индукции, разделите доску на четверть доски размером 2ⁿ⁻¹ × 2ⁿ⁻¹, содержащую удалённый квадрат, и большое тромино, образованное тремя другими четвертями доски. Это тромино можно рекурсивно разделить на тромино единичного размера, а деление четверти доски с удалённым квадратом следует из гипотезы индукции. В отличие от этого, если из шахматной доски такого размера удалить одно поле, не всегда возможно покрыть оставшиеся поля I-тромино.