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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
Внеописанный четырёхугольник ABCD и его вневписанная окружность

Внеописанный четырёхугольник — это выпуклый четырёхугольник, продолжения всех четырёх сторон которого являются касательными к окружности (вне четырёхугольника)[1]. Окружность называется вневписанной. Центр вневписанной окружности лежит на пересечении шести биссектрис. Это биссектрисы двух внутренних углов противоположных углов четырёхугольника, биссектрисы внешних углов двух других вершин, и биссектрисы внешних углов в точках пересечения продолжений противоположных сторон (смотрите рисунок справа, указанные продолжения сторон проведены пунктиром). Внеописанный четырёхугольник тесно связан с описанным четырёхугольником (у которого четыре стороны касаются окружности).

Специальные случаи

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

Свойства

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

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

  • Теорема Штейнера. С точки зрения вычислений, более полезно свойство, что выпуклый четырёхугольник со сторонами a, b, c, d является внеописанным тогда и только тогда, когда сумма двух смежных сторон равна сумме двух других сторон. Это возможно в двух случаях — либо
[math]\displaystyle{ a+b=c+d }[/math],

либо

[math]\displaystyle{ a+d=b+c. }[/math]

Свойство доказано Якобом Штейнером в 1846 году[3]. В первом случае вневписанная окружность находится со стороны большего из углов при вершинах A или C, в то время как во втором случае окружность находится со стороны большего из углов при вершинах B или D. Здесь стороны четырёхугольника ABCD имеют длины a = AB, b = BC, c = CD и d = DA. Комбинируя два полученных равенства, получим, что абсолютные величины разностей противоположных сторон равны[2],

[math]\displaystyle{ |a-c|=|b-d|. }[/math]

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

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

  • Теорема Уркхарта. Если противоположные стороны выпуклого четырёхугольника ABCD пересекаются в точках E и F, то для того, чтобы этот четырёхугольник был внеописанным для окружности, необходимымо, чтобы выполнялось любое из двух условий
[math]\displaystyle{ AB+BC=AD+DC\quad\Leftrightarrow\quad AE+EC=AF+FC. }[/math]

Если противоположные стороны выпуклого четырёхугольника ABCD пересекаются в точках E и F, то для того, чтобы этот четырёхугольник был внеописанным для окружности, необходимымо и достаточно, чтобы выполнялось любое из двух условий

[math]\displaystyle{ AB+BC=AD+DC\quad\Leftrightarrow\quad AE+EC=AF+FC. }[/math]

Если противоположные стороны выпуклого четырёхугольника ABCD пересекаются в точках E и F, то

[math]\displaystyle{ AB+BC=AD+DC\quad\Leftrightarrow\quad AE+EC=AF+FC. }[/math]

Вывод слева направо назван именем Л. М. Уркхарта (1902—1966), хотя доказан задолго до него Огастесом де Морганом в 1841 году. Даниэль Педо (Daniel Pedoe) назвал это утверждение самой элементарной теоремой евклидовой геометрии, поскольку в ней речь идёт только о прямых и расстояниях[4]. Эквивалентность доказал Моваффак Хаджа (Mowaffac Hajja)[4], что сделало равенство справа другим необходимым и достаточным условием для того, чтобы четырёхугольник был внеописанным.

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

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

Вписанная Вневписанная вне A или C Вневписанная вне B или D
[math]\displaystyle{ R_1+R_3=R_2+R_4 }[/math] [math]\displaystyle{ R_1+R_2=R_3+R_4 }[/math] [math]\displaystyle{ R_1+R_4=R_2+R_3 }[/math]
[math]\displaystyle{ agh+cef=beh+dfg }[/math] [math]\displaystyle{ agh+beh=cef+dfg }[/math] [math]\displaystyle{ agh+dfg=beh+cef }[/math]
[math]\displaystyle{ \frac{1}{h_1}+\frac{1}{h_3}=\frac{1}{h_2}+\frac{1}{h_4} }[/math] [math]\displaystyle{ \frac{1}{h_1}+\frac{1}{h_2}=\frac{1}{h_3}+\frac{1}{h_4} }[/math] [math]\displaystyle{ \frac{1}{h_1}+\frac{1}{h_4}=\frac{1}{h_2}+\frac{1}{h_3} }[/math]
[math]\displaystyle{ \tan{\frac{x}{2}}\tan{\frac{z}{2}}=\tan{\frac{y}{2}}\tan{\frac{w}{2}} }[/math] [math]\displaystyle{ \tan{\frac{x}{2}}\tan{\frac{w}{2}}=\tan{\frac{y}{2}}\tan{\frac{z}{2}} }[/math] [math]\displaystyle{ \tan{\frac{x}{2}}\tan{\frac{y}{2}}=\tan{\frac{z}{2}}\tan{\frac{w}{2}} }[/math]
[math]\displaystyle{ R_aR_c=R_bR_d }[/math] [math]\displaystyle{ R_aR_b=R_cR_d }[/math] [math]\displaystyle{ R_aR_d=R_bR_c }[/math]

