Красивого вам в ленту!

🇨🇳🐉В Китае празднуют Новый год!

Жители Китая в ночь на 10 февраля встретили Новый год по лунному календарю. Он пройдет под покровительством Зеленого Деревянного Дракона и завершится 28 января 2025 года.

В Москве Тверской бульвар и Камергерский переулок украшены в китайском стиле, а в Петербурге красным цветом подсвечен Троицкий мост.

#четырекраски
#веселыекартинки
#математикавискусстве

🌍 Все мы видели географические карты, где граничащие страны раскрашены для удобства в разные цвета. Обычно для этой цели используют всего четыре краски (а для простых карт иногда хватает и трёх). Долгое время математики задавались вопросом, всегда ли достаточно четырёх цветов?

Впервые на это обратил внимание в 1852 году Фрэнсис Гутри, составляя карту графств Англии. Он заметил, что для такой цели вполне хватает четырёх красок. Его брат Фредерик сообщил об этом наблюдении известному математику Огастесу де Моргану, а тот — математической общественности. Через 25 лет, в 1878 году Артур Кэли опубликовал точную формулировку гипотезы, названной проблемой четырёх красок. Доказать теорему долгое время не удавалось. Было предпринято множество попыток как доказательства, так и опровержения, но всё безуспешно.
Учёные склонялись то на одну сторону, то на другую. Между делом была доказана Теорема о пяти красках, то есть, что любую карту можно раскрасить не более чем пяти красками.

📖 В 1952 году Мартин Гарднер написал интересный фантастический рассказ «Остров пяти красок», что говорит о высоком интересе к проблеме даже среди любителей.

🖼 А Пит Мондриан, нидерландский художник-абстракционист создает картины, очень похожие на раскраски карт.

💻 Теорема о четырёх красках была доказана в 1976 году Кеннетом Аппелем и Вольфгангом Хакеном из Иллинойского университета. Это была первая крупная математическая теорема, доказанная с помощью компьютера. Изначально математики приняли такое доказательство в штыки, так как его невозможно проверить вручную. Однако позже оно всё же получило широкое признание.