|
谢谢 王广喜!我把题目想复杂了(以为楼主出的题目都是很难的)。
\(记∠DEB=\theta,DE=EF=FD=k*\sin(45^\circ),\)
\(DB=k*\sin(\theta),BE=k*\sin(45^\circ+\theta),DA=2-k*\sin(\theta),EC=\sqrt{2}*k*\sin(\theta)\)
\(题目变成:已知\frac{2}{\sin(45^\circ)}=\frac{BE+EC}{\sin(90^\circ)},求\)
\(AF^2=DA^2+DF^2-2*DA*DF*\cos(\theta-15^\circ) 的最小值 ,解得AF^2=\frac{16-9\sqrt{3}}{13}\) |
|