动态几何问题的常用策略

1.用方程控制变量范围例1已知直三棱锥ABC—A₁B₁ C₁,AB =AC,F为棱BB₁上的一点,BF:FB₁=2:1,BF=BC:2a.（1）若D为BC的中点,E为线段AD上不同于A、D的任一点,证明:EF⊥FC₁;