1. (2016·滨州)

如图，过正方形ABCD顶点B，C的⊙O与AD相切于点P，与AB，CD分别相交于点E、F，连接EF．

1. （1） 求证：PF平分∠BFD．

3. （2） 若tan∠FBC= ，DF= ，求EF的长．