1. (2017·丰县模拟) 如图，过正方形ABCD顶点B，C的⊙O与AD相切于点P，与AB，CD分别相交于点E，F，连接EF．

1. （1） 求证：PF平分∠BFD；
3. （2） 若tan∠FBC= ，DF= ，求EF的长．