Saccherin nelikulmio

Saccherin nelikulmio on sellainen nelikulmio, jossa on kaksi suoraa kulmaa ja kaksi keskenään yhtäpitkää sivua. Mielenkiintoisia tuloksia saadaan tarkastelemalla kahden jäljelle jäävän kulman suuruutta.

Saccherin nelikulmio on nimetty italialaisen jesuiittamatemaatikon Girolamo Saccherin (1667-1733) mukaan. Hän käytti nelikulmiota yrittäessään epäsuorasti todistaa Eukleideen paralleelipostulaattia. Saccheri tarkasteli tapauksia, joissa jäljelle jäävät kulmat oletetaan joko tylpiksi tai teräviksi. Tylppien kulmien tarkastelu johti selvästi ristiriitaan, mutta terävien kulmien tapaus jäi epäselväksi. Saccheri kuitenkin väitti päätyneensä tässäkin tapauksessa ristiriitaan, mikä olisi todistanut kulmien voivan olla ainoastaan suoria. Itse asiassa Saccheri ei onnistunut osoittamaan paralleelipostulaatin välttämättömyyttä, vaan loi pohjan myöhemmälle epäeuklidiselle geometrialle.

Tarkastellaan ensin Saccherin nelikulmiota absoluuttisessa geometriassa, eli tilanteessa, jossa suorien yhdensuuntaisuudesta ei tehdä mitään oletusta. Tällöin jäljelle jäävät kulmat ovat yhtäsuuret.

Olkoon nelikulmio ${\displaystyle ABCD}$ Saccherin nelikulmio, kuten kuvassa. Olkoot kulmat ${\displaystyle \angle BAC}$ ja ${\displaystyle \angle ABD}$ suoria, ja olkoot ${\displaystyle AC=BD}$.

Piirretään halkaisijat ${\displaystyle AD}$ ja ${\displaystyle BC}$.

Tällöin muodostuu kaksi yhtenevää kolmiota: ${\displaystyle \triangle ABD}$ ja ${\displaystyle \triangle BAC.}$

Näin ollen halkaisijat ${\displaystyle AD}$ ja ${\displaystyle BC}$ ovat keskenään yhtäpitkät.

Nyt kolmioilla ${\displaystyle \triangle BCD}$ ja ${\displaystyle \triangle ADC}$ on kolme yhtäpitkää sivua, joten ne ovat yhtenevät.

Siis kulmat ${\displaystyle \angle BDC}$ ja ${\displaystyle \angle ACD}$ ovat yhtäsuuret.

Tarkastellaan nyt luonnollista, euklidista tapausta, eli kun paralleelipostulaatti on voimassa. Tällöin päädytään intuitiivisesti selvään tulokseen eli, että Saccherin nelikulmion kaikki kulmat ovat suoria.

Lähdetään liikkeelle samanlaisesta Saccherin nelikulmiosta kuin absoluuttisen geometrian tapauksessa.

Merkitään suoraa kulmaa lyhyesti symbolilla ${\displaystyle R.}$

Nyt koska ${\displaystyle \angle BAC+\angle ABD=R+R=2R,}$ niin suorat ${\displaystyle AC}$ ja ${\displaystyle BD}$ ovat yhdensuuntaiset, toisin sanoen ne eivät leikkaa toisiaan.

Tällöin ${\displaystyle \angle BAC+\angle ACD=2R.}$

Siis ${\displaystyle \angle ACD=R.}$

Samalla tavalla todistetaan, että ${\displaystyle \angle BDC=R.}$

• Euklidinen geometria
• Epäeuklidinen geometria

• Greenberg, M.J.: Euclidean and Non-Euclidean Geometries. W. H. Freeman and Company, 1974. ISBN 0-7167-0454-4.
• Paralleelipostulaatti Petteri Harjulehto, Matematiikkalehti Solmu.
• Euclid's Elements Clark University.
• Matematiikan historia Matti Lehtinen, Matematiikkalehti Solmu.