W płaszczyźnie trójkąta
porusza się prosta, która przecina boki
i
w takich punktach
i
, że
. Znaleźć miejsce geometryczne środka
odcinka
.
Gdy
, poszukiwanym miejscem geometrycznym jest dwusieczna kąta
. Pozostaje do rozpatrzenia tylko przypadek, gdy
. W dalszym ciągu przyjmiemy, że
.
Zauważmy najpierw, że gdy
, to prosta
przecina prostą
w punkcie leżącym na przedłużeniu
poza punkt
, gdyż punkt
leży w pasie między prostą
a równoległą do
przechodzącą przez punkt
(co stwierdzamy powołując się na twierdzenie Talesa). Stąd wnioskujemy, że
(na mocy twierdzenia o kącie zewnętrznym trójkąta), zatem
(rys. 32).
Prowadzimy przez punkty
i
proste równoległe odpowiednio do prostych
i
i otrzymujemy równoległobok
, przy czym punkt
leży na zewnątrz trójkąta
. Analogicznie budujemy równoległobok
. Wierzchołek
leży wewnątrz trójkąta
. Odcinek
przecina zatem odcinek
w pewnym punkcie
. Trójkąty
i
są symetryczne względem punktu
, gdyż wobec równoległości prostych
i
są one jednokładne względem punktu
, a nadto
. Stąd wynika, że punkt
jest środkiem każdego z odcinków
i
. Trójkąt
jest równoramienny, gdyż
, więc prosta
jest dwusieczną kąta
. Ponieważ ramiona kąta
są zgodnie równoległe do ramion kąta
, więc prosta
jest równoległa do dwusiecznej kąta
.
Dowiedliśmy, że punkt
, którego miejsca geometrycznego szukamy, leży na prostej poprowadzonej przez środek
odcinka
równolegle do dwusiecznej kąta
, a mianowicie wewnątrz odcinka
tej prostej leżącego w trójkącie
. Odwrotnie, każdy punkt wewnętrzny odcinka
owej prostej należy do poszukiwanego miejsca geometrycznego. Stwierdzamy to z łatwością, odwracając wnioskowanie poprzednie. Niech
będzie dowolnym punktem wewnętrznym odcinka
. Prowadzimy przez punkt
równoległe do
i do
, a przez punkt
prostopadłą do
i otrzymujemy trójkąt równoramienny
. Trójkąty
i
są symetryczne względem punktu
, zatem
i
. Prowadząc przez punkt
prostą równoległą do
i
, otrzymujemy równoległoboki
i
, w których
i
. Istotnie więc punkt
należy do miejsca geometrycznego.
Jeżeli punkt
obierzemy w punkcie
, to rozumując jak wyżej, wykażemy, że punkt
jest środkiem takiego odcinka
, że
. Możemy uważać, że punkty
i
też należą do naszego miejsca geometrycznego.
Otrzymany wynik można uogólnić. Jeżeli zamiast trójkąta
rozważać będziemy całe proste
i
przecięte prostą ruchomą w punktach
i
, przy czym
, to jako miejsce geometryczne środka
odcinka
otrzymamy całą prostą
.