Jännenelikulmio

Jännenelikulmio eli syklinen nelikulmio on geometriassa nelikulmio, jonka kärjet sijaitsevat ympyrän kehällä. Sanotaan, että syklisen nelikulmion kärjet ovat konsykliset. Kukin nelikulmion sivu on myös ympyrän jänne. Kaikille kolmioille voidaan piirtää ympyrä (ulkoympyrä), joka kulkee jokaisen kolmion kärjen kautta. Nelikulmiolla tämä ei enää pidä paikkaansa. Jos ympyrä kulkee ensin kolmen kärjen kautta, voi neljäs kärki sijaita muuallakin kuin ympyrän kehällä. Jännenelikulmiot ovat siten nelikulmioiden erityinen luokka. Kuitenkin kaikki neliöt, suorakulmiot ja tasakylkiset puolisuunnikkaat ovat syklisiä nelikulmioita. Jännenelikulmiolla on kaksi paria vastakkaisia kulmia. Voidaan osoittaa, että jännenelikulmiossa vastakkaiset kulmat ovat toistensa suplementtikulmia eli vastakkaisten kulmien summa on aina 180 astetta. Supplementtikulmaehto on myös välttämätön ehto sille, että nelikulmion kärkien kautta voidaan piirtää ympyrä. == Erityispiirteitä == Seuraavat ehdot ovat tasavertaisia keskenään. Niissä viitataan viereisten kuvien merkintöihin. Nelikulmio on konveksi ja syklinen jos ja vain jos * vastakkaiset kulmat ovat supplemettikulmia eli niiden summa on 180 astetta. Viereisen kuvan merkinnöin \alpha + \gamma = 180^\circ ja \beta + \delta = 180^\circ. * kaikkien sivujen keskinormaalit leikkaavat toisensa pisteessä O (Cantorin lause). * kunkin kulman ulkokulma on yhtäsuuri kuin vastainen kulma. Esimerkiksi kulman \beta ulkokulma on sama suuruinen kuin kulma \delta itse. * nelikulmion lävistäjien AC ja BD leikkauspiste P toteuttaa pisteen potenssin eli että e \cdot g = f \cdot h. * lävistäjien p = AC = e+g ja q= BD = f+h tulo on vastaisten sivujen tulojen summa eli Ptolemaioksen lauseen mukaan p \cdot q = a \cdot c + b \cdot d. * sivun ja lävistäjän välinen kulma on yhtä suuri kuin vastaisen sivun ja toisen lävistäjän välinen kulma viereisessä kulmassa. Nämä kulmat ovat samaa kaarta vastaavat kehäkulmat ja ovat siksi yhtä suuret. Viereisessä kuvassa samansuuruiset kulmat on samanväriset. * edellinen havainto auttaa huomaamaan, että lävistäjien erottamat kolmiot ovat yhdenmuotoiset: \Delta AMB \sim \Delta DMC ja \Delta DMA \sim \Delta CMB. == Ominaisuuksia == === Pinta-ala === Yleisen nelikulmion ala on, kun s = \tfrac{1}{2} (a+b+c+d) on puolipiiri, :A = \sqrt{(s-a)(s-b)(s-c)(s-d) - a b c d \cos^2 {\frac {\beta + \delta}{2}}}. Koska syklisessä nelikulmiossa \beta + \delta = 180^\circ ja \cos {\frac {\beta + \delta}{2}} = 0, tulee pinta-alasta :A = \sqrt{(s-a)(s-b)(s-c)(s-d)}, mikä tunnetaan Brahmaguptan kaavana. Pinta-ala on suurin niiden nelikulmioiden joukossa, joiden sivut ovat samat kuin syklisellä nelikulmiolla. === Lävistäjien pituudet === Syklisen nelikulmion lävistäjät voidaan laskea seuraavasti: : q = BD = \sqrt{(a c + b d) \frac{a b + c d}{a d + b c}} ja : p = AC = \sqrt{(a c + b d) \frac{a d + b c}{a b + c d}}. Tulos tunnetaan nimellä Mahaviran lause. === Ympäröivän ympyrän säde === Syklisen nelikulmion ympyrän säteelle voidaan johtaa lauseke :R = \frac{\sqrt{ (ab+cd)(ac+bd)(ad+bc)}}{4A}, Lennart Råde, Bertil Westergren, Mathematical Handbook for Science and Engineeringhttp://2000clicks.com/mathhelp/geometrytrianglecyclicquadrilateralcircumscribedcircle.aspx missa A on nelikulmion pinta-ala. == Lähteet == * * === Viitteet === Luokka:Monikulmiot