在三角形ABC中,点O是AC边上(端点除外)的一个动点,过点O作直线MN平行BC.设MN交角BCA的平分线于点E,交角BCA的外角平分线于点F,连接AE、AF.那么当点O运动到何值时,四边形AECF是矩形?(证明)