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

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

ЧЕТЫРЁХУГОЛЬНИКИ

┌─────────────┼────────────┐
простой невыпуклый выпуклый самопересекающийся
Файл:Concave quadrilateral.png Файл:Convex quadrilateral.svg Файл:Cross-quadrilateral.png

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

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

Шаблон:Достоверность раздела под сомнением Шаблон:Нет ссылок в разделе

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

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

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

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

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

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

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

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

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

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

Файл:Quadrilatere complet.png
Полный четырёхсторонник

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

Сумма углов

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

<math> \sum_{i=1}^4 \alpha_i = (4 - 2) \cdot 180^\circ = 2 \cdot 180^\circ = 360^\circ</math>

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

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

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

<math>\left | a - b \right | \leq c+d</math>.

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

<math>a \leq b+c+d</math>;
<math>b \leq a+c+d</math>;
<math>c \leq a+b+d</math>;
<math>d \leq a+b+c</math>.

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

Неравенство Птолемея

Для сторон <math>a,b,c,d</math> и диагоналей <math>e,f</math> выпуклого четырёхугольника выполнено неравенство Птолемея:

<math> |e|\cdot |f|\leq |a|\cdot |c|+|b|\cdot |d|, </math>

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

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

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

<math>a^2c^2\left(b^2+d^2+e^2+f^2-a^2-c^2\right) + b^2d^2\left(a^2+c^2+e^2+f^2-b^2-d^2\right)+ </math>
<math> + e^2f^2\left(a^2+c^2+b^2+d^2-e^2-f^2\right) = (abe)^2 + (bcf)^2 + (cde)^2 + (daf)^2</math>.

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

<math>

\left| \begin{matrix} 0&a^2&e^2&d^2&1 \\ a^2&0&b^2&f^2&1 \\ e^2&b^2&0&c^2&1 \\ d^2&f^2&c^2&0&1 \\ 1&1&1&1&0 \end{matrix} \right|=0 </math> Этот определитель с точностью до множителя 288 представляет собой выражение для квадрата объёма тетраэдра через длины его рёбер с помощью определителя Кэли-Менгера. Если вершины тетраэдра лежат в одной плоскости, то он имеет нулевой объём и превращается в четырёхугольник. Длины рёбер будут длинами сторон или диагоналей четырёхугольника.

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

Соотношения Бретшнайдера — соотношение между сторонами <math>a</math>, <math>b</math>, <math>c</math> и <math>d</math> и противоположными углами <math>\angle A,\angle C</math> и диагоналями <math>e</math>, <math>f</math> простого (несамопересекающегося) четырёхугольника:

<math>e^2f^2=a^2c^2+b^2d^2-2abcd\cos(\angle A+\angle C)</math>,
<math>e^2f^2=(ac+bd)^2-4abcd\cos^2 \dfrac{\angle A+\angle C}{2}</math>,
<math>e^2f^2=(ac-bd)^2+4abcd\sin^2\dfrac{\angle A+\angle C}{2}</math>.

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

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

