证明:过点A作AG⊥AB,取AG=BF,连接CG、EG (注:G与C在AB的同一侧)
∵∠ACB=90,AC=BC
∴∠CAB=∠B=45
∵AG⊥AB
∴∠GAB=90
∴∠CAG=∠GAB-∠CAB=45,EG²=AE²+AG²
∴∠CAG=∠B
∵AG=BF
∴△CBF≌△CAG (SAS)
∴∠ACG=∠BCF,CG=CF
∵∠ECF=45
∴∠ACE+∠BCF=∠ACB-∠ECF=45
∴∠ECG=∠ACE+∠ACG=∠ACE+∠BCF=45
∴∠ECG=∠ECF
∵CE=CE
∴△ECG≌△ECF (SAS)
∴EG=EF
∴EF²=AE²+BF²
∴AE、EF、BF长为边的三角形是
直角三角形