Таким образом доказано, что если длины сторон прямоугольника выражены положительными рациональными числами
Случай, когда длины сторон прямоугольника выражаются положительными действительными числами, мы опускаем.
Из этой теоремы вытекает следствие: площадь прямоугольного треугольника равна половине произведения его катетов.
Теорема. Площадь параллелограмма равна произведению его стороны на высоту, проведенную к этой стороне.
Доказательство. Пусть
Опустим перпендикуляр
Так как треугольники
Из это теоремы вытекает следствие: площадь треугольника равна половине произведения его стороны на проведенную к ней высоту.
Заметим, что слова «сторона» и «высота» в данных утверждениях обозначают численные значения длин соответствующих отрезков.
Теорема. Площадь правильного многоугольника равна половине произведения его периметра на радиус вписанной окружности.
Если периметр правильного многоугольника обозначить буквой
Доказательство. Разобьем правильный
где
но
Если
Кроме равенства и равновеликости фигур в геометрии рассматривают отношение равносоставленности. С ним связаны важные свойства фигур.
Многоугольники
Например, равносоставлены параллелограмм
Нетрудно убедиться в том, что равносоставленные фигуры равновелики.
Венгерским математиком Ф.Бойяи и немецким любителем математики П.Гервином была доказана теорема: любые два многоугольника равносоставлены. Другими словами, если два многоугольника имеют равные площади, то их всегда можно представить состоящими из попарно равных частей.
Рис. 4
Теорема Бойяни - Гервина служит теоретической базой для решения задач на перекраивание фигур: одну разрезать на части и сложить из нее другую. Оказывается, что если данные фигуры многоугольные и имеют одинаковые площади, то задача непременно разрешима.
Доказательство теоремы Бойяи-Гервина достаточно сложное. Мы докажем только утверждение о том, что всякий треугольник равносоставлен с некоторым прямоугольником, т.е. всякий треугольник можно перекроить в равновеликий ему прямоугольник.
Пусть дан треугольник
Мы выяснили, что вычисление площади многоугольника сводится по существу к вычислению площадей треугольников, на которые можно разбить этот многоугольник. А как находить площадь произвольной плоской фигуры? И что представляет собой число, выражающее эту площадь?