題：如圖1，正方形ABCD中，E、F分別是BC、CD上的點，∠EAF=45°，求EF/AB的最小值.

分析：由已知∠EAF=45°，聯(lián)想到正方形的對角線與邊的夾角也是45°，因此連接AC試試.設正方形的邊長為1，則欲求EF/AB的最小值，只需要求EF的最小值.

解：如圖2，連接AC.則∠BAC=∠DAC=45°，

所以∠BAE+∠EAC=45°，

因為∠EAF=45°，

所以∠EAC+∠CAF=45°，

所以∠BAE=∠CAF.

同理，∠DAF=∠CAE.

作EG⊥AC于G，F(xiàn)H⊥AC于H，則

∠AGE=∠AHF=∠B=∠D=90°，

所以△ABE∽△AHF，△ADF∽△AGE，

所以BE/HF=AE/AF，DF/GE=AF/AE，

兩式相乘，得

BE/HF·DF/GE= AE/AF·AF/AE=1，

所以BE·DF=GE·HF，

因為△GCE和△HCF都是等腰直角三角形，

所以GE=CE/√2，HF=CF/√2，

所以BE·DF=CE·CF/2.

設正方形ABCD的邊長為1，CE=x，CF=y，則

BE=1-x，DF=1-y，

所以(1-x)(1-y)=xy/2，

整理，得xy=2(x+y)-2，

所以EF=√(x^²+y^²)

=√[(x+y)^²-2xy]

=√[(x+y)^²-4(x+y)+4]

=√[(x+y)-2]^²

=|x+y-2|，

顯然，x+y<2，

所以EF=2-(x+y).

設x+y=s，則EF=2-s，y=s-x，

因為xy=2(x+y)-2，

所以xy=2s-2，

所以x(s-x)=2s-2，

整理，得x^²-sx+2s-2=0，

因為x為實數(shù)，

所以△=s^²-4(2s-2)≥0，

即s^²-8s+8≥0，

解得s≥4+2√2或s≤4-2√2，

所以s最大值為4-2√2，

所以EF最小值=2-(4-2√2)=2√2√-2.