Op een gegeven lijnstuk (
) een gelijkzijdige driehoek tekenen.
Teken 
en 
(post 3).
En teken 
en 
(post 1).
Dan is 
gelijkzijdig.
Want = (def 15).
En = (def 15).
Dus = (post 1).
En daarom is de gevraagde gelijkzijdige driehoek.
QED
Een cirkelconstructie