在正方形ABCD中,E为BC上一点,CF平分∠DCG,AE⊥EF,试猜想线段AE与EF的数量关系,并说明理由