**Krok \(1\).** Mamy wykazać, że dwa odcinki są równe. Najprostsza droga to znaleźć dwa trójkąty przystające, w których te odcinki są odpowiadającymi sobie bokami. Odcinek \(AC\) jest bokiem trójkąta \(ABC\), a odcinek \(FG\) bokiem trójkąta \(FCG\) — oba mają wierzchołek w punkcie \(C\). Pokażemy, że te trójkąty są przystające na podstawie cechy bok-kąt-bok.
**Krok \(2\).** Pierwsza para boków. W równoległoboku przeciwległe boki są równe, więc \(|AB|=|CD|\). Czworokąt \(CDEF\) jest kwadratem, a \(CD\) i \(CF\) to jego boki, więc \(|CD|=|CF|\). Łącząc:
\[|AB|=|CF|.\]
**Krok \(3\).** Druga para boków. Czworokąt \(BCGH\) jest kwadratem, a \(BC\) i \(CG\) to jego boki, więc
\[|BC|=|CG|.\]
**Krok \(4\).** Kąt trójkąta \(ABC\) zawarty między bokami \(AB\) i \(BC\) to kąt \(ABC\). Oznaczmy \(\alpha=|\angle ABC|\). W równoległoboku kąty przy sąsiednich wierzchołkach dopełniają się do kąta półpełnego, więc
\[|\angle BCD|=180^\circ-\alpha.\]
**Krok \(5\).** Teraz kąt \(FCG\), czyli kąt trójkąta \(FCG\) zawarty między bokami \(CF\) i \(CG\). Wokół punktu \(C\) leżą kolejno cztery kąty: \(\angle BCD\) (kąt równoległoboku), \(\angle DCF\) i \(\angle GCB\) (kąty kwadratów, każdy \(90^\circ\)) oraz szukany \(\angle FCG\). Ich suma to kąt pełny:
\[|\angle FCG|=360^\circ-\left(180^\circ-\alpha\right)-90^\circ-90^\circ=\alpha.\]
**Krok \(6\).** Zebraliśmy trzy fakty: \(|AB|=|CF|\), \(|BC|=|CG|\) oraz \(|\angle ABC|=|\angle FCG|\), przy czym te kąty leżą dokładnie między wymienionymi bokami. To jest cecha przystawania bok-kąt-bok, więc trójkąty \(ABC\) i \(FCG\) są przystające.
**Krok \(7\).** W trójkątach przystających odpowiadające sobie boki mają równe długości. Bokowi \(AC\) trójkąta \(ABC\) odpowiada bok \(FG\) trójkąta \(FCG\), zatem
\[|AC|=|FG|,\]
co należało wykazać.
**Uwaga.** Rozumowanie nie zależy od tego, czy kąt \(\alpha\) jest ostry, czy rozwarty — kąty przy \(C\) zawsze sumują się do \(360^\circ\), więc równość \(|\angle FCG|=\alpha\) zachodzi zawsze.
**Odpowiedź.** Trójkąty \(ABC\) i \(FCG\) są przystające (bok-kąt-bok), więc \(|AC|=|FG|\).