Έστω ημικύκλιο κέντρου και διαμέτρου . Από σημείο της προέκτασης της φέρνω τέμνουσα του ημικυκλίου.
Η τέμνουσα αυτή συναντά πρώτα στο και μετά στο , το ημικύκλιο. Γράφω τούς κύκλους, που τέμνονται ακόμα στο . Δείξετε ότι .
Πηγή: mathematica