证明:设正方形ABCD的边长为a.
∵AE⊥AB
∴∠ABC=∠FEC=90°
∵∠ACB=∠FCE,∠ABC=∠FEC
∴△ABC与△FEC是相似三角形.
∵AB=a,BC=a
∴AC=√2a
∵AE=AB
∴EC=AC-AE=AC-AB=√2a-a=(√2-1)a
∴EF:AB=EC:BC=(√2-1)a:a=√2-1
证明:设正方形ABCD的边长为a.
∵AE⊥AB
∴∠ABC=∠FEC=90°
∵∠ACB=∠FCE,∠ABC=∠FEC
∴△ABC与△FEC是相似三角形.
∵AB=a,BC=a
∴AC=√2a
∵AE=AB
∴EC=AC-AE=AC-AB=√2a-a=(√2-1)a
∴EF:AB=EC:BC=(√2-1)a:a=√2-1