Пусть <math>G</math>, <math>I</math>, <math>H</math> и <math>J</math> — середины сторон выпуклого четырёхугольника <math>ABCD</math>, а <math>E</math>, <math>F</math> — середины его диагоналей. Назовем три отрезка GH, IJ, EF соответственно первой, второй и третьей средними линиями четырёхугольника. Первые две из них также называют бимедианами[2].

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

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

  1. REDIRECT Бимедиана
  • Обобщённая теорема Ньютона. Все три средние линии четырёхугольника пересекаются в одной точке (в центроиде вершин («vertex centroid») четырёхугольника) и делятся ею пополам.
  • Середины E и F двух диагоналей, а также центроид вершин K выпуклого четырёхугольника лежат на одной прямой EF. Указанная прямая называется прямой Ньютона.
  • Заметим, что прямая Ньютона — Гаусса совпадает с прямой Ньютона, ибо обе проходят через середины диагоналей.
  • Теорема Вариньона:
    • Четырёхугольники GIHJ, EHFG, JEIF являются параллелограммами и называются параллелограммами Вариньона. Первый из них назовем большим параллелограммом Вариньона
    • Центрами этих трёх параллелограммов Вариньона назовем точки пересечения их пар диагоналей.
    • Центры всех трёх параллелограммов Вариньона лежат в одной и той же точке - на середине отрезка, соединяющего середины сторон исходного четырёхугольника (в этой же точке пересекаются отрезки, соединяющие середины противоположных сторон — диагонали вариньоновского параллелограмма).
    • Периметр большого параллелограмма Вариньона <math>GIHJ</math> равен сумме диагоналей исходного четырёхугольника.
    • Площадь большого параллелограмма Вариньона <math>GIHJ</math> равна половине площади исходного четырёхугольника <math>ABCD </math>, то есть
      <math>S_{GIHJ} =\frac {1}{2} S_{ABCD}</math>.
    • Площадь исходного четырёхугольника <math>ABCD </math> равна произведению первой <math>GH</math> и второй <math>IJ</math> средних линий четырёхугольника на синус угла <math>\phi </math> между ними, то есть
      <math>S_{ABCD}=GH \cdot IJ \sin\phi </math>.
    • Сумма квадратов трёх средних линий четырёхугольника равна четверти суммы квадратов всех его сторон и диагоналей:
      <math> GH^2+IJ^2+EF^2= \frac {1}{4}(AB^2+BC^2+CD^2+DA^2+BD^2+AC^2)</math>.
  • Шаблон:Якорь2: учетверённый квадрат расстояния между серединами диагоналей равен сумме квадратов сторон четырёхугольника минус сумма квадратов его диагоналей.
  • Математически для рисунка справа вверху с серым четырёхугольником ABCD Шаблон:Якорь2 записывается в виде:
    <math>(2EF)^2=AB^2+BC^2+CD^2+DA^2-BD^2-AC^2</math>.

Прямая Ньютона

Файл:Newton-Gauss Line Default Figure.png
Прямая, получаемая соединением середин диагоналей (L, M и N), называется прямой Ньютона — Гаусса (зелёная)
  • Если в четырёхугольнике две пары противоположных сторон не параллельны, то две середины его диагоналей лежат на прямой, которая проходит через середину отрезка, соединяющего две точки пересечения этих двух пар противоположных сторон (на рисунке точки показаны красным цветом). Указанная прямая называется прямой Ньютона (на рисунке она показана зелёным цветом). При этом прямая Ньютона всегда перпендикулярна прямой Обера.
  • Точки, лежащие на прямой Ньютона, удовлетворяют теореме Анна.

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

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

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

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

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

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

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

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

Внутри четырёхугольника существует точка Микеля.

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

Шаблон:Main В произвольном выпуклом четырёхугольнике <math>ABCD</math> окружности девяти точек треугольников <math>ABC,BCD,CDA,DAB</math>, на которые его разбивают две диагонали, пересекаются в одной точке — в точке ПонселеШаблон:Sfn.

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

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

Шаблон:Main Шаблон:Main

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

<math>\frac{e}{f} = \frac{a\cdot d+b\cdot c}{a\cdot b+c\cdot d}.</math> В последней формуле пары смежных сторон числителя a и d, b и c опираются своими концами на диагональ длиной e. Аналогичное утверждение имеет место для знаменателя.

3) Формулы для длин диагоналей (следствия первой и второй теорем Птолемея)
<math>e = \sqrt{\frac{(ac+bd)(ad+bc)}{ab+cd}}</math> и <math>f = \sqrt{\frac{(ac+bd)(ab+cd)}{ad+bc}}</math>
    • Теорема Монжа об ортоцентре вписанного четырехугольника. 4 отрезка прямых (4 антимедатрисы[4]), проведенных из середин 4 сторон вписанного четырехугольника перпендикулярно к противолежащим сторонам, пересекаются в ортоцентре Н этого четырехугольника[5][6].
    • Теорема о вписанности в окружность пары диагональных треугольников. Если выпуклый четырёхугольник вписан в некоторую окружность, то в ту же самую окружность вписаны и пара треугольников, на которые разбивает четырёхугольник любая из его диагоналей (связь с окружностями треугольника).
    • Теорема о четырёх медиатрисах. Из последнего утверждения следует: если три из четырёх медиатрис (или срединных перпендикуляров), проведённых к сторонам выпуклого четырёхугольника, пресекаются в одной точке, то в той же точке пресекается и медиатриса его четвёртой стороны. Более того, такой четырёхугольник вписан в некоторую окружность, центр которой находится в точке пресечения указанных медиатрисШаблон:Sfn.
