V euklidovské geometrii je ortodiagonální čtyřúhelník čtyřúhelník , ve kterém se úhlopříčky protínají v pravých úhlech .
Deltoid je ortodiagonální čtyřúhelník, ve kterém jedna úhlopříčka je osou symetrie. Deltoidy jsou přesně ortodiagonální čtyřúhelníky, které mají kružnici tečnou ke všem čtyřem stranám. Deltoidy jsou tedy opsané ortodiagonální čtyřúhelníky [1] .
Kosočtverec je pravoúhlý čtyřúhelník se dvěma páry rovnoběžných stran (tj. pravoúhlý čtyřúhelník a rovnoběžník zároveň).
Čtverec je zvláštní případ ortodiagonálního čtyřúhelníku, který je zároveň deltovým i kosočtvercovým.
Ortodiagonální ekvidiagonální čtyřúhelníky, ve kterých úhlopříčky nejsou menší než kterákoli strana, mají maximální průměr ze všech čtyřúhelníků, což řeší n = 4 případ problému největšího jednotkového průměru polygonu v ploše . Čtverec je jedním takovým čtyřúhelníkem, ale existuje nekonečně mnoho dalších.
Pro jakýkoli ortodiagonální čtyřúhelník jsou součty čtverců protilehlých stran stejné - pro strany a , b , c a d máme [2] [3] :
Vyplývá to z Pythagorovy věty , podle níž se kterýkoli z těchto dvou součtů rovná součtu čtyř čtverců vzdáleností od vrcholů čtyřúhelníku k průsečíku úhlopříček.
Naopak každý čtyřúhelník, ve kterém a 2 + c 2 = b 2 + d 2 musí být ortodiagonální [4] . To lze ukázat mnoha způsoby pomocí kosinové věty , vektorů , důkazu kontradikcí a komplexních čísel [5] .
Úhlopříčky konvexního čtyřúhelníku jsou kolmé právě tehdy, když mají bimediány stejnou délku [5] .
Úhlopříčky konvexního čtyřúhelníku ABCD jsou také kolmé tehdy a jen tehdy
,kde P je průsečík úhlopříček. Z této rovnosti téměř okamžitě vyplývá, že úhlopříčky konvexního čtyřúhelníku jsou také kolmé právě tehdy, když průměty průsečíku úhlopříček na strany čtyřúhelníku jsou vrcholy vepsaného čtyřúhelníku [5] .
Konvexní čtyřúhelník je ortodiagonální právě tehdy, když jeho Varignonův rovnoběžník (jehož vrcholy jsou středy stran) je obdélník [5] . Také konvexní čtyřúhelník je ortodiagonální právě tehdy, když středy jeho stran a základny čtyř antimediatrices jsou osm bodů ležících na stejné kružnici , kružnici osmi bodů . Střed této kružnice je těžištěm čtyřúhelníku. Čtyřúhelník tvořený bázemi antimediatrií se nazývá hlavní ortočtyřúhelník [6] .
Jestliže normály ke stranám konvexního čtyřúhelníku ABCD průsečíkem úhlopříček protínají opačné strany v bodech R , S , T , U a K , L , M , N jsou bázemi normál, pak čtyřúhelník ABCD je ortodiagonální právě tehdy, když osm bodů K , L , M , N , R , S , T a U leží na stejné kružnici, druhá kružnice o osmi bodech . Kromě toho je konvexní čtyřúhelník ortodiagonální právě tehdy, když čtyřúhelník RSTU je obdélník, jehož strany jsou rovnoběžné s úhlopříčkami čtyřúhelníku ABCD [5] .
Existuje několik vztahů ohledně čtyř trojúhelníků tvořených průsečíkem úhlopříček P a vrcholy konvexního čtyřúhelníku ABCD . Označme m 1 , m 2 , m 3 , m 4 mediány v trojúhelníkech ABP , BCP , CDP , DAP od P ke stranám AB , BC , CD , DA . Označme R 1 , R 2 , R 3 , R 4 poloměry opsaných kružnic a prostřednictvím h 1 , h 2 , h 3 , h 4 - výšky těchto trojúhelníků. Pak je čtyřúhelník ABCD ortodiagonální právě tehdy, když platí některá z následujících rovností [5] :
Navíc čtyřúhelník ABCD s průsečíkem úhlopříček P je pravoúhlý právě tehdy, když středy kružnic popsaných kolem trojúhelníků ABP , BCP , CDP a DAP jsou středy stran čtyřúhelníku [5] .
Některé číselné charakteristiky popisovaných čtyřúhelníků a pravoúhlých čtyřúhelníků jsou velmi podobné, jak je vidět v následující tabulce [5] . Zde jsou délky stran čtyřúhelníku a , b , c , d , poloměry opsaných kružnic kolem trojúhelníků jsou R 1 , R 2 , R 3 , R 4 a výšky jsou h 1 , h 2 , h 3 , h 4 (jako na obrázku) .
Opsaný čtyřúhelník | ortodiagonální čtyřúhelník |
---|---|
Plocha K pravoúhlého čtyřúhelníku je rovna polovině součinu délek úhlopříček p a q [7] :
Naopak každý konvexní čtyřúhelník, jehož plocha se rovná polovině součinu úhlopříček, je ortodiagonální [5] . Ortodiagonální čtyřúhelník má největší plochu ze všech konvexních čtyřúhelníků s danými úhlopříčkami.
Nechť průsečík úhlopříček v pravoúhlém čtyřúhelníku vepsaném do kruhu rozdělí jednu z úhlopříček na úseky délky p 1 a p 2 a druhou na úseky délky q 1 a q 2 . Potom (první rovnost ve výroku 11 v Archimédových lemmatech )
,kde D je průměr kružnice opsané . To platí pro libovolné dva kolmé tětivy kružnice [9] . Z tohoto vzorce vyplývá výraz pro poloměr kružnice opsané
nebo pokud jde o strany čtyřúhelníku,
Z toho také vyplývá, že
Potom lze podle Eulerova vzorce vyjádřit poloměr kružnice opsané pomocí úhlopříček p a q a vzdálenosti x mezi středy úhlopříček.
Vzorec pro plochu K vepsaného pravoúhlého čtyřúhelníku z hlediska čtyř stran se získá přímo kombinací Ptolemaiovy věty a vzorce pro obsah ortodiagonálního čtyřúhelníku .
Jakýkoli ortodiagonální čtyřúhelník může být vepsán nekonečně mnoha obdélníky, které patří do následujících dvou sad:
i) obdélníky, jejichž strany jsou rovnoběžné s úhlopříčkami pravoúhlého čtyřúhelníku (ii) obdélníky definované Pascalovými bodovými kružnicemi. [10] [11] [12]