Considera il triangolo isoscele ABC di base AB. Prolunga i lati AC e CB rispettivamente dalla parte di A e di B di due segmenti congruenti AD e BE. Detto O il punto di intersezione dei segmenti DB e AE, dimostra che la semiretta di origine C, passante per O, è bisettrice dell'angolo al vertice del triangolo isoscele dato.