如图，正方形ABCD中，点P是射线BC上的任意一点（点B与点C除外），连接DP，分别过点C，A作直线DP的垂线，垂足为点E，F．（1）当点P在BC的延长线上时，那么线段AF、CE、EF之间有怎样的数量关

Question

如图，正方形ABCD中，点P是射线BC上的任意一点（点B与点C除外），连接DP，分别过点C，A作直线DP的垂线，垂足为点E，F．

（1）当点P在BC的延长线上时，那么线段AF、CE、EF之间有怎样的数量关系？请证明你的结论；
（2）当点P在边BC上时，联结AP，正方形的边长为2，设CE=x，AF=y．求y与x的函数解析式．并写出函数的定义域；
（3）在（2）的条件下，当x=1时．求EF的长．

Answer 1

（1）AF+CE=EF．证明如下：
∵AD=DC，∠AFD=∠DEC，∠ADF=∠DCE，∴△ADF≌△DCE，∴DF=CE，AF=DE，∴AF+CE=EF．
（2）由（1）的证明，可知DF=CE，AF=DE．由CE=x，AF=y，得DE=y．
于是，在Rt△CDE中，CD=2，利用勾股定理，得CE²+DE²=CD²，即得x²+y^²=4．
∴y=√(4-x2)，
∴所求函数解析式为y=√(4-x2)，函数定义域为（0，√(2)）；．
（3）当x=1时，得y=√(3)．即得DE=√(3)
又∵DF=CE=1，EF=DE-DF，∴EF=√(3)-1