Symetralna odcinka

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania
AC=CB

Symetralna odcinkaprosta prostopadła do danego odcinka i przechodząca przez jego środek.

Równoważnie - prosta będąca zbiorem punktów równo oddalonych od obu końców odcinka. Poprawność drugiej definicji wynika z twierdzenia mówiącego, że taki zbiór punktów faktycznie tworzy prostą.

Symetralna jest jedną z dwóch osi symetrii odcinka.

Konstrukcja symetralnej[edytuj | edytuj kod]

Konstrukcja symetralnej odcinka

Niech dany będzie odcinek AB. Aby skonstruować cyrklem i linijką symetralną tego odcinka należy:

  1. Zakreślić cyrklem dwa okręgi o środkach w punktach A oraz B o identycznym promieniu większym od połowy długości odcinka AB. Okręgi te przetną się w dwóch różnych punktach.
  2. Poprowadzić prostą przez wyznaczone punkty przecięcia okręgów.

Wyznaczona prosta jest szukaną symetralną.

Uwaga

Powyższa konstrukcja jest również stosowana do wyznaczenia środka odcinka ponieważ punkt przecięcia symetralnej z odcinkiem jest właśnie tym środkiem.

Symetralna w geometrii analitycznej[edytuj | edytuj kod]

Równanie symetralnej[edytuj | edytuj kod]

Bisector3.svg

Weźmy w prostokątnym układzie współrzędnych na płaszczyźnie odcinek o końcach A =(A_x, A_y), B = (B_x, B_y).

Wówczas symetralną odcinka AB jest prosta o równaniu:

(2\cdot x-A_x-B_x)(A_x-B_x)+(2\cdot y-A_y-B_y)(A_y-B_y)=0

Równanie wektorowe[edytuj | edytuj kod]

Weźmy na płaszczyźnie trzy punkty  A,B,X.

Punkt  X leży na symetralnej odcinka  AB wtedy i tylko wtedy, jeśli \overrightarrow{AX} \circ \overrightarrow{AB} = \tfrac{1}{2}| \overrightarrow {AB}|^2.

Rzeczywiście: \overrightarrow{AX} \circ \overrightarrow{AB} 
= ( \overrightarrow {AO}+ \overrightarrow {OX} ) \circ \overrightarrow {AB}
= \overrightarrow {AO}  \circ \overrightarrow {AB} + \overrightarrow {OX} \circ \overrightarrow {AB}
= \overrightarrow {AO}  \circ \overrightarrow {AB} 
=\tfrac{1}{2} \overrightarrow {AB}  \circ \overrightarrow {AB}.

Bo \overrightarrow {OX} \perp \overrightarrow {AB} oraz |\overrightarrow {AO}| = \tfrac{1}{2} | \overrightarrow {AB}|.

Podobnie dla równania \overrightarrow{BX} \circ \overrightarrow{BA} = \tfrac{1}{2}| \overrightarrow {BA}|^2 .

Twierdzenie o symetralnych boków trójkąta[edytuj | edytuj kod]

Bisector7.svg
Symetralne boków dowolnego trójkąta przecinają się w jednym punkcie.

Dowód 1 (geometryczny)[edytuj | edytuj kod]

Niech dany będzie trójkąt \triangle ABC.

Jeśli O jest punktem przecięcia symetralnych boków AB i AC, to AO = BO oraz AO = CO.

Stąd BO = CO, co oznacza, że punkt O leży na symetralnej boku BC.

Dowód 2 (wektorowy)[edytuj | edytuj kod]

Niech  O będzie przecięciem symetralnych boków  AB i  AC.


\overrightarrow {AB}\circ \overrightarrow {AC} 
= (\overrightarrow {AO}+\overrightarrow {OB})\circ \overrightarrow {AC} 
= \overrightarrow {AO} \circ \overrightarrow {AC} + \overrightarrow {OB} \circ \overrightarrow {AC} 
= \overrightarrow {AO} \circ \overrightarrow {AC} + \overrightarrow {OB}\circ (\overrightarrow {AB}+\overrightarrow {BC})=


= \overrightarrow {AO}\circ \overrightarrow {AC}+\overrightarrow {OB}\circ \overrightarrow {AB}+\overrightarrow {OB}\circ \overrightarrow {BC} = \tfrac{1}{2}|\overrightarrow {AC}|^2+\tfrac{1}{2}|\overrightarrow {AB}|^2+ \overrightarrow {OB}\circ \overrightarrow {BC}

Skorzystaliśmy z równania wektorowego symetralnej.

Zgodnie z twierdzeniem cosinusów  2\cdot \overrightarrow {AB}\circ \overrightarrow {AC} =|\overrightarrow {AC}|^2+|\overrightarrow {AB}|^2 - \overrightarrow {BC}\circ \overrightarrow {BC}

więc \overrightarrow {OB}\circ \overrightarrow {BC} = -\tfrac{1}{2} \overrightarrow {BC}\circ \overrightarrow {BC}, tzn. \overrightarrow {BO}\circ \overrightarrow {BC} = \tfrac{1}{2} \overrightarrow {BC}\circ \overrightarrow {BC}=\tfrac{1}{2} |\overrightarrow {BC}|^2, co zgodnie z równaniem wektorowym oznacza, że punkt  O leży na symetralnej boku  BC .

Wnioski[edytuj | edytuj kod]

  • Punkt przecięcia się symetralnych boków trójkąta jest środkiem okręgu opisanego na tym trójkącie.
  • Na każdym trójkącie można opisać okrąg.

Uwaga[edytuj | edytuj kod]

Dla wielokątów mamy ogólną własność: przecinanie się symetralnych wszystkich boków wielokąta w jednym punkcie jest równoważne istnieniu okręgu opisanego.

Symetralne w geometriach nieeuklidesowych[edytuj | edytuj kod]

Pojęcie symetralnej oparte jest na pojęciu prostopadłości i przystawania (w klasycznym ujęciu także prostopadłość sprowadza się do przystawania). Ponieważ w geometrii hiperbolicznej i eliptycznej istnieje pojęcie przystawania, można więc także w nich używać symetralnych.

W geometrii hiperbolicznej każdy odcinek ma dokładnie jedną symetralną. Rzecz komplikuje się, gdy rozpatrzyć symetralne boków trójkąta. Mogą zajść trzy przypadki:

  • Symetralne trzech boków przecinają się w jednym punkcie. Wierzchołki trójkąta wyznaczają dokładnie jeden okrąg opisany.
  • Symetralne są elementami pęku prostych równoległych – zbiegają się we wspólnym punkcie w „nieskończoności”. Wierzchołki trójkąta nie wyznaczają okręgu opisanego ale horycykl.
  • Symetralne są rozbieżne – mają wspólną prostopadłą. Wierzchołki trójkąta wyznaczają ekwidystantę.

Jak widać, są tutaj trójkąty nie wyznaczające żadnego okręgu opisanego.

W geometrii eliptycznej jest jeszcze dziwniej. Ponieważ każdy odcinek (rozumiany jako para różnych punktów) ma dwie symetralne (wzajemnie prostopadłe), więc na każdym trójkącie (rozumianym jako trójka niewspółliniowych punktów) można opisać cztery różne okręgi.

Podsumowując, geometria euklidesowa (paraboliczna) wyróżnia się tym, że na każdym trójkącie można opisać dokładnie jeden okrąg. W niektórych ujęciach aksjomatyki powyższe własność jest równoważna aksjomatowi Euklidesa.