双曲线的第二个定义里定直线a^2/c是怎么推出来的?