Konstruiert man von einem äußeren Punkt A aus die Tangenten an einen Kreis mit dem Mittelpunkt C und benennt man die beiden Berührungspunkte als E und F, dann gilt:
(1) Die Tangentenabschnitte AE und AF sind kongruent.
(2) AC halbiert den Winkel FAE
Man beweise diese beiden Aussagen m.H. von Kongruenzsätzen für Dreiecke. Als Nebenprodukt fällt der Einstieg in den Beweis für Roland Aufgabe ab.