(1)证明:连接PB,OP,
∵PE⊥AB,PD⊥OB,
∴∠BEP=∠PDO=90°,
∵AB切⊙O
1于B,∠ABP=∠BOP,
∴△PBE∽△POD,
∴
=
,
同理,△OPF∽△BPD
∴
=
,
∴
=
,
∴PD
2=PE•PF;
(2)解:连接O
1B,O
1P,
∵AB切⊙O
1于B,∠POB=30°,
∴∠ABP=30°,
∴∠O
1BP=90°-30°=60°,
∵O
1B=O
1P,
∴△O
1BP为等边三角形,
∴O
1B=BP,
∵P为弧BO的中点,
∴BP=OP,
即△O
1PO为等边三角形,
∴O
1P=OP=a,
∴∠O
1OP=60°,
又∵P为弧BO的中点,
∴O
1P⊥OB,
在△O
1DO中,∵∠O
1OP=60°O
1O=a,
∴O
1D=
a,OD=
a,
过D作DM⊥OO
1于M,∴DM=
OD=
a,
OM=
DM=
a,
∴D(-
a,
a),
∵∠O
1OF=90°,∠O
1OP=60°
∴∠POF=30°,
∵PE⊥OA,
∴PF=
OP=
a,OF=
a,
∴P(-
a,
),F(-
a,0),
∵AB切⊙O
1于B,∠POB=30°,
∴∠ABP=∠BOP=30°,
∵PE⊥AB,PB=a,
∴∠EPB=60°
∴PE=
a,BE=
a,
∵P为弧BO的中点,
∴BP=PO,
∴∠PBO=∠BOP=30°,
∴∠BPO=120°,
∴∠BPE+∠BPO=120°+60°=180°,
即OPE三点共线,
∵OE=
a+a=
a,
过E作EM⊥x轴于M,∵AO切⊙O
1于O,
∴∠EOA=30°,
∴EM=
OE=
a,OM=
a,
∴E(-
a,
a),
∵E(-
a,
a),D(-
a,
a),
∴DE=-
a-(-
a)=
a,
DE边上的高为:
a,
∴S
△DEF=
×
a×
a=
a
2.
故答案为:D(-
a,
a),E(-
a,
a),F(-
a,0),P(-
a,
);S
△DEF=
a
2.
分析:(1)连接PB,OP,利用AB切⊙O
1于B求证△PBE∽△POD,得出
=
,同理,△OPF∽△BPD,得出
=
,然后利用等量代换即可.
(2)连接O
1B,O
1P,得出△O
1BP和△O
1PO为等边三角形,根据直角三角形的性质即可解得D、E、F、P四个点的坐标.
再利用三角形的面积公式可直接求出三角形DEF的面积.
点评:本题主要考查学生对相似三角形的判定与性质,切割线定理,坐标与图形性质等知识点的理解和掌握,此题综合性强,难度较大,属于难题.