已知,斜边ab与圆o相切于点d,
可得:od⊥ab,
而且,ac⊥bc,∠bae = ∠cae ,
可得:ad/ao = cos∠bae = cos∠cae = ac/ae ,
所以,ad×ae = ao×ac .