Геометрическая теорема о среднем - Geometric mean theorem
В теорема о высоте прямоугольного треугольника или же теорема о среднем геометрическом является результатом элементарной геометрии, которая описывает соотношение между длинами высота на гипотенуза в прямоугольный треугольник и два отрезка, которые он создает на гипотенузе. В нем говорится, что среднее геометрическое из двух сегментов равна высоте.
Теорема и приложения
Если час обозначает высоту в прямоугольном треугольнике и п и q отрезки на гипотенузе, то теорему можно сформулировать так:[1]
или по площадям:
Последняя версия дает метод возведения прямоугольника в квадрат с помощью линейка и компас, то есть построить квадрат равной площади данному прямоугольнику. Для такого прямоугольника со сторонами п и q обозначим его верхний левый вершина с D. Теперь продлим отрезок q слева от него п (используя дугу AE сосредоточен на D) и нарисуйте полукруг с концами А и B с новым сегментом р + д как его диаметр. Затем возводим перпендикуляр к диаметру в D который пересекает полукруг в C. Из-за Теорема Фалеса C и диаметр образуют прямоугольный треугольник с отрезком линии ОКРУГ КОЛУМБИЯ как его высота, следовательно ОКРУГ КОЛУМБИЯ это сторона квадрата с площадью прямоугольника. Метод также позволяет строить квадратные корни (см. конструктивное число ), поскольку, начиная с прямоугольника шириной 1, построенный квадрат будет иметь длину стороны, равную квадратному корню из длины прямоугольника.[1]
Теорема может быть использована для геометрического доказательства AM – GM неравенство в случае двух чисел. Для чисел п и q один строит полукруг диаметром р + д. Теперь высота представляет собой среднее геометрическое, а радиус - среднее арифметическое двух чисел. Поскольку высота всегда меньше или равна радиусу, отсюда следует неравенство.[2]
Теорема о среднем геометрическом также может рассматриваться как частный случай теорема о пересечении хорд для круга, поскольку обратное Теорема Фалеса гарантирует, что гипотенуза прямоугольного треугольника равна диаметру его описанный круг.[1]
Верно и обратное утверждение. Любой треугольник, в котором высота равна среднему геометрическому двух отрезков, созданных им, является прямоугольным треугольником.
История
Эту теорему обычно приписывают Евклид (ок. 360–280 до н. э.), который сформулировал это как следствие предложения 8 в книге VI своего Элементы. В предложении 14 книги II Евклид дает метод возведения прямоугольника в квадрат, который по существу совпадает с методом, приведенным здесь. Евклид, однако, предоставляет иное, немного более сложное доказательство правильности конструкции, а не полагается на теорему о среднем геометрическом.[1][3]
Доказательство
По сходству
Доказательство теоремы:
Треугольники и находятся похожий, поскольку:
- рассматривать треугольники , здесь у нас есть и , поэтому Постулат АА
- далее рассмотрим треугольники , здесь у нас есть и , поэтому по постулату АА
Следовательно, оба треугольника и похожи на и себя, т.е. .
Из-за подобия мы получаем следующее равенство соотношений, и его алгебраическая перестановка дает теорему :.[1]
Доказательство обратного:
В обратном случае имеем треугольник в котором держится и нужно показать, что угол C это прямой угол. Теперь из-за у нас также есть . Вместе с треугольники и имеют одинаковый угол и соответствующие пары ножек с одинаковым соотношением сторон. Это означает, что треугольники похожи, что дает:
На основе теоремы Пифагора
В постановке теоремы о среднем геометрическом есть три прямоугольных треугольника , и , из которого теорема Пифагора дает:
- , и
Добавление первых двух двух уравнений и затем использование третьего приводит к:
- .
Деление на два в конечном итоге дает формулу теоремы о среднем геометрическом.[4]
На основании вскрытия и перестановки
Разрезание прямоугольного треугольника по высоте час дает два похожих треугольника, которые можно увеличить и расположить двумя альтернативными способами в больший прямоугольный треугольник с перпендикулярными сторонами длины п + ч и д + ч. Для одного такого расположения требуется квадрат площади час2 чтобы завершить его, другой прямоугольник области pq. Поскольку обе схемы дают один и тот же треугольник, площади квадрата и прямоугольника должны быть идентичными.
На основе сопоставлений сдвига
Квадрат высоты можно преобразовать в прямоугольник равной площади со сторонами п и q с помощью трех карты сдвига (карты сдвига сохраняют площадь):
Рекомендации
- ^ а б c d е * Хартмут Веллштейн, Питер Кирше: Элементаргеометрия. Springer, 2009 г., ISBN 9783834808561, стр. 76-77 (нем., онлайн-копия, п. 76, в Google Книги )
- ^ Клауди Альсина, Роджер Б. Нельсен: Иконы математики: исследование двадцати ключевых образов. MAA 2011, ISBN 9780883853528, стр. 31–32 (онлайн-копия, п. 31, в Google Книги )
- ^ Евклид: Элементы, книга II - проп. 14, кн. VI - проп. 8, (онлайн-копия )
- ^ Илка Агрикола, Томас Фридрих: Элементарная геометрия. AMS 2008, ISBN 9780821843475, п. 25 (онлайн-копия, п. 25, в Google Книги )