(1)∵AB⊥BC,∴AB为圆O的切线,
又AE为圆O的切线,
∴AB=AF=4,
同理得到EF=EC,
设EF=EC=x,则有DE=DC-EC=4-x,AE=AF+EF=4+x,
在Rt△ADE中,利用勾股定理得:AE2=AD2+DE2,即(4+x)2=42+(4-x)2,
解得:x=1,
∴DE=4-1=3,
则S△ADE=
| 1 |
| 2 |
(2)连接OA,OF,
∵OB⊥AB,OF⊥AF,且OB=OF,
∴AO为∠BAF的平分线,
∵AB=AF,
∴AM⊥BF,M为BF的中点,
在Rt△ABO中,根据勾股定理得:OA=
| AB2+OB2 |
| 5 |
∵S△ABO=
| 1 |
| 2 |
| 1 |
| 2 |
∴BM=
| 4×2 | ||
2
|
4
| ||
| 5 |
则BF=2BM=
8
| ||
| 5 |

