Существование треугольника шарыгина это настоящее математическое чудо

Удивительный геометрический объект: Треугольник Шарыгина

Сегодня я хочу рассказать об удивительном геометрическом объекте, впервые рассмотренным советским математиком Игорем Федоровичем Шарыгиным.

Для начала посмотрите на рисунок ниже. Что Вы на нём видите?

Объясняю: слева заштрихован треугольник, вершины которого образованы основаниями медиан (делят сторону пополам), а справа – основаниями высот. Если большие треугольники не являются равнобедренными, то и заштрихованные равнобедренными быть не могут, это доказанный факт.

Но, погодите, есть же еще биссектрисы!

И тут становится интересно! Оказывается, и это показал Игорь Федорович, полученный из биссектрис треугольник может быть равнобедренным! Более того, есть одно очень тонкое условие: угол такого треугольника должен попадать в диапазон от 102,663 до 104,478 градусов!

Откуда такие странные цифры?

Дальнейшие разборки – дело для настоящих ценителей вкуса. Итак, мы предположим, что треугольник, показанный синим цветом на рисунке выше, является равнобедренным. Геометрическая часть доказательства сводится к поиску подобных треугольников и в итоге приводит к следующему выражению:

Геометрическое решение в силу сложности я опускаю. Очень подробно расписано – здесь

Затем это выражение раскрывается, а в пару к нему записывается теорема косинусов для большого треугольника:

Начинаем страдать! Нам нужно понять, что за условия накладываются на переменную х. Заметим абсолютную симметричность левой части выражения (9 слагаемых, полученных перемножением друг друга + 1 произведение сторон) и путём подбора получим:

Последним записано неравенство треугольника

Теперь решаем уравнение и неравенство совместно:

Получили первое условие. Не пугайтесь, ведь x – в нашем случае это косинус угла, поэтому всё нормально. Идём дальше. подставляем выражение для стороны a в теорему косинусов:

Получили квадратное уравнение относительно y. Необходимо проверить, когда оно имеет решение, причём положительные (ведь y – это отношение сторон треугольника). Разделим на (4x+1), вычислим дискриминант и получим итоговое выражение для косинуса угла x:

Здесь нужно подобрать корни кубических уравнений, а потом поделить уголком, чтобы получить неравенство, решаемое школьным методом интервалов

Итак, барабанная дробь! Мы получили, что косинус одного из углов треугольника Шарыгина должен быть больше минус 1/4 и меньше вот этого вот всего с радикалом. Вычисляем на калькуляторе:

А вот и реальные углы! Оцените полученный диапазон! Не знаю как Вы, но я испытал истинное наслаждение.

Уравнение можно решить как квадратное относительно y, а затем перебором найти целочисленные решения. Получено оно из предположения, что z=1 (следует из свойств симметрии решений).

И еще один факт. Выше показан треугольник Шарыгина с наименьшими целочисленными сторонами. Красивый конец, неправда ли?

Эта статья поддерживается командой ITGLOBAL.COM

Мы — первый облачный провайдер в России, а также интегратор, поставщик ИТ-услуг, продуктов, сервисов и разработчик собственного ПО.

Наш сайт

На нашем сайте мы предлагаем широкий спектр услуг по SEO продвижению и контенту. Мы специализируемся на русском языке и гарантируем качество и результат.

Наш блог про Enterprise IT во всех его проявлениях

В нашем блоге мы рассматриваем актуальные темы, связанные с Enterprise IT, и делимся советами и инсайтами от наших экспертов. Мы следим за трендами и обсуждаем успешные кейсы.

Истории успеха наших клиентов

Мы гордимся своими клиентами и их достижениями. Наши истории успеха показывают, что качественный контент и SEO продвижение действительно работают.

Математическая продлёнка. Мир треугольников

Время на прочтение

Нам то и дело приходится выступать в роли наставников. Иногда это профессия, иногда помощь своим детям, учащимся в школе или университете, а бывает так, что желание поделиться чем-то красивым с неофитами может перерасти в призвание.

В любом из этих случаев нам нужны хорошие примеры. Как ведущий кружка математики для школьников средних и старших классов, я жаден до глубоких и, вместе с тем, простых для понимания примеров, дающих ключики к важным математическим концепциям.

