做角ACB的平分线交AE于G 则角ECG=90度-角2-角ACE=45度 于是三角形CEG为等腰直角三角形 且三角形ACG为等腰三角形 于是可知 1.AE=（sqrt(2)+1）CE 又易知三角形ACE相似于三角形CFE 所以2.AE*EF=CE^2 由1.和2.可知 EF=(sqrt(2)-1)CE 于是AF=AE-EF=2CE 证毕
另外,三角函数的解法就不说了 估计初二还没学到