Журнал фильтра правок

'{| align="right" ! colspan="6"|'''ЧЕТЫРЁХУГОЛЬНИКИ''' |- align="center" | colspan="6"|┌─────────────┼────────────┐ |- align="center" |colspan="2"|простой невыпуклый |colspan="2"|выпуклый |colspan="2"|самопересекающийся |- align="center" |colspan="2" style="border-bottom:1;"|[[Файл:Concave quadrilateral.png]] |colspan="2"|[[Файл:Convex quadrilateral.svg]] |colspan="2" style="border-bottom:1;"|[[Файл:Cross-quadrilateral.png]] |} <!--|- align="center" |colspan="6"|┌─────────────┼─────────────┐ |- align="center" |colspan="2"|[[Файл:Cyclic quadrilateral.png]] | colspan="2"|[[Файл:Trapezium (geometry).svg]] | colspan="2"|[[Файл:Tangent quadrilateral.png]] |- align="center" |colspan="2"|[[описанная окружность|вписанный]] |colspan="2"|'''[[трапеция]]''' | colspan="2"|описанный |- align="center" | colspan="4"| <nowiki>|</nowiki> ┌───────────┤ | colspan="2"| <nowiki>|</nowiki> |- | | | | | | |- align="center" | colspan="2" |[[Файл:Isoceles trapezium.png]]<br> равнобедренная трапеция<br> <small>равнобокая</small> | colspan="2" |[[Файл:Parallelogram.png]]<br> '''[[параллелограмм]]'''<br> <small>стороны параллельны</small> | colspan="2" |[[Файл:Cross-quadrilateral.png]]<br> '''[[антипараллелограмм]]'''<br> <small>стороны антипараллельны</small> | colspan="2" |[[Файл:Kite (geometric figure).png]]<br> выпуклый ромбоид ([[дельтоид]])<br> диагонали <small>перпендикулярны</small> |- | | | | | | |- align="center" | colspan="3"|└─────┬─────┘ | colspan="3"|└─────┬─────┘ |- align="center" | colspan="3"|[[Файл:Rectangle (geometry).png]]<br> '''[[прямоугольник]]'''<br> <small>прямые углы</small> | colspan="3"|[[Файл:Rhombus (geometry).png]]<br> '''[[ромб]]'''<br> <small>равнобедренный</small> |- align="center" | colspan="6"|└──────────┬─────────┘ |- align="center" | colspan="6"| [[Файл:Square (geometry).png]]<br> '''[[квадрат]]''' |}--> '''Четырёхугольник''' — это [[геометрическая фигура]] ([[многоугольник]]), состоящая из четырёх точек (вершин), никакие три из которых не лежат на одной прямой, и четырёх отрезков (сторон), последовательно соединяющих эти точки. Различают [[Выпуклое множество|выпуклые]] и невыпуклые четырёхугольники, невыпуклый четырёхугольник может быть [[Ломаная#Типы ломаных|самопересекающимся]] (см. рис.). Четырёхугольник без самопересечений называется '''''простым''''', часто под термином «четырёхугольник» имеется в виду только простые четырёхугольники<ref>{{Книга |автор=[[Понарин, Яков Петрович|Яков Понарин]] |заглавие=Элементарная геометрия. Том 1: Планиметрия, преобразования плоскости |ссылка=https://books.google.com/books?id=7By1BwAAQBAJ&pg=PA52 |издательство=Litres |год=2018-07-11 |страницы=52 |страниц=312 |url=https://books.google.com/books?id=7By1BwAAQBAJ&pg=PA52 |title=Элементарная геометрия. Том 1: Планиметрия, преобразования плоскости |date=2018-07-11 |lang=ru |accessdate=2018-09-19}}</ref>. == Виды четырёхугольников == === Четырёхугольники с параллельными противоположными сторонами=== * [[Дельтоид]] — четырёхугольник, четыре стороны которого можно сгруппировать в две пары равных смежных сторон. * [[Квадрат]] — четырёхугольник, у которого все углы прямые и все стороны равны; * [[Параллелограмм]] — четырёхугольник, у которого противоположные стороны попарно равны и [[параллельность|параллельны]]; * [[Прямоугольник]] — четырёхугольник, у которого все углы прямые; * [[Ромб]] — четырёхугольник, у которого все стороны равны; * [[Ромбоид]] — это [[параллелограмм]] , в котором смежные стороны имеют разные длины, и углы не являются прямыми. * [[Трапеция]] — четырёхугольник, у которого две противоположные стороны параллельны; === Четырёхугольники с антипараллельными противоположными сторонами=== * [[Антипараллелограмм]] или ''контрпараллелограмм'' — плоский невыпуклый (самсопересекающийся) ''четырёхугольник'', в котором каждые две противоположные стороны равны между собой, но не параллельны, в отличие от [[параллелограмм]]а. * ''[[Вписанный четырёхугольник|Четырёхугольник, вписанный в окружность]]'' или ''вписанный четырёхугольник'' — это четырёхугольник, вершины которого лежат на одной окружности. Он же является четырёхугольником с антипараллельными противоположными сторонами === Четырёхугольники с параллельными диагоналями === * [[Антипараллелограмм]] === Четырёхугольники, описанные около окружности === * ''[[Описанный четырёхугольник|Четырёхугольник описанный]]'' или ''описанный четырёхугольник'' — это [[Выпуклый многоугольник|выпуклый]] четырёхугольник, стороны которого являются [[Касательная прямая|касательными]] к одной [[Окружность|окружности]] внутри четырёхугольника. === Четырёхугольники с равными противоположными сторонами === * [[Антипараллелограмм]] * [[Квадрат]] * [[Параллелограмм]] * [[Прямоугольник]] * [[Ромб]] * [[Ромбоид]] * [[трапеция|Равнобокая трапеция]] === Четырёхугольники с равными смежными сторонами === * [[Дельтоид]] * [[Квадрат]] * [[Ромб]] === Четырёхугольники с равными диагоналями === * [[Квадрат]] * ''[[Равнодиагональный четырёхугольник|Четырёхугольник равнодиагональный]]'' или ''равнодиагональный четырёхугольник'' — это [[Выпуклый многоугольник|выпуклый]] ''четырёхугольник'', две [[Диагональ|диагонали]] которого имеют равные длины. * [[Прямоугольник]] * [[трапеция|Равнобокая трапеция]] === Четырёхугольники с перпендикулярными смежными сторонами === * [[Квадрат]] * [[трапеция|Прямоугольная трапеция]] * [[Прямоугольник]] * [[Прямоугольный дельтоид]] === Четырёхугольники с перпендикулярными диагоналями === * [[Дельтоид]] * [[Квадрат]] * [[Ортодиагональный четырёхугольник|Четырёхугольник ортодиагональный]] или ''ортодиагональный четырёхугольник'' — это ''четырёхугольник'', в котором [[Диагональ|диагонали]] пересекаются под [[Прямой угол|прямым углом]]. * [[Ромб]] === Полный четырёхсторонник === [[Файл:Quadrilatere complet.png|thumb|Полный четырёхсторонник]] Хотя такое название может быть эквивалентно четырёхугольнику, в него часто вкладывают дополнительный смысл. Четвёрка прямых, никакие две из которых не параллельны и никакие три не проходят через одну точку, называется ''полным четырёхсторонником''. Такая конфигурация встречается в некоторых утверждениях евклидовой геометрии (например, [[теорема Менелая]], [[прямая Ньютона — Гаусса]], [[прямая Обера]], [[Точка Микеля|теорема Микеля]] и др.), в которых часто все прямые являются взаимозаменяемыми. == Сумма углов == Сумма углов четырёхугольника без самопересечений равна 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 представляет собой выражение для квадрата объёма [[тетраэдр]]а через длины его рёбер с помощью [[Симплекс#Свойства|определителя Кэли-Менгера]]. Если вершины тетраэдра лежат в одной плоскости, то он имеет нулевой объём и превращается в четырёхугольник. Длины рёбер будут длинами сторон или диагоналей четырёхугольника. === Соотношения Бретшнайдера === [[Соотношения Бретшнайдера]] — соотношение между сторонами ''a, b, c, d'' и противоположными углами <math>\angle A,\angle C</math> и диагоналями ''e, f'' простого (несамопересекающегося) четырёхугольника: : <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 \frac{\angle A+\angle C}{2}</math>, : <math>e^2f^2=(ac-bd)^2+4abcd\sin^2\frac{\angle A+\angle C}{2}</math>. == Специальные прямые линии четырёхугольника == === Средние линии четырёхугольника === Пусть ''G, I, H, J'' — середины сторон выпуклого четырёхугольника ''ABCD'', а ''E, F'' — середины его диагоналей. Назовем три отрезка ''GH, IJ, EF'' соответственно ''первой, второй и третьей средними линиями четырёхугольника''. Первые две из них также называют ''бимедианами''<ref>{{cite web |author=E.W. Weisstein |title=Bimedian |url=https://mathworld.wolfram.com/Bimedian.html |publisher=''MathWorld'' – A Wolfram Web Resource}}</ref>. [[Файл:Newton line.svg|thumb|200px|Точки ''E, K, F'' лежат на одной прямой, прямой Ньютона]] === Теоремы о средних линиях четырёхугольника === {{перенаправление|Бимедиана|Тетраэдр#Свойства|о бимедиане тетраэдра}} * [[Теорема Ньютона (планиметрия)|Обобщённая теорема Ньютона]]. Все три средние линии четырёхугольника пересекаются в одной точке (в ''[[центроид]]е вершин'' («vertex centroid») четырёхугольника<!--<ref name="Четырёхугольник"/>-->) и делятся ею пополам. * Середины ''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>. === [[Прямая Ньютона]] === [[File:Newton-Gauss Line Default Figure.png|thumb|Прямая, получаемая соединением середин диагоналей (''L'', ''M'' и ''N''), называется прямой Ньютона — Гаусса (зелёная)]] *Если в четырёхугольнике две пары противоположных сторон не параллельны, то две середины его диагоналей лежат на прямой, которая проходит через середину отрезка, соединяющего две точки пересечения этих двух пар противоположных сторон (на рисунке точки показаны красным цветом). Указанная прямая называется ''прямой Ньютона'' (на рисунке она показана зелёным цветом). При этом [[прямая Ньютона]] всегда перпендикулярна [[прямая Обера|прямой Обера]]. * Точки, лежащие на ''прямой Ньютона'', удовлетворяют ''[[Прямая Ньютона|теореме Анна]]''. === Ортополярные линии ортополюсов троек вершин четырехугольника === Если задана фиксированная прямая линия ''ℓ'', и выбрана любая из трех вершин четырехугольника <math>ABCD </math>, то все [[ортополюс]]ы данной прямой линии ''ℓ'' относительно всех таких треугольников лежат на одной прямой. Эта линия называется ''ортополярной линией'' для данной линии ''ℓ'' относительно четырехугольника <math>ABCD </math><ref>Steve Phelps. The Orthopole// https://www.geogebra.org/m/CKKH9ZZA</ref> == Специальные точки четырёхугольника == === Центроид четырёхугольника === * Четыре отрезка, каждый из которых соединяет вершину четырёхугольника с центроидом треугольника, образованного оставшимися тремя вершинами, пересекаются в [[центроид]]е четырёхугольника и делятся им в отношении 3:1, считая от вершин. * См. также свойства [[центроид]]а четырёхугольника. === Точка Понселе четырёхугольника === Внутри четырёхугольника существует [[точка Понселе]] (см. параграф "Окружности девяти точек треугольников внутри четырёхугольника"). === Точка Микеля четырёхугольника === Внутри четырёхугольника существует [[точка Микеля]]. == Окружности девяти точек треугольников внутри четырёхугольника == {{main|Окружность девяти точек}} В произвольном выпуклом четырёхугольнике <math>ABCD</math> [[окружность девяти точек|окружности девяти точек]] треугольников <math>ABC,BCD,CDA,DAB</math>, на которые его разбивают две диагонали, пересекаются в одной точке — [[Точка Понселе|в точке Понселе]]{{sfn|Заславский, Пермякова и др.|2009|c=118, задача 9}}. == Частные случаи четырёхугольников == === Вписанные четырёхугольники === {{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 ''антимедатрисы''<ref> Определение антимедатрис см. в [[Глоссарий планиметрии|глоссарии планиметрии]] </ref>), проведенных из середин 4 сторон вписанного четырехугольника перпендикулярно к противолежащим сторонам, пересекаются в [[ортоцентр]]е ''Н'' этого четырехугольника<ref> Замечательные точки и линии четырехугольников// https://math.mosolymp.ru/upload/files/2018/khamovniki/geom-10/2018-04-17-Zam_pr_ch-ka.pdf </ref><ref>Теорема Монжа// https://bambookes.ru/stuff/reshenie_zadach/geometrija/4-1-0-8264</ref>. ** '''Теорема о вписанности в окружность пары диагональных треугольников'''. Если выпуклый четырёхугольник вписан в некоторую окружность, то в ту же самую окружность вписаны и пара треугольников, на которые разбивает четырёхугольник любая из его диагоналей (связь с окружностями треугольника). ** '''Теорема четырёх медиатрисах'''. Из последнего утверждения следует: ''если три из четырёх медиатрис (или [[срединный перпендикуляр|срединных перпендикуляров]]), проведённых к сторонам выпуклого четырёхугольника, пресекаются в одной точке, то в той же точке пресекается и медиатриса его четвёртой стороны. Более того, такой четырёхугольник вписан в некоторую окружность, центр которой находится в точке пресечения указанных медиатрис''{{sfn|Стариков|2014|с=38, правая колонка, пункт 7}}. [[Файл:Japanese theorem 2.svg|thumb|right|''Японская теорема'' (Japanese theorem)]] ** '''Теоремы о четырех диагональных треугольниках и об их вписанных окружностях'''{{sfn|Ayeme|с=6, Упр. 8, рис. 13}}. Если во вписанном в окружность четырёхугольнике провести диагональ, а в полученные два треугольника вписать две окружности, затем аналогично поступить, проведя вторую диагональ, тогда центры четырёх образовавшихся окружностей являются вершинами [[прямоугольник]]а (то есть лежат на одной окружности). Эту теорему называют ''[[Японская теорема о вписанном четырёхугольнике|японской теоремой]]'' (Japanese theorem). (см. рис.). Кроме того, [[ортоцентр]]ы четырёх описанных здесь треугольников являются вершинами четырёхугольника, подобного исходному четырёхугольнику {{math|''ABCD''}} (то есть также лежат на другой окружности, ибо вершины исходного вписанного четырёхугольника лежат на некоторой окружности). Наконец, [[центроид]]ы этих четырёх треугольников лежат на третьей окружности<ref name=Andreescu>{{citation |first1=Titu |last1=Andreescu |first2=Bogdan |last2=Enescu |title=Mathematical Olympiad Treasures |chapter=2.3 Cyclic quads |chapterurl=https://books.google.com/books?id=mwUHJpvLOPsC&pg=PA44 |year=2004 |publisher=Springer |isbn=978-0-8176-4305-8 |pages=44–46, 50 |MR=2025063}}</ref>. ** '''Теорема о четырёх проекциях вершин вписанного четырёхугольника на его диагонали'''{{sfn|Ayeme|с=5, Упр. 7, рис. 11, следствие}}. Пусть <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|thumb|Теорема Микеля-Штейнера для четырёхстронника|350px]] ** '''Третий критерий вписанности четырёхугольника'''. Выпуклый четырёхугольник (см. рис. справа), образованный четырьмя данными ''прямыми Микеля'', вписан в окружность тогда и только тогда, когда [[точка Микеля]] ''M'' четырёхугольника лежит на прямой, соединяющей две из шести точек пересечения прямых (те, которые не являются вершинами четырёхугольника). То есть, когда ''M'' лежит на ''EF''. ** Прямая, антипараллельная стороне треугольника и пересекающая его, отсекает от него четырёхугольник, около которого всегда можно описать окружность. ** '''Четвертый критерий вписанности четырёхугольника'''. '''Условие, при котором совмещение двух треугольников с одной равной стороной даёт четырёхугольник, вписанный в окружность'''<ref> См. подраздел «Диагонали» статьи «[[Вписанный четырёхугольник]]»</ref>. Для того, чтобы два треугольника с тройками длин сторон соответственно (a, b, f) и (c, d, f) при их совмещении вдоль общей стороны с длиной, равной f, давали в итоге ''четырёхугольник, вписанный в окружность'' с последовательностью сторон (''a'', ''b'', ''c'', ''d''), необходимо условие<ref name= "Johnson">Johnson, Roger A., ''Advanced Euclidean Geometry'', Dover Publ. Co., 2007</ref>{{rp|84}} : <math>f^2 = \frac{(ac+bd)(ad+bc)}{(ab+cd)}. </math> ** Последнее условие даёт выражение для диагонали ''f'' четырёхугольника, вписанного в окружность, через длины четырёх его сторон (''a'', ''b'', ''c'', ''d''). Эта формула немедленно следует при перемножении и при приравнивании друг другу левых и правых частей формул, выражающих суть ''первой и второй теорем Птолемея'' (см. выше). * '''Площадь вписанного в окружность четырёхугольника''': ** [[Площадь фигуры|Площадь]] вписанного в окружность четырёхугольника [[Формула Брахмагупты|по формуле Брахмагупты]] равна{{sfn|Понарин|с=74}}: : <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|Стариков|2014|с=38, правая колонка, пункт 7}}: <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|thumb|150px|<math> \overline{BD}\perp\overline{AC},\overline{EF}\perp\overline{BC} </math> <math>\Rightarrow |\overline{AF}|=|\overline{FD}| </math>]] * '''[[Теорема Брахмагупты]]'''. Для вписанных ортодиагональных четырёхугольников справедлива [[теорема Брахмагупты]]: ''Если вписанный четырёхугольник имеет перпендикулярные диагонали, пересекающиеся в точке <math>M</math>, то две пары его ''антимедиатрис'' проходят через точку <math>M</math>.'' * '''Замечание'''. В этой теореме под ''антимедиатрисой''{{sfn|Стариков|2014|с=7—39}} понимают отрезок <math>FE</math> четырёхугольника на рисунке справа (по аналогии с серединным перпендикуляром (медиатрисой) к стороне треугольника). Он перпендикулярен одной стороне и одновременно проходит через середину противоположной ей стороны четырёхугольника. * '''Теорема об ''окружности восьми точек'' ортодиагонального четырёхугольника '''. Известна теорема: ''Если в четырёхугольнике перпендикулярны диагонали, то на одной окружности (''окружность восьми точек четырёхугольника'') лежат восемь точек: середины сторон и проекции середин сторон на противоположные стороны''{{sfn|Заславский, Пермякова и др.|2009|c=118, задача 11}}. Из этой теоремы и [[теорема Брахмагупты|теоремы Брахмагупты]] следует, что концы двух пар ''антимедиатрис'' (восемь точек) вписанного ортодиагонального четырёхугольника лежат на одной окружности (''окружность восьми точек четырёхугольника''). * '''Частные вписанные ортодиагональные четырёхугольники'''. Частными вписанными ортодиагональными четырёхугольниками, вписанными в окружность, являются [[квадрат]], [[дельтоид]] с парой перпендикулярных противоположных углов, равнобокая ортодиагональная [[трапеция]] и другие. === Описанные четырёхугольники === {{main|Вписанная окружность}} {{main|Описанный четырёхугольник}} * Говорят, что если ''в четырёхугольник можно вписать [[окружность]]'', то ''четырёхугольник описан около этой [[окружность|окружности]]'', и наоборот. * Некоторые (но не все) четырёхугольники имеют вписанную окружность. Они называются [[Описанный четырёхугольник|описанными четырёхугольниками]]. ** Частными четырёхугольниками, описанными около окружности, являются: [[ромб]], [[квадрат]], [[дельтоид]]. * '''Критерии описанности четырёхугольников''': ** Среди свойств [[Описанный четырёхугольник|описанных четырёхугольников]] наиболее важным является то, что суммы противоположных сторон равны. Это утверждение называется [[Теорема Пито|теоремой Пито]]. ** Иными словами, выпуклый четырёхугольник является описанным около окружности тогда и только тогда, когда суммы длин противоположных сторон равны, то есть: <math>AB+CD=BC+AD</math>. * '''Теоремы для описанных четырёхугольников''': ** '''Теорема о двух равных сторонах угла, касающегося окружности'''. Точки касания вписанной окружности с четырёхугольником отсекают равные отрезки от углов четырёхугольника. ** '''Теорема о продолжении двух пар противоположных сторон четырёхугольника'''. Если выпуклый четырёхугольник — не [[трапеция]] и не [[параллелограмм]] и он описан около некоторой окружности, то около этой же самой окружности описаны и пара треугольников, которые получаются при продолжении двух его пар противоположных сторон до их пересечения (связь с окружностями треугольника). ** '''Теорема о четырёх биссектрисах'''. Из последнего утверждения следует: ''если три из четырёх [[биссектриса|биссектрис]] (или биссекторов), проведённых для внутренних углов выпуклого четырёхугольника, пресекаются в одной точке, то в той же точке пресекается и биссектриса его четвёртого внутреннего угла. Более того такой четырёхугольник описан около некоторой окружности, центр которой находится в точке пресечения указанных биссектрис''{{sfn|Стариков|2014|с=39, левая колонка, последний абзац}}. ** '''[[Теорема Ньютона (планиметрия)|Теорема Ньютона]]'''. Если четырёхугольник является описанным около окружности, то центр его вписанной окружности лежит на [[прямая Ньютона|прямой Ньютона]]. Более точное утверждение ниже. ** '''[[Теорема Ньютона (планиметрия)|Теорема Ньютона]]'''. Во всяком ''описанном четырёхугольнике'' две середины диагоналей и центр вписанной окружности лежат на одной прямой. На ней же лежит середина отрезка с концами в точках пересечения продолжений противоположных сторон четырёхугольника (если они не параллельны). Эта прямая называется [[Прямая Ньютона|прямой Ньютона]]. На рисунке (вторая группа рисунков сверху) она зелёная, диагонали красные, отрезок с концами в точках пересечения продолжений противоположных сторон четырёхугольника тоже красный. ** '''Теорема Брокара'''. ''Центр описанной около четырёхугольника окружности'' — точка пересечения высот треугольника с вершинами в точке пересечения диагоналей и в точках пересечения противоположных сторон. * '''Площадь описанного четырёхугольника''' ** Условие <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|thumb|Вписано-описанные четырёхугольники 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|thumb|Вписано-описанный четырёхугольник ABCD с центром I вписанной и с центром O описанной окружностей]] ** '''Теорема Фусса''' (Fuss' theorem)<!-- {{sfn|Вписано-описанный четырёхугольник (Bicentric quadrilateral. англ. яз.// https://en.wikipedia.org/wiki/Bicentric_quadrilateral#Fuss.27_theorem)}}-->. Для радиусов ''R'' и ''r'' соответственно описанной и вписанной окружностей данного четырёхугольника и расстояния ''x'' между центрами <math>I</math> и <math>O</math> этих окружностей (см. рис.) выполняется соотношение, представляющее ''четырёхугольниковый аналог'' [[Теорема Эйлера (планиметрия)|теоремы Эйлера]] (аналогичная формула Эйлера есть для треугольника)<ref name=Dorrie>{{книга |заглавие=100 Great Problems of Elementary Mathematics: Their History and Solutions |место=New York |издательство=Dover |страницы=188—193 |isbn=978-0-486-61348-2 |язык=en |автор=Dörrie, Heinrich |год=1965 }}</ref><ref name=Yiu>Yiu, Paul, ''Euclidean Geometry'', [http://math.fau.edu/Yiu/EuclideanGeomeryNotes.pdf]{{Недоступная ссылка|date=Июль 2019 |bot=InternetArchiveBot }}, 1998, pp. 158—164.</ref><ref>{{citation |last=Salazar |first=Juan Carlos |title=Fuss's Theorem |journal=Mathematical Gazette |volume=90 (July) |pages=306–307 |year=2006}}.</ref>: : <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|150px|thumb|Вписанно-описанный четырёхугольник ABCD и его внутренне-касающийся вписанный четырёхугольник WXYZ]] ** '''Теорема'''. Следующие три условия для вписанно-описанного четырёхугольника касаются точек, в которых вписанная в касательный четырёхугольник окружность является касательной к сторонам. Если вписанная окружность касается сторон ''AB'', ''BC'', ''CD'', ''DA'' в точках ''W'', ''X'', ''Y'', ''Z соответственно, то касательный четырёхугольник ''ABCD'' является также описанным, если и только если выполнено любое из следующих трёх условий (см. рис.):<ref name=Josefsson>{{citation |last=Josefsson |first=Martin |journal=Forum Geometricorum |pages=165–173 |title=Characterizations of Bicentric Quadrilaterals |url=http://forumgeom.fau.edu/FG2010volume10/FG201019.pdf |volume=10 |year=2010}}.</ref> ** ''WY'' перпендикулярно к ''XZ'' ** <math>\frac{AW}{WB}=\frac{DY}{YC}</math> ** <math>\frac{AC}{BD}=\frac{AW+CY}{BX+DZ}</math>. ** '''Теорема Понселе'''. Для вписанно-описанного четырёхугольника справедлива [[Поризм Понселе|теорема Понселе]]. [[Файл:Поризм Понселе.svg|150px|right|thumb|Для вписанно-описанного четырёхугольника справедлива [[Поризм Понселе|теорема Понселе]]]] == Площадь вписанно-описанного четырёхугольника == ** Если четырёхугольник и вписан, и описан, то по формуле (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> ===Разбиение сторон касательного четырехугольника точками касания с окружностью === [[File:Tangency chords 2.svg|150px|thumb|Разбиение сторон касательного четырехугольника точками касания с окружностью]] * Восемь «длин касательных» («e», «f», «g», «h» на рисунке справа) касательного четырехугольника — это отрезки прямой от [[вершина (геометрия)|вершины]] до точек, где окружность касается сторон. Из каждой вершины есть две касательных к окружности равной длины (см. рис.). * Обозначим также две «касательные хорды» («k» и «l» на рисунке) касательного четырехугольника — это отрезки линий, которые соединяют точки на противоположных сторонах, где окружность касается этих сторон. Они также являются [[диагональ|диагоналями]] «контактного четырехугольника», имеющего вершины в точках касания четырехугольника <math>ABCD</math> с окружностью. Тогда площадь вписанно-описанного четырёхугольника равна<ref name=Josefsson />{{rp|p.128}} :<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'' выпуклого четырехугольника, как отрезки прямых, соединяющих середины противоположных сторон, то площадь вписанно-описанного четырёхугольника будет равна<ref name=Josefsson3>{{citation |last=Josefsson |first=Martin |journal=Forum Geometricorum |pages=155–164 |title=The Area of a Bicentric Quadrilateral |url=http://forumgeom.fau.edu/FG2011volume11/FG201116.pdf |volume=11 |year=2011}}.</ref> :<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|200px|thumb|Внеописанный четырёхугольник ''ABCD'' и его вневписанная окружность]] *'''[[Внеописанный четырёхугольник]]''' — это [[Выпуклый многоугольник|выпуклый]] четырёхугольник, ''продолжения'' всех четырёх сторон которого являются касательными к [[Окружность|окружности]] (вне четырёхугольника){{sfn|Radic, Kaliman, Kadum|2007|с=33—52}}. Окружность называется ''вневписанной''. Центр вневписанной окружности лежит на пересечении шести биссектрис. *Вневписанная окружность существует не для всякого четырёхугольника. Если противоположные стороны выпуклого четырёхугольника ''ABCD'' пересекаются в точках ''E'' и ''F'', то условием его внеописанности является любое из двух условий ниже: : <math>AB+BC=AD+DC\quad\Leftrightarrow\quad AE+EC=AF+FC.</math> === Внеописанный четырёхугольник для параболы=== * '''[[Парабола]], вневписанная для четырёхугольника'''. Такая [[парабола]] существует у любого выпуклого четырёхугольника и она касается всех 4 сторон данного четырёхугольника (четырёхсторонника) или их продолжений. Её [[Директриса (геометрия)|директриса]] совпадает с [[Прямая Обера|прямой Обера — Штейнера]]<ref>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</ref>. == Четырёхугольники с перпендикулярными элементами == *Ниже выделены параграфы для четырёхугольников с перпендикулярными парами элементов: с 2 перпендикулярными сторонами и с 2 перпендикулярными диагоналями. *Эти четырёхугольники вырождаются в [[прямоугольный треугольник]], если длина одной нужной стороны (из их 4 сторон), лежащей вблизи прямого угла или же опирающейся концами на этот угол, стремится к нулю. == Четырёхугольники с перпендикулярными сторонами == === Четырёхугольники с перпендикулярными противоположными сторонами === * Две противоположные стороны четырёхугольника перпендикулярны тогда и только тогда, когда сумма квадратов двух других противоположных сторон равна сумме квадратов диагоналей. * Если сумма углов при одном из оснований [[трапеция|трапеции]] равна 90°, то продолжения боковых (противоположных) сторон пересекаются под прямым углом, а отрезок, соединяющий середины оснований, равен [[wikt:полуразность|полуразности]] оснований. === Четырёхугольники с 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|Заславский, Пермякова и др.|2009|c=118, задача 11}}. * Частными ортодиагональными четырёхугольниками являются: [[ромб]], [[квадрат]], [[дельтоид]]. * Если у выпуклого четырёхугольника перпендикулярны диагонали, то середины четырёх его сторон являются вершинами прямоугольника (следствие ''теоремы Вариньона''). Верно и обратное. Кроме того, у прямоугольника равны диагонали. Следовательно, у выпуклого четырёхугольника диагонали перпендикулярны тогда и только тогда, когда у него равны между собой длины двух его ''бимедиан'' (длины двух отрезков, соединяющих середины противоположных сторон)<ref name=Josefsson2>{{citation | last = Josefsson | first = Martin | journal = Forum Geometricorum | pages = 13–25 | title = Characterizations of Orthodiagonal Quadrilaterals | url = http://forumgeom.fau.edu/FG2012volume12/FG201202.pdf | volume = 12 | year = 2012}}.</ref>. * Таблица сравнения свойств описанного и ортодиагонального четырёхугольника: Их метрические свойства очень похожи (см. табл.)<ref name=Josefsson2/>. Здесь обозначены: ''a'', ''b'', ''c'', ''d'' — длины их сторон, ''R''₁, ''R''₂, ''R''₃, ''R''₄, и радиусы описанных окружностей, проведённых через эти стороны и через ''точку пересечения диагоналей'', ''h''₁, ''h''₂, ''h''₃, ''h''₄ — высоты, опущенные на них из ''точки пересечения диагоналей''. {| class=wikitable |- ! описанный четырёхугольник ! ортодиагональный четырёхугольник |- | align=center|<math>a+c=b+d</math> | align=center|<math>a^2+c^2=b^2+d^2</math> |- | align=center|<math>R_1+R_3=R_2+R_4</math> | align=center|<math>R_1^2+R_3^2=R_2^2+R_4^2</math> |- | align=center|<math>\frac{1}{h_1}+\frac{1}{h_3}=\frac{1}{h_2}+\frac{1}{h_4}</math> | align=center|<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) прямоугольники, определяемые окружностями точек Паскаля<ref name=Fraivert2>{{citation | last = David | first = Fraivert | journal = [[Journal for Geometry and Graphics]] | pages = 5–27 | title = A Set of Rectangles Inscribed in an Orthodiagonal Quadrilateral and Defined by Pascal-Points Circles | url = http://www.heldermann.de/JGG/JGG23/JGG231/jgg23002.htm | volume = 23 | year = 2019}}.</ref><ref name=Fraivert>{{citation | last = David | first = Fraivert | journal = [[Forum Geometricorum]] | pages = 509–526 | title = Properties of a Pascal points circle in a quadrilateral with perpendicular diagonals | url = http://forumgeom.fau.edu/FG2017volume17/FG201748.pdf | volume = 17 | year = 2017}}.</ref><ref name=Fraivert3>{{citation |last1=Фрейверт|first1=Д. М. |journal=Математическое образование: современное состояние и перспективы : материалы Международной научной конференции |title=Новая тема в евклидовой геометрии на плоскости: теория «точек Паскаля», формируемых с помощью окружности на сторонах четырехугольника |url=https://libr.msu.by/handle/123456789/9675|year=2019}}</ref>. [[File: A set of inscribed rectangles whose sides are parallel to the diagonals of the quadrilateral.png |thumb|<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>, и стороны которых параллельны диагоналям четырехугольник.]] [[File: A set of inscribed rectangles defined by Pascal-points circles.png|150px|thumb|<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>.]] == Свойства диагоналей некоторых четырёхугольников == В следующей таблице указано, есть ли у диагоналей некоторых из самых основных четырёхугольников деление пополам в точке их пересечения, есть ли [[перпендикулярность]] диагоналей, есть ли равенство длин диагоналей, и есть ли деление ими углов пополам<ref>Jennifer Kahle, Geometry: Basic ideas (англ. яз.).Геометрия: Основные идеи [http://www.math.okstate.edu/geoset/Projects/Ideas/QuadDiags.htm], accessed 28 December 2012.</ref>. Список относится к наиболее общим случаям и исчерпывает собой названные подмножества четырёхугольников. {| class="wikitable" |- ! Четырёхугольник || Деление диагоналей пополам в точке их пересечения || Перпендикулярность диагоналей || Равенство длин диагоналей || Деление углов пополам диагоналями |- ! [[Трапеция]] || Нет || ''См. замечание 1'' || Нет || Нет |- ! [[Равнобедренная трапеция]] || Нет || ''См. замечание 1'' || Да || Хотя бы двух противоположных углов |-<!-- ! [[Прямоугольная трапеция]] || ''См. замечание 3'' || ''См. замечание 1'' || Нет || Нет |---> ! [[Параллелограмм]] || Да || Нет || Нет || Нет |- ! [[Дельтоид]] || ''См. замечание 2'' || Да || ''См. замечание 2'' || ''См. замечание 2'' |- ! [[Прямоугольник]] || Да|| Нет || Да || Нет |- ! [[Ромб]] || Да || Да || Нет || Да |- ! [[Квадрат]] || Да || Да || Да || Да |} ''Замечание 1: Наиболее общие трапеции и равнобедренные трапеций не имеют перпендикулярных диагоналей, но есть бесконечное число (неподобных) трапеций и равнобедренных трапеций, которые действительно имеют перпендикулярные диагонали и не похожи на какой-либо другой названный четырёхугольник''.<br> ''Замечание 2: У дельтоида одна диагональ делит пополам другую. Другая же диагональ делит его противоположные углы пополам. Наиболее общий дельтоид имеет неодинаковые диагонали, но есть бесконечное число (неподобных) дельтоидов, у которых диагонали равны по длине (и дельтоиды не являются каким-либо другим из названных четырёхугольников)''. == Симметрия четырёхугольников == [[Файл:Symmetries of square.svg|280px|thumb|Симметрии некоторых четырёхугольников]] На рис. показаны некоторые симметричные четырёхугольники, их переход друг в друга, а также дуальные к ним. Обозначения на рис.: * 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|Понарин|с=74}}: : <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''<ref name="zeuthen">''Г. Г. Цейтен'' История математики в древности и в средние века, ГТТИ, М-Л, 1932.</ref>: : <math>S=\frac{a+c}{2}\cdot\frac{b+d}{2}</math>. Для непрямоугольных четырёхугольников эта формула даёт завышенное значение площади. Можно предположить, что она использовалась только для определения площади почти прямоугольных участков земли. При неточном измерении сторон прямоугольника эта формула позволяет повысить точность результата за счёт усреднения исходных измерений. == См. также == * [[Глоссарий планиметрии]] * [[Лемма о шестой окружности]] * [[Теорема Тебо]] * [[Теорема Кейси]] * [[Теорема косинусов для четырёхугольника]] * [[Теорема о бабочке]] * [[Четырёхугольник Ламберта]] * [[Четырёхугольник Саккери]] {{Многоугольники}} == Примечания == {{примечания}} == Литература == {{Викисловарь|четырёхугольник}} * [[Болтянский, Владимир Григорьевич|Болтянский В.]], [http://kvant.mccme.ru/1974/09/chetyrehugolniki.htm ''Четырёхугольники'']. [[Квант (журнал)|Квант]], № 9,1974. * {{h|Понарин}}{{Книга:Элементарная геометрия. Понарин|74|1}} * {{статья |автор=Стариков В. Н. |ref=Стариков |заглавие=Исследования по геометрии// Сборник публикаций научного журнала ''Globus'' по материалам V-й международной научно-практической конференции «Достижения и проблемы современной науки» г. Санкт-Петербург: сборник со статьями (уровень стандарта, академический уровень) |место=С-П. |издание=Научный журнал ''Globus'' |год=2016 }} * {{статья |автор=Стариков В. Н. |ref=Стариков |заглавие=Заметки по геометрии// Научный поиск: гуманитарные и социально-экономические науки: сборник научных трудов |выпуск=1 |ответственный=Гл. ред. Романова И. В. |место=Чебоксары |издательство=ЦДИП «INet» |год=2014 }} * {{книга |ref=Заславский, Пермякова и др. |заглавие=Математика в задачах. Сборник материалов выездных школ команды Москвы на Всероссийскую математическую олимпиаду |ответственный=Под редакцией А. А. Заславского, Д. А. Пермякова, А. Б. Скопенкова, М. Б. Скопенкова и А. В. Шаповалова. |место=Москва |издательство=МЦНМО |год=2009 |ISBN=978-5-94057-477-4 }} * {{cite web |author=Jean-Louis Ayeme |ref=Ayeme |title=Feurbach’s theorem. A new purely synthetic proof. |url=http://jl.ayme.pagesperso-orange.fr/Docs/Feuerbach1.pdf |lang=ru |accessdate=2016-10-02 |archiveurl=https://web.archive.org/web/20131113122035/http://jl.ayme.pagesperso-orange.fr/Docs/Feuerbach1.pdf |archivedate=2013-11-13 |deadlink=yes }} Несколько расширенный перевод — «[http://www.geometry.ru/articles/aymefeuerbach.pdf Вокруг задачи Архимеда]» * {{статья |автор=Mirko Radic, Zoran Kaliman, Vladimir Kadum |заглавие=A condition that a tangential quadrilateral is also a chordal one |издание=Mathematical Communications |выпуск=12 |год=2007 |ref=Radic, Kaliman, Kadum }} * {{статья |автор= D. Fraivert, A. Sigler and M. Stupel |издание=Journal of Mathematical Sciences: Advances and Applications |заглавие=Common properties of trapezoids and convex quadrilaterals |url=http://dx.doi.org/10.18642/jmsaa_7100121635 |том=38 |год=2016 |ref=Fraivert2 |pages=49–71 | doi=10.18642/jmsaa_7100121635 }} {{rq|source|cleanup|isbn}} [[Категория:Четырёхугольники]] [[Категория:Геометрические фигуры]] [[Категория:Окружности]]'