Яков Перельман уже весь в оперативке, Мартин Гарднер — тоже. Слава богу, в наше время появились великолепные Youtube-каналы (Mathologer, Numberfile, 3Blue1Brown, Aleph0, а также авторские каналы сильнейших математиков нашего времени), но отыскивать новые интересные задачи-исследования, доставляет такую радость, что грех этим не поделиться.

В этой серии заметок я привожу примеры таких маленьких учебных исследований. Их цель не открыть новый взгляд или не потрясти основы, а показать привычные школьные математические концепции с несколько непривычных позиций.

Сегодня речь пойдёт о треугольниках, о пространствах, о треугольных координатах, о симметрии и совсем немножко о мере на множестве. Основной же темой рассказа будет факторизация множеств и пространств.

Мы построим и исследуем пространство треугольников. Оно очень простое, но последовательно изучить его, полезно, поскольку если кто‑либо из ребят выберет себе путь в жизни, связанный с математикой или физикой, то ему придётся иметь дело с пространствами куда более сложными и трудно представимыми. Так что хорошо бы приобрести кое‑какую интуицию, оперируя чем‑нибудь простым.

Как-то на занятии в маткружке ученица Ася сказала, что ей кажется, что равнобедренных треугольников, в каком-то смысле, меньше, чем других, но она не может точно сказать, что бы это значило. Я задумался о том, как можно было бы порассуждать на эту тему осмысленно и с пользой, и после перемены мы все вместе принялись рисовать карту мира треугольников. Потом, оказавшись дома, я стал искать материал по этой теме и наткнулся на статью Иэна Стюарта Why Do All Triangles Form a Triangle?, опубликованную в 2017 году в ежемесячнике The American Mathematical Monthly.

Статья о треугольниках

Стьюарт хорошо известен любителям и профессионалам математикам своими математическими очерками в Scientific American, популярными книгами Значимые фигуры. Жизнь и открытия великих математиков, Случайный бог или божественная случайность, Укрощение бесконечности, а также соавторством в серии книг о Флатландии.

В статье, посвящённой треугольникам, Стюарт приводит результат, подобный тому, что получили мы с ребятами на уроке. Так что на следующем занятии мы не просто вернулись к исходному вопросу, но и посмотрели на то, как на него отвечают математики-профессионалы, познакомились с привычными для них, но новыми для школьников понятиями, которые используются в статье.

Треугольники: классификация

Треугольники образуют множество, которое можно разделить на отдельные подмножества, используя такие характеристики, как прямоугольные, остроугольные, равнобедренные и так далее.

На англоязычной Википедии приводится исчерпывающая диаграмма, показывающая на языке множеств, какими бывают треугольники и как соотносятся между собой их подмножества:

Эта диаграмма по-своему остроумна, как минимум тем, что подмножества треугольников представлены их характерными элементами. Но она, к сожалению, не только не позволяет ответить на поставленный вопрос, но и сбивает с толку, давая качественно неверное представление о том, как именно классифицируется множество треугольников.

От множества переходим к фактормножеству

Понятие множество даётся как одно из фундаментальных понятий, но оно, само по себе, такое общее, что школьники с трудом могут объяснить зачем оно им нужно, и что с помощью множеств можно сделать такого, чего было бы невозможно без них. Разделив множество треугольников на подмножества, мы, конечно, кое-что поняли, и лучше разобрались в том, как они соотносятся друг с другом с точки зрения отношения включения, но нам хотелось более точного понимания структуры множества треугольников.

Для этого нам нужны отношения между элементами множества. И самым главным в сегодняшнем рассказе будет отношение эквивалентности.

Обратим внимание вот на какое обстоятельство: Треугольники могут не только отличаться друг от друга, но и быть одинаковыми.

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

Факторизация множества треугольников

Это наблюдение позволяет нам говорить не о всех треугольниках на свете, а о более абстрактном множестве уникальных треугольников, в котором нет двух конгруэнтных фигур. Каждому элементу из него соответствуют все равные ему треугольники, как бы они ни были расположены или повёрнуты в том геометрическом мире, в котором они могут появиться.

В евклидовом пространстве все точки конкретного треугольника принадлежат одной плоскости, а это значит, что среди любых треугольников, нарисованных ли в тетрадке, висящих ли в пространстве, неважно, трёхмерном или десятимерном, есть конгруэнтные и неконгруэнтные. Поскольку можно движением совместить как плоскости, в которых лежат треугольники, так и сами фигуры.

