
Sia D un punto interno al lato BC di un triangolo fissato ABC. Si considerino le circonferenze inscritte in ABD e DCA, e si prenda la loro tangente esterna comune diversa da BC. L'intersezione di questa tangente con AD è il punto E.
Dimostrare che, al variare di D, i corrispondenti punti E descrivono un arco di circonferenza.