不是“圆O1在圆O2上”,应该是“O1点在圆O2上”,改正后证明如下.
连接AB,在⊙O2中,∵AC是直径,∴∠ABC=90°,∠ABE=90°,
在⊙O1中,连接AE和ED,∵∠ABE=90°,∴AE是直径,O1点在AE上,∠EDA=90°.
连接CO1,∵O1 点 在 ⊙O2 上 ,∴∠CO1A=90°,
又∵AO1=O1E,∴CO1是AE的垂直平分线,则CE=CA,∠CEA=∠CAE；
在rt△EDA与rt△ABE中,有公用斜边AE,锐角∠BEA=∠DAE,
∴rt△EDA≌rt△ABE,得AD=BE.