À, hiểu ý bạn rồi!
Xét \(\Delta\) vuông ADE và tam giác vuông ADF có:
\(\widehat{DAE}=\widehat{DAF}\)
AD chung
\(\Rightarrow\) \(\Delta\) vuông ADE = tam giác vuông ADF (cạnh huyền- góc nhọn)
\(\Rightarrow AE=AF\) (2 cạnh tương ứng)
Đặt giao giữa AD và EF là O
Xét \(\Delta EAO\) và \(\Delta FAO\) có:
AE=AF
AO chung
\(\widehat{EAO}=\widehat{FAO}\) (gt)
=> \(\Delta EAO\) = \(\Delta FAO\)
\(\Rightarrow\widehat{AOE}=\widehat{AOF}\) (2 góc tương ứng)
Mà 2 góc này kề bù => AD \(\perp\) EF (1)
\(\Rightarrow OE=FO\) (2 cạnh tương ứng) (2)
Từ (1) và (2) suy ra AD là trung trực của EF