证明：过C作CF⊥BE并交BE于F点。∵BE⊥AD且∠CDA=90°，所以BE//CE。∵BE⊥AD且CF⊥BE，所以AD//CF，因此CF=DE。对于RT△AEB、RT△BFC，AB=BC，∠BCF=∠ABE<90°（∵CF⊥BE且AB⊥BC（角ABC等于90度）注解：两个锐角如果对应边分别垂直，那么这两个角相等），故RT△AEB≌RT△BFC，于是有BE=CF=DE成立。
图呢