Файл:Japanese theorem 2.svg
Японская теорема (Japanese theorem)
    • Теоремы о четырех диагональных треугольниках и об их вписанных окружностяхШаблон:Sfn. Если во вписанном в окружность четырёхугольнике провести диагональ, а в полученные два треугольника вписать две окружности, затем аналогично поступить, проведя вторую диагональ, тогда центры четырёх образовавшихся окружностей являются вершинами прямоугольника (то есть лежат на одной окружности). Эту теорему называют японской теоремой (Japanese theorem). (см. рис.). Кроме того, ортоцентры четырёх описанных здесь треугольников являются вершинами четырёхугольника, подобного исходному четырёхугольнику Шаблон:Math (то есть также лежат на другой окружности, ибо вершины исходного вписанного четырёхугольника лежат на некоторой окружности). Наконец, центроиды этих четырёх треугольников лежат на третьей окружности[7].
    • Теорема о четырёх проекциях вершин вписанного четырёхугольника на его диагоналиШаблон:Sfn. Пусть <math>ABCD</math> — вписанный четырёхугольник, <math>A_1</math> — основание перпендикуляра, опущенного из вершины <math>A</math> на диагональ <math>BD</math>; аналогично определяются точки <math>B_1, C_1, D_1</math>. Тогда точки <math>A_1, B_1, C_1, D_1</math> лежат на одной окружности.
    • Теорема Брокара. Центр описанной около четырёхугольника окружности — точка пересечения высот треугольника с вершинами в точке пересечения диагоналей и в точках пересечения противоположных сторон.
  • Критерии вписанности четырёхугольников:
    • Первый критерий вписанности четырёхугольника. Около четырёхугольника можно описать окружность тогда и только тогда, когда сумма противоположных углов равна 180°, то есть:
<math>\angle A+\angle C = \angle B + \angle D = 180^\circ</math>.
    • Второй критерий вписанности четырёхугольника. Около четырёхугольника можно описать окружность тогда и только тогда, когда любая пара его противоположных сторон антипараллельна.
Файл:Miquelquad.svg
Теорема Микеля-Штейнера для четырёхстронника
    • Третий критерий вписанности четырёхугольника. Выпуклый четырёхугольник (см. рис. справа), образованный четырьмя данными прямыми Микеля, вписан в окружность тогда и только тогда, когда точка Микеля M четырёхугольника лежит на прямой, соединяющей две из шести точек пересечения прямых (те, которые не являются вершинами четырёхугольника). То есть, когда M лежит на EF.
    • Прямая, антипараллельная стороне треугольника и пересекающая его, отсекает от него четырёхугольник, около которого всегда можно описать окружность.
    • Четвертый критерий вписанности четырёхугольника. Условие, при котором совмещение двух треугольников с одной равной стороной даёт четырёхугольник, вписанный в окружность[8]. Для того, чтобы два треугольника с тройками длин сторон соответственно (a, b, f) и (c, d, f) при их совмещении вдоль общей стороны с длиной, равной f, давали в итоге четырёхугольник, вписанный в окружность с последовательностью сторон (a, b, c, d), необходимо условие[9]Шаблон:Rp
<math>f^2 = \frac{(ac+bd)(ad+bc)}{(ab+cd)}. </math>
    • Последнее условие даёт выражение для диагонали f четырёхугольника, вписанного в окружность, через длины четырёх его сторон (a, b, c, d). Эта формула немедленно следует при перемножении и при приравнивании друг другу левых и правых частей формул, выражающих суть первой и второй теорем Птолемея (см. выше).
<math>S=\sqrt{(p-a)(p-b)(p-c)(p-d)}, </math> где p — полупериметр четырёхугольника.
    • Последняя формула следует из общей формулы (1) в рамке в параграфе «Площадь», если в ней учесть, что <math>2 \theta=\angle A+\angle C = \angle B + \angle D = 180^\circ</math>
    • Последняя формула есть обобщение формулы Герона на случай четырёхугольника.
    • Формула Брахмагупты для площади вписанного в окружность четырёхугольника может быть записана через определительШаблон:Sfn:

<math>S= \frac{1}{4} \sqrt{- \begin{vmatrix} a & b & c & -d \\ b & a & -d & c \\ c & -d & a & b \\ -d & c & b & a \end{vmatrix}} </math>

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

