Feuerbachin lause

Feuerbachin lause liittyy euklidisen tasogeometrian keinoin todistettavaan tulokseen kolmion yhdeksän pisteen ympyrästä. Feuerbachin lause osoittaa kolmion yhdeksän pisteen ympyrän olevan tangenttina kolmion sisäympyrälle ja sen kolmelle sivuympyrälle. Sisäympyröiden sivuamistapauksen todistaminen vaatii lisäksi inversiivigeometrian keinoja. Ensimmäisen luvun johdannon jälkeen toisessa luvussa esitetään Eukleideen Alkeissa esitettyjä postulaatteja, määritelmiä ja lauseita todistuksineen, joita tarvitaan yhdeksän pisteen ympyrän ja Feuerbachin lauseen todistamiseen. Näitä seuraa Eulerin suoran todistus sekä yhdeksän pisteen ympyrään liittyvät todistukset. Kolmannessa luvussa esitellään inversiivigeometriaa ja erityisesti määritellään inversiokuvaus, niiltä osin kuin Feuerbachin lauseen todistamisen kannalta on tarpeen. Neljännessä luvussa esitetään Feuerbachin lause todistuksineen