（选修4-1：几何证明选讲）
如图所示，已知PA与⊙O相切，A为切点，PBC为割线，弦CD∥AP，AD、BC相交于E点，F为CE上一点，且∠EDF=∠ECD．
（1）求证：EF•EP=DE•EA；
（2）若EB=DE=6，EF=4，求PA的长．在线课程（1）证明：∵CD∥AP，∴∠ECD=∠APE．
∵∠EDF=∠ECD，∴∠APE=∠EDF…（3分）
又∵∠DEF=∠PEA，∴△DEF∽△PEA
∴DE：PE=EF：EA．即EF•EP=DE•EA．…（5分）
（2）解：∵∠EDF=∠ECD，∠CED=∠FED，
∴△DEF∽△CED，∴DE：EC=EF：DE，
∴DE²=EF•EC，
∵DE=6，EF=4，∴EC=9．…（6分）
∵弦AD、BC相交于点E，∴DE•EA=CE•EB
∴CE•EB=EF•EP．…（7分）
∴9×6=4×EP．解得：．…（8分）
∴，．
由切割线定理得：PA²=PB•PC，…（9分）
∴，
∴．…（10分）
分析：（1）证明△DEF∽△PEA，即可得到比例式，从而可得结论；
（2）利用△DEF∽△CED，求EC的长，利用相交弦定理，求EP的长，再利用切割线定理，即可求PA的长．
点评：本题考查与圆有关的比例线段，考查三角形的相似，考查相交弦定理，切割线定理的运用，属于基础题．