（几何证明选做题）如图，已知P是⊙O外一点，PD为⊙O的切线，D为切点，割线PEF经过圆心O，若PF=12，PD=4，则⊙O的半径长为________．在线课程4
分析：利用切割线定理，可得PD²=PE×PF，代入计算即可得到圆的半径．
解答：∵PD为⊙O的切线，D为切点，割线PEF经过圆心O
∴PD²=PE×PF
设圆的半径为r，
∵PF=12，PD=4，
∴48=（12-2r）×12
∴r=4
故答案为：4
点评：本题考查圆的切线，考查切割线定理，考查计算能力，属于基础题．