Da un punto $P$ della bisettrice $r$ dell'angolo $A \widehat{O} B$ traccia una retta che forma quattro angoli congruenti con $r$ e interseca i lati dell'angolo $A \widehat{O} B$, o i loro prolungamenti, in $C$ e $D$.
Dimostra che:
a. $O C \cong O D$;
b. preso un punto $Q$ qualunque di $O P$, si ha $Q C \cong Q D$.