证明:
取AB中点F,连接DE、EF,
则EF//=1/2AC(中位线),
DF为Rt△ADB的斜边上的中线,
∴DF=FB,∠FDE=∠B.
又∵∠FEB=∠C,
即∠FEB=2∠B=∠FDE+∠EFD=∠B+∠EFD,
∴∠EFD=∠B=∠FDE.
故DE=EF=1/2AC,
∴AC=2DE.