延长CO交圆O于F,连接FE,
则三角形CEF为直角三角形,三角形CDO也为直角三角形,
而三角形CEF与三角形CDO又共有角FCE,则此两三角形相似,
则有CO:CE=CD:CF,即CD*CE=CO*CF,
又CO=1/2CF,CF=AB,代入,即得BA平方=2CD*CE.
延长CO交圆O于F,连接FE,
则三角形CEF为直角三角形,三角形CDO也为直角三角形,
而三角形CEF与三角形CDO又共有角FCE,则此两三角形相似,
则有CO:CE=CD:CF,即CD*CE=CO*CF,
又CO=1/2CF,CF=AB,代入,即得BA平方=2CD*CE.