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