以BC为底作等腰直角三角形BCD,
∠DBC=∠DCB=45度,
BD=CD=BC/√2=BC√2/2,
ED=CE=CD/2=BC√2/4,
BE²=BD²+ED²=BC²/2+BC²/8=5BC²/8
做EF垂直于AC延长线,垂足F,
∠ECF=90度-∠DCB=90度-45度=45度=∠CEF,
CF=EF=CE/√2=(BC√2/4)/√2=BC/4
AE²=AF²+EF²
=(AC+CF)+EF²
=(BC/2+BC/4)²+BC²/16
=9BC²/16+BC²/16
=5BC²/8
BE²+AE²=5BC²/8+5BC²/8=5BC²/4
直角三角形ABC中,
AB²=AC²+BC²=BC²/4+BC²=5BC²/4=BE²+AE²
所以AE垂直EB.