Xét tam giác ADE vuông tại A ta có:
AD2+AE2=DE2( Đlý Pitago)
Chứng minh BĐT sau
x2+y2\(\ge2xy\)
<=> \(x^2-2xy+y^2\ge0\)
<=> \(\left(x-y\right)^2\ge0\left(Lđ\right)\)
Dấu"=" xảy ra khi
\(\left(x-y\right)^2=0\)
=> x=y
Áp dụng BĐT trên ta được
AD2+AE2\(\ge2AD.AE\)
=> DE2\(\ge2AD.AE\)
=> DE\(\ge2\sqrt{AD.AE}\)
Dấu "=" xảy ra khi
AD=AE
Mà AE=BD(gt)
AD=EC
Nên AD=BD
AE=EC
=> AD=BD=AE=EC
=>khi D là trung điểm AB và E là trung điểm AC
Thì DE đạt GTNN