Геометрическая теорема о среднем - Geometric mean theorem

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

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

Теорема и приложения

Строительство √п установив q к 1

Если час обозначает высоту в прямоугольном треугольнике и п и q отрезки на гипотенузе, то теорему можно сформулировать так:[1]

или по площадям:

AM-GM неравенство

Последняя версия дает метод возведения прямоугольника в квадрат с помощью линейка и компас, то есть построить квадрат равной площади данному прямоугольнику. Для такого прямоугольника со сторонами п и 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]

На основании вскрытия и перестановки

Geometrischer Höhensatzbeweis.svg

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

На основе сопоставлений сдвига

Квадрат высоты можно преобразовать в прямоугольник равной площади со сторонами п и q с помощью трех карты сдвига (карты сдвига сохраняют площадь):

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

Рекомендации

  1. ^ а б c d е * Хартмут Веллштейн, Питер Кирше: Элементаргеометрия. Springer, 2009 г., ISBN  9783834808561, стр. 76-77 (нем., онлайн-копия, п. 76, в Google Книги )
  2. ^ Клауди Альсина, Роджер Б. Нельсен: Иконы математики: исследование двадцати ключевых образов. MAA 2011, ISBN  9780883853528, стр. 31–32 (онлайн-копия, п. 31, в Google Книги )
  3. ^ Евклид: Элементы, книга II - проп. 14, кн. VI - проп. 8, (онлайн-копия )
  4. ^ Илка Агрикола, Томас Фридрих: Элементарная геометрия. AMS 2008, ISBN  9780821843475, п. 25 (онлайн-копия, п. 25, в Google Книги )

внешняя ссылка