Факторизация отношением эквивалентности

Итак, коль скоро место обитания треугольников нас не интересует, мы можем вынести его за скобки. Такой мысленный приём называется факторизацией. Для факторизации нужно определить отношение эквивалентности, способ показать, что некие два элемента в каком-то смысле, равны, неразличимы.

Создание фактормножества

После установления отношения эквивалентности, мы можем слить все одинаковые элементы в один новый объект, который называется классом. Отношение эквивалентности позволяет разделить все множество на классы так, чтобы у них не было перекрытий и не оставалось лишних элементов.

Важность порядка в эквивалентности

Для того, чтобы каждый элемент из класса имел полномочия образца, необходимо, чтобы отношение эквивалентности было организовано правильно. Эквивалентность должна передаваться по цепочке.

Пример отношений, не являющихся эквивалентностью

Для числовых величин — примерно равно или равно с точностью до 1%, для геометрических фигур — касаться или пересекаться.

Роль конгруэнтности в факторизации

Легко убедиться, что конгруэнтность это хорошее отношение, которое вполне годится для разбиения множества фигур на классы эквивалентности.

Факторизация множества треугольников отношением конгруэнтности

Итак, всё мыслимое разнообразие треугольников, которое можно нарисовать на доске, в тетрадке или даже расположить в каком-либо объёме, мы факторизовали с помощью отношения равенства и сосредоточились на фактормножестве уникальных, неравных между собой треугольников.

Если мы обозначим множество треугольников буквой, то множество, факторизованное отношением конгруэнтности, будет обозначаться так.

От фактормножества переходим к пространству

Выстраивание логических цепочек

• Подготовка отношения эквивалентности
• Формирование фактормножества
• Рассмотрение роли конгруэнтности

С уважением,
Ваш профессиональный SEO копирайтер.

Треугольники могут быть не только равны или не равны, но и похожи друг на друга. Причём, похожи они бывают настолько, что становятся практически неотличимыми. Можно говорить о почти равностороннем треугольнике или почти прямоугольном, имея в виду, что отличие от истинно равностороннего и прямоугольного, в каком-то смысле, незначительно. Для любого треугольника можно рассмотреть целое множество треугольников «похожих на него», мысленно окружив его своеобразным «облаком» почти‑двойников.

Отношение эквивалентности позволяет нам разбивать множество на классы и выявлять некую внутреннюю структуру множества. Как мы уже упоминали, отношение «примерно равно» не является эквивалентностью. Однако с его помощью мы можем построить систему открытых подмножеств (тех самых «облаков» похожих друг на друга элементов), такую, что их пересечения и объединения тоже будут формировать открытые подмножества, способные покрыть всё множество треугольников.

Это обстоятельство позволяет нам говорить о множестве треугольников, как о топологическом пространстве, каждый элемент (точка) которого соответствует какому-то уникальному треугольнику. От простого множества пространство отличается тем, что для него определена топология — формальная система открытых подмножеств, замкнутая относительно объединения и пересечения.

Нам сейчас нет необходимости влезать в формальную сторону топологии, оставим это до университетского курса. Важно почувствовать, какой смысл мы вкладываем в это слово «пространство». Это множество объектов, позволяющее нам рассуждать о таких его характеристиках, как размерность, связность, непрерывность, рассматривать подпространства (аналоги подмножеств), области и их границы, строить пути между точками и даже говорить о дырках. Евклидово геометрическое пространство, в котором мы обычно строим треугольники на уроках в школе, это тоже пример топологического пространства, но оснащённого дополнительными свойствами, позволяющими рассуждать о расстояниях между точками и углах между прямыми.

Говоря о пространстве вне математики, мы обычно имеем в виду некое вместилище объектов, или пустую сцену, на которой они размещаются. И в рамках школьного курса, когда мы рассуждаем о геометрии, простейшие элементы пространства, которые мы называем точками, как‑то размещаются в нём и образуют множества с точно определёнными свойствами, которые мы называем геометрическими фигурами. Исследуем мы при этом фигуры, а само по себе пространство пусто, и единственное, что мы от него требуем, это возможности рассуждать о таких отношениях между точками и фигурами как «внутри‑снаружи», «близко‑далеко», «выше‑ниже» и т. п.

