因为k=tana 1+1/k^2=1+1/tana^2=1+[(cosa)/(sina)]^2=(sina/sina)^2+[(cosa)/(sina)]^2==[sina^2+cosa^2]/sina^2=1/sina^2 cos2a=1-2sina^2 1--cos2a=2sina^2全都是三角运算。
求出了P点，然后可以求出|PF|
