問題發(fā)現(xiàn):
如圖1,在Rt△ABC中,AB=AC=2,∠BAC=90°,點(diǎn)D為BC的中點(diǎn),以CD為一邊作正方形CDEF,點(diǎn)E恰好與點(diǎn)A重合,則線段BE與AF的數(shù)量關(guān)系為
拓展探究:
在(1)的條件下,如果正方形CDEF繞點(diǎn)C旋轉(zhuǎn),連接BE、CE、AF,線段BE與AF的數(shù)量關(guān)系有無變化?請(qǐng)僅就圖2的情形給出證明;
當(dāng)正方形CDEF旋轉(zhuǎn)到B、E、F三點(diǎn)共線時(shí)候,直接寫出線段AF的長(zhǎng).