<math>R= \frac{1}{4} \sqrt{\frac{(ab+cd)(ad+bc)(ac+bd)}{(p-a)(p-b)(p-c)(p-d)}} </math>

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

Шаблон:Main Шаблон:Main

Файл:Brahmaguptra's theorem.svg
</math>
  • Теорема Брахмагупты. Для вписанных ортодиагональных четырёхугольников справедлива теорема Брахмагупты: Если вписанный четырёхугольник имеет перпендикулярные диагонали, пересекающиеся в точке <math>M</math>, то две пары его антимедиатрис проходят через точку <math>M</math>.
  • Замечание. В этой теореме под антимедиатрисойШаблон:Sfn понимают отрезок <math>FE</math> четырёхугольника на рисунке справа (по аналогии с серединным перпендикуляром (медиатрисой) к стороне треугольника). Он перпендикулярен одной стороне и одновременно проходит через середину противоположной ей стороны четырёхугольника.
  • Теорема об окружности восьми точек ортодиагонального четырёхугольника . Известна теорема: Если в четырёхугольнике перпендикулярны диагонали, то на одной окружности (окружность восьми точек четырёхугольника) лежат восемь точек: середины сторон и проекции середин сторон на противоположные стороныШаблон:Sfn. Из этой теоремы и теоремы Брахмагупты следует, что концы двух пар антимедиатрис (восемь точек) вписанного ортодиагонального четырёхугольника лежат на одной окружности (окружность восьми точек четырёхугольника).
  • Частные вписанные ортодиагональные четырёхугольники. Частными вписанными ортодиагональными четырёхугольниками, вписанными в окружность, являются квадрат, дельтоид с парой перпендикулярных противоположных углов, равнобокая ортодиагональная трапеция и другие.

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

Шаблон:Main Шаблон:Main

  • Говорят, что если в четырёхугольник можно вписать окружность, то четырёхугольник описан около этой окружности, и наоборот.
  • Некоторые (но не все) четырёхугольники имеют вписанную окружность. Они называются описанными четырёхугольниками.
  • Критерии описанности четырёхугольников:
    • Среди свойств описанных четырёхугольников наиболее важным является то, что суммы противоположных сторон равны. Это утверждение называется теоремой Пито.
    • Иными словами, выпуклый четырёхугольник является описанным около окружности тогда и только тогда, когда суммы длин противоположных сторон равны, то есть: <math>AB+CD=BC+AD</math>.
  • Теоремы для описанных четырёхугольников:
    • Теорема о двух равных сторонах угла, касающегося окружности. Точки касания вписанной окружности с четырёхугольником отсекают равные отрезки от углов четырёхугольника.
    • Теорема о продолжении двух пар противоположных сторон четырёхугольника. Если выпуклый четырёхугольник — не трапеция и не параллелограмм и он описан около некоторой окружности, то около этой же самой окружности описаны и пара треугольников, которые получаются при продолжении двух его пар противоположных сторон до их пересечения (связь с окружностями треугольника).
    • Теорема о четырёх биссектрисах. Из последнего утверждения следует: если три из четырёх биссектрис (или биссекторов), проведённых для внутренних углов выпуклого четырёхугольника, пресекаются в одной точке, то в той же точке пресекается и биссектриса его четвёртого внутреннего угла. Более того такой четырёхугольник описан около некоторой окружности, центр которой находится в точке пресечения указанных биссектрисШаблон:Sfn.
    • Теорема Ньютона. Если четырёхугольник является описанным около окружности, то центр его вписанной окружности лежит на прямой Ньютона. Более точное утверждение ниже.
    • Теорема Ньютона. Во всяком описанном четырёхугольнике две середины диагоналей и центр вписанной окружности лежат на одной прямой. На ней же лежит середина отрезка с концами в точках пересечения продолжений противоположных сторон четырёхугольника (если они не параллельны). Эта прямая называется прямой Ньютона. На рисунке (вторая группа рисунков сверху) она зелёная, диагонали красные, отрезок с концами в точках пересечения продолжений противоположных сторон четырёхугольника тоже красный.
    • Теорема Брокара. Центр описанной около четырёхугольника окружности — точка пересечения высот треугольника с вершинами в точке пересечения диагоналей и в точках пересечения противоположных сторон.
  • Площадь описанного четырёхугольника
    • Условие <math>AB+CD=BC+AD</math> означает, что <math>a+c=b+d</math>.

