Czworokąt Saccheriego

Czworokąt Saccheriego – czworokąt $ABCD$ o dwóch kątach prostych przy podstawie $AB,$ w którym boki $AD$ i $BC$ mają równe długości.

Czworokąty Saccheri. Hipotezy kąta (od góry): prostego, rozwartego i ostrego.

Z symetrii czworokąta względem prostopadłej $EF$ do boku $AB$ w jego środku $E$ wynika, że kąty przy wierzchołkach $C$ i $D$ są równe. Kąty te nazywamy kątami przy górnej podstawie czworokąta Saccheriego. Jeśli prawdziwy jest pewnik Euklidesa, to kąty te są proste, a czworokąt $ABCD$ jest prostokątem. Saccheri wykazał, że:

Jeśli w jakimkolwiek czworokącie Saccheriego kąty przy górnej podstawie są proste, to prawdziwy jest aksjomat Euklidesa.

Aby dowieść aksjomatu Euklidesa Saccheri formułuje trzy hipotezy:

1. Kąty przy górnej podstawie czworokąta Saccheriego są rozwarte (hipoteza kąta rozwartego).
2. Kąty przy górnej podstawie czworokąta Saccheriego są proste (hipoteza kąta prostego).
3. Kąty przy górnej podstawie czworokąta Saccheriego są ostre (hipoteza kąta ostrego).

Pewnik Euklidesa jest równoważny hipotezie kąta prostego. Saccheri udowodnił, że hipoteza kąta rozwartego prowadzi do sprzeczności i starał się odkryć sprzeczność w hipotezie kąta ostrego. W tym celu wykazał, że z hipotezy tej wynika, że dla dwóch dowolnych prostych nieprzecinających się albo istnieje dokładnie jedna prostopadła do obu tych prostych, po obu stronach której proste te są rozbieżne (odległości między ich punktami nieograniczenie rosną), albo takiej prostopadłej nie ma i proste te w jednym kierunku są asymptotycznie zbieżne, a w drugim nieograniczenie rozbieżne.

Historia

Czworokąty Saccheriego były rozpatrywane po raz pierwszy przez Omara Chajjama (1048–1131) w późnych latach XI wieku w I tomie Wyjaśnienie trudności w postulacie Euklidesa. W odróżnieniu od wielu innych komentatorów Euklidesa (włączając w to kurs Saccheri), Chajjam nie usiłował udowodnić bezpośrednio aksjomatu Euklidesa, lecz zamierzał zastąpić go zasadą zaczerpniętą u Arystotelesa:

Dwie zbieżne proste przecinają się i niemożliwe jest, aby dwie proste zbieżne były rozbieżne w kierunku zbieżności.

Chajjam rozpatrzył hipotezy kąta prostego, rozwartego i ostrego kątów górnych czworokąta.

Po 600 latach Giordano Vitale dokonał postępu w książce Euclide restituo (1680, 1686), gdzie użył tego czworokąta do wykazania, że jeśli trzy punkty są równo odległe od podstawy dolnej $AB$ i górnej $CD,$ to $AB$ i $CD$ są wszędzie równo odległe.

Saccheri, bazując na tym długim, heroicznym i ciągnącym się dowodzie postulatu równoległych, używając czworokąta, udowodnił wiele twierdzeń i własności.

Własności czworokąta Saccheriego

Ilustracja dowodu faktu, że górna podstawa czworokąta Saccheriego jest większa lub równa podstawie dolnej. Wykorzystywana jest tutaj nierówność trójkąta

• Górna podstawa czworokąta Saccheriego $ABCD$ jest nie mniejsza od podstawy dolnej.

Przy pomocy kolejnych symetrii osiowych można skonstruować ciąg czworokątów Saccheriego $A_{n}B_{n}B_{n+1}A_{n+1},$ taki że $A_{0}=A,\ B_{0}=B,\ A_{1}=D,\ B_{1}=C,$ i dla każdej liczby naturalnej $n>0$ odcinek $A_{n+1}B_{n+1}$ jest symetryczny do odcinka $A_{n-1}B_{n-1}$ względem prostej $A_{n}B_{n}.$ Wtedy wierzchołki należące do podstaw dolnych tych czworokątów są współliniowe i wszystkie mają długość $BC,$ a wierzchołki podstaw górnych nie muszą być współliniowe, ale wszystkie podstawy górne mają długość $AD.$ Ponieważ z nierówności trójkąta wynika, że długość odcinka $BB_{n}$ jest mniejsza od długości łamanej $BAA_{1}\dots A_{n}B_{n},$ więc

dla każdego $n\in \mathbb {N}$ zachodzi nierówność $nBC\leqslant nAD+2AB.$

Po podzieleniu obu stron tej nierówności przez $n$ i przejściu do granicy przy $n\to \infty$

$BC\leqslant AD.$

• W czworokącie Saccheriego kąty przy górnej podstawie są proste lub ostre i są równe.
• Linia środkowa czworokąta Saccheriego jest prostopadła do obu podstaw i łączy środki obu podstaw.
• Jeżeli dwa czworokąty Saccheriego $ABCD$ i $A_{1}B_{1}C_{1}D_{1}$ mają równe podstawy $AB=A_{1}B_{1}$ i równe boki $BC=B_{1}C_{1},$ to mają one również równe górne podstawy $CD=C_{1}D_{1}.$
• Jeżeli dwa czworokąty Saccheriego $ABCD$ i $A_{1}B_{1}C_{1}D_{1}$ mają równe podstawy górne $CD=C_{1}D_{1}$ oraz kąty przy górnych podstawach, to czworokąty te są przystające.
• Proste zawierające podstawy czworokąta Saccheriego są rozbieżne. Wynika to z faktu, że linia środkowa czworokąta Saccheriego jest do obu podstaw prostopadła.

Zobacz też

• defekt trójkąta
• kąt równoległości
• model Poincarégo
• prosta pochyła
• punkt w nieskończoności w geometrii hiperbolicznej
• równoległość w geometrii hiperbolicznej
• trójkąt asymptotyczny
• trójkąt podwójnie asymptotyczny
• trójkąt potrójnie asymptotyczny

Bibliografia

• Н.В. Ефимов: Высшая Геометрия. Москва: Наука, 1978. (ros.). Brak numerów stron w książce
• K. Borsuk, W. Szmielew: Podstawy geometrii. Warszawa: PWN, 1970. Brak numerów stron w książce
• Ж. Лелон-Ферран: Основания Геометрии. Москва: Мир, 1989. (ros.). Brak numerów stron w książce
• B.A. Rozenfeld: Historia geometrii nieeuklidesowej. Moskwa: Nauka, 1976. (ros.). Brak numerów stron w książce