Разбиение квадрата на 6 равновеликих треугольников.
Теорема о разрезании квадрата на равновеликие треугольники гласит, что квадрат невозможно разрезать на нечётное число треугольников одинаковой площади[1].
Теорема знаменита своим неожиданным доказательством, использующим 2-адическую норму.
Используя 2-адические числа,
строится определённая раскраска точек единичного квадрата в три цвета.
Главные свойства раскраски состоят в следующем:
Площадь любого треугольника с вершинами разных цветов не может быть выражена дробью с нечётными числителем и знаменателем.
В частности, если бы существовало разбиение квадрата на нечётное число равновеликих треугольников, то ни один из треугольников не имел бы вершин всех трёх цветов.
Любая прямая окрашена ровно в два цвета.
Это и некоторые другие свойства данной раскраски приводят к противоречию с леммой Шпернера.
Вариации и обобщения
-мерный куб может быть разбит на симплексы одинакового объема, только если количество симплексов кратно [3][4].
Из доказательства теоремы также следует существование четырёхугольников, не допускающих разрезания на равновеликие треугольники.
Для целого числа , правильный -угольник допускает разрезание на равновеликих треугольников тогда и только тогда, когда делится на [5].
↑ P. Monsky (1970). “On Dividing a Square into Triangles”. The American Mathematical Monthly. 77 (2): 161—164. DOI:10.2307/2317329. MR: 0252233.
↑ Mead, David G.(September 1979),"Dissection of the hypercube into simplexes",Proceedings of the American Mathematical Society Т.76: 302–304, DOI 10.1090/S0002-9939-1979-0537093-6
↑ E. A. Kasimatis, Dissections of regular polygons into triangles of equal areas, Discrete & Computational Geometry, August 1989, Volume 4, Issue 4, pp 375—381
Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.
2019-2025 WikiSort.ru - проект по пересортировке и дополнению контента Википедии