证明： 连结AD,CD 延长BC,作DE⊥BE DF⊥AC
∵AC>BC D为优弧ACB中点
∴D在劣弧AC上
∵弧AD=弧BD 弧CD=弧CD
∴∠CAD=∠CBD
AD=BD ∠BED=∠AFD=90°
∴△BDE≌△ADF(AAS)
DF=DE DC=DC
△CDE≌△DCF(HL)
CF=CE
∴AD²=AF²+DF²=AF²+CD²-CF²=(AF+CF)(AF-CF)+CD²
=AC*(BE-CE)+CD²=AC*BC+CD²
AD²=AC*BC+CD²