双曲线 x^2/a^2 - y^2/b^2 = 1 ——渐近线 。验证。