如图所示，在Rt△ABC中，∠ACB=90°，AC=BC，D为BC边上的中点，CE⊥AD于点E，BF∥AC交CE的延长线于点F，求证：AB垂直平分DF．

如图所示，已知：Rt△ABC中，∠ACB=90°．
（1）尺规作图：作∠BAC的平分线AM交BC于点D（只保留作图痕迹，不写作法）；
（2）在（1）所作图形中，将Rt△ABC沿某条直线折叠，使点A与点D重合，折痕EF交AC于点E，交AB于点F，连接DE、DF，再展回到原图形，得到四边形AEDF．
①试判断四边形AEDF的形状，并证明；
②若AC=8，CD=4，求四边形AEDF的周长和BD的长．

如图1，在Rt△ABC中，∠C=90°，BC=8厘米，点D在AC上，CD=3厘米．点P、Q分别由A、C两点同时出发，点P沿AC方向向点C匀速移动，速度为每秒k厘米，行完AC全程用时8秒；点Q沿CB方向向点B匀速移动，速度为每秒1厘米．设运动的时间为x秒（0＜x＜8），△DCQ的面积为y₁平方厘米，△PCQ的面积为y₂平方厘米．
（1）求y₁与x的函数关系，并在图2中画出y₁的图象；
（2）如图2，y₂的图象是抛物线的一部分，其顶点坐标是（4，12），求点P的速度及AC的长；
（3）在图2中，点G是x轴正半轴上一点0＜OG＜6，过G作EF垂直于x轴，分别交y₁、y₂的图象于点E、F．
①说出线段EF的长在图1中所表示的实际意义；
②当0＜x＜6时，求线段EF长的最大值．

在Rt△ABC中，∠C=90°，∠A=60°，BC=6，等边三角形DEF从初始位置（点E与点B重合，EF落在BC上，如图1所示）在线段BC上沿BC方向以每秒1个单位的速度平移，DE、DF分别与AB相交于点M、N．当点F运动到点C时，△DEF终止运动，此时点D恰好落在AB上，设△DEF平移的时间为x．
（1）求△DEF的边长；
（2）求M点、N点在BA上的移动速度；
（3）在△DEF开始运动的同时，如果点P以每秒2个单位的速度从D点出发沿DE?EF运动，最终运动到F点．若设△PMN的面积为y，求y与x的函数关系式，写出它的定义域；并说明当P点在何处时，△PMN的面积最大？