Proposizione 9
Costruzione della bisettrice
Sia BAC un angolo dato: vogliamo costruire la bisettrice AF.
Sia D un punto qualsiasi su AB; sia E su AC tale che AE sia congruente a AD (prop. 3).
Tracciato il segmento DE, si costruisca il triangolo equilatero DEF.
Allora la semiretta AF è bisettrice dell'angolo BAC, infatti...
Si costruisca uno strumento che, dati i tre punti A, B, C restituisca il punto F e la semiretta AF