双曲线 中,AF1=b^2/a,F1为左焦点,AF1垂直x轴交双曲线交与A点,问:前面的式子是怎么出来的?