Ortodiagonaalinen nelikulmio

**Ortodiagonaalinen nelikulmio** on geometriassa nelikulmio, jonka lävistäjät leikkaavat toisensa kohtisuoraan. Nelikulmiossa kohtisuora leikkaaminen ei tapahdu aina, joten nelikulmiolla tulee sen vuoksi olla joitakin erityisiä ominaisuuksia. Sana *diagonaali* on synonyymi lävistäjälle ja *orto* viittaa lävistäjän kohtisuoruuteen. Tunnettuja ortodiagonaalisia nelikulmioita ovat esimerkiksi neliö, neljäkäs ja leija.

Pseudocarre.svg
Quadrilateres a diagonales perpendiculaires.png

## Erityispiirteitä
Konveksi nelikulmio on ortodiagonaali jos ja vain jos (kaikissa lähteenä )
* vastakkaisten sivujen (a_1,a_2,a_3 ja a_4) neliöiden summat ovat samat eli a_1^2 + a_3^2 = a_2^2 + a_4^2 . Tämä vastaa geometrisesti sitä, että kullakin sivulla on neliöt, joiden sivut vastaavat nelikulmion sivuja, ja vastakkaisten neliöiden pinta-alojen summat ovat samat.
* bimediaanit (eli vastakkaisten sivujen keskipisteitä yhdistävät janat) ovat yhtä pitkät.
* sivujen keskipisteet muodostavat suorakulmion, mikä on erikoistapaus Varignonin lauseesta.
* sekä bimediaanien että maltitudien (eli sivun keskipisteen korkeusjana vastakkaista sivua vastaan) kantapisteet ovat konsykliset (yhteensä 8 pistettä).
* lävistäjien rajaamissa kolmioissa vastakkaisten kolmioiden neljän kantakulman summa on aina 180°. Toisten kolmioparin kantakulmien summa on silloin luonnollisesti myös 180°. Yhdessä nämä tekevät 360°, mikä onkin nelikulmion kulmien summa. 
Seuraavassa tarkastellaan nelikulmion lävistäjien leikkauspisteen L ominaisuuksia. Pisteen L projektioita kullekin sivulle kutsutaan tässä pedaalipisteiksi ja pisteen L ja pedaalipisteen välisiä "korkeusjanoja" merkitään h_1,h_2,h_3 ja h_4. Edellistä luetteloa nyt jatkaen, eli konveksi nelikulmio on ortodiagonaali jos ja vain jos (kaikissa lähteenä edelleen )
* pedaalipisteet muodostavat nelikulmion, joka on syklinen nelikulmio.
* pedaalipisteiden normaalit leikkaavat vastakkaisia sivuja pisteissä, jotka ovat yhdessä pedaalipisteiden kanssa konsykliset (kahdeksan pisteen ympyrä). Piste L muodostaa siis kaksi syklistä nelikulmiota, joilla on eri säteet.
* pisteen L ja sivujen keskipisteiden väliset janat (m_1,m_2,m_3,m_4) toteuttavat yhtälön m_1^2 + m_3^2 = m_2^2 + m_4^2.
* pisteen L ja nelikulmion kärkien väliset janat muodostavat neljä kolmiota, joiden ulkoympyröiden säteet toteuttavat yhtälön R_1^2 + R_3^2 = R_2^2 + R_4^2.
* edellä mainittujen ulkoympyröiden keskipisteet yhtyvät sivujen keskipisteisiin.
* pisteen L korkeudet kullekin sivulle toteuttavat yhtälön \frac{1}{h_1^2}+\frac{1}{h_3^2}=\frac{1}{h_2^2}+\frac{1}{h_4^2}.

## Ominaisuuksia
:A = \tfrac{1}{2}pq,  (pinta-ala)
missä p ja q ovat kohtisuorat lävistäjät.

## Erityisiä ortodiagonaalisia nelikulmioita

### Neliö
Neliö on säännöllinen nelikulmio. Sillä on kaikki sivut yhtä pitkiä, molemmat lävistäjät saman pituisia ja ne leikkaavat toisensa kohtisuoraan sekä puolittavat toisensa. Neliön sisälle piirretty sisäympyrä sivuaa kaikkia sivuja, joten se on myös tangentiaalinen nelikulmio, ja neliön ympäri piirretty ympyrä kulkee kaikkien sen kärkien kautta, joten se on myös syklinen.

### Neljäkäs
Neljäkäs on suunnikas, jolla on kaikki sivut yhtä pitkiä, mutta sivuja on kahden pituisia. Neljäkkään lävistäjät leikkaavat toisensa kohtisuoraan ja samalla puolittavat toisensa. Myös neljäkäs on tangentiaalinen nelikulmio.

### Leija
Leijalla yksi lävistäjistä toimii symmetria-akselina. Myös leija on tangentiaalinen nelikulmio.

## Lähteet
### Viitteet