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