Ta dễ dàng chứng minh được tam giác AKH đồng dạng tam giác ACB (g.g)
=> \(\frac{AH}{AB}=\frac{AK}{AC}\Rightarrow AH.AC=AK.AB\) (*)
Vì tam giác ADC và tam giác AEB lần lượt nội tiếp các đường tròn đường kính AC và AB nên là các tam
giác vuông, đồng thời các đường cao tương ứng là DH và EK
Áp dụng hệ thức về cạnh trong tam giác vuông được \(AD^2=AH.AC\) , \(AE^2=AK.AB\)
Từ (*) ta suy ra \(AD^2=AE^2\Rightarrow AD=AE\)
Vậy tam giác ADE là tam giác cân tại A. (đpcm)