Обозначения в таблице следующие:

Внеописанный четырёхугольник ABCD. Дополнительные построения
В выпуклом четырёхугольнике ABCD диагонали пересекаются в точке P. R1, R2, R3,R4 — радиусы описанных окружностей для треугольников ABP, BCP, CDP, DAP
h1, h2, h3, h4 — высоты из точки P на стороны a = AB, b = BC, c = CD, d = DA соответственно в тех же треугольниках
e, f, g, h — расстояния от вершин A, B, C, D до точки P
x, y, z, w — углы ABD, ADB, BDC, DBC соответственно
Ra, Rb, Rc, Rd — радиусы окружностей, внешне касательных сторонам a, b, c, d соответственно и продолжениям смежных двух сторон.

Площадь

Внеописанный четырёхугольник ABCD со сторонами a, b, c, d имеет площадь

[math]\displaystyle{ K = \sqrt{abcd} \sin{\frac{B+D}{2}}. }[/math]

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

Радиус вневписанной окружности

Радиус вневписанной окружности четырёхугольника со сторонами a, b, c, d задаётся формулой[2]

[math]\displaystyle{ r=\frac{K}{|a-c|}=\frac{K}{|b-d|} }[/math],

где K — площадь четырёхугольника. Для четырёхугольника с заданными сторонами максимален, когда четырёхугольник также является вписанным. Эти формулы объясняют, почему все параллелограммы имеют бесконечный радиус вневписанной окружности.

Внешне бицентральный четырёхугольник

Если вокруг внеописанного четырёхугольника можно описать окружность, его называют внебицентральным четырёхугольником[5]. В этом случае, поскольку противоположные углы в сумме составляют 180 °, площадь четырёхугольника можно вычислить по формуле

[math]\displaystyle{ \displaystyle K = \sqrt{abcd} }[/math],

той же самой, что и для бицентрального четырёхугольника[англ.].

Если x — расстояние между центром описанной окружности и центром вневписанной окружности, то[5]

[math]\displaystyle{ \frac{1}{(R-x)^2}+\frac{1}{(R+x)^2}=\frac{1}{r^2}, }[/math]

где R — радиус описанной окружности, а r — радиус вневписанной окружности. Это то же самое равенство, что и в теореме Фусса[англ.] для бицентрального четырёхугольника. Однако решая квадратное уравнение относительно x, нужно выбирать другой корень, не тот, что выбирается для бицентрального четырёхугольника. Таким образом, для внеописанного четырёхугольника мы имеем[5]

[math]\displaystyle{ x=\sqrt{R^2+r^2+r\sqrt{4R^2+r^2}}. }[/math]

Из этой формулы следует, что

[math]\displaystyle{ x\gt R+r }[/math],

что означает, что описанная и вневписанная окружности никогда не могут пересекаться.

См. также

Примечания

  1. Radic, Kaliman, Kadum, 2007, с. 33—52.
  2. 2,0 2,1 2,2 2,3 2,4 Josefsson, 2012, с. 63—77.
  3. F. G.-M., Exercices de Géométrie, Éditions Jacques Gabay, sixiéme édition, 1991, p. 318.
  4. 4,0 4,1 Hajja, 2006, с. 167—169.
  5. 5,0 5,1 5,2 Radic, Kaliman, Kadum, 2007.

Литература