已知P是圆O直径AB延长线上的一点,割线PCD交圆O于C,D两点,弦DF垂直AB于点H,CF交AB于点E.求证PA*PB

yclooo,
证明：
（1）连结OD,
因为 圆心角角AOD对于弧AD,弧AD是弧DF的一半,而 圆周角DCF对应弧DF,所以有 ：
∠AOD＝∠DCF
∵∠DOP＝180°-∠AOD,∠ECP＝180°-∠DCF,
∴∠DOP＝∠ECP,
又∠P为公共角,∴△DOP和△ECP相似,
∴PO：PC＝PD：PE∴PC×PD＝PO×PE
又PC×PD＝PB×PA
∴PB×PA＝PO×PE
（2）
∵AB是直径,DF⊥AB∴ED＝EF
又DE⊥CF∴△DEF是等腰直角三角形,∠F＝∠EDF＝45°∴∠AEF＝∠AED＝45°
∴∠DCF＝∠P+∠CEP＝15°+45°＝60°
∴∠AOD＝60°,∠HDO＝∠EDC＝300,
∵OD＝2,则DH＝√3,EF＝DE＝√2DH＝√6,CE＝tan30°×DE＝√2.
∴CF＝CE＋EF＝√6＋√2