Twierdzenie Salmona

Twierdzenie Salmona – twierdzenie planimetrii: Jeśli z punktu leżącego na okręgu poprowadzono trzy cięciwy i na każdej z nich jako na średnicy zbudowano okrąg, to okręgi te przecinają się parami w trzech punktach leżących na jednej prostej[1].

Dowód

Niech M , A , B , C {\displaystyle M,A,B,C} oznaczają odpowiednio: dany punkt i końce danych trzech cięciw. Oczywiście leżą one na okręgu, nazwijmy go π . {\displaystyle \pi .} Załóżmy, bez szkody dla ogólności, że leżą one na tym okręgu w tej właśnie kolejności.
Okręgi opisane na średnicach M A , M B , M C {\displaystyle MA,MB,MC} oznaczmy jako π A , π B , π C . {\displaystyle \pi _{A},\pi _{B},\pi _{C}.}

Przecięcia par okręgów π A , π B ; π B , π C ; π C , π A {\displaystyle \pi _{A},\pi _{B};\pi _{B},\pi _{C};\pi _{C},\pi _{A}} oznaczmy jako P , Q , R {\displaystyle P,Q,R} odpowiednio.
Dokonajmy inwersji w punkcie M i dowolnym promieniu. Niech odpowiednie obiekty po tym przekształceniu mają nazwy primowane.

Z własności inwersji wynika, że:

  • proste zawierające M A , M B , M C {\displaystyle MA,MB,MC} przejdą na proste
  • π A , π B , π C {\displaystyle \pi _{A}',\pi _{B}',\pi _{C}'} są prostymi prostopadłymi do, odpowiednio, M A , M B , M C {\displaystyle MA',MB',MC'} w punktach A , B , C {\displaystyle A',B',C'}
  • π {\displaystyle \pi '} jest prostą zawierającą A , B , C {\displaystyle A',B',C'}

Co więcej, punkty P , Q , R {\displaystyle P,Q,R} są współiniowe wtedy i tylko wtedy, gdy M , P , Q , R {\displaystyle M,P',Q',R'} leżą na jednym okręgu.
Zauważmy teraz, że P A M = 90 = P B M , {\displaystyle \angle P'A'M=90^{\circ }=\angle P'B'M,} zatem P , A , B , M {\displaystyle P',A',B',M} leżą na jednym okręgu. Analogicznie M , A , C , R {\displaystyle M,A',C',R'} oraz M , B , C , Q {\displaystyle M,B',C',Q'} są współokręgowe.

Skoro trójki punktów A , B , C {\displaystyle A',B',C'} i P , B , Q {\displaystyle P',B',Q'} są współliniowe, możemy zapisać, że:

180 M P R = M P A = M B A = 180 M B C = M Q C {\displaystyle 180^{\circ }-\angle MP'R'=\angle MP'A'=\angle MB'A'=180^{\circ }-\angle MB'C'=\angle MQ'C'}

Zatem na czworokącie M P Q R {\displaystyle MP'Q'R'} można opisać okrąg, skąd wynika, że punkty P , Q , R {\displaystyle P,Q,R} leżą na prostej, c.n.d.

Przypisy

  1. S. I. Zetel: Geometria trójkąta. PWSZ, 1964, s. 50.

Bibliografia

  • S.I. Zetel, Geometria trójkąta, Państwowe Zakłady Wydawnictw Szkolnych, Warszawa 1964.
  • p
  • d
  • e
Okręgi
relacje
między
odcinkiem a okręgiem
  • promień
  • cięciwa
    • średnica
prostą a okręgiem
  • styczna
  • sieczna
  • normalna
kątem a okręgiem
okręgiem a wielokątem
okręgiem a parą punktów
okręgiem a sferą
figury
definiowane
okręgami
krzywe płaskie
inne figury płaskie
krzywe sferyczne
powierzchnie i bryły
twierdzenia
o cięciwach
o stycznych
problemy
(zadania)
długości
pola
inne
okręgi w kartezjańskim
układzie współrzędnych
narzędzia
inne pojęcia
uogólnienia
krzywe
inne