Consideremos três pontos colineares A, B, C incidentes na reta r (podem tomar diversas posições) e dois semicírculos: um - c - de diâmetro AB e outro - d - de diâmetro AC ambos num dos dois semiplanos determinados por r.
Seja D o ponto médio do segmento BC: BD=DC; e, tiradas por D,
- a perpendicular a r - p - que intersecta d em E,
- e a tangente a c - t - sendo F o ponto de tangência.
- os segmentos DF da tangente t e DE da perpendicular a r são geometricamente iguais
- o ponto E incide na recta i=AF, ou seja, A, E e F são colineares.
Cluzel, R. et Robert, J-P. La Géométrie et ses applications Lib. Delagrave, Paris.1964 - p. 136, ...