如何证明双曲线半焦距的平方等于半实轴的平方加上半虚轴的平方