Na płaszczyźnie dane są dwa przystające trójkąty równoboczne
i
. Udowodnić, że jeżeli środki odcinków
,
,
nie są współliniowe, to są wierzchołkami trójkąta równobocznego.
Niech punkty
i
będą odpowiednio środkami kół opisanych na trójkątach
i
. Oznaczmy przez
przesunięcie płaszczyzny o wektor
i niech
,
,
. Oznaczmy przez
,
,
odpowiednio środki odcinków
,
,
, a przez
,
,
- środki odcinków
,
,
(rys. 6). Mamy
. Analogicznie stwierdzamy, że
i
. Zatem punkty
,
,
są obrazami punktów
,
,
w przesunięciu o wektor
. Wystarczy więc udowodnić, że punkty
,
,
są współliniowe lub są wierzchołkami trójkąta równobocznego.
Trójkąty równoboczne
,
są wpisane w koło
o środku
. Istnieje więc izometria
, która przeprowadza punkty
,
,
odpowiednio na
,
,
. Przekształca ona koło
na siebie. Izometria
jest więc obrotem o środku w punkcie
lub symetrią osiową.
Jeżeli
jest obrotem (rys. 7), to dokonując obrotu
o kąt
o środku w punkcie
przekształcimy punkty
i
na punkty
i
odpowiednio. Wobec tego
i analogicznie
i
. Stąd
i podobnie
. Zatem trójkąt
jest równoboczny lub
(rys. 8).
Jeżeli izometria
jest symetrią osiową, to punkty
,
,
należą do osi tej symetrii i wobec tego są współliniowe (rys. 9).