En indskrevet-omskrevet firkant er en konveks firkant , der har både en indskrevet cirkel og en omskrevet cirkel . Det følger af definitionen, at indskrevne-omskrevne firkanter har alle egenskaberne for både omskrevne firkanter og indskrevne firkanter . Andre navne for disse firkanter er akkordtangent firkant [1] og bicentrisk firkant . De kaldes også to-cirkel firkanter [2] .
Hvis to cirkler, den ene inde i den anden, er den indskrevne cirkel og den omskrevne cirkel af en eller anden firkant, så er ethvert punkt på den omskrevne cirkel toppunktet for nogle (muligvis forskellige) indskrevne firkanter med de samme indskrevne og omskrevne cirkler [3] . Dette er en konsekvens af Poncelets porisme , som blev bevist af den franske matematiker Jean-Victor Poncelet (1788-1867).
Eksempler på indskrevne-omskrevne firkanter er firkanter , rektangulære deltoider og ligebenede omskrevne trapezoider .
En konveks firkant ABCD med siderne a , b , c , d er bicentrisk, hvis og kun hvis de modstående sider opfylder Pitot-sætningen for omskrevne firkanter og den egenskab ved indskrevne firkanter, at de modsatte vinkler summerer til 180 grader, dvs.
Tre andre beskrivelser vedrører de punkter, hvor den indskrevne cirkel i den omskrevne firkant rører siderne. Hvis en incirkel tangerer siderne AB , BC , CD og DA i henholdsvis punkterne W , X , Y og Z , så er den omskrevne firkant ABCD også omskrevet hvis og kun hvis en af følgende tre betingelser er opfyldt [4] :
Den første af disse tre betingelser betyder, at kontaktfirkanten WXYZ er en ortodiagonal firkant .
Hvis E , F , G , H er midtpunkterne af henholdsvis WX , XY , YZ , ZW , så er en omskrevet firkant ABCD også omskrevet hvis og kun hvis firkant EFGH er et rektangel [4] .
Ifølge en anden beskrivelse, hvis I er det indskrevne cirkelcentrum af en indskrevet firkant , hvis modsatte sideforlængelser skærer hinanden ved J og K , så er firkanten omskrevet, hvis og kun hvis JIK er en ret vinkel [4] .
En anden nødvendig og tilstrækkelig betingelse er, at en afgrænset firkant ABCD er omskrevet, hvis og kun hvis dens Gauss -linje er vinkelret på Gauss-linjen af dens kontaktfirkant WXYZ . (Den gaussiske linje af en firkant bestemmes af midtpunkterne af dens diagonaler.) [4]
Der er en simpel metode til at konstruere en bicentrisk firkant:
Konstruktionen begynder med en indskrevet cirkel C r med centrum I og radius r , og tegn derefter to vinkelrette på hinanden akkorder WY og XZ i den indskrevne cirkel C r . I enderne af akkorderne tegner vi tangenterne a , b , c og d til den indskrevne cirkel. De skærer hinanden i punkterne A, B, C og D , som er hjørnerne af den indskrevet-omskrevne firkant [5] . For at tegne den omskrevne cirkel skal du tegne to mediale perpendikulære p 1 og p 2 til siderne af henholdsvis den indskrevne-omskrevne firkant a og b . De skærer hinanden i centrum O af den omskrevne cirkel C R i en afstand x fra centrum I af den indskrevne cirkel C r .
Gyldigheden af denne konstruktion følger af, at i den omskrevne firkant ABCD har kontaktfirkanten WXYZ vinkelrette diagonaler , hvis og kun hvis den omskrevne firkant også er en indskrevet .
Arealet K af en indskrevet-omskrevet firkant kan udtrykkes i form af firkantens fire dimensioner på flere måder. Hvis a , b , c og d er sider, så er arealet givet ved [3] [6] [7] [8] [9]
Dette er et særligt tilfælde af Brahmaguptas formel . Formlen kan også fås direkte fra den trigonometriske formel for området af den omskrevne firkant . Bemærk, at det omvendte ikke holder - nogle firkanter, der ikke er bicentriske, har også areal [10] . Et eksempel på en sådan firkant er et rektangel (med forskellige sider, ikke en firkant).
Arealet kan udtrykkes som segmenter fra toppunktet til kontaktpunktet (for kortheds skyld vil vi kalde disse længder tangentlængder) e , f , g , h [11]
Formlen for arealet af den indskrevne-omskrevne firkant ABCD med midten af den indskrevne cirkel I [7]
Hvis en indskrevet-omskrevet firkant har tangent-akkorder k , l og diagonaler p , q , så har den areal [12]
Hvis k , l er tangentakkorder og m , n er firkantede bimedianer , så kan arealet beregnes ved hjælp af formlen [7] .
Formlen kan ikke bruges, hvis firkanten er en ret deltoid , fordi nævneren i dette tilfælde er nul.
Hvis M og N er midtpunkterne af diagonalerne, og E og F er skæringspunkterne for forlængelsen af siderne, så er arealet af den indskrevne firkant givet af
,hvor I er midten af den indskrevne cirkel [7] .
Arealet af en indskrevet-omskrevet firkant kan udtrykkes som to modstående sider og vinklen θ mellem diagonalerne i henhold til formlen [7]
I form af to tilstødende vinkler og radius r af den indskrevne cirkel, er arealet givet af formlen [7]
Arealet er angivet som radius R af den omskrevne cirkel og radius r af den indskrevne cirkel som
hvor θ er en hvilken som helst af vinklerne mellem diagonalerne [13] .
Hvis M og N er midtpunkterne af diagonalerne, og E og F er skæringspunkterne for forlængelserne af modstående sider, kan arealet udtrykkes med formlen
,hvor Q er bunden af vinkelret på linjen EF fra midten af den indskrevne cirkel [7] .
Hvis r og R er radius af henholdsvis den indskrevne cirkel og radius af den omskrevne cirkel, så opfylder arealet K den dobbelte ulighed [14]
Vi får kun lighed, hvis firkanten er en firkant .
En anden ulighed for areal ville være [15] :s.39,#1203
,hvor r og R er henholdsvis radius af den indskrevne cirkel og radius af den omskrevne cirkel.
En lignende ulighed, der giver en bedre øvre grænse for området end den forrige [13]
og lighed opnås, hvis og kun hvis firkanten er en højre deltoideus .
Også med siderne a, b, c, d og semi-perimeter s :
[15] :s.39,#1203 [15] :s.39,#1203 [15] :s.39,#1203Hvis a , b , c og d er længderne af siderne AB , BC , CD og DA i den indskrevne-omskrevne firkant ABCD , så kan dens topvinkel beregnes ved hjælp af tangenten [7] :
Ved at bruge samme notation er følgende formler for sinus og cosinus opfyldt [16] :
Vinklen θ mellem diagonalerne kan beregnes ud fra formlen [8] .
Radius af den indskrevne cirkel r af den indskrevne-omskrevne firkant bestemmes af siderne a , b , c , d ifølge formlen [3]
Radius af den omskrevne cirkel R er et specialtilfælde af Paramesvara-formlen [3]
Radius af den indskrevne cirkel kan også udtrykkes i form af successive tangentlængder e , f , g , h ifølge formlen [17] .
Disse to formler er faktisk nødvendige og tilstrækkelige betingelser for, at en omskrevet firkant med incirkelradius r kan indskrives .
De fire sider a , b , c , d af den indskrevne-omskrevne firkant er løsninger til ligningen af fjerde grad
,hvor s er halvperimeteren og r og R er henholdsvis radius af den indskrevne cirkel og radius af den omskrevne cirkel [18] .
Hvis der er en indskrevet-omskrevet firkant med en indskrevet cirkelradius r , hvis tangentlængder er lig med e , f , g , h , så er der en indskrevet-omskrevet firkant med en indskrevet cirkelradius r v , hvis tangentlængder er , hvor v kan være et hvilket som helst reelt tal [19] .
En indskrevet-omskrevet firkant har en større incirkelradius end nogen anden omskrevet firkant med samme sidelængde i samme rækkefølge [20] .
Radius af den omskrevne cirkel R og radius af den indskrevne cirkel r opfylder uligheden
,hvilket blev bevist af L. Fejes Toth i 1948 [21] . En ulighed bliver kun en lighed, hvis de to cirkler er koncentriske (centrene er de samme). I dette tilfælde er firkanten en firkant . Uligheden kan bevises på flere forskellige måder, en af måderne er at bruge den dobbelte ulighed for området ovenfor.
En generalisering af den tidligere ulighed er [2] [22] .
,hvor ulighed bliver til lighed, hvis og kun hvis firkanten er en firkant [23] .
Semiperimeteren s af en indskrevet-omskrevet firkant opfylder [24]
,hvor r og R er henholdsvis radius af den indskrevne cirkel og radius af den omskrevne cirkel.
Desuden [15] :s.39,#1203
og
[15] :s.62,#1599Fuss-sætningen giver en sammenhæng mellem den omskrevne cirkelradius r , den omskrevne cirkelradius R og afstanden x mellem det incirkulære centrum I og det omskrevne cirkelcentrum O , for enhver bicentrisk firkant. Forbindelsen er givet ved formlen [1] [9] [25] .
Eller tilsvarende,
Formlen blev udledt af Nikolai Ivanovich Fuss (1755–1826) i 1792. Løser vi for x , får vi
Fuss-sætningen for indskrevne-omskrevne firkanter, som er analog med Eulers sætning for trekanter , siger, at hvis en firkant er bicentrisk, så er dens to tilknyttede cirkler forbundet med ovenstående formel. Faktisk gælder det omvendte også - hvis to cirkler er givet (den ene inden i den anden) med radius R og r og afstanden x mellem deres centre opfylder betingelsen for Fuss-sætningen, er der en konveks firkant indskrevet i en af cirklerne , og den anden cirkel vil blive indskrevet i firkanten [26 ] (og så er der ved Poncelets sætning uendeligt mange sådanne firkanter).
Hvis vi bruger det faktum, at vi i Fuss-sætningens udtryk opnår den allerede nævnte ulighed på en anden måde Generaliseringen af uligheden er [27]
En anden formel for afstanden x mellem centrum af den indskrevne cirkel og den omskrevne cirkel skyldes den amerikanske matematiker Leonard Karlitz (1907-1999). Formlen siger, at [28] .
,hvor r og R er henholdsvis radius af den indskrevne cirkel og radius af den omskrevne cirkel , og
,hvor a , b , c , d er siderne af den indskrevet-omskrevne firkant.
For tangentlængder e , f , g , h gælder følgende uligheder [29] :
og
,hvor r er radius af den indskrevne cirkel, R er radius af den omskrevne cirkel, og x er afstanden mellem disse cirklers centre. Siderne a , b , c , d opfylder ulighederne [27]
og
Centrum af den omskrevne cirkel , midten af den indskrevne cirkel og skæringspunktet for diagonalerne i den indskrevne-omskrevne firkant er kollineære . [tredive]
Der er følgende lighed med hensyn til de fire afstande mellem midten af incirkel I og hjørnerne af den bicentriske firkant ABCD : [31]
,hvor r er radius af den indskrevne cirkel.
Hvis punktet P er skæringspunktet mellem diagonalerne i den indskrevne firkant ABCD med midten af den indskrevne cirkel I , så [32]
Der er en ulighed for radius r af den indskrevne cirkel og radius af den omskrevne cirkel R i den indskrevne-omskrevne firkant ABCD [33]
,hvor I er midten af den indskrevne cirkel.
Længderne af diagonalerne i en indskrevet-omskrevet firkant kan udtrykkes i form af sider eller tangentlængder . Disse formler er gyldige for henholdsvis indskrevne firkanter og omskrevne firkanter .
I en indskrevet-omskrevet firkant med diagonalerne p og q er identiteten [34] sand :
,hvor r og R er henholdsvis radius af den indskrevne cirkel og radius af den omskrevne cirkel . Denne identitet kan omskrives som [13]
eller ved at løse det som en andengradsligning i forhold til produktet af diagonalerne, får vi
Der er en ulighed for produktet af diagonaler p , q i en indskrevet-omskrevet firkant [14]
,hvor a , b , c , d er sider. Uligheden blev bevist af Murray S. Klumkin i 1967.