双曲线中常考的十六条焦点性质及其证明