I euklidisk geometri er en ortodiagonal firkant en firkant , hvor diagonalerne skærer hinanden i rette vinkler .
En deltoideus er en ortodiagonal firkant, hvor en diagonal er symmetriaksen. Deltoider er nøjagtigt ortodiagonale firkanter med en cirkel, der tangerer alle fire sider. Således er deltoider afgrænsede ortodiagonale firkanter [1] .
En rhombus er en ortodiagonal firkant med to par parallelle sider (dvs. en ortodiagonal firkant og et parallelogram på samme tid).
Et kvadrat er et specialtilfælde af en ortodiagonal firkant, som både er en deltoideus og en rombe.
Ortho-diagonale ækvidiagonale firkanter, hvor diagonalerne ikke er mindre end en hvilken som helst side, har den maksimale diameter blandt alle firkanter, hvilket løser n = 4 tilfælde af problemet med den største enhedsdiameter polygon i areal . Pladsen er en sådan firkant, men der er uendeligt mange andre.
For enhver ortodiagonal firkant er summen af kvadrater af modstående sider lig - for siderne a , b , c og d har vi [2] [3] :
Dette følger af Pythagoras sætning , ifølge hvilken enhver af disse to summer er lig med summen af fire kvadrerede afstande fra firkantens hjørner til diagonalernes skæringspunkt.
Omvendt skal enhver firkant, hvor a 2 + c 2 = b 2 + d 2 være ortodiagonal [4] . Dette kan vises på mange måder ved hjælp af cosinussætningen , vektorer , modsigelsesbevis og komplekse tal [5] .
Diagonalerne på en konveks firkant er vinkelrette, hvis og kun hvis bimedianerne har samme længde [5] .
Diagonalerne af en konveks firkant ABCD er også vinkelrette hvis og kun hvis
,hvor P er skæringspunktet for diagonalerne. Af denne lighed følger det næsten umiddelbart, at diagonalerne i en konveks firkant også er vinkelrette, hvis og kun hvis projektionerne af diagonalernes skæringspunkt på firkantens sider er hjørnerne af den indskrevne firkant [5] .
En konveks firkant er ortodiagonal, hvis og kun hvis dens Varignon-parallelografi (hvis spidser er midtpunkterne på siderne) er et rektangel [5] . Også en konveks firkant er ortodiagonal, hvis og kun hvis midtpunkterne på dens sider og baserne af de fire antimediatrikker er otte punkter, der ligger på samme cirkel , cirklen med otte punkter . Centrum af denne cirkel er tyngdepunktet for firkanten. Firkanten dannet af antimediatrikernes baser kaldes hovedorthoquadrilateralen [6] .
Hvis normalerne til siderne af en konveks firkant ABCD gennem skæringspunktet mellem diagonalerne skærer modstående sider i punkterne R , S , T , U og K , L , M , N er baserne for normalerne, så er firkanten ABCD er ortodiagonal, hvis og kun hvis otte punkter K , L , M , N , R , S , T og U ligger på samme cirkel, den anden cirkel med otte punkter . Derudover er en konveks firkant ortodiagonal, hvis og kun hvis firkantet RSTU er et rektangel, hvis sider er parallelle med diagonalerne på firkanten ABCD [5] .
Der er flere relationer vedrørende de fire trekanter dannet af skæringspunktet mellem diagonalerne P og hjørnerne af den konvekse firkant ABCD . Betegn med m 1 , m 2 , m 3 , m 4 medianerne i trekanter ABP , BCP , CDP , DAP fra henholdsvis P til siderne AB , BC , CD , DA . Betegn med R 1 , R 2 , R 3 , R 4 radierne af de omskrevne cirkler , og gennem h 1 , h 2 , h 3 , h 4 - højderne af disse trekanter. Så er firkantet ABCD ortodiagonalt, hvis og kun hvis nogen af følgende ligheder [5] er sande :
Desuden er firkanten ABCD med skæringspunktet for diagonalerne P ortodiagonal, hvis og kun hvis centrene i cirklerne beskrevet omkring trekanterne ABP , BCP , CDP og DAP er midtpunkterne på firkantens sider [5] .
Nogle numeriske karakteristika for de beskrevne firkanter og ortodiagonale firkanter er meget ens, som det kan ses i følgende tabel [5] . Her er længderne af firkantens sider a , b , c , d , radierne af de omskrevne cirkler omkring trekanterne er R 1 , R 2 , R 3 , R 4 , og højderne er h 1 , h 2 , h 3 , h 4 (som på figuren) .
Omskrevet firkant | ortodiagonal firkant |
---|---|
Arealet K af en ortodiagonal firkant er lig med halvdelen af produktet af længderne af diagonalerne p og q [7] :
Omvendt er enhver konveks firkant, hvis areal er lig med halvdelen af produktet af diagonalerne, ortodiagonal [5] . En ortodiagonal firkant har det største areal blandt alle konvekse firkanter med givne diagonaler.
Lad skæringspunktet for diagonalerne i en ortodiagonal firkant indskrevet i en cirkel opdele en af diagonalerne i segmenter med længden p 1 og p 2 og den anden i segmenter med længden q 1 og q 2 . Derefter (den første lighed i Proposition 11 i Archimedes ' Lemmas )
,hvor D er diameteren af den omskrevne cirkel . Dette gælder for alle to vinkelrette akkorder i cirklen [9] . Fra denne formel følger udtrykket for radius af den omskrevne cirkel
eller, hvad angår siderne af en firkant,
Heraf følger også, at
Derefter kan radius af den omskrevne cirkel ifølge Eulers formel udtrykkes i form af diagonalerne p og q og afstanden x mellem diagonalernes midtpunkter
Formlen for arealet K af en indskrevet ortodiagonal firkant i form af fire sider opnås direkte ved at kombinere Ptolemæus' sætning og formlen for arealet af en ortodiagonal firkant .
Enhver ortodiagonal firkant kan indskrives med uendeligt mange rektangler, der tilhører følgende to sæt:
(i) rektangler, hvis sider er parallelle med diagonalerne på en ortodiagonal firkant (ii) rektangler defineret af Pascals punktcirkler. [10] [11] [12]