已知E是正方形ABCD的边BC上一点,CF上正方形的外角角DCG的平分线,AE=EF,求证:AE垂直EF