Четырёхугольник

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
ЧЕТЫРЁХУГОЛЬНИКИ

┌────────────┼──────────────┐
простой невыпуклый выпуклый замкнутая ломанная с самопересечением

Четырёхугольник — это геометрическая фигура (многоугольник), состоящая из четырёх точек (вершин), никакие три из которых не лежат на одной прямой, и четырёх отрезков (сторон), последовательно соединяющих эти точки без самопересечений. Различают выпуклые и невыпуклые четырёхугольники.

Виды четырёхугольников

[править | править код]

Четырёхугольники с параллельными противоположными сторонами

[править | править код]
  • Квадрат — четырёхугольник, у которого все углы прямые и все стороны равны;
  • Параллелограмм — четырёхугольник, у которого противоположные стороны попарно равны и параллельны;
    • Прямоугольник — четырёхугольник, у которого все углы прямые;
    • Ромб — четырёхугольник, у которого все стороны равны;
    • Ромбоид — это параллелограмм , в котором смежные стороны имеют разные длины, и углы не являются прямыми.
  • Трапеция — четырёхугольник, у которого две стороны параллельны и две другие не параллельны;

Четырёхугольники с антипараллельными противоположными сторонами

[править | править код]

Четырёхугольники с перпендикулярными смежными сторонами

[править | править код]

Четырёхугольники с перпендикулярными диагоналями

[править | править код]

Четырёхугольники с параллельными диагоналями

[править | править код]

Четырёхугольники с равными противоположными сторонами

[править | править код]

Четырёхугольники с равными диагоналями

[править | править код]

Четырёхугольники, описанные около окружности

[править | править код]

Полный четырёхсторонник

[править | править код]
Полный четырёхсторонник

Хотя такое название может быть эквивалентно четырёхугольнику, в него часто вкладывают дополнительный смысл. Четвёрка прямых, никакие две из которых не параллельны и никакие три не проходят через одну точку, называется полным четырёхсторонником. Такая конфигурация встречается в некоторых утверждениях евклидовой геометрии (например, теорема Менелая, прямая Ньютона — Гаусса, прямая Обера, теорема Микеля и др.), в которых часто все прямые являются взаимозаменяемыми.

Сумма углов

[править | править код]

Согласно теореме о сумме углов многоугольника, сумма углов четырёхугольника без самопересечений равна 360°.

Метрические соотношения

[править | править код]

Модуль разности любых двух сторон четырёхугольника не превосходит суммы двух других сторон.

.

Эквивалентно: в любом четырёхугольнике (включая вырожденный) сумма длин трёх его сторон не меньше длины четвёртой стороны, то есть:

;
;
;
.

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

Для сторон и диагоналей выпуклого четырёхугольника выполнено неравенство Птолемея:

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

Соотношения между сторонами и диагоналями четырёхугольника

[править | править код]

Шесть расстояний между четырьмя произвольными точками плоскости, взятыми попарно, связаны соотношением:

.

Это соотношение можно представить в виде определителя:

Этот определитель с точностью до множителя 288 представляет собой выражение для квадрата объёма тетраэдра через длины его рёбер с помощью определителя Кэли-Менгера. Если вершины тетраэдра лежат в одной плоскости, то он имеет нулевой объём и превращается в четырёхугольник. Длины рёбер будут длинами сторон или диагоналей четырёхугольника.

Соотношения Бретшнайдера

[править | править код]

Соотношения Бретшнайдера — соотношение между сторонами противоположными углами и диагоналями простого (несамопересекающегося) четырёхугольника:

,
,
.

Другие свойства

[править | править код]

Угол на пересечении диагоналей простого четырёхугольника удовлетворяет следующему условию:

,

где — диагонали четырёхугольника[1]. Данная формула эквивалентна теореме косинусов для треугольников.

Специальные прямые линии четырёхугольника

[править | править код]

Средние линии четырёхугольника

[править | править код]

Пусть  — середины сторон выпуклого четырёхугольника а  — середины его диагоналей. Назовем три отрезка соответственно первой, второй и третьей средними линиями четырёхугольника. Первые две из них также называют бимедианами[2].

Точки E, K, F лежат на одной прямой, прямой Ньютона

Теоремы о средних линиях четырёхугольника

