Adott a síkban két egyenes és egy $P$ pont. A $P$ pontnak a két adott egyenesre vonatkozó tükörképe $P_1$, ill. $P_2$. Bizonyítsuk be, hogy ha $P$ egy olyan körön mozog, amely átmegy a két adott egyenes metszéspontján, akkor a $P_1{P}_2$ egyenes egy meghatározott szilárd pont körül forog.