Van de langste () van twee gegeven lijnstukken wordt een stuk afgesneden,
even lang als de kortste ().

Teken = (prop 2) en teken (post 3).

Dan = .

Want = (def 15)

en = (constr).

Dus = (ax 1).

QED

vorige / volgende

Een cirkelconstructie
 

Figuur propositie 3