Tìm vị trí của điểm E để diện tích tam giác A D F lớn nhất.
Tam giác \[FAC\] cân tại \[A\] nên \[AF = AC.\]
Dễ thấy tam giác \[ACD\]cân tại \[A\] nên \[AC = AD\].
Từ đó suy ra \[AF = AD\] hay tam giác \[AFD\] cân tại \[A\], hạ \[DI \bot AF\] .
Ta có \({S_{AFD}} = \frac{1}{2}DI \cdot AF = \frac{1}{2}DI \cdot AC\).
Do \[AC\] không đổi nên \({S_{AFD}}\) lớn nhất khi và chỉ khi \[DI\] lớn nhất.
Trong tam giác vuông \[AID\] ta có:
\(ID \le AD = AC\) hay \({S_{AFD}} = \frac{1}{2}DI \cdot AF = \frac{1}{2}DI \cdot AC \le \frac{{A{C^2}}}{2}\).
Dấu xảy ra khi và chỉ khi \(I \equiv A\), khi đó \[\widehat {DAF} = 90^\circ \] nên tam giác \[ADF\] vuông cân tại \[A\], suy ra \(\widehat {EBA} = \widehat {EDA} = 45^\circ \) hay \[E\] là điểm chính giữa cung \[AB.\]
Vậy để diện tích tam giác \[ADF\] lớn nhất thì \[E\] là điểm chính giữa cung \[AB.\]