垃圾回收的算法手册:在三角形ABC中,AB=AC……

来源:百度文库 编辑:杭州交通信息网 时间:2024/04/27 21:33:14
在三角形ABC中,AB=AC,以AB为直径作圆O交BC于D,作DE垂直于AC于E,连BE交圆O于F,求证AE*CE=BE*EF。

(提示:关于圆中的相似三角形)谢谢你们!

∵AB为直径,D在⊙O上
∴∠ADE=90°
∴AD⊥BC
又∵AB=AC
∴D为BC中点
又∵O为AB中点
∴DO为△BAC中位线
∴DO‖AC
又∵DE⊥AC
∴DE⊥DO
又∵OD为⊙O半径
∴DE为⊙O切线
∴EF·EB=DE·DE
又∵AD⊥DC,DE⊥AC
∴AE·EC=DE·DE
∴AE·CE=BE·EF

好难写啊