Op een gegeven lijnstuk () een vierkant construeren.
Teken ⊥ en = (prop 11 en prop 3).
Teken // tot hij // snijdt.
In = (constr).
= een rechte hoek (constr).
Dus = = een rechte hoek (prop 29).
En de overige zijden en hoeken moeten gelijk zijn (prop 34).
En daarom is een vierkant (def 27).
QED
vorige / volgende
Vierkant construeren zie ook hier
Figuur propositie 46