Egy körvonalon adott az A és a B pont úgy, hogy az AB szakasz nem illeszkedik a kör középpontjára. A kisebbik AB ív felezőpontja C.
A körhöz az A, B,C pontokba húzott érintők páronként vett metszéspontjai D,E,F. Bizonyítsuk be, hogy a DEF háromszög területe nagyobb az ABC háromszög területének felénél.