Vanaf een gegeven punt () een lijnstuk tekenen
even lang als een gegeven lijnstuk ().

Teken (post 1) en construeer (prop 1).

Teken (post 3).

Verleng (post 2) en teken (post 3).

Verleng (post 2).

Dan is het gevraagde lijnstuk.

Daar = (def 15)

en = (constr),

moet = (ax 3).

En omdat = = (def 15),

moet getekend vanaf het gegeven punt (),
even lang zijn als het gegeven lijnstuk .

QED

vorige / volgende

Een cirkelconstructie
 

Figuur propositie 2