2.18 Perpendicolare da un punto esterno con compasso di raggio fissato
I triangoli DCE e CEF sono congruenti per I8, in particolare gli angoli DCE e ECF sono congruenti. Analogamente gli angoli GBH e HBI sono congruenti.
Considero i triangoli BAC e BCJ: sono congruenti per I26, in particolare AC=JC.
Considero i triangoli AKC e KCJ: sono congruenti per I4, in particolare gli angoli AKC=CKJ=90°.