Stosuj szkolne twierdzenie : O odcinkach prostej siecznej i prostej stycznej do
okręgu( wychodzących z jednego punktu leżącego na zewnątrz okręgu)
Z punktu D zasuwa styczna do okręgu w punkcie A oraz sieczna przez punkty E,F
Z tego twierdzenia jest
IDAI2 = IDEI*IDFI
Ale z symetrii w zadaniu IDFI = IECI
stąd IDAI2 ( pole kwadratu o boku DA) =IDEI*IECI