[править | править код]
  • Обобщённая теорема Ньютона. Все три средние линии четырёхугольника пересекаются в одной точке (в центроиде вершин («vertex centroid») четырёхугольника) и делятся ею пополам.
  • Середины E и F двух диагоналей, а также центроид вершин K выпуклого четырёхугольника лежат на одной прямой EF. Указанная прямая называется прямой Ньютона.
  • Заметим, что прямая Ньютона — Гаусса совпадает с прямой Ньютона, ибо обе проходят через середины диагоналей.
  • Теорема Вариньона:
    • Четырёхугольники GIHJ, EHFG, JEIF являются параллелограммами и называются параллелограммами Вариньона. Первый из них назовем большим параллелограммом Вариньона
    • Центрами этих трёх параллелограммов Вариньона назовем точки пересечения их пар диагоналей.
    • Центры всех трёх параллелограммов Вариньона лежат в одной и той же точке - на середине отрезка, соединяющего середины сторон исходного четырёхугольника (в этой же точке пересекаются отрезки, соединяющие середины противоположных сторон — диагонали вариньоновского параллелограмма).
    • Периметр большого параллелограмма Вариньона равен сумме диагоналей исходного четырёхугольника.
    • Площадь большого параллелограмма Вариньона равна половине площади исходного четырёхугольника , то есть
      .
    • Площадь исходного четырёхугольника равна произведению первой и второй средних линий четырёхугольника на синус угла между ними, то есть
      .
    • Сумма квадратов трёх средних линий четырёхугольника равна четверти суммы квадратов всех его сторон и диагоналей:
      .
  • Формула Эйлера: учетверённый квадрат расстояния между серединами диагоналей равен сумме квадратов сторон четырёхугольника минус сумма квадратов его диагоналей.
  • Математически для рисунка справа вверху с серым четырёхугольником ABCD формула Эйлера записывается в виде:
    .
Прямая, получаемая соединением середин диагоналей (L, M и N), называется прямой Ньютона — Гаусса (зелёная)
  • Если в четырёхугольнике две пары противоположных сторон не параллельны, то две середины его диагоналей лежат на прямой, которая проходит через середину отрезка, соединяющего две точки пересечения этих двух пар противоположных сторон (на рисунке точки показаны красным цветом). Указанная прямая называется прямой Ньютона (на рисунке она показана зелёным цветом). При этом прямая Ньютона всегда перпендикулярна прямой Обера.
  • Точки, лежащие на прямой Ньютона, удовлетворяют теореме Анна.

Ортополярные линии ортополюсов троек вершин четырехугольника

[править | править код]

Если задана фиксированная прямая линия , и выбрана любая из трех вершин четырехугольника , то все ортополюсы данной прямой линии относительно всех таких треугольников лежат на одной прямой. Эта линия называется ортополярной линией для данной линии относительно четырехугольника [3]

Специальные точки четырёхугольника

[править | править код]

Центроид четырёхугольника

[править | править код]
  • Четыре отрезка, каждый из которых соединяет вершину четырёхугольника с центроидом треугольника, образованного оставшимися тремя вершинами, пересекаются в центроиде четырёхугольника и делятся им в отношении 3:1, считая от вершин.
  • См. также свойства центроида четырёхугольника.

Точка Понселе четырёхугольника

[править | править код]

Внутри четырёхугольника существует точка Понселе (см. параграф "Окружности девяти точек треугольников внутри четырёхугольника").

Точка Микеля четырёхугольника

[править | править код]

У каждого четырёхугольника, кроме параллелограмма, существует точка Микеля.

Окружности девяти точек треугольников внутри четырёхугольника

[править | править код]

В произвольном выпуклом четырёхугольнике окружности девяти точек треугольников , на которые его разбивают две диагонали, пересекаются в одной точке — в точке Понселе[4].

Частные случаи четырёхугольников

[править | править код]

Вписанные четырёхугольники

[править | править код]
  • Говорят, что если около четырёхугольника можно описать окружность, то четырёхугольник вписан в эту окружность, и наоборот.
  • В частности, четырёхугольниками, вписанными в окружность, являются: прямоугольник, квадрат, равнобедренная или равнобочная трапеция, антипараллелограмм.
  • Теоремы для вписанных четырёхугольников:
    • Две теоремы Птолемея. Для простого (несамопересекающегося) четырёхугольника, вписанного в окружность, имеющего длины пар противоположных сторон: a и c, b и d, а также длины диагоналей e и f, справедливы:
1) Первая теорема Птолемея
;
2) Вторая теорема Птолемея

В последней формуле пары смежных сторон числителя a и d, b и c опираются своими общими внутри пары концами на диагональ длиной e. Аналогичное утверждение имеет место для знаменателя.

3) Формулы для длин диагоналей (следствия первой и второй теорем Птолемея)
и
    • Теорема Монжа об ортоцентре вписанного четырехугольника. 4 отрезка прямых (4 антимедатрисы[5]), проведенных из середин 4 сторон вписанного четырехугольника перпендикулярно к противолежащим сторонам, пересекаются в ортоцентре Н этого четырехугольника[6][7].
    • Теорема о вписанности в окружность пары диагональных треугольников. Если выпуклый четырёхугольник вписан в некоторую окружность, то в ту же самую окружность вписаны и пара треугольников, на которые разбивает четырёхугольник любая из его диагоналей (связь с окружностями треугольника).
    • Теорема о четырёх медиатрисах. Из последнего утверждения следует: если три из четырёх медиатрис (или срединных перпендикуляров), проведённых к сторонам выпуклого четырёхугольника, пресекаются в одной точке, то в той же точке пресекается и медиатриса его четвёртой стороны. Более того, такой четырёхугольник вписан в некоторую окружность, центр которой находится в точке пресечения указанных медиатрис[8].
