A convex -gon is drawn on the blackboard, . Paint each its vertex black or white. Say that a diagonal is multicolor if its endpoints are of different colors. We say that the painting is good if one can partition the -gon into triangles by drawing some multicolor diagonals sharing no internal points. Find the number of good paintings.
(S. Berlov)
Solution
Сразу же заметим, что раскраска всех вершин в один цвет хорошей не является; такие раскраски в дальнейшем решении не рассматриваются.
Назовём сторону многоугольника разноцветной, если её концы окрашены в разные цвета (то есть расширим определение разноцветности на стороны). Назовём раскраску вершин упорядоченной, если все чёрные вершины на границе многоугольника идут подряд (иначе говоря, у многоугольника есть ровно две разноцветных стороны).
Лемма. Раскраска вершин -угольника (при ) является хорошей тогда и только тогда, когда она упорядочена.
Доказательство. Индукция по . При доказывать нечего (напомним, что мы не рассматриваем одноцветные раскраски). Докажем теперь переход индукции. Пусть утверждение доказано для всех таких, что , где .
Предположим, что раскраска является хорошей. Разобьём многоугольник на треугольники непересекающимися разноцветными диагоналями; рассмотрим одну из этих диагоналей . Она делит -угольник на два многоугольника и с меньшим количеством сторон, причём каждый из них раскрашен хорошо — а значит, по предположению индукции, и упорядоченно. Пусть — чёрный конец диагонали, а — белый. Все чёрные вершины в — это несколько последовательных вершин, начиная с (но не включая ). Аналогично с чёрными вершинами в . Но тогда эти два блока чёрных вершин в объединении дают один связный блок в исходном многоугольнике, то есть раскраска вершин -угольника также является упорядоченной.
Пусть теперь раскраска является упорядоченной. Нетрудно видеть, что тогда в многоугольнике есть разноцветная диагональ. Она делит многоугольник на два меньших, при этом, очевидно, каждый из них также раскрашен упорядоченно. По предположению индукции, каждый из них раскрашен хорошо, а значит, и исходный -угольник — тоже.
Ввиду леммы, осталось лишь посчитать число упорядоченных раскрасок -угольника. Для каждого возможного количества чёрных вершин (от до ) можно способами выбрать расположение их блока среди всех вершин, то есть число способов равно .