Треугольники, о которых идёт речь в этой заметке, это фигуры, определённые в каком‑то геометрическом пространстве. Но последнее мы «вынесли за скобку» при факторизации. Что же мы имеем в виду, говоря о «пространстве треугольников»

Меняем лексику, переходя от множества к пространству.

Определяем размерность пространства треугольников

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

Можно ли нарисовать и увидеть математически идеальную линию, не имеющую ширины? А точку, которая, согласно определению Евклида, не имеет ни ширины, ни длины, и никаких составных частей? Вполне!

Наш глаз видит области и их границы. Линия — это граница области, а точка — это граница линии. Мы прекрасно видим как одна область граничит с другой, мы видим эту границу, но она не имеет ширины. В принципе не имеет! Как ни увеличивай участок границы, хоть до пикселей, хоть до фотонов, мы сможем сказать: «Вот одна область, а вот другая, а то что между ними — граница». И точки, абстрактные, математически точные, мы тоже в состоянии и изобразить и увидеть. Это "места", в которых встречаются границы трёх областей или в которых нарушается гладкость линии.

Идеальные линии и точки, как границы подпространств.

Размерность области на единицу больше размерности её границы.

Давайте ещё раз перечислим классы треугольников и топологические отношения между ними, то есть, отношения подпространство/граница:

Здесь картинками условно показаны классы треугольников.

Выпишем теперь все соотношения между размерностями подпространств, соответствующих классам треугольников, выразив их через неизвестную размерность всего пространства треугольников

Редко когда топологии строятся или изобретаются с нуля. Один из самых распространенных на практике способов состоит в том, чтобы взять какую-то готовую, хорошо известную топологию, и построить непрерывное отображение из неё в новую. Такое отображение можно представить себе, как словарь или как рецепт, следуя которому можно по точкам одного пространства построить точки другого, причём, так, чтобы окрестности исходной точки превращались в окрестность результата отображения.

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

Аналогом этой конструкции в физической реальности можно считать ручку плавной настройки громкости или яркости. Между тремя абсолютно разными объектами и понятиями: 1) положениями ручки, 2) физическим уровнем громкости и 3) неким числом, есть прямая и понятная связь, которая и отражает то, что мы назвали непрерывным отображением. Они все имеют сходную топологию и образуют одинаковое топологическое пространство размерности 1, которое математически описывается закрытым интервалом или отрезком.

Давайте применим это соображение к объекту нашего исследования. Одна из очевидных «ручек» для настройки треугольников это их масштаб, который естественно выражается вещественным числом.

В этой картинке целых пять пространств с эквивалентными топологиями: 1) вещественные числа, 2) точки на вещественной прямой, 3) повороты "ручки", 4) масштаб треугольников и 5) время.

Это значит, что все равносторонние треугольники, не равные друг другу, отличаются только масштабом, и образуют одномерное подпространство. Отсюда мы можем вывести размерности всех прочих подпространств, и прийти к выводу, что размерность пространства треугольников, факторизованного отношением конгруэнтности

Какой смысл говорить о трёхмерности абстрактного и невидимого пока пространства

? Вспомним классические признаки равенства треугольников. Во всех этих признаках фигурируют какие-нибудь три числовых характеристики фигуры:

● сторона, сторона, угол;● сторона, угол, угол;● сторона, сторона, сторона;● сторона, угол, площадь;● площадь, угол, периметр.

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

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

К тому же, живя в трёхмерном мире, по-настоящему видеть его мы не можем. Наши глаза способны выделять двумерные границы трёхмерных подпространств, а также их границы: линии и точки. Так что показывать и анализировать существенно трёхмерные объекты без привлечения анимации непросто. Мы избавимся от трёхмерности пространства избрав вместо конгруэнтности другое отношение эквивалентности — подобие.

Классификация треугольников (правильный, равнобедренный, прямоугольный и т.д.) не зависит от их масштаба. Таким образом, если одной из «ручек», использованных нами для построения трёхмерного пространства треугольников, будет их линейный масштаб, то при вращении этой ручки, структура пространства, то есть число областей, их границ, и то как они граничат друг с другом, изменяться не будет. Получается, что одно измерение у нас «лишнее» и не несёт информации о структуре пространства. Если мы сочтём неразличимыми все подобные треугольники, то про их размеры можно будет забыть, и сосредоточиться только на форме. При этом точкой в факторпространстве, построенном с помощью отношению подобия, будут совокупности всех подобных друг другу треугольников.