Японская теорема (Japanese theorem)
    • Теоремы о четырех диагональных треугольниках и об их вписанных окружностях[9]. Если во вписанном в окружность четырёхугольнике провести диагональ, а в полученные два треугольника вписать две окружности, затем аналогично поступить, проведя вторую диагональ, тогда центры четырёх образовавшихся окружностей являются вершинами прямоугольника (то есть лежат на одной окружности). Эту теорему называют японской теоремой (Japanese theorem). (см. рис.). Кроме того, ортоцентры четырёх описанных здесь треугольников являются вершинами четырёхугольника, подобного исходному четырёхугольнику ABCD (то есть также лежат на другой окружности, ибо вершины исходного вписанного четырёхугольника лежат на некоторой окружности). Наконец, центроиды этих четырёх треугольников лежат на третьей окружности[10].
    • Теорема о четырёх проекциях вершин вписанного четырёхугольника на его диагонали[11]. Пусть  — вписанный четырёхугольник,  — основание перпендикуляра, опущенного из вершины на диагональ ; аналогично определяются точки . Тогда точки лежат на одной окружности.
    • Теорема Брокара. Центр описанной около четырёхугольника окружности — точка пересечения высот треугольника с вершинами в точке пересечения диагоналей и в точках пересечения противоположных сторон.
  • Критерии вписанности четырёхугольников:
    • Первый критерий вписанности четырёхугольника. Около четырёхугольника можно описать окружность тогда и только тогда, когда сумма противоположных углов равна 180°, то есть:
.
    • Второй критерий вписанности четырёхугольника. Около четырёхугольника можно описать окружность тогда и только тогда, когда любая пара его противоположных сторон антипараллельна.
Теорема Микеля-Штейнера для четырёхстронника
    • Третий критерий вписанности четырёхугольника. Выпуклый четырёхугольник (см. рис. справа), образованный четырьмя данными прямыми Микеля, вписан в окружность тогда и только тогда, когда точка Микеля M четырёхугольника лежит на прямой, соединяющей две из шести точек пересечения прямых (те, которые не являются вершинами четырёхугольника). То есть, когда M лежит на EF.
    • Прямая, антипараллельная стороне треугольника и пересекающая его, отсекает от него четырёхугольник, около которого всегда можно описать окружность.
    • Четвертый критерий вписанности четырёхугольника. Условие, при котором совмещение двух треугольников с одной равной стороной даёт четырёхугольник, вписанный в окружность[12]. Для того, чтобы два треугольника с тройками длин сторон соответственно (a, b, f) и (c, d, f) при их совмещении вдоль общей стороны с длиной, равной f, давали в итоге четырёхугольник, вписанный в окружность с последовательностью сторон (a, b, c, d), необходимо условие[13]:84
    • Последнее условие даёт выражение для диагонали f четырёхугольника, вписанного в окружность, через длины четырёх его сторон (a, b, c, d). Эта формула немедленно следует при перемножении и при приравнивании друг другу левых и правых частей формул, выражающих суть первой и второй теорем Птолемея (см. выше).
где p — полупериметр четырёхугольника.
    • Последняя формула следует из общей формулы (1) в рамке в параграфе «Площадь», если в ней учесть, что
    • Последняя формула есть обобщение формулы Герона на случай четырёхугольника.
    • Формула Брахмагупты для площади вписанного в окружность четырёхугольника может быть записана через определитель[8]:

  • Радиус окружности, описанной около четырёхугольника:

Вписанные четырёхугольники с перпендикулярными диагоналями

[править | править код]
  • Теорема Брахмагупты. Для вписанных ортодиагональных четырёхугольников справедлива теорема Брахмагупты: Если вписанный четырёхугольник имеет перпендикулярные диагонали, пересекающиеся в точке , то две пары его антимедиатрис проходят через точку .
  • Замечание. В этой теореме под антимедиатрисой[15] понимают отрезок четырёхугольника на рисунке справа (по аналогии с серединным перпендикуляром (медиатрисой) к стороне треугольника). Он перпендикулярен одной стороне и одновременно проходит через середину противоположной ей стороны четырёхугольника.
  • Теорема об окружности восьми точек ортодиагонального четырёхугольника . Известна теорема: Если в четырёхугольнике перпендикулярны диагонали, то на одной окружности (окружность восьми точек четырёхугольника) лежат восемь точек: середины сторон и проекции середин сторон на противоположные стороны[16]. Из этой теоремы и теоремы Брахмагупты следует, что концы двух пар антимедиатрис (восемь точек) вписанного ортодиагонального четырёхугольника лежат на одной окружности (окружность восьми точек четырёхугольника).
  • Частные вписанные ортодиагональные четырёхугольники. Частными вписанными ортодиагональными четырёхугольниками, вписанными в окружность, являются квадрат, дельтоид с парой прямых противоположных углов, равнобокая ортодиагональная трапеция и другие.