Вводя понятие полупериметра p, имеем <math>p=(a+d+b+c)/2=a+c=b+d</math>. Следовательно, также имеем <math>p=(a+d+b+c)/2=a+c=b+d</math>. Далее можно заметить: <math>p-a=c; p-b=d; p-c=a;p-d=b.</math> Следовательно, <math>(p-a)(p-b)(p-c)(p-d)=abcd.</math> Тогда по формуле (1) в рамке в параграфе «Площадь» имеем

<math>S=\sqrt{(p-a)(p-b)(p-c)(p-d)-abcd\cos^2\theta}=</math>

<math>=\sqrt{abcd-abcd\cos^2\theta}= \sqrt{abcd\sin^2\theta}=\sqrt{abcd} \sin \theta . </math>

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

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

Шаблон:Main

Файл:Bicentric quadrilateral poncelet.svg
Вписано-описанные четырёхугольники ABCD и EFGH и Поризм Понселе для них
  • Вписанно-описанные четырёхугольники — четырёхугольники, которые могут быть одновременно описаны около некоторой окружности, а также вписаны в некоторую окружность. Другие их названия — бицентрические четырёхугольники (Bicentric quadrilateral), хордо-касающиеся четырёхугольники (chord-tangent quadrilateral) или двух-окружностные четырёхугольники (double circle quadrilateral).
  • Частными вписанно-описанными четырёхугольниками являются квадрат и ромбоид с парой равных противоположных углов по 90 градусов.

Свойства

  • Критерии одновременной вписанности и описанности четырёхугольника
    • Любое одно из двух указанных ниже условий по отдельности является необходимым, но не достаточным условием для того, чтобы данный выпуклый четырёхугольник был вписанно-описанным для некоторых окружностей:
<math>AB+CD=BC+AD</math> и <math>\angle A+\angle C = \angle B + \angle D = 180^\circ</math>.
    • Выполнение двух последних условий одновременно для некоторого выпуклого четырёхугольника является необходимым и достаточным для того, чтобы данный четырёхугольник был вписанно-описанным.
  • Теоремы для вписанно-описанных четырёхугольников
