Symetralna odcinka

Symetralna odcinka – prosta 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

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

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.
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

Równanie symetralnej

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

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 Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „http://localhost:6011/pl.wikipedia.org/v1/”:): {\displaystyle \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 Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „http://localhost:6011/pl.wikipedia.org/v1/”:): {\displaystyle \overrightarrow{BX} \circ \overrightarrow{BA} = \tfrac{1}{2}| \overrightarrow {BA}|^2 }

Twierdzenie o symetralnych boków trójkąta

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

Dowód 1 (geometryczny)

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)

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

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

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

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.