如图,点E和点F分别是正方形ABCD中BC边和CD边上的点且角EAF等于45°,则EF/AB的最小值是多少?
问题描述：
如图,点E和点F分别是正方形ABCD中BC边和CD边上的点且角EAF等于45°,则EF/AB的最小值是多少?
答
设正方形边长是1将三角形ADF绕点A旋转到三角形ABG（使AD与AB重合）,有AF=AG,AE=AE,角EAG=EAB+BAG=EAB+DAF=45度=EAF所以三角形AEF与AEG全等所以EF=EG所以三角形CFE周长=CF+CE+EF=CF+CE+EB+BG=CF+CE+EB+DF=CD+CB=2设CE=x,EF=y,CF=2-x-y有y平方=x平方+(2-x-y)平方整理成关于x的一元二次方程得：2x平方+(2y-4)x+4-4y=0,化简为x平方+(y-2)x+2-2y=0,其必有实数解所以判别式=(y-2)平方-4(2-2y)=(y+2)平方-8>=0(y+2)平方>=8,得y>=2根号2-2,即EF的最小值是2根号2-2,所以EF/AB的最小值=（2根号2-2）/1=2根号2-2