Описанные четырёхугольники

[править | править код]
  • Говорят, что если в четырёхугольник можно вписать окружность, то четырёхугольник описан около этой окружности, и наоборот.
  • Некоторые (но не все) четырёхугольники имеют вписанную окружность. Они называются описанными четырёхугольниками.
  • Критерии описанности четырёхугольников:
    • Среди свойств описанных четырёхугольников наиболее важным является то, что суммы противоположных сторон равны. Это утверждение называется теоремой Пито.
    • Иными словами, выпуклый четырёхугольник является описанным около окружности тогда и только тогда, когда суммы длин противоположных сторон равны, то есть: .
  • Теоремы для описанных четырёхугольников:
    • Теорема о двух равных сторонах угла, касающегося окружности. Точки касания вписанной окружности с четырёхугольником отсекают равные отрезки от углов четырёхугольника.
    • Теорема о продолжении двух пар противоположных сторон четырёхугольника. Если выпуклый четырёхугольник не имеет параллельных сторон и он описан около некоторой окружности, то около этой же самой окружности описаны и пара треугольников, которые получаются при продолжении двух его пар противоположных сторон до их пересечения (связь с окружностями треугольника).
    • Теорема о четырёх биссектрисах. Из последнего утверждения следует: если три из четырёх биссектрис (или биссекторов), проведённых для внутренних углов выпуклого четырёхугольника, пресекаются в одной точке, то в той же точке пресекается и биссектриса его четвёртого внутреннего угла. Более того такой четырёхугольник описан около некоторой окружности, центр которой находится в точке пресечения указанных биссектрис[17].
    • Теорема Ньютона. Если четырёхугольник является описанным около окружности, то центр его вписанной окружности лежит на прямой Ньютона. Более точное утверждение ниже.
    • Теорема Ньютона. Во всяком описанном четырёхугольнике две середины диагоналей и центр вписанной окружности лежат на одной прямой. На ней же лежит середина отрезка с концами в точках пересечения продолжений противоположных сторон четырёхугольника (если они не параллельны). Эта прямая называется прямой Ньютона. На рисунке (вторая группа рисунков сверху) она зелёная, диагонали красные, отрезок с концами в точках пересечения продолжений противоположных сторон четырёхугольника тоже красный.
    • Теорема Брокара. Центр описанной около четырёхугольника окружности — точка пересечения высот треугольника с вершинами в точке пересечения диагоналей и в точках пересечения противоположных сторон.
  • Площадь описанного четырёхугольника
    • Условие означает, что .

Вводя понятие полупериметра p, имеем . Следовательно, также имеем . Далее можно заметить: Следовательно, Тогда по формуле (1) в рамке в параграфе «Площадь» имеем

    • Поскольку четырёхугольник описан, то его площадь также равна половине периметра p, умноженной на радиус r вписанной окружности: .

Вписанно-описанные четырёхугольники

[править | править код]
Вписано-описанные четырёхугольники ABCD и EFGH и Поризм Понселе для них
  • Вписанно-описанные четырёхугольники — четырёхугольники, которые могут быть одновременно описаны около некоторой окружности, а также вписаны в некоторую окружность. Другие их названия — бицентрические четырёхугольники (Bicentric quadrilateral), хордо-касающиеся четырёхугольники (chord-tangent quadrilateral) или двух-окружностные четырёхугольники (double circle quadrilateral).
  • Частным вписанно-описанным четырёхугольником является квадрат.
  • Критерии одновременной вписанности и описанности четырёхугольника
    • Любое одно из двух указанных ниже условий по отдельности является необходимым, но не достаточным условием для того, чтобы данный выпуклый четырёхугольник был вписанно-описанным для некоторых окружностей:
и .
    • Выполнение двух последних условий одновременно для некоторого выпуклого четырёхугольника является необходимым и достаточным для того, чтобы данный четырёхугольник был вписанно-описанным.
  • Теоремы для вписанно-описанных четырёхугольников
