В евклидовой геометрии теорема Вариньона утверждает, что середины сторон произвольного четырёхугольника образуют параллелограмм , называемый параллелограммом Вариньона . Он назван в честь Пьера Вариньона , чьё доказательство было опубликовано посмертно в 1731 году. [1]
Середины сторон произвольного четырехугольника образуют параллелограмм. Если четырехугольник выпуклый или вогнутый (не сложный ), то площадь параллелограмма равна половине площади четырехугольника.
Если ввести понятие ориентированных площадей для n -угольников , то это равенство площадей справедливо и для сложных четырехугольников. [2]
Параллелограмм Вариньона существует даже для косого четырехугольника и является плоским независимо от того, плоский четырехугольник или нет. Теорема может быть обобщена на многоугольник средней точки произвольного многоугольника.
Ссылаясь на диаграмму выше, треугольники ADC и HDG подобны по критерию сторона-угол-сторона, поэтому углы DAC и DHG равны, делая HG параллельным AC . Точно так же EF параллелен AC , поэтому HG и EF параллельны друг другу; то же самое справедливо для HE и GF .
Теорему Вариньона можно также доказать как теорему аффинной геометрии, организованную как линейная алгебра с линейными комбинациями, ограниченными коэффициентами, сумма которых равна 1, также называемыми аффинными или барицентрическими координатами . Доказательство применимо даже к скошенным четырехугольникам в пространствах любой размерности.
Любые три точки E , F , G дополняются до параллелограмма (лежащего в плоскости, содержащей E , F , и G ) взятием его четвертой вершины как E − F + G . В построении параллелограмма Вариньона это точка ( A + B )/2 − ( B + C )/2 + ( C + D )/2 = ( A + D )/2. Но это точка H на рисунке, откуда EFGH образует параллелограмм.
Короче говоря, центр тяжести четырех точек A , B , C , D является серединой каждой из двух диагоналей EG и FH треугольника EFGH , что показывает, что середины совпадают.
Из первого доказательства видно, что сумма диагоналей равна периметру образованного параллелограмма. Также мы можем использовать векторы, равные 1/2 длины каждой стороны, чтобы сначала определить площадь четырехугольника, а затем найти площади четырех треугольников, деленные на каждую сторону внутреннего параллелограмма.
Плоский параллелограмм Вариньона также обладает следующими свойствами:
В выпуклом четырехугольнике со сторонами a , b , c и d длина бимедианы, соединяющей середины сторон a и c, равна
где p и q — длины диагоналей. [4] Длина бимедианы, соединяющей середины сторон b и d , равна
Следовательно [3] : стр.126
Это также является следствием закона параллелограмма, примененного в параллелограмме Вариньона.
Длины бимедиан также могут быть выражены через две противоположные стороны и расстояние x между серединами диагоналей. Это возможно при использовании теоремы Эйлера о четырехугольнике в приведенных выше формулах. Откуда [5]
и
Две противоположные стороны в этих формулах — это не те две стороны, которые соединяет бимедиана.
В выпуклом четырехугольнике существует следующая двойственная связь между бимедианами и диагоналями: [6]
Параллелограмм Вариньона является ромбом тогда и только тогда, когда две диагонали четырехугольника имеют одинаковую длину, то есть если четырехугольник является равнодиагональным четырехугольником . [7]
Параллелограмм Вариньона является прямоугольником тогда и только тогда, когда диагонали четырехугольника перпендикулярны , то есть, если четырехугольник является ортодиагональным четырехугольником . [6] : стр. 14 [7] : стр. 169
Для самопересекающегося четырехугольника параллелограмм Вариньона может выродиться до четырех коллинеарных точек, образуя отрезок прямой, пройденный дважды. Это происходит всякий раз, когда многоугольник образуется путем замены двух параллельных сторон трапеции двумя диагоналями трапеции, например, в антипараллелограмме . [8]