Это пространство двумерно. Поскольку все равносторонние треугольники подобны, они факторизуются в единственную точку нулевой размерности. Пересчёт размерностей покажет, что равнобедренные и прямоугольные треугольники образуют одномерные подпространства, ограничивающие двумерные области остроугольных и тупоугольных треугольников.

Треугольные координаты

Двумя параметрами, характеризующими треугольник и весь класс подобных ему, могут быть либо пара отношений сторон, либо пара углов, либо пара из отношения сторон и угла. Углы мне нравятся больше всего, во-первых, тем, что диапазон их изменений конечен, а во-вторых, чудесным свойством давать для любого треугольника в сумме 180°. Можно было бы использовать эти два угла, как обычные прямоугольные координаты для нашей карты, или даже как угловые координаты на сфере, построив шикарный глобус треугольного мира, но коль скоро речь зашла о треугольниках, я решил показать ребятам необычные, но очень подходящие треугольные координаты.

Есть у равностороннего треугольника одна интересная особенность. Выберем произвольную точку внутри него и проведём три луча, параллельных сторонам треугольника, как показано на рисунке. Границы треугольника отсекают на этих лучах три отрезка. Так вот, сумма длин этих отрезков всегда равна длине стороны треугольника. Доказывается это утверждение без слов, в духе древних: «Смотри!», достаточно отметить на чертеже отрезки равные между собой из соображений параллельности, чтобы убедиться в его справедливости.

Эта теорема превращает треугольник в любопытный и полезный инструмент. Если мы разметим стороны треугольника одинаковыми линейными шкалами (они условно показаны стрелочками), то у любой точки в треугольнике появятся координаты. Причём, сумма этих координат всегда постоянна и равна максимальной отметке шкалы. Построенная таким образом диаграмма может быть полезна для изображения и анализа трёхкомпонентных смесей. Доли компонент в общем объёме в сумме всегда дают единицу, и треугольные координаты точек тоже обладают таким свойством. На треугольной диаграмме невозможно отобразить некорректную смесь, зато любая корректная смесь имеет свою точку в треугольнике и наоборот. На математическом языке мы скажем, что треугольные координаты определяют изоморфизм между точками внутри треугольника и составами трёхкомпонентных смесей.

Диаграмма кофейных смесей

Петрологи рассматривают на треугольных диаграммах семейства полевых шпатов и шпинелей; металлурги рисуют на них сплавы и так далее. Все видели цветовой треугольник, который используется для выбора цвета в графических редакторах. Мы с ребятами разместили на треугольной диаграмме любимые виды кофе, собирая их из эспрессо, молока и воды.

Главное свойство треугольных диаграмм состоит в том, что, хотя они двумерны, у всех точек на ней по три координаты, связанные простым условием: сумма координат для всех точек диаграммы должна быть одинакова. Мы исследуем треугольники и тремя компонентами в этом случае могут служить три угла треугольника, которые в сумме всегда дают развёрнутый угол. Выходит, треугольные координаты идеально подходят для изображения карты треугольников, какое чудесное совпадение! По осям мы отложим все возможные значения углов, так что на такой диаграмме можно будет найти треугольник любой формы.

Равносторонний, равнобедренные и прямоугольные треугольники в треугольных координатах.

В центре мира расположился единственный (с точностью до размеров) равносторонний треугольник с координатами

. Всякий равнобедренный треугольник имеет координаты

Ровно в середине — единственный и неповторимый равносторонний треугольник, от него в шесть сторон расходятся тонкие хребты равнобедренных, а треугольная граница, вдоль которой расположились прямоугольные треугольники, ограничивает страну остроугольных от диких тупоугольных степей убегающих до горизонта вырожденных треугольников. Мир треугольников незамкнут, его внешняя граница отсутствует, поскольку те треугольники, что пытаются достичь края своего мира, истоньшаются и вырождаются, превращаясь в отрезки, которые мы треугольниками уже не считаем. Очень здорово гулять по этой карте, переходя из страны в страну, приближаясь к границам и представляя, как меняются её жители.

