3.6 Circonferenza passante per un punto tangente a due rette (caso 1)
Trovato P' il simmetrico di P rispetto alla bisettrice dell'angolo formato dalle rette m e l, utilizzando l'esercizio 3.5 ho costruito in rosso la circonferenza passante per P' e P e tangente alla retta m in H. Dimostro ora che è tangente anche alla retta l. Prendiamo su l un punto D tale che AD=AH. I triangoli ADJ e AHJ sono congruenti per I.4, in particolare gli angoli ADJ=AHJ=90°. Per III.16 l è tangente alla circonferenza evidenziata in rosso.