已知双曲线方程x^2/9-y^2/16=1的两个焦点分别为F1,F2,点P在双曲线上,且PF1垂直于PF2,求P至x轴的