题目:

如图,AB是⊙O的直径,延长BA到点P,过P作⊙O的切线PC,切点为C,过点B向PC的延长线作垂线BE交PC于E,BE交⊙O于D,已知PA=1,PC=
OC
(1)求DE的长;
(2)连结DO,延长DO交⊙O于F,连结PF,求证:PF是⊙O的切线.
答案
解:(1)设圆的半径是r,则OP=PA+r=1+r,OC=r,PC=
r.
∵PC是圆的切线,
∴∠PCO=90°,
∴在直角△PCO中,PC
2+OC
2=OP
2,即(
r)
2+r
2=(1+r)
2,
解得:r=1.
在直角△OPC中,cos∠POC=
=
,
∴∠POC=60°,
∵∠PCO=90°,BE⊥BC,
∴BE∥OC,
∴△OPC∽△BPE,∠B=∠POC=60°,
∴
=
=
,
∴BE=
OC=
.
∵在△OBD中,OB=OD,∠B=60°,
∴△OBD是等边三角形,BD=OB=1,∠BOD=60°.
∴DE=BE-BD=
-1-
,∠POF=∠BOD=60°;
(2)∵在△OPC和△OPF中,
,
∴△OPC≌△OPF(SAS),
∴∠OFP=∠OCP=90°,
∴PF是⊙O的切线.
解:(1)设圆的半径是r,则OP=PA+r=1+r,OC=r,PC=
r.
∵PC是圆的切线,
∴∠PCO=90°,
∴在直角△PCO中,PC
2+OC
2=OP
2,即(
r)
2+r
2=(1+r)
2,
解得:r=1.
在直角△OPC中,cos∠POC=
=
,
∴∠POC=60°,
∵∠PCO=90°,BE⊥BC,
∴BE∥OC,
∴△OPC∽△BPE,∠B=∠POC=60°,
∴
=
=
,
∴BE=
OC=
.
∵在△OBD中,OB=OD,∠B=60°,
∴△OBD是等边三角形,BD=OB=1,∠BOD=60°.
∴DE=BE-BD=
-1-
,∠POF=∠BOD=60°;
(2)∵在△OPC和△OPF中,
,
∴△OPC≌△OPF(SAS),
∴∠OFP=∠OCP=90°,
∴PF是⊙O的切线.