На карте хорошо видны все отношения между классами треугольников. Они не образуют иерархию вложенных подмножеств, как иногда показывается на страницах учебников, а формируют области, граничащие друг с другом. Равнобедренными могут быть как остроугольные, так и тупоугольные треугольники. Прямоугольные треугольники могут быть равнобедренными, они живут там, где пересекаются линии равнобедренных и прямоугольных треугольников. Ну, а равносторонний треугольник является одновременно равнобедренным и остроугольным.

Факторизуем дальше!

Карта наша вышла очень симпатичной, но отказавшись от конгруэнтности и перейдя к отношению подобия, мы сделали её избыточной. У типичного жителя этого мира все три угла различны, обозначим их тройкой

Всячески поворачивая и отражая треугольник, мы сможем получить пять его эквивалентов:

Шесть точек, соответствующих одному и тому же треугольнику (с точки зрения конгруэнтности).

Получается, что двумерное факторпространство треугольников похоже на зеркальный калейдоскоп, в котором каждая точка повторяется шесть раз. От одного варианта к другому можно перейти, комбинацией поворотов или отражений всей карты. Впрочем, не каждая точка имеет пять отражений. Равнобедренные треугольники не меняются при зеркальном отражении относительно высоты, опущенной из вершины, и поэтому имеют меньше эквивалентов. Например, равнобедренный треугольник

имеет только два эквивалента:

получаемых поворотами на 120°. Линии равнобедренных треугольников на карте тоже не меняются при отражениях, но переходят друг в друга при поворотах. Наконец, самый симметричный равносторонний треугольник переходит сам в себя и при повороте на 120° и при отражении, также как соответствующая ему точка на карте.

Это очень красиво: симметрия карты и её элементов в точности отражает симметрию треугольников, соответствующих этим элементам! Связана эта красота с тем, что элементы пространства, то есть, точки, сами обладают определённой структурой — а именно, симметрией. Преобразования из группы симметрии, действуя на элементы пространства, порождают орбиты этих элементов: такие множества точек, которые не меняются под действием этих преобразований.

Некоторые орбиты на карте мира треугольников.

Мы могли бы избавиться от этой избыточности, если бы нам удалось факторизовать эту карту, «вынеся за скобки» её симметрию. Это можно сделать геометрически, если сложить карту, нарисованную на бумажном листе так, чтобы все эквивалентные точки наложились друг на друга и совпали. В результате получится маленький фрагмент в форме прямоугольного треугольника. Он лишён многократного дублирования точек и представляет уже факторизацию пространства треугольников отношением эквивалентности, заданным группой симметрии (эквивалентными при этом считаются все точки одной орбиты).

Построение фундаментальной области фактор-пространства треугольников.

Такая сжатая фактор-карта не избыточна, оставаясь полной. На ней каждая точка — уникальный треугольник и каждому треугольнику полагается уникальная точка. Она даёт исчерпывающее представление о структуре классификации треугольников. В топологии такая факторизация называется выделением фундаментальной области. Группа симметрии треугольника, действуя на эту область, формирует всё рассматриваемое нами пространство.

Когда мы абстрагируемся от симметрии треугольников, форма фундаментальной области не играет никакой роли и то, что она у нас оказалась треугольной, связано только с произвольным выбором треугольной системы координат. Так что правильнее будет изобразить фундаментальное множество фактор-пространства треугольников в такой обобщённой форме:

Топология фундаментального множества пространства треугольников, факторизованного отношением подобия.

Топология этого фундаментального множества соответствует диску, границей которого являются равнобедренные треугольники. На эту границу можно гладко отобразить одномерный интервал, соответствующий углу при вершине этих треугольников. Прямоугольные треугольники разделяют этот диск на области остроугольных и тупоугольных треугольников. Все вырожденные треугольники, составлявшие открытую границу карты мы отобразили в точку, выколотую из границы диска.

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

На протяжении этой статьи мы неявно использовали предельную степень факторизации множества треугольников, разделив их на шесть классов, которые изображали с помощью маленьких разноцветных треугольничков-представителей. Если мы введём несимметричное отношение "быть границей", то с его помощью сможем изобразить структуру мира треугольников в виде ориентированного графа:

Стрелки здесь указывают на границы объектов.

При этом теряется визуальный образ фундаментальной области, но остаются хорошо видны взаимоотношения между классами треугольников.

Измеряем то, что можем

