证明：
联结BD,则由于AB是圆O的直径,∠BDA=90°,即BD⊥AC.
由于OB⊥BE,故EB是圆O的切线.
又因为ED是圆O的切线,故由切线长定理,EB=ED,E在线段BD的垂直平分线上.
设BC的中点为E',联结DE'；那么由于DE'是Rt△BDC的中线,故E'D=E'B,E'也在BD的垂直平分线上.
但是BD的垂直平分线与BC只能有一个交点,因此E和E'重合.
因此BE=EC