Az $ABC$ egyenlő szárú derékszögű háromszög $AB$ átfogója fölé kifelé. $AC$ befogója fölé befelé félkört írunk, továbbá megrajzoljuk $C$ körül a $CA$ sugarú $AB$ negyedkörívet. Egy a $C$-n átmenő tetszés szerinti egyenes az íveket rendre $D$, $E$, $F$ pontban metszi. Bizonyítsuk be, hogy a $BCE$ háromszög területe egyenlő a $DF$ szakasz és a $BD$, $BF$ körívek határolta idom területével.