如图，将矩形纸片$ABCD$折叠，使点$A$落在$BC$上的点$F$处，折痕为$BE$，若沿$EF$剪下，则折叠部分是一个正方形，其数学原理是( )