Имея перед собой структуру треугольного мира, очищенную от повторений и многократных отражений, мы, наконец, готовы подумать над вопросом ученицы Аси: каких треугольников больше — равнобедренных или обыкновенных. Считать сами точки на карте дело неблагодарное. Вместо этого следует сделать наше пространство измеримым, введя на нём корректную меру. Я не буду сейчас приводить полное строгое определение меры и положусь на наше с вами интуитивное понимание, основанное на опыте работы с такими мерами, как длина, площадь, объём, вес, количество чего-то счётного и так далее. Пока мы не приводим контринтуитивных примеров (а их в теории мер предостаточно), этого понимания будет довольно.

Если для размерностей справедливо утверждение: размерность области на единицу больше размерности её границы, то для мер оно принимает несколько гипертрофированную форму:

Мера области бесконечно больше меры её границы.

Равнобедренные и прямоугольные треугольники образуют одномерное подпространство, имеющее длину, но не имеющее ширины, так что в двумерном пространстве его мера равна нулю, тогда как все прочие треугольники образуют полноценные двумерные подпространства, имеющие какую-то площадь. А равносторонний или равнобедренный прямоугольный треугольник имеют нулевую меру даже в одномерном пространстве.

Благодаря великому русскому математику Андрею Колмогорову, мы можем перевести язык площадей на язык вероятностей и сказать, что вероятность встретить равнобедренный треугольник, выбирая их наугад из общего множества треугольников, равна нулю.

А моим ребятам, в качестве домашнего задания, было предложено поразмыслить над картой и фактор‑картой пространства окружностей, эллипсов и параллелограммов, которое тоже можно изобразить на плоскости. Вы можете к ним присоединиться в комментариях!

Предыдущие статьи серии Математическая продлёнка:

Различные заметки и материалы на Дзен-канале Онлайн-кружок математики .

Медиафайлы на Викискладе

Понятие треугольника допускает различные обобщения. Можно определить это понятие в неевклидовой геометрии (например, на сфере): на таких поверхностях треугольник определяется как три точки, соединённые геодезическими линиями. В -мерной геометрии аналогом треугольника является -й мерный симплекс.

Иногда рассматривают вырожденный треугольник, три вершины которого лежат на одной прямой. Если не оговорено иное, треугольник в данной статье предполагается невырожденным.

Основные элементы треугольника

Традиционно вершины треугольника обозначаются заглавными буквами латинского алфавита: а противолежащие им стороны — теми же строчными буквами (см. рисунок). Треугольник с вершинами и обозначается как Стороны можно также обозначать буквами ограничивающих их вершин: , , .

Треугольник имеет следующие углы:

Величины углов при соответствующих вершинах традиционно обозначаются греческими буквами ( ).

Внешним углом плоского треугольника при данной вершине называется угол, смежный внутреннему углу треугольника при этой вершине

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

Периметром треугольника называют сумму длин трёх его сторон, а половину этой величины называют полупериметром.

По виду наибольшего угла

Треугольник Количество осей симметрии Количество пар равных сторон

Медианы, высоты, биссектрисы

Медианы в треугольнике

Медианой треугольника, проведённой из данной вершины, называется отрезок, соединяющий эту вершину с серединой противолежащей стороны (основанием медианы). Все три медианы треугольника пересекаются в одной точке. Эта точка пересечения называется центроидом или центром тяжести треугольника. Последнее название связано с тем, что у треугольника, сделанного из однородного материала, центр тяжести находится в точке пересечения медиан. Центроид делит каждую медиану в отношении 1:2, считая от основания медианы. Треугольник с вершинами в серединах медиан называется срединным треугольником. Основания медиан данного треугольника образуют так называемый дополнительный треугольник. Длину медианы опущенной на сторону можно найти по формулам:

для других медиан аналогично.

Высотой треугольника, проведённой из данной вершины, называется перпендикуляр, опущенный из этой вершины на противоположную сторону или её продолжение. Три высоты треугольника пересекаются в одной точке, называемой ортоцентром треугольника. Треугольник с вершинами в основаниях высот называется ортотреугольником.

Длину высоты опущенной на сторону можно найти по формулам:

; для других высот аналогично.

Биссектриса делит пополам угол

Биссектрисой (биссéктором) треугольника, проведённой из данной вершины, называют отрезок, соединяющий эту вершину с точкой на противоположной стороне и делящий угол при данной вершине пополам. Биссектрисы треугольника пересекаются в одной точке, и эта точка совпадает с центром вписанной окружности (инцентром).

