Сходство (геометрия)
В евклидовой геометрии два объекта подобны , если они имеют одинаковую форму или если один из них имеет ту же форму, что и зеркальное отображение другого. Точнее, одно можно получить из другого путем равномерного масштабирования (увеличения или уменьшения), возможно, с дополнительным перемещением , вращением и отражением . Это означает, что любой объект можно масштабировать, перемещать и отражать так, чтобы он точно совпадал с другим объектом. Если два объекта похожи, каждый из них соответствует результату определенного равномерного масштабирования другого.
Например, все круги подобны друг другу, все квадраты подобны друг другу и все равносторонние треугольники подобны друг другу. С другой стороны, не все эллипсы похожи друг на друга, не все прямоугольники похожи друг на друга и не все равнобедренные треугольники похожи друг на друга. Это связано с тем, что два эллипса могут иметь разное соотношение ширины и высоты, два прямоугольника могут иметь разное соотношение длины и ширины, а два равнобедренных треугольника могут иметь разные углы при основании.
Если два угла треугольника имеют меры, равные двум углам другого треугольника, то такие треугольники подобны. Соответствующие стороны подобных многоугольников пропорциональны, а соответствующие углы подобных многоугольников имеют одинаковую меру.
Две конгруэнтные фигуры подобны с масштабным коэффициентом 1. Однако некоторые школьные учебники специально исключают конгруэнтные треугольники из определения подобных треугольников, настаивая на том, что размеры должны быть разными, чтобы треугольники можно было квалифицировать как подобные. [ нужна ссылка ]
Подобные треугольники
[ редактировать ]Два треугольника △ ABC и △ A'B'C' углы имеют одинаковую меру: это означает, что они подобны тогда и только тогда, когда длины соответствующих сторон пропорциональны подобны тогда и только тогда, когда соответствующие . [1] Можно показать, что два треугольника, имеющие равные углы ( равноугольные треугольники ), подобны, то есть можно доказать, что соответствующие стороны пропорциональны. Это известно как теорема подобия AAA. [2] Обратите внимание, что «ААА» — это мнемоника: каждая из трех букв «А» относится к «углу». Благодаря этой теореме некоторые авторы упрощают определение подобных треугольников, требуя только, чтобы соответствующие три угла были равны. [3]
Существует несколько критериев, каждый из которых необходим и достаточен для того, чтобы два треугольника были подобны:
- Если ∠ BAC по мере равен ∠ B'A'C', а ∠ ABC равен по мере ∠ A'B'C', то из этого следует, что ∠ ACB по мере равен ∠ A'C'B' и треугольники подобны.
- Все соответствующие стороны пропорциональны: [5]
- Это эквивалентно утверждению, что один треугольник (или его зеркальное изображение) является увеличением другого.
- Любые две пары сторон пропорциональны, а углы, заключенные между этими сторонами, равны: [6]
- Это известно как критерий подобия SAS. [7] «SAS» — это мнемоника: каждая из двух букв S относится к «стороне»; буква A означает «угол» между двумя сторонами.
Символически запишем сходство и различие двух треугольников △ ABC и △ A'B'C' следующим образом: [8]
Есть несколько элементарных результатов, касающихся подобных треугольников в евклидовой геометрии: [9]
- Любые два равносторонних треугольника подобны.
- Два треугольника, оба подобные третьему треугольнику, подобны друг другу ( транзитивность подобия треугольников).
- Соответствующие высоты подобных треугольников имеют то же соотношение, что и соответствующие стороны.
- Два прямоугольных треугольника подобны, если длины гипотенузы и другой стороны находятся в одинаковом соотношении. [10] В этом случае имеется несколько эквивалентных условий, например, прямоугольные треугольники имеют острый угол одной и той же меры или имеют одинаковые пропорции длин катетов (сторон).
Учитывая треугольник △ ABC и отрезок DE, можно с помощью линейки и циркуля найти точку F такую, что △ ABC ~ △ DEF . Утверждение о существовании точки F, удовлетворяющей этому условию, является постулатом Уоллиса. [11] и логически эквивалентен постулату параллельности Евклида . [12] В гиперболической геометрии (где постулат Уоллиса неверен) подобные треугольники конгруэнтны.
В аксиоматической трактовке евклидовой геометрии, данной Джорджем Дэвидом Биркгофом (см. Аксиомы Биркгофа ), приведенный выше критерий подобия SAS использовался для замены как постулата параллельности Евклида, так и аксиомы SAS, которая позволила резко сократить аксиомы Гильберта . [7]
Подобные треугольники служат основой для многих синтетических (без использования координат) доказательств в евклидовой геометрии. Среди элементарных результатов, которые можно доказать таким способом, можно выделить: теорему о биссектрисе угла , теорему о среднем геометрическом , теорему Чевы , теорему Менелая и теорему Пифагора . Подобные треугольники также составляют основу тригонометрии прямоугольного треугольника . [13]
Другие подобные многоугольники
[ редактировать ]Понятие подобия распространяется на многоугольники , имеющие более трех сторон. Для любых двух подобных многоугольников соответствующие стороны, взятые в одной и той же последовательности (даже если по часовой стрелке для одного многоугольника и против часовой стрелки для другого), пропорциональны , а соответствующие углы, взятые в той же последовательности, равны по мере. Однако пропорциональность соответствующих сторон сама по себе недостаточна для доказательства подобия многоугольников вне треугольников (иначе, например, все ромбы были бы подобны). Аналогично, равенства всех углов в последовательности недостаточно, чтобы гарантировать подобие (иначе все прямоугольники были бы подобны). Достаточным условием подобия многоугольников является пропорциональность соответствующих сторон и диагоналей.
Для заданного n все правильные n -угольники подобны.
Похожие кривые
[ редактировать ]Некоторые типы кривых обладают тем свойством, что все примеры этого типа похожи друг на друга. К ним относятся:
- Линии (любые две линии даже равны )
- Сегменты линий
- Круги
- Притчи [14]
- Гиперболы определенного эксцентриситета [15]
- Эллипсы определенного эксцентриситета [15]
- Контактные сети
- Графики функции логарифма для разных оснований
- Графики показательной функции для разных базисов
- Логарифмические спирали самоподобны.
В евклидовом пространстве
[ редактировать ]Сходство действительное (также называемое преобразованием подобия или подобием ) евклидова пространства — это биекция f из пространства на себя, которая умножает все расстояния на одно и то же положительное число r , так что для любых двух точек x и y мы имеем
где d ( x , y ) — евклидово расстояние от x до y . [16] Скаляр ; r имеет много названий в литературе, в том числе коэффициент сходства , коэффициент растяжения и коэффициент сходства . Когда r = 1, подобие называется изометрией ( жестким преобразованием ). Два множества называются подобными , если одно является образом другого при сходстве.
В виде карты подобие отношения r принимает вид
где — размера n × n ортогональная матрица , а — вектор трансляции.
Сходства сохраняют плоскости, линии, перпендикулярность, параллельность, средние точки, неравенства между расстояниями и отрезками линий. [17] Сходства сохраняют углы, но не обязательно сохраняют ориентацию: прямые сходства сохраняют ориентацию, а противоположные сходства меняют ее. [18]
Сходства евклидова пространства образуют группу при операции композиции, называемую сходств S. группой [19] Прямые подобия образуют нормальную подгруппу S , а евклидова группа изометрий E ( n ) также образует нормальную подгруппу. [20] Группа сходств S сама является подгруппой аффинной группы , поэтому каждое сходство является аффинным преобразованием .
Евклидову плоскость можно рассматривать как комплексную плоскость . [б] то есть как двумерное пространство над реальными объектами . Преобразования двумерного подобия затем могут быть выражены в терминах комплексной арифметики и задаются формулой
- (прямое подобие) и
- (противоположные подобия),
где a и b — комплексные числа, a ≠ 0 . Когда | a |= 1 , эти сходства являются изометриями.
Коэффициент площади и коэффициент объема
[ редактировать ]Отношение площадей подобных фигур равно квадрату отношения соответствующих длин этих фигур (например, если сторону квадрата или радиус круга умножить на три, то его площадь умножится на девять — т.е. на три в квадрате). Высоты подобных треугольников находятся в том же отношении, что и соответствующие стороны. Если треугольник имеет сторону длины b и высоту, проведенную к этой стороне длины h , то аналогичный треугольник с соответствующей стороной длины kb будет иметь высоту, проведенную к этой стороне длины kh . Площадь первого треугольника равна а площадь подобного треугольника будет Подобные фигуры, которые можно разложить на подобные треугольники, будут иметь одинаково связанные площади. Соотношения справедливы и для фигур, которые невозможно исправить.
Отношение объемов подобных фигур равно кубу отношения соответствующих длин этих фигур (например, при умножении ребра куба или радиуса сферы на три ее объем умножается на 27 — т.е. на три куба).
Закон квадрата-куба Галилея касается подобных твердых тел. Если отношение подобия (отношение соответствующих сторон) между твердыми телами равно k , то отношение площадей поверхностей твердых тел будет равно k. 2 , а соотношение объемов будет k 3 .
Сходство с центром
[ редактировать ]Если сходство имеет ровно одну инвариантную точку : точку, которую сходство сохраняет неизменным, то эта единственная точка называется « центром » сходства.
На первом изображении под заголовком слева то или иное подобие сжимает правильный многоугольник в концентрический , вершины которого находятся каждая на стороне предыдущего многоугольника. Это вращательное сокращение повторяется , поэтому исходный многоугольник расширяется до бездны правильных многоугольников. Центром . подобия является общий центр последовательных многоугольников Красный отрезок соединяет вершину исходного многоугольника с его изображением по подобию, затем красный отрезок переходит к следующему изображению вершины и так далее, образуя спираль . На самом деле на этом первом изображении мы видим более трёх прямых подобий, потому что каждый правильный многоугольник инвариантен относительно определённых прямых подобий, точнее, определённых поворотов, центр которых является центром многоугольника, а композиция прямых подобий также является прямым сходство. Например, мы видим изображение исходного правильного пятиугольника при гомотетии отрицательного отношения –k , которое представляет собой подобие угла ±180° и положительного отношения, равного к .
Под заголовком справа на втором изображении показано сходство, разложенное на вращение и гомотетию. Подобие и поворот имеют одинаковый угол +135 градусов по модулю 360 градусов . Сходство и гомотетия имеют одинаковое соотношение мультипликативное обратное отношение ( квадратный корень из 2 ) обратного подобия. Точка S является общим центром трёх преобразований: вращения, гомотетии и подобия. Например, точка W — это образ F при вращении, а точка T — это образ W при гомотетии, короче. назвав R , H и D предыдущим вращением, гомотетией и сходством, с буквой « D », как «Прямой».
Это прямое подобие, преобразующее треугольник △ EFA в треугольник △ ATB, можно разложить на вращение и гомотетию одного и того же центра S несколькими способами. Например, D = R ○ H = H ○ R , причем последнее разложение представлено только на изображении. Чтобы получить D, мы также можем в любом порядке составить поворот на угол –45° и гомотетию отношения
С « M » как «Зеркало» и « I » как «Непрямое», если M — отражение относительно линии CW , то M ○ D = I — это косвенное подобие, которое преобразует сегмент BF, как D, в сегмент CT , но преобразует точка Е в Б и точка А в А. сам Квадрат ACBT — это образ ABEF при подобии I отношения Точка A является центром этого подобия, поскольку любая точка K , инвариантная относительно нее, удовлетворяет возможно только если AK 0 , иначе пишется A = K. =
Как построить центр S прямого подобия D из квадрата ABEF , как найти точку S центра поворота на угол +135°, преобразующего луч в луч ? Это задача о вписанном угле плюс вопрос ориентации . Множество точек P таких, что представляет собой дугу окружности EA , соединяющую E и A , из которых два радиуса, ведущие к E и A, образуют угол центральный 2 (180 ° – 135 °) = 2 × 45 ° = 90 ° . Этот набор точек представляет собой синюю четверть круга с центром F внутри квадрата ABEF . Таким же образом точка S является членом синей четверти круга с центром T внутри квадрата BCAT . Итак, точка S является точкой пересечения этих двух четвертей кругов.
В общих метрических пространствах
[ редактировать ]В общем метрическом пространстве ( X , d ) точным подобием является функция f из метрического пространства X в себя, которая умножает все расстояния на один и тот же положительный скаляр r , называемый коэффициентом сжатия f , так что для любых двух точек x и у нас есть
В более слабых версиях подобия, например, функцией , f была бы билипшицевой а скаляр r — пределом.
Эта более слабая версия применяется, когда метрика представляет собой эффективное сопротивление топологически самоподобного множества.
Самоподобное подмножество метрического пространства ( X , d ) — это множество K , для которого существует конечное множество подобий { f s } s ∈ S с коэффициентами сжатия 0 ⩽ r s < 1 такое, что K — единственный компакт подмножество X, для которого
Эти самоподобные множества имеют самоподобную меру µ Д с размерностью D, определяемой формулой
множества которая часто (но не всегда) равна размерности Хаусдорфа и размерности упаковки . Если перекрытия между f s ( K ) «небольшие», мы имеем следующую простую формулу для меры:
Топология
[ редактировать ]Этот раздел нуждается в дополнительных цитатах для проверки . ( Август 2018 г. ) |
В топологии метрическое пространство может быть построено путем определения сходства вместо расстояния . Сходство — это функция, значение которой тем больше, чем ближе две точки (в отличие от расстояния, которое является мерой несходства : чем ближе точки, тем меньше расстояние).
Определение сходства может варьироваться у разных авторов в зависимости от того, какие свойства желательны. Основными общими свойствами являются
- Положительное определение:
- В основном по сходству одного элемента сам с собой ( автоподобие ):
Можно вызвать дополнительные свойства, например:
- Отражательная способность : или
- Конечность :
Верхнее значение часто устанавливается равным 1 (создавая возможность вероятностной интерпретации подобия).
Заметим, что в используемом здесь топологическом смысле сходство является своего рода мерой . Это использование отличается от преобразования подобия разделов § В евклидовом пространстве и § В общих метрических пространствах этой статьи.
Самоподобие
[ редактировать ]Самоподобие означает, что шаблон нетривиально подобен самому себе, например, набор чисел ..., 0,5, 0,75, 1, 1,5, 2, 3, 4, 6, 8, 12, ...}. { вида {2 я , 3·2 я } где я варьируется по всем целым числам. Когда это множество построено в логарифмическом масштабе, оно обладает одномерной трансляционной симметрией : прибавление или вычитание логарифма двух к логарифму одного из этих чисел дает логарифм другого из этих чисел. В самом заданном наборе чисел это соответствует преобразованию подобия, при котором числа умножаются или делятся на два.
Психология
[ редактировать ]Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( июль 2021 г. ) |
Интуиция понятия геометрического подобия появляется уже у человеческих детей, что можно увидеть по их рисункам. [21]
См. также
[ редактировать ]- Конгруэнтность (геометрия)
- Спиральное подобие
- Расстояние Хэмминга (сходство строк или последовательностей)
- Преобразование Гельмерта
- Инверсивная геометрия
- Индекс Жаккара
- Пропорциональность
- Основная теорема пропорциональности
- Семантическое сходство
- Поиск по сходству
- Сходство (философия)
- Пространство сходства в числовой таксономии
- Гомеоид (оболочка из концентрических подобных эллипсоидов)
- Решение треугольников
Примечания
[ редактировать ]- ^ Сибли 1998 , с. 35.
- ^ Шталь 2003 , с. 127. Это доказано также в » Евклида «Началах , книга VI, предложение 4.
- ^ Например, Венема 2006 , с. 122 и Хендерсон и Тайминя 2005 , с. 123.
- ^ Евклида Элементы , Книга VI, Предложение 4.
- ^ Евклида Элементы , Книга VI, Предложение 5.
- ^ Евклида Элементы , Книга VI, Предложение 6.
- ^ Jump up to: Перейти обратно: а б Венема 2006 , с. 143.
- ^ Посаментье, Альфред С .; Леманн, Ингмар (2012). Тайны треугольников . Книги Прометея. п. 22.
- ^ Джейкобс 1974 , стр. 384–393.
- ^ Адамар, Жак (2008). Уроки геометрии, Том. Я: Плоская геометрия . Американское математическое общество. Теорема 120, с. 125. ИСБН 978-0-8218-4367-3 .
- ^ Назван в честь Джона Уоллиса (1616–1703).
- ^ Венема 2006 , с. 122.
- ^ Венема 2006 , с. 145.
- ^ доказательство с сайта academia.edu
- ^ Jump up to: Перейти обратно: а б Форма эллипса или гиперболы зависит только от отношения b/a
- ^ Смарт 1998 , с. 92.
- ^ Йельский университет, 1968 , с. 47 Теорема 2.1.
- ^ Педо 1988 , стр. 179–181.
- ^ Йельский университет, 1968 , с. 46.
- ^ Педо 1988 , с. 182.
- ^ Кокс, Дана Кристин (2008). Понимание сходства: соединение геометрического и числового контекстов для пропорциональных рассуждений (доктор философии). Каламазу, Мичиган: Университет Западного Мичигана. ISBN 978-0-549-75657-6 . S2CID 61331653 .
- ^ Это утверждение неверно в неевклидовой геометрии , где сумма углов треугольника не равна 180 градусам.
- ^ Этот традиционный термин, как объяснено в статье, является неправильным. На самом деле это одномерная комплексная линия.
Ссылки
[ редактировать ]- Хендерсон, Дэвид В .; Тайминя, Дайна (2005). Опыт геометрии / евклидовой и неевклидовой истории с историей (3-е изд.). Пирсон Прентис-Холл. ISBN 978-0-13-143748-7 .
- Джейкобс, Гарольд Р. (1974). Геометрия . WH Freeman and Co. ISBN 0-7167-0456-0 .
- Педо, Дэн (1988) [1970]. Геометрия/Комплексный курс . Дувр. ISBN 0-486-65812-0 .
- Сибли, Томас К. (1998). Геометрическая точка зрения/Обзор геометрии . Аддисон-Уэсли. ISBN 978-0-201-87450-1 .
- Смарт, Джеймс Р. (1998). Современные геометрии (5-е изд.). Брукс/Коул. ISBN 0-534-35188-3 .
- Шталь, Саул (2003). Геометрия/От Евклида к узлам . Прентис-Холл. ISBN 978-0-13-032927-1 .
- Венема, Джерард А. (2006). Основы геометрии . Пирсон Прентис-Холл. ISBN 978-0-13-143700-5 .
- Йель, Пол Б. (1968). Геометрия и симметрия . Холден-Дэй.
Дальнейшее чтение
[ редактировать ]- Седерберг, Джудит Н. (2001) [1989]. «Глава 3.12: Преобразования подобия». Курс современной геометрии . Спрингер. стр. 183–189. ISBN 0-387-98972-2 .
- Коксетер, HSM (1969) [1961]. «§5 Подобие в евклидовой плоскости». стр. 67–76. «§7 Изометрия и подобие в евклидовом пространстве». стр. 96–104. Введение в геометрию . Джон Уайли и сыновья .
- Эвальд, Гюнтер (1971). Геометрия: Введение . Издательство Уодсворт . стр. 106, 181.
- Мартин, Джордж Э. (1982). «Глава 13: Сходства в плоскости». Геометрия преобразований: введение в симметрию . Спрингер. стр. 136–146. ISBN 0-387-90636-3 .
Внешние ссылки
[ редактировать ]- Анимированная демонстрация подобных треугольников
- Фундаментальная теорема подобия - наглядный набросок динамической геометрии.