A $BD$ átmérőjű $k$ kör $B$ pontja körül $k$-énál kisebb sugárral rajzolt kör a $BD$ szakaszt $C$-ben, $BD$ meghosszabbítását $A$-ban metszi. A $C$-n át $BD$-re merőlegesen rajzolt egyenes $k$-val alkotott egyik metszéspontja $E$. Rajzoljuk meg továbbá az $AD$ átmérőjű kört és a $BD$-re merőleges, $B$-n átmenő egyenest. Legyen ezek egyik metszéspontja $F$. Bizonyítsuk be, hogy $BE=BF$.