Chứng minh I D^2 = I E . I F .

b) Vì ΔAEF∽ΔACB (cmt) suy ra AEF^=ACB^

Mà \(\widehat {AEF} = \widehat {IEB}\) (2 góc đối đỉnh)

Suy ra \(\widehat {ACB} = \widehat {IEB}\) (3)

Ta có: \(\widehat {IDF} = \widehat {DFC} + \widehat {ACB}\) (góc ngoài tam giác \(DFC\))

Suy ra \(\widehat {IDF} = 90^\circ + \widehat {ACB}\) (4)

Và \(\widehat {IED} = \widehat {IEB} + \widehat {BED} = \widehat {IEB} + 90^\circ \) (5)

Từ (3), (4), (5) suy ra \(\widehat {IDF} = \widehat {IED}\).

Xét \(\Delta IED\) và \(\Delta IDF\) có:

\(\widehat I\) chung

\(\widehat {IED} = \widehat {IDF}\) (cmt)

Suy ra ΔIED∽ΔIDF (g.g)

Suy ra \(\frac{{IE}}{{ID}} = \frac{{ID}}{{IF}}\) nên \(I{D^2} = IE.IF\) (đpcm)