Om een loodlijn op een gegeven oneindige rechte lijn () neer te laten vanuit een gegeven punt ().

Met het gegeven punt aan één zijde van de lijn als middelpunt,
en een straal tot de andere kant van de lijn, beschrijf .

Maak = (prop 10).

Teken , en .

Dan ⊥ (def 10).

Want (prop 8) omdat = (constr),

gemeenschappelijk, en = (def 15),

moet = en dus ⊥ (def 10).

QED

vorige / volgende

Constructie loodlijn door punt dat niet op de lijn ligt
 

Figuur propositie 12