Вписано-описанный четырёхугольник ABCD с центром I вписанной и с центром O описанной окружностей
    • Теорема Фусса (Fuss' theorem). Для радиусов R и r соответственно описанной и вписанной окружностей данного четырёхугольника и расстояния x между центрами и этих окружностей (см. рис.) выполняется соотношение, представляющее четырёхугольниковый аналог теоремы Эйлера (аналогичная формула Эйлера есть для треугольника)[18][19][20]:

или

или

или

Вписанно-описанный четырёхугольник ABCD и его внутренне-касающийся вписанный четырёхугольник WXYZ
    • Теорема. Следующие три условия для вписанно-описанного четырёхугольника касаются точек, в которых вписанная в касательный четырёхугольник окружность является касательной к сторонам. Если вписанная окружность касается сторон AB, BC, CD, DA в точках W, X, Y, Z соответственно, то касательный четырёхугольник ABCD является также описанным, если и только если выполнено любое из следующих трёх условий (см. рис.):[21]
    • WY перпендикулярно к XZ
    • .
    • Теорема Понселе. Для вписанно-описанного четырёхугольника справедлива теорема Понселе.

Площадь вписанно-описанного четырёхугольника

[править | править код]
  • Если четырёхугольник и вписан, и описан, то по формуле Бретшнайдера имеем: .
    • Последняя формула получается из формулы площади предыдущего параграфа для описанного четырёхугольника , если учесть, что (для вписанного четырёхугольника ).
  • Поскольку четырёхугольник описан, то его площадь также равна половине его периметра p, умноженной на радиус r вписанной окружности: .
  • Другая формула площади вписанно-описанного четырёхугольника:

Разбиение сторон касательного четырехугольника точками касания с окружностью

[править | править код]
Разбиение сторон касательного четырехугольника точками касания с окружностью
  • Восемь «длин касательных» («e», «f», «g», «h» на рисунке справа) касательного четырехугольника — это отрезки прямой от вершины до точек, где окружность касается сторон. Из каждой вершины есть две касательных к окружности равной длины (см. рис.).
  • Обозначим также две «касательные хорды» («k» и «l» на рисунке) касательного четырехугольника — это отрезки линий, которые соединяют точки на противоположных сторонах, где окружность касается этих сторон. Они также являются диагоналями «контактного четырехугольника», имеющего вершины в точках касания четырехугольника с окружностью.

Тогда площадь вписанно-описанного четырёхугольника равна[21]:p.128

а также

  • Если к двум хордам для касательных k и l и диагоналям p и q ввести дополнительно еще две бимедианы m и n выпуклого четырехугольника, как отрезки прямых, соединяющих середины противоположных сторон, то площадь вписанно-описанного четырёхугольника будет равна[22]

Внеописанные четырёхугольники

[править | править код]

Внеописанный четырёхугольник для окружности

[править | править код]
Внеописанный четырёхугольник ABCD и его вневписанная окружность
  • Внеописанный четырёхугольник — это выпуклый четырёхугольник, продолжения всех четырёх сторон которого являются касательными к окружности (вне четырёхугольника)[23]. Окружность называется вневписанной. Центр вневписанной окружности лежит на пересечении шести биссектрис.
  • Вневписанная окружность существует не для всякого четырёхугольника. Если противоположные стороны выпуклого четырёхугольника ABCD пересекаются в точках E и F, то условием его внеописанности является любое из двух условий ниже:

Внеописанный четырёхугольник для параболы

[править | править код]

Четырёхугольники с перпендикулярными элементами

[править | править код]
  • Ниже выделены параграфы для четырёхугольников с перпендикулярными парами элементов: с 2 перпендикулярными сторонами и с 2 перпендикулярными диагоналями.
  • Эти четырёхугольники вырождаются в прямоугольный треугольник, если длина одной нужной стороны (из их 4 сторон), лежащей вблизи прямого угла или же опирающейся концами на этот угол, стремится к нулю.

Четырёхугольники с перпендикулярными сторонами

[править | править код]

Четырёхугольники с перпендикулярными противоположными сторонами

[править | править код]
  • Две противоположные стороны четырёхугольника перпендикулярны тогда и только тогда, когда сумма квадратов двух других противоположных сторон равна сумме квадратов диагоналей.
  • Если сумма углов при одном из оснований трапеции равна 90°, то продолжения боковых (противоположных) сторон пересекаются под прямым углом, а отрезок, соединяющий середины оснований, равен полуразности оснований.

Четырёхугольники с 2 парами перпендикулярных смежных сторон

[править | править код]
  • Если у выпуклого четырёхугольника перпендикулярны две пары смежных сторон (то есть два противоположных угла прямые), то этот четырёхугольник может быть вписан в некоторую окружность. Более того, диаметром этой окружности будет служить диагональ, на которую опираются одними концами указанные две пары смежных сторон.
  • Частными четырёхугольниками с перпендикулярными сторонами являются: прямоугольник, квадрат и прямоугольная трапеция.

Четырёхугольники с 3 перпендикулярными смежными сторонами

[править | править код]
  • Если у выпуклого четырёхугольника перпендикулярны 3 смежные стороны (то есть 2 внутренних угла прямые), то этот четырёхугольник - прямоугольная трапеция.
  • Четырёхугольники с перпендикулярными диагоналями называются ортодиагональными четырёхугольниками.
  • Диагонали четырёхугольника перпендикулярны тогда и только тогда, когда суммы квадратов противоположных сторон равны.
  • Площадь ортодиагонального четырёхугольника равна половине произведения его диагоналей: .
  • Средние линии четырёхугольника равны тогда и только тогда, когда равны суммы квадратов его противоположных сторон.
  • Антимедиатрисой четырёхугольника называются отрезок прямой, выходящий из середины одной его стороны и перпендикулярный противоположной ей стороне.
  • Теорема Брахмагупты. Если у четырёхугольника перпендикулярны диагонали и он может быть вписан в некоторую окружность, то четыре его антимедиатрисы пересекаются в одной точке. Более того, этой точкой пересечения антимедиатрис является точка пересечения его диагоналей.
  • Если у четырёхугольника перпендикулярны диагонали и он может быть вписан в некоторую окружность, то учетверённый квадрат её радиуса R равен сумме квадратов любой пары противоположных его сторон:
  • Если у четырёхугольника перпендикулярны диагонали и он может быть описан около некоторой окружности, то у него равны произведения двух пар противоположных сторон:
  • Параллелограмм Вариньона с вершинами в серединах сторон ортодиагонального четырёхугольника является прямоугольником.
  • Если в четырёхугольнике перпендикулярны диагонали, то на одной окружности (окружность восьми точек четырёхугольника) лежат восемь точек: середины сторон и проекции середин сторон на противоположные стороны[16].
  • Частными ортодиагональными четырёхугольниками являются: ромб, квадрат, дельтоид.
  • Если у выпуклого четырёхугольника перпендикулярны диагонали, то середины четырёх его сторон являются вершинами прямоугольника (следствие теоремы Вариньона). Верно и обратное. Кроме того, у прямоугольника равны диагонали. Следовательно, у выпуклого четырёхугольника диагонали перпендикулярны тогда и только тогда, когда у него равны между собой длины двух его бимедиан (длины двух отрезков, соединяющих середины противоположных сторон)[25].
  • Таблица сравнения свойств описанного и ортодиагонального четырёхугольника:

Их метрические свойства очень похожи (см. табл.)[25]. Здесь обозначены: a, b, c, d — длины их сторон, R1, R2, R3, R4, и радиусы описанных окружностей, проведённых через эти стороны и через точку пересечения диагоналей, h1, h2, h3, h4 — высоты, опущенные на них из точки пересечения диагоналей.

описанный четырёхугольник ортодиагональный четырёхугольник
  • Кроме того, для медиан на стороны ортодиагонального четырёхугольника, опущенных из точки пересечения диагоналей, верно: .
  • В любой ортодиагональный четырехугольник можно вписать бесконечно много прямоугольников, относящихся к следующим двум множествам:
(i) прямоугольники, чьи стороны параллельны диагоналям ортодиагонального четырехугольника
(ii) прямоугольники, определяемые окружностями точек Паскаля[26][27][28].
- ортодиагональный четырехугольник, и прямоугольники, вписанные в , и стороны которых параллельны диагоналям четырехугольник.
- ортодиагональный четырехугольник. и точки Паскаля, формируемые с помощью окружности , – окружность точек Паскаля, определяющая остальные вершины прямоугольника вписанного в . и точки Паскаля, формируемые с помощью окружности , – окружность точек Паскаля, определяющая остальные вершины прямоугольника вписанного в .

Свойства диагоналей некоторых четырёхугольников

[править | править код]

В следующей таблице указано, есть ли у диагоналей некоторых из самых основных четырёхугольников деление пополам в точке их пересечения, есть ли перпендикулярность диагоналей, есть ли равенство длин диагоналей, и есть ли деление ими углов пополам[29]. Список относится к наиболее общим случаям и исчерпывает собой названные подмножества четырёхугольников.

Четырёхугольник Деление диагоналей пополам в точке их пересечения Перпендикулярность диагоналей Равенство длин диагоналей Деление углов пополам диагоналями
Трапеция Нет См. замечание 1 Нет Нет
Равнобедренная трапеция Нет См. замечание 1 Да Хотя бы двух противоположных углов
Параллелограмм Да Нет Нет Нет
Дельтоид См. замечание 2 Да См. замечание 2 См. замечание 2
Прямоугольник Да Нет Да Нет
Ромб Да Да Нет Да
Квадрат Да Да Да Да

Замечание 1: Наиболее общие трапеции и равнобедренные трапеций не имеют перпендикулярных диагоналей, но есть бесконечное число (неподобных) трапеций и равнобедренных трапеций, которые действительно имеют перпендикулярные диагонали и не похожи на какой-либо другой названный четырёхугольник.
Замечание 2: У дельтоида одна диагональ делит пополам другую. Другая же диагональ делит его противоположные углы пополам. Наиболее общий дельтоид имеет неодинаковые диагонали, но есть бесконечное число (неподобных) дельтоидов, у которых диагонали равны по длине (и дельтоиды не являются каким-либо другим из названных четырёхугольников).

Симметрия четырёхугольников

[править | править код]
Симметрии некоторых четырёхугольников

На рис. показаны некоторые симметричные четырёхугольники, их переход друг в друга, а также дуальные к ним. Обозначения на рис.:

  • Kite (змей) — дельтоид (ромбоид)
  • Parallelogram — параллелограмм
  • Irregular quadrilateral — неправильный четырёхугольник
  • Rhombus — ромб
  • Rectangle — прямоугольник
  • Square — квадрат
  • Gyrational Square — вращающийся квадрат
  • Isosceles Trapezoid — равнобедренная трапеция
  • Площадь произвольного несамопересекающегося четырёхугольника с диагоналями , и углом между ними (или диагональю и продолжением другой), равна:
  • Площадь произвольного выпуклого четырёхугольника равна произведению первой и второй средних линий четырёхугольника на синус угла между ними, то есть
.

Замечание. Первая и вторая средние линии четырёхугольника — отрезки, соединяющие середины его противоположных сторон

  • Площадь произвольного несамопересекающегося четырёхугольника равна[14]:
, где ,  — длины диагоналей; a, b, c, d — длины сторон.
  • Площадь произвольного несамопересекающегося четырёхугольника также равна
, где p — полупериметр, а — полусумма противоположных углов четырёхугольника (Какую именно пару противоположных углов взять роли не играет, так как если полусумма одной пары противоположных углов равна , то полусумма двух других углов будет и ). Из этой формулы для вписанных четырёхугольников следует формула Брахмагупты.
  • Площадь произвольного выпуклого четырëхугольника также можно найти как сумму площадей треугольников, образовываемых любой из двух диагоналей:

где лежит между сторонами ; — между ; — между ; а — между .


, где p — полупериметр, e и f — диагонали четырёхугольника.
  • Площадь произвольного несамопересекающегося четырёхугольника, заданного на плоскости координатами своих вершин в порядке обхода, равна:

  • Площадь несамопересекающегося четырёхугольника, угол между диагоналями которого отличен от прямого, равна

,

где — угол между диагоналями (или диагональю и продолжением другой) данного четырёхугольника.

В древности египтяне и некоторые другие народы использовали для определения площади четырёхугольника неверную формулу — произведение полусумм его противоположных сторон a, b, c, d[30]:

.

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

Примечания

[править | править код]
  1. Alsina, Claudi. A Cornucopia of Quadrilaterals / Claudi Alsina, Roger Nelsen. — American Mathematical Society, 2020. — ISBN 978-1-47-045312-1. Архивная копия от 7 октября 2024 на Wayback Machine
  2. E.W. Weisstein. Bimedian. MathWorld – A Wolfram Web Resource. Дата обращения: 22 июля 2020. Архивировано 11 ноября 2020 года.
  3. Steve Phelps. The Orthopole// https://www.geogebra.org/m/CKKH9ZZA Архивная копия от 22 июня 2020 на Wayback Machine
  4. Заславский, Пермякова и др., 2009, с. 118, задача 9.
  5. Определение антимедатрис см. в глоссарии планиметрии
  6. Замечательные точки и линии четырехугольников// https://math.mosolymp.ru/upload/files/2018/khamovniki/geom-10/2018-04-17-Zam_pr_ch-ka.pdf Архивная копия от 6 сентября 2022 на Wayback Machine
  7. Теорема Монжа// https://bambookes.ru/stuff/reshenie_zadach/geometrija/4-1-0-8264 Архивная копия от 6 сентября 2022 на Wayback Machine
  8. 1 2 Стариков, 2014, с. 38, правая колонка, пункт 7.
  9. Ayeme, с. 6, Упр. 8, рис. 13.
  10. Andreescu, Titu; Enescu, Bogdan (2004), "2.3 Cyclic quads", Mathematical Olympiad Treasures, Springer, pp. 44—46, 50, ISBN 978-0-8176-4305-8, MR 2025063
  11. Ayeme, с. 5, Упр. 7, рис. 11, следствие.
  12. См. подраздел «Диагонали» статьи «Вписанный четырёхугольник»
  13. Johnson, Roger A., Advanced Euclidean Geometry, Dover Publ. Co., 2007
  14. 1 2 Понарин, с. 74.
  15. Стариков, 2014, с. 7—39.
  16. 1 2 Заславский, Пермякова и др., 2009, с. 118, задача 11.
  17. Стариков, 2014, с. 39, левая колонка, последний абзац.
  18. Dörrie, Heinrich. 100 Great Problems of Elementary Mathematics: Their History and Solutions (англ.). — New York: Dover, 1965. — P. 188—193. — ISBN 978-0-486-61348-2.
  19. Yiu, Paul, Euclidean Geometry, [1] (недоступная ссылка), 1998, pp. 158—164.
  20. Salazar, Juan Carlos (2006), "Fuss's Theorem", Mathematical Gazette, 90 (July): 306—307.
  21. 1 2 Josefsson, Martin (2010), "Characterizations of Bicentric Quadrilaterals" (PDF), Forum Geometricorum, 10: 165—173, Архивировано (PDF) 31 декабря 2019, Дата обращения: 3 февраля 2018.
  22. Josefsson, Martin (2011), "The Area of a Bicentric Quadrilateral" (PDF), Forum Geometricorum, 11: 155—164, Архивировано (PDF) 5 января 2020, Дата обращения: 16 апреля 2020.
  23. Radic, Kaliman, Kadum, 2007, с. 33—52.
  24. Junko HIRAKAWA. Some Theorems on the Orthopole. Tohoku Mathematical Journal, First Series. 1933. Vol. 36. P. 253, Lemma I// https://www.jstage.jst.go.jp/article/tmj1911/36/0/36_0_253/_pdf/-char/en Архивная копия от 28 июля 2020 на Wayback Machine
  25. 1 2 Josefsson, Martin (2012), "Characterizations of Orthodiagonal Quadrilaterals" (PDF), Forum Geometricorum, 12: 13—25, Архивировано (PDF) 5 декабря 2020, Дата обращения: 25 апреля 2016.
  26. David, Fraivert (2019), "A Set of Rectangles Inscribed in an Orthodiagonal Quadrilateral and Defined by Pascal-Points Circles", Journal for Geometry and Graphics, 23: 5—27, Архивировано 23 октября 2020, Дата обращения: 2 мая 2020.
  27. David, Fraivert (2017), "Properties of a Pascal points circle in a quadrilateral with perpendicular diagonals" (PDF), Forum Geometricorum, 17: 509—526, Архивировано (PDF) 5 декабря 2020, Дата обращения: 2 мая 2020.
  28. Фрейверт, Д. М. (2019), "Новая тема в евклидовой геометрии на плоскости: теория «точек Паскаля», формируемых с помощью окружности на сторонах четырехугольника", Математическое образование: современное состояние и перспективы : материалы Международной научной конференции, Архивировано 10 ноября 2019, Дата обращения: 22 июля 2020
  29. Jennifer Kahle, Geometry: Basic ideas (англ. яз.).Геометрия: Основные идеи [2] Архивная копия от 31 мая 2016 на Wayback Machine, accessed 28 December 2012.
  30. Г. Г. Цейтен История математики в древности и в средние века, ГТТИ, М-Л, 1932.

Литература

[править | править код]
  • Болтянский В., Четырёхугольники. Квант, № 9,1974.
  • Зайцев В.В., Рыжков В.В., Сканави М.И. Элементарная математика. — Москва: Наука, 1974.
  • Крамор В.С. Повторяем и систематизируем школьный курс геометрии. — Москва: Оникс: Мир и Образование, 2008. — ISBN 978-5-94666-476-9.
  • Понарин Я. П. Элементарная геометрия. В 2 т. — М.: МЦНМО, 2004. — С. 74. — ISBN 5-94057-170-0.
  • Стариков В. Н. Исследования по геометрии// Сборник публикаций научного журнала Globus по материалам V-й международной научно-практической конференции «Достижения и проблемы современной науки» г. Санкт-Петербург: сборник со статьями (уровень стандарта, академический уровень) // Научный журнал Globus. — С-П., 2016.
  • Стариков В. Н. Заметки по геометрии// Научный поиск: гуманитарные и социально-экономические науки: сборник научных трудов / Гл. ред. Романова И. В.. — Чебоксары: ЦДИП «INet», 2014. — Вып. 1.
  • Математика в задачах. Сборник материалов выездных школ команды Москвы на Всероссийскую математическую олимпиаду / Под редакцией А. А. Заславского, Д. А. Пермякова, А. Б. Скопенкова, М. Б. Скопенкова и А. В. Шаповалова.. — Москва: МЦНМО, 2009. — ISBN 978-5-94057-477-4.
  • Jean-Louis Ayeme. Feurbach’s theorem. A new purely synthetic proof. Дата обращения: 2 октября 2016. Архивировано из оригинала 13 ноября 2013 года. Несколько расширенный перевод — «Вокруг задачи Архимеда»
  • Mirko Radic, Zoran Kaliman, Vladimir Kadum. A condition that a tangential quadrilateral is also a chordal one // Mathematical Communications. — 2007. — Вып. 12.
  • D. Fraivert, A. Sigler and M. Stupel. Common properties of trapezoids and convex quadrilaterals // Journal of Mathematical Sciences: Advances and Applications. — 2016. — Т. 38. — P. 49–71. — doi:10.18642/jmsaa_7100121635.