Длину биссектрисы опущенной на сторону можно найти по одной из формул:

, где — полупериметр. . ; здесь — высота.

Высота, медиана и биссектриса равнобедренного треугольника, опущенные на основание, совпадают. Верно и обратное: если биссектриса, медиана и высота, проведённые из одной вершины, совпадают, то треугольник равнобедренный.

Описанная и вписанная окружности

Треугольник АВС и его окружности: вписанная (синяя), описанная (красная) и три вневписанные (зелёные)

Вписанная окружность (см. рис. справа) — окружность, касающаяся всех трёх сторон треугольника. Она единственна. Центр вписанной окружности называется инцентром, он совпадает с точкой пересечения биссектрис треугольника.

Следующие формулы позволяют вычислить радиусы описанной и вписанной окружностей:

где — площадь треугольника, — его полупериметр; где — радиусы соответственных вневписанных окружностей

Ещё два полезных соотношения:

где — расстояния от центра описанной окружности соответственно до сторон треугольника, — расстояния от ортоцентра соответственно до вершин треугольника.

Расстояние от центра описанной окружности например до стороны треугольника равно:

расстояние от ортоцентра например до вершины треугольника равно:

Признаки равенства треугольников

Равенство по двум сторонам и углу между ними

Равенство по стороне и двум прилежащим углам

Равенство по трем сторонам

Признаки равенства прямоугольных треугольников:

В сферической геометрии и в геометрии Лобачевского треугольники равны если равны их три угла.

Основные свойства элементов треугольника

В невырожденном треугольнике сумма длин двух его сторон больше длины третьей стороны, в вырожденном — равна. Иначе говоря, длины сторон невырожденного треугольника связаны следующими неравенствами:

Теорема о сумме углов треугольника

Сумма углов треугольника равна 180°

Сумма внутренних углов треугольника всегда равна 180°:

В геометрии Лобачевского сумма углов любого треугольника всегда меньше 180°, а на сфере — всегда больше.

где — радиус окружности, описанной вокруг треугольника.

Эта теорема является обобщением теоремы Пифагора.

Теорема о проекциях

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

Далее используются обозначения

Площадь треугольника связана с его основными элементами следующими соотношениями

Неравенства для площади треугольника

Для площади справедливы неравенства:

где в обоих случаях равенство достигается тогда и только тогда, когда треугольник равносторонний (правильный).

Все факты, изложенные в этом разделе, относятся к евклидовой геометрии.

Некоторые замечательные прямые треугольника

Бесконечно удалённая прямая — трилинейная поляра центроида

Построение трилинейной поляры точки

Ось Лемуана — трилинейная поляра точки Лемуана показана красным цветом

Ось внешних биссектрис или антиортовая ось (antiorthic axis) — трилинейная поляра центра вписанной окружности (инцентра) треугольника )

Ортоцентрическая ось (Orthic axis) — трилинейная поляра ортоцентра

Вписанные и описанные фигуры для треугольника

Ниже описаны 3 вида преобразований: 1) Изогональное сопряжение, 2) Изотомическое сопряжение, 3) Изоциркулярное преобразование.

Изогональные сопряжения линий треугольника

Если вместо симметричной чевианы брать чевиану, основание которой удалено от середины стороны так же, как и основание исходной, то такие чевианы также пересекутся в одной точке. Получившееся преобразование называется изотомическим сопряжением. Оно также переводит прямые в описанные коники.

При аффинных преобразованиях изотомически сопряжённые точки переходят в изотомически сопряжённые. При изотомическом сопряжении в бесконечно удалённую прямую перейдёт описанный эллипс Штейнера.

Композиция изогонального (или изотомического) сопряжения и трилинейной поляры

(первое тождество для тангенсов)

Замечание. Соотношение выше применимо только тогда, когда ни один из углов не равен 90° (в таком случае функция тангенса всегда определена).

(второе тождество для тангенсов)

(первое тождество для синусов)

(второе тождество для синусов)

(тождество для косинусов)

(тождество для отношения радиусов)

Замечание. При делении обеих частей второго тождества для тангенсов на произведение получается тождество для котангенсов:

по форме (но не по содержанию) очень похожее на первое тождество для тангенсов.