Файл:Fuss theorem2.svg
Вписано-описанный четырёхугольник ABCD с центром I вписанной и с центром O описанной окружностей
    • Теорема Фусса (Fuss' theorem). Для радиусов R и r соответственно описанной и вписанной окружностей данного четырёхугольника и расстояния x между центрами <math>I</math> и <math>O</math> этих окружностей (см. рис.) выполняется соотношение, представляющее четырёхугольниковый аналог теоремы Эйлера (аналогичная формула Эйлера есть для треугольника)[10][11][12]:
<math> \frac{1}{(R+x)^2}+\frac{1}{(R-x)^2}=\frac{1}{r^2}</math>

или

<math>\displaystyle 2r^2(R^2+x^2)=(R^2-x^2)^2.</math>

или

<math> x^2= R^2+r^2-r \sqrt {4R^2+r^2}</math>

или

<math>x=\sqrt{R^2+r^2-r\sqrt{4R^2+r^2}}.</math>
Файл:Bicentric quadrilateral.svg
Вписанно-описанный четырёхугольник ABCD и его внутренне-касающийся вписанный четырёхугольник WXYZ
    • Теорема. Следующие три условия для вписанно-описанного четырёхугольника касаются точек, в которых вписанная в касательный четырёхугольник окружность является касательной к сторонам. Если вписанная окружность касается сторон AB, BC, CD, DA в точках W, X, Y, Z соответственно, то касательный четырёхугольник ABCD является также описанным, если и только если выполнено любое из следующих трёх условий (см. рис.):[13]
    • WY перпендикулярно к XZ
    • <math>\frac{AW}{WB}=\frac{DY}{YC}</math>
    • <math>\frac{AC}{BD}=\frac{AW+CY}{BX+DZ}</math>.
    • Теорема Понселе. Для вписанно-описанного четырёхугольника справедлива теорема Понселе.
Файл:Поризм Понселе.svg
Для вписанно-описанного четырёхугольника справедлива теорема Понселе

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

    • Если четырёхугольник и вписан, и описан, то по формуле (1) в рамке в параграфе «Площадь» имеем: <math>S=\sqrt{abcd}</math>.
    • Последняя формула получается из формулы площади предыдущего параграфа для описанного четырёхугольника <math>S=\sqrt{abcd} \sin \theta </math>, если учесть, что <math>\theta=90^\circ; \sin90^0=1</math> (для вписанного четырёхугольника <math>2 \theta=~\angle A+\angle C = \angle B + \angle D = 180^\circ </math>).
    • Поскольку четырёхугольник описан, то его площадь также равна половине его периметра p, умноженной на радиус r вписанной окружности: <math>S=pr</math>.
    • Другая формула площади вписанно-описанного четырёхугольника:
<math>S= \frac{p^2}{\operatorname{tg}\frac{A}{2} + \operatorname{tg}\frac{B}{2}+ \operatorname{tg}\frac{C}{2}+\operatorname{tg}\frac{D}{2}}</math>

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

Файл:Tangency chords 2.svg
Разбиение сторон касательного четырехугольника точками касания с окружностью
  • Восемь «длин касательных» («e», «f», «g», «h» на рисунке справа) касательного четырехугольника — это отрезки прямой от вершины до точек, где окружность касается сторон. Из каждой вершины есть две касательных к окружности равной длины (см. рис.).
  • Обозначим также две «касательные хорды» («k» и «l» на рисунке) касательного четырехугольника — это отрезки линий, которые соединяют точки на противоположных сторонах, где окружность касается этих сторон. Они также являются диагоналями «контактного четырехугольника», имеющего вершины в точках касания четырехугольника <math>ABCD</math> с окружностью.

Тогда площадь вписанно-описанного четырёхугольника равна[13]Шаблон:Rp

<math>S=\sqrt[4]{efgh}(e+f+g+h),</math>

а также

<math>S=AI\cdot CI+BI\cdot DI.</math>
  • Если к двум хордам для касательных k и l и диагоналям p и q ввести дополнительно еще две бимедианы m и n выпуклого четырехугольника, как отрезки прямых, соединяющих середины противоположных сторон, то площадь вписанно-описанного четырёхугольника будет равна[14]
<math>S=\left|\frac{m^2-n^2}{k^2-l^2}\right|kl</math>
<math>S=\frac{klpq}{k^2+l^2}.</math>

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

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

Шаблон:Main

Файл:Ex-tangential quadrilateral - A.svg
Внеописанный четырёхугольник ABCD и его вневписанная окружность
  • Внеописанный четырёхугольник — это выпуклый четырёхугольник, продолжения всех четырёх сторон которого являются касательными к окружности (вне четырёхугольника)Шаблон:Sfn. Окружность называется вневписанной. Центр вневписанной окружности лежит на пересечении шести биссектрис.
  • Вневписанная окружность существует не для всякого четырёхугольника. Если противоположные стороны выпуклого четырёхугольника ABCD пересекаются в точках E и F, то условием его внеописанности является любое из двух условий ниже:
<math>AB+BC=AD+DC\quad\Leftrightarrow\quad AE+EC=AF+FC.</math>

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

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

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

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

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

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

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

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

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

  • Если у выпуклого четырёхугольника перпендикулярны 3 смежные стороны (то есть 2 внутренних угла прямые), то этот четырёхугольник - прямоугольная трапеция.

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

Шаблон:Main

  • Четырёхугольники с перпендикулярными диагоналями называются ортодиагональными четырёхугольниками.
  • Диагонали четырёхугольника перпендикулярны тогда и только тогда, когда суммы квадратов противоположных сторон равны.
  • Площадь ортодиагонального четырёхугольника равна половине произведения его диагоналей: <math> S = \frac {1}{2}ef </math>.
  • Средние линии четырёхугольника равны тогда и только тогда, когда равны суммы квадратов его противоположных сторон.
  • Антимедиатрисой четырёхугольника называются отрезок прямой, выходящий из середины одной его стороны и перпендикулярный противоположной ей стороне.
  • Теорема Брахмагупты. Если у четырёхугольника перпендикулярны диагонали и он может быть вписан в некоторую окружность, то четыре его антимедиатрисы пересекаются в одной точке. Более того, этой точкой пересечения антимедиатрис является точка пересечения его диагоналей.
  • Если у четырёхугольника перпендикулярны диагонали и он может быть вписан в некоторую окружность, то учетверённый квадрат её радиуса R равен сумме квадратов любой пары противоположных его сторон: <math> a^2+c^2 = b^2+d^2 = 4R^2.</math>
  • Если у четырёхугольника перпендикулярны диагонали и он может быть описан около некоторой окружности, то у него равны произведения двух пар противоположных сторон: <math> ac = bd.</math>
  • Параллелограмм Вариньона с вершинами в серединах сторон ортодиагонального четырёхугольника является прямоугольником.
  • Если в четырёхугольнике перпендикулярны диагонали, то на одной окружности (окружность восьми точек четырёхугольника) лежат восемь точек: середины сторон и проекции середин сторон на противоположные стороныШаблон:Sfn.
  • Частными ортодиагональными четырёхугольниками являются: ромб, квадрат, дельтоид.
  • Если у выпуклого четырёхугольника перпендикулярны диагонали, то середины четырёх его сторон являются вершинами прямоугольника (следствие теоремы Вариньона). Верно и обратное. Кроме того, у прямоугольника равны диагонали. Следовательно, у выпуклого четырёхугольника диагонали перпендикулярны тогда и только тогда, когда у него равны между собой длины двух его бимедиан (длины двух отрезков, соединяющих середины противоположных сторон)[16].
  • Таблица сравнения свойств описанного и ортодиагонального четырёхугольника:

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

описанный четырёхугольник ортодиагональный четырёхугольник
<math>a+c=b+d</math> <math>a^2+c^2=b^2+d^2</math>
<math>R_1+R_3=R_2+R_4</math> <math>R_1^2+R_3^2=R_2^2+R_4^2</math>
<math>\frac{1}{h_1}+\frac{1}{h_3}=\frac{1}{h_2}+\frac{1}{h_4}</math> <math>\frac{1}{h_1^2}+\frac{1}{h_3^2}=\frac{1}{h_2^2}+\frac{1}{h_4^2}</math>
  • Кроме того, для медиан на стороны ортодиагонального четырёхугольника, опущенных из точки пересечения диагоналей, верно: <math>m_1^2+m_3^2=m_2^2+m_4^2</math>.
  • В любой ортодиагональный четырехугольник можно вписать бесконечно много прямоугольников, относящихся к следующим двум множествам:
(i) прямоугольники, чьи стороны параллельны диагоналям ортодиагонального четырехугольника
(ii) прямоугольники, определяемые окружностями точек Паскаля[17][18][19].
Файл:A set of inscribed rectangles whose sides are parallel to the diagonals of the quadrilateral.png
<math>ABCD</math> - ортодиагональный четырехугольник, <math>P_{1}X_{1}Z_{1}Y_{1}</math> и <math>P_{2}X_{2}Z_{2}Y_{2}</math> прямоугольники, вписанные в <math>ABCD</math>, и стороны которых параллельны диагоналям четырехугольник.
Файл:A set of inscribed rectangles defined by Pascal-points circles.png
<math>ABCD</math> - ортодиагональный четырехугольник. <math>P_{1}</math> и <math>Q_{1}</math> точки Паскаля, формируемые с помощью окружности <math>\omega_{1}</math>, <math>\sigma_{P_{1}Q_{1}}</math> – окружность точек Паскаля, определяющая остальные вершины прямоугольника <math>P_{1}V_{1}Q_{1}W_{1}</math> вписанного в <math>ABCD</math>. <math>P_{2}</math> и <math>Q_{2}</math> точки Паскаля, формируемые с помощью окружности <math>\omega_{2}</math>, <math>\sigma_{P_{2}Q_{2}}</math> – окружность точек Паскаля, определяющая остальные вершины прямоугольника <math>P_{2}V_{2}Q_{2}W_{2}</math> вписанного в <math>ABCD</math>.

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

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

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

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

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

Файл:Symmetries of square.svg
Симметрии некоторых четырёхугольников

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

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

Площадь

  • Площадь <math>S </math> произвольного не самопересекающегося выпуклого четырёхугольника с диагоналями <math>d_1</math>, <math>d_2</math> и углом <math>\alpha</math> между ними (или их продолжениями), равна:

<math>S=\frac{d_1d_2\sin\alpha}{2}</math>

  • Площадь произвольного выпуклого четырёхугольника равна произведению первой <math>GH</math> и второй <math>IJ</math> средних линий четырёхугольника на синус угла <math>\phi </math> между ними, то есть
<math>S_{ABCD}= GH \cdot IJ \sin\phi </math>.

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

  • Площадь произвольного выпуклого четырёхугольника равнаШаблон:Sfn:
<math>16S^2=4d_1^2d_2^2-\left(b^2+d^2-a^2-c^2\right)^2</math>, где <math>d_1</math>, <math>d_2</math> — длины диагоналей; a, b, c, d — длины сторон.
  • Площадь произвольного выпуклого четырёхугольника также равна

Шаблон:Рамка <math>S=\sqrt{(p-a)(p-b)(p-c)(p-d)-abcd\cos^2\theta},</math> (1) Шаблон:Конец рамки где p — полупериметр, а <math>\theta=\frac{\angle A+\angle C}{2}</math> есть полусумма противоположных углов четырёхугольника (Какую именно пару противоположных углов взять роли не играет, так как если полусумма одной пары противоположных углов равна <math>\theta</math>, то полусумма двух других углов будет <math>180^\circ -\theta</math> и <math>\cos^2(180^\circ -\theta)=\cos^2\theta </math>). Из этой формулы для вписанных четырёхугольников следует формула Брахмагупты.

  • Площадь произвольного выпуклого четырёхугольника по формуле (1) в рамке выше с учётом одного из соотношений Бретшнайдера (см. выше) может быть записана в виде:

<math>S=\sqrt{(p-a)(p-b)(p-c)(p-d)+\textstyle{1\over4}((ef)^2-(ac+bd)^2)}=</math> <math>=\sqrt{(p-a)(p-b)(p-c)(p-d)+\textstyle{1\over4}(ef+ac+bd)(ef-ac-bd)}</math> где p — полупериметр, e и f — диагонали четырёхугольника.

  • Площадь <math>S </math> произвольного несамопересекающегося четырёхугольника, заданного на плоскости координатами своих вершин <math>(x_1,y_1),(x_2,y_2),(x_3,y_3),(x_4,y_4)</math> в порядке обхода, равна:

<math>S=\frac 12 \big |(x_1-x_2)(y_1+y_2)+(x_2-x_3)(y_2+y_3)+(x_3-x_4)(y_3+y_4)+(x_4-x_1)(y_4+y_1)\big | </math>

История

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

<math>S=\frac{a+c}{2}\cdot\frac{b+d}{2}</math>.

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

См. также

Шаблон:Многоугольники

Примечания

Шаблон:Примечания

Литература

Шаблон:Викисловарь

Шаблон:Rq

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Шаблон:Книга
  2. ↑ Шаблон:Cite web
  3. ↑ Steve Phelps. The Orthopole// https://www.geogebra.org/m/CKKH9ZZA
  4. ↑ Определение антимедатрис см. в глоссарии планиметрии
  5. ↑ Замечательные точки и линии четырехугольников// https://math.mosolymp.ru/upload/files/2018/khamovniki/geom-10/2018-04-17-Zam_pr_ch-ka.pdf
  6. ↑ Теорема Монжа// https://bambookes.ru/stuff/reshenie_zadach/geometrija/4-1-0-8264
  7. ↑ Шаблон:Citation
  8. ↑ См. подраздел «Диагонали» статьи «Вписанный четырёхугольник»
  9. ↑ Johnson, Roger A., Advanced Euclidean Geometry, Dover Publ. Co., 2007
  10. ↑ Шаблон:Книга
  11. ↑ Yiu, Paul, Euclidean Geometry, [1]Шаблон:Недоступная ссылка, 1998, pp. 158—164.
  12. ↑ Шаблон:Citation.
  13. ↑ 13,0 13,1 Шаблон:Citation.
  14. ↑ Шаблон:Citation.
  15. ↑ 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
  16. ↑ 16,0 16,1 Шаблон:Citation.
  17. ↑ Шаблон:Citation.
  18. ↑ Шаблон:Citation.
  19. ↑ Шаблон:Citation
  20. ↑ Jennifer Kahle, Geometry: Basic ideas (англ. яз.).Геометрия: Основные идеи [2], accessed 28 December 2012.
  21. ↑ Г. Г. Цейтен История математики в древности и в средние века, ГТТИ, М-Л, 1932.
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Четырёхугольник&oldid=11335282