Bisentrinen nelikulmio

**Bisentrinen nelikulmio** on geometriassa konveksi nelikulmio, joka on samalla sekä syklinen nelikulmio että tangentiaalinen nelikulmio. Nelikulmio on syklinen, jos sen kärjet sijaitsevat ympäri piirretyllä ympyrän kehällä, ja tangentiaalinen, jos sen kaikki sivut sivuavat sisälle piirrettyä ympyrää.

Kaikki nelikulmiot eivät ole tällaisia. Riittävä ehto, jotta konveksi nelikulmio on bisentrinen nelikulmio, on yhtä aikaa sekä
:s = a + c = b + d  
eli vastaisten sivujen summat ovat yhtäsuuret ja arvoltaan s= \tfrac{1}{2} (a+b+c+d) eli puolipiiri, että 
:\measuredangle{\alpha} + \measuredangle{\gamma} = \measuredangle{\beta} + \measuredangle{\delta} = 180^\circ 
eli vastaisten kulmien summat ovat molemmat 180°.

## Erityispiirteitä
Bisentrinen nelikulmio perii syklisen nelikulmion ja tangentiaalisen nelikulmion kaikki ominaisuudet. Niiden lisäksi sen ominaisuuksia ovat:
* vastakkaisia tangenttien sivuamispisteitä yhdistävät jänteet eli tangentiaaliset jänteet **u** ja **v** ovat keskenään kohtisuorat ja ne leikkaavat pisteessä **Z** (katso viereistä kuviota).
* nelikulmion lävistäjät **p** ja **q** leikkaavat toisensa myös pisteessä **Z**.
* piste **Z**, sisäympyrän keskipiste **I** ja ulkoympyrän keksipiste **O** ovat kollineaarisia.
* vierekkäisiä tangenttien sivuamispisteitä yhdistävät jänteet muodostavat nelikulmion, jonka sivujen keskipisteet muodostavat suorakulmion.
* suora, joka kulkee sisäympyrän keskipisteen **I** kautta, puolittaa sekä nelikulmion alan että piirin.
* jos on olemassa yksikin bisentrinen monikulmio (myös nelikulmio) kahden tietyn sisäkkäisen ympyrän välissä, on niitä vielä ääretön määrä lisää.

## Ominaisuuksia
Sisäympyrän säde **r** on (**A** on nelikulmion pinta-ala. katso alla)
:r= \frac{\sqrt{a b c d}}{s} = \frac{A}{s} = \frac{A}{a + c} = \frac{A}{b + d}. 

Ulkoympyrän säde **R** on
:R = \frac{1}{4} \sqrt{\frac{(a c + b d)(a d + b c)(a b + c d)}{a b c d}}. 

Ulkoympyrän keskipisteen **O** ja sisäympyrän keskipisteen **I** välimatka **w** toteuttaa yhtälön (Fussin lause)
:\frac{1}{(R-w)^2} + \frac{1}{(R+w)^2} = \frac{1}{r^2}. 

Pinta-ala voidaan johtaa syklisen nelikulmion pinta-alan kaavasta (Brahmagupta)
:A_{sykl} = \sqrt{(s-a)(s-b)(s-c)(s-d)}
huomioimalla ehto a + c = b + d =s, jolloin saadaan
:A = \sqrt{a b c d}, 
tai kun käytetään lävistäjiä edelliseen tapaan
::A =\frac{u v p q}{u^2 + v^2}. 

Vaikka nelikulmion muodon vaihdellessa sen alan suuruuskin muuttuu, voidaan alan arvo rajata epäyhtälöllä
:4r^2 \le A \le 2R^2 

## Historia
Ensimmäinen, joka tutki bisentrisiä nelikulmioita, oli saksalainen matemaatikko Nikolaus Fuss (1755−1825). Hän löysi ensimmäisenä ehdon sisä- ja ulkoympyrän keskipisteiden väliselle etäisyydelle **w** (Fussin lause). Tätä pidettiin aikanaan yhtenä 100:sta vaikeimmasta matemaattisesta ongelmasta. Myös ranskalainen matemaatikko Jean-Victor Poncelet (1788−1867) keksi mielenkiintoisen yleistyksen. Jos on olemassa yksikin monikulmio, joka on annetuille sisäkkäisille ympyröille bisentrinen, on näille samoille ympyröille niitä vielä ääretön määrä lisää.

## Lähteet

## Aiheesta muualla
* Konstruktio: Miten piirretään bisentrinen nelikulmio ympyröiden väliin? , s. 162
* Cut-The-Knot:Area of a Bicentric Quadrilateral
* Cut-The-Knot:Easy Construction of Bicentric Quadrilateral: What Is This About? A Mathematical Droodle
* GoGeometry: Geometry Problem 908