В евклидовой геометрии касательный четырёхугольник ( иногда просто касательный четырёхугольник ) или описанный четырёхугольник — это выпуклый четырёхугольник , все стороны которого могут касаться одной окружности внутри четырёхугольника. Эта окружность называется вписанной окружностью четырёхугольника или его вписанной окружностью, её центр — инцентр , а её радиус называется вписанным радиусом . Поскольку эти четырёхугольники можно нарисовать окружающими или описывающими их вписанные окружности, их также называют описанными четырёхугольниками , описанными четырёхугольниками и описанными четырёхугольниками . [1] Касательные четырёхугольники являются частным случаем касательных многоугольников .
Другие, менее часто используемые названия для этого класса четырёхугольников — вписываемый четырёхугольник , вписываемый четырёхугольник , вписанный четырёхугольник , вписанный четырёхугольник и со-вписанный четырёхугольник . [1] [2] Из-за риска путаницы с четырёхугольником, имеющим описанную окружность, который называется вписанным четырёхугольником или вписанным четырёхугольником, предпочтительнее не использовать ни одно из последних пяти названий. [1]
Все треугольники могут иметь вписанную окружность, но не все четырехугольники могут. Примером четырехугольника, который не может быть касательным, является неквадратный прямоугольник . В характеристиках раздела ниже указано, каким необходимым и достаточным условиям должен удовлетворять четырехугольник, чтобы иметь вписанную окружность.
Примерами касательных четырехугольников являются воздушные змеи , которые включают ромбы , которые в свою очередь включают квадраты . Воздушные змеи — это в точности касательные четырехугольники, которые также являются ортодиагональными . [3] Прямой воздушный змей — это воздушный змей с описанной окружностью . Если четырехугольник является одновременно касательным и вписанным , он называется бицентрическим четырехугольником , а если он одновременно касательный и трапеция , он называется касательной трапецией .
В касательном четырехугольнике четыре биссектрисы пересекаются в центре вписанной окружности. Наоборот, выпуклый четырехугольник, в котором четыре биссектрисы пересекаются в одной точке, должен быть касательным, а общая точка — инцентром. [4]
Согласно теореме Пито , две пары противоположных сторон в описанном четырехугольнике в сумме дают одну и ту же общую длину, которая равна полупериметру s четырехугольника :
Наоборот, выпуклый четырехугольник, в котором a + c = b + d, должен быть касательным. [1] : стр.65 [4]
Если противоположные стороны выпуклого четырехугольника ABCD (не являющегося трапецией ) пересекаются в точках E и F , то он является касательным тогда и только тогда, когда выполняется одно из следующих условий [4]:
или
Другим необходимым и достаточным условием является то, что выпуклый четырехугольник ABCD является касательным тогда и только тогда, когда вписанные окружности двух треугольников ABC и ADC касаются друг друга. [ 1] : стр.66
Характеристика углов, образованных диагональю BD и четырьмя сторонами четырехугольника ABCD, принадлежит Иосифеску. В 1954 году он доказал, что выпуклый четырехугольник имеет вписанную окружность тогда и только тогда, когда [5]
Далее, выпуклый четырехугольник с последовательными сторонами a , b , c , d является касательным тогда и только тогда, когда
где R a , R b , R c , R d — радиусы окружностей, внешне касающихся сторон a , b , c , d соответственно, и расширения двух смежных сторон для каждой стороны. [6] : стр.72
Известно еще несколько характеристик четырех подтреугольников, образованных диагоналями.
Вписанная окружность касается каждой стороны в одной точке контакта . Эти четыре точки определяют новый четырехугольник внутри исходного четырехугольника: четырехугольник контакта, который является вписанным, поскольку он вписан во вписанную окружность исходного четырехугольника.
Восемь касательных длин ( e , f , g , h на рисунке справа) касательного четырехугольника — это отрезки прямых от вершины до точек соприкосновения. Из каждой вершины выходят две конгруэнтные касательные длины.
Две хорды касания ( k и l на рисунке) касательного четырехугольника — это отрезки, соединяющие точки касания на противоположных сторонах. Они также являются диагоналями контактного четырехугольника.
Площадь K описанного четырехугольника определяется по формуле
где s — полупериметр , а r — вписанный радиус . Другая формула — [7]
что дает площадь через диагонали p , q и стороны a , b , c , d описанного четырехугольника.
Площадь также может быть выражена через четыре длины касательных. Если это e , f , g , h , то касательный четырехугольник имеет площадь [3]
Кроме того, площадь описанного четырехугольника может быть выражена через стороны a, b, c, d и последовательные длины касательных e, f, g, h следующим образом [3] : стр.128
Поскольку eg = fh тогда и только тогда, когда описанный четырехугольник также является вписанным и, следовательно, бицентрическим, [8] это показывает, что максимальная площадь имеет место тогда и только тогда, когда описанный четырехугольник является бицентрическим.
Тригонометрическая формула для площади через стороны a , b , c , d и два противолежащих угла: [7] [9] [10] [11 ]
Для заданных длин сторон площадь максимальна , когда четырехугольник также является вписанным и, следовательно, бицентрическим четырехугольником . Тогда, поскольку противолежащие углы являются дополнительными углами . Это можно доказать другим способом, используя исчисление . [12]
Другая формула для площади описанного четырехугольника ABCD , которая включает два противолежащих угла, выглядит следующим образом [10] : стр.19
где I — инцентр.
Фактически, площадь можно выразить через две смежные стороны и два противолежащих угла как [7]
Еще одна формула площади — [7]
где θ — один из углов между диагоналями. Эту формулу нельзя использовать, когда касательный четырехугольник — воздушный змей, поскольку тогда θ равен 90° и функция касательной не определена.
Как косвенно отмечено выше, площадь описанного четырехугольника со сторонами a , b , c , d удовлетворяет условию
с равенством тогда и только тогда, когда это вписанно-описанный четырёхугольник .
По данным Т.А. Ивановой (1976 г.), полупериметр s описанного четырехугольника удовлетворяет уравнению
где r — вписанный радиус. Равенство имеет место тогда и только тогда, когда четырехугольник является квадратом . [ 13] Это означает, что для площади K = rs имеет место неравенство
с равенством тогда и только тогда, когда описанный четырехугольник является квадратом.
Четыре отрезка между центром вписанной окружности и точками, где она касается четырехугольника, делят четырехугольник на четыре прямоугольных змея .
Если линия пересекает касательный четырехугольник на два многоугольника с равными площадями и равными периметрами , то эта линия проходит через инцентр . [4]
Радиус вписанной окружности в тангенциальном четырехугольнике с последовательными сторонами a , b , c , d определяется по формуле [7]
где K — площадь четырехугольника, а s — его полупериметр. Для описанного четырехугольника с заданными сторонами радиус вписанной окружности максимален , когда четырехугольник также является вписанным (и, следовательно, вписанно-описанным ).
В терминах длин касательных вписанная окружность имеет радиус [8] : Лемма2 [14]
Радиус вписанной окружности также может быть выражен через расстояния от инцентра I до вершин тангенциального четырехугольника ABCD . Если u = AI , v = BI , x = CI и y = DI , то
где . [15]
Если вписанные окружности треугольников ABC , BCD , CDA , DAB имеют радиусы соответственно, то радиус вписанной окружности описанного четырехугольника ABCD определяется по формуле
где . [16]
Если e , f , g и h — длины касательных из вершин A , B , C и D соответственно до точек, где вписанная окружность касается сторон описанного четырехугольника ABCD , то углы четырехугольника можно вычислить из [3]
Угол между касательными хордами k и l определяется по формуле [3]
Если e , f , g и h — длины касательных от точек A , B , C и D соответственно до точек, где вписанная окружность касается сторон описанного четырехугольника ABCD , то длины диагоналей p = AC и q = BD равны [8] : Лемма3
Если e , f , g и h — длины касательных окружностей четырехугольника, то длины хорд касания равны [3]
где касательная хорда длины k соединяет стороны длиной a = e + f и c = g + h , а касательная хорда длины l соединяет стороны длиной b = f + g и d = h + e . Квадрат отношения касательных хорд удовлетворяет [3]
Две касательные хорды
Хорда касания между сторонами AB и CD в описанном четырехугольнике ABCD длиннее, чем хорда между сторонами BC и DA тогда и только тогда, когда бимедиана между сторонами AB и CD короче, чем хорда между сторонами BC и DA . [18] : стр.162
Если касательный четырехугольник ABCD имеет точки касания W на AB и Y на CD , и если касательная хорда WY пересекает диагональ BD в точке M , то отношение длин касательных равно отношению отрезков диагонали BD . [19]
Если M 1 и M 2 являются серединами диагоналей AC и BD соответственно в описанном четырехугольнике ABCD с центром вписанной окружности I , и если пары противоположных сторон пересекаются в точках J и K , а M 3 является серединой JK , то точки M 3 , M 1 , I и M 2 лежат на одной прямой . [4] : стр.42 Прямая, содержащая их, является линией Ньютона четырехугольника.
Если продолжения противоположных сторон в касательном четырехугольнике пересекаются в точках J и K , а продолжения противоположных сторон в его контактном четырехугольнике пересекаются в точках L и M , то четыре точки J , L , K и M лежат на одной прямой. [20] : Cor.3
Если вписанная окружность касается сторон AB , BC , CD , DA в точках T1 , T2 , T3 , T4 соответственно , и если N1 , N2 , N3 , N4 являются изотомически сопряженными точками этих точек относительно соответствующих сторон (то есть AT1 = BN1 и так далее ) , то точка Нагеля касательного четырехугольника определяется как пересечение прямых N1N3 и N2N4 . Обе эти прямые делят периметр четырехугольника на две равные части. Что еще более важно, точка Нагеля N , « центроид площади» G и инцентр I лежат на одной прямой в этом порядке, и NG = 2GI . Эта линия называется линией Нагеля касательного четырехугольника. [21]
В описанном четырехугольнике ABCD с центром вписанной окружности I и диагоналями, пересекающимися в точке P , пусть H X , H Y , H Z , H W будут ортоцентрами треугольников AIB , BIC , CID , DIA . Тогда точки P , H X , H Y , H Z , H W лежат на одной прямой. [10] : с.28
Две диагонали и две касательные хорды являются параллельными . [11] [10] : стр.11 Один из способов увидеть это — как предельный случай теоремы Брианшона , которая гласит, что шестиугольник, все стороны которого касаются одного конического сечения , имеет три диагонали, которые пересекаются в точке. Из касательного четырехугольника можно образовать шестиугольник с двумя углами 180°, поместив две новые вершины в две противоположные точки касания; все шесть сторон этого шестиугольника лежат на прямых, касательных к вписанной окружности, так что его диагонали пересекаются в точке. Но две из этих диагоналей совпадают с диагоналями касательного четырехугольника, а третья диагональ шестиугольника является прямой, проходящей через две противоположные точки касания. Повторение этого же аргумента с двумя другими точками касания завершает доказательство результата.
Если продолжения противоположных сторон в касательном четырехугольнике пересекаются в точках J и K , а диагонали пересекаются в точке P , то JK перпендикулярна продолжению IP , где I — инцентр. [20] : Cor.4
Центр вписанной окружности описанного четырехугольника лежит на его линии Ньютона (которая соединяет середины диагоналей). [22] : Теор. 3
Отношение двух противоположных сторон в описанном четырехугольнике можно выразить через расстояния между центром вписанной окружности I и вершинами согласно [10] : стр.15
Произведение двух смежных сторон в описанном четырехугольнике ABCD с центром вписанной окружности I удовлетворяет [23]
Если I — инцентр описанного четырехугольника ABCD , то [10] : стр.16
Центр вписанной окружности I в описанном четырехугольнике ABCD совпадает с «центром тяжести вершины» четырехугольника тогда и только тогда, когда [10] : стр.22
Если M p и M q являются серединами диагоналей AC и BD соответственно в описанном четырехугольнике ABCD с центром вписанной окружности I , то [10] : стр.19 [24]
где e , f , g и h — длины касательных в точках A , B , C и D соответственно. Объединяя первое равенство с предыдущим свойством, «вершинный центроид» тангенциального четырехугольника совпадает с инцентром тогда и только тогда, когда инцентр является серединой отрезка, соединяющего середины диагоналей.
Если четырехзвенная связь выполнена в форме касательного четырехугольника, то она останется касательной независимо от того, как сгибается связь, при условии, что четырехугольник остается выпуклым. [25] [26] (Так, например, если квадрат деформируется в ромб, он остается касательным, хотя и к меньшей вписанной окружности). Если одна сторона удерживается в фиксированном положении, то при сгибании четырехугольника вписанный центр описывает окружность радиуса, где a, b, c, d — стороны в последовательности, а s — полупериметр.
В неперекрывающихся треугольниках APB , BPC , CPD , DPA, образованных диагоналями выпуклого четырехугольника ABCD , где диагонали пересекаются в точке P , имеются следующие характеристики описанных четырехугольников.
Пусть r 1 , r 2 , r 3 и r 4 обозначают радиусы вписанных окружностей в четырех треугольниках APB , BPC , CPD и DPA соответственно. Чао и Симеонов доказали, что четырехугольник является касательным тогда и только тогда, когда [27]
Эта характеристика была доказана пятью годами ранее Вайнштейном. [17] : с.169 [28] В решении его задачи похожая характеристика была дана Васильевым и Сендеровым. Если h 1 , h 2 , h 3 и h 4 обозначают высоты в тех же четырех треугольниках (от диагонального пересечения до сторон четырехугольника), то четырехугольник является касательным тогда и только тогда, когда [5] [28]
Другая похожая характеристика касается вневписанных радиусов r a , r b , r c и r d в тех же четырех треугольниках (четыре вневписанные окружности касаются одной стороны четырехугольника и продолжений его диагоналей). Четырехугольник является вписанным тогда и только тогда, когда [1] : стр.70
Если R 1 , R 2 , R 3 и R 4 обозначают радиусы описанных окружностей треугольников APB , BPC , CPD и DPA соответственно, то четырехугольник ABCD является касательным тогда и только тогда, когда [29] : стр. 23–24
В 1996 году Вайнштейн, вероятно, был первым, кто доказал еще одну прекрасную характеристику касательных четырехугольников, которая позже появилась в нескольких журналах и на веб-сайтах. [1] : стр. 72–73 В ней говорится, что когда выпуклый четырехугольник разделен на четыре неперекрывающихся треугольника его двумя диагоналями, то вписанные центры четырех треугольников являются конциклическими тогда и только тогда, когда четырехугольник является касательным. Фактически, вписанные центры образуют ортодиагональный вписанный четырехугольник . [1] : стр. 74 Связанный результат заключается в том, что вписанные окружности можно заменить на вневписанные окружности тех же треугольников (касательные к сторонам четырехугольника и продолжениям его диагоналей). Таким образом, выпуклый четырехугольник является касательным тогда и только тогда, когда центры вневписанных окружностей в этих четырех вневписанных окружностях являются вершинами вписанного четырехугольника . [1] : стр. 73
Выпуклый четырехугольник ABCD с диагоналями, пересекающимися в точке P , является касательным тогда и только тогда , когда четыре центра вневписанных окружностей в треугольниках APB , BPC , CPD и DPA , лежащие напротив вершин B и D, являются концентрическими. [1] : стр. 79 Если Ra , Rb , Rc и Rd являются радиусами вневписанных окружностей в треугольниках APB , BPC , CPD и DPA соответственно напротив вершин B и D , то еще одно условие состоит в том, что четырехугольник является касательным тогда и только тогда, когда [ 1] : стр. 80
Далее, выпуклый четырехугольник ABCD с диагоналями, пересекающимися в точке P, является касательным тогда и только тогда, когда [5]
где ∆( APB ) — площадь треугольника APB .
Обозначим отрезки, на которые диагональное пересечение P делит диагональ AC , как AP = p 1 и PC = p 2 , и аналогично P делит диагональ BD на отрезки BP = q 1 и PD = q 2 . Тогда четырехугольник является касательным тогда и только тогда, когда верно одно из следующих равенств: [30]
или [1] : стр. 74
или [1] : стр. 77
Описанный четырехугольник является ромбом тогда и только тогда, когда его противолежащие углы равны. [31]
Описанный четырехугольник является воздушным змеем тогда и только тогда, когда выполняется хотя бы одно из следующих условий: [17]
Если вписанная окружность касается сторон AB , BC , CD , DA в точках W , X , Y , Z соответственно, то описанный четырехугольник ABCD также является вписанным (и, следовательно, бицентрическим ) тогда и только тогда, когда выполняется любое из следующих условий: [2] [3] : стр.124 [20]
Первое из этих трех означает, что контактный четырехугольник WXYZ является ортодиагональным четырехугольником .
Описанный четырехугольник является бицентрическим тогда и только тогда, когда его радиус вписанной окружности больше, чем у любого другого описанного четырехугольника, имеющего ту же последовательность длин сторон. [32] : стр.392–393
Если вписанная окружность касается сторон AB и CD в точках W и Y соответственно, то описанный четырехугольник ABCD также является трапецией с параллельными сторонами AB и CD тогда и только тогда, когда [33] : Теор. 2
и AD и BC являются параллельными сторонами трапеции тогда и только тогда, когда