ite:
zał.
BE⊥AC
FC⊥AB
AD⊥BC
teza (kawałek : )
|<DFC|=|<CFE|
BC średnica okręgu przechodzącego przez pkty B,C,F
AC średnica okręgu przechodzącego przez pkty A,C,F
|<EBC|=|<CFE| // oparte na tym samym łuku
|<DFC|=|<DAC| // oparte na tym samym łuku
ΔBEC∼ΔADC // <BCA − kąt wspólny, |<BEC|=|<ADC|=90
o
stąd |<EBC|=|<DAC|
a więc również
|<DFC|=|<CFE|