注：读懂本文前两部分不需要线性代数基础
对勾函数 y = x + 1 / x y = x+1/x y=x+1/x 描绘出的曲线实际上是一条双曲线。之所以形式看起来与双曲线标准形式不像，是因为我们坐标系的建立问题。在当前这个坐标系下，其方程的形式不是标准形式。我们没法直接从这个表达式中看出其参数（a b c e 等等）
理解正文内容的基础
首先我们要理解以下几点：
1.我们不管怎么建立坐标系，曲线本身形状不会变
2.要想写出平面上某条双曲线的标准方程，我们应该以它的中心对称点为原点，并且让其顶点（或焦点）同时落在x轴或y轴上，要建这样的直角坐标系
3.我们在同一平面上建一个直角坐标系 x o y xoy xoy，然后固定原点不动，将它旋转得到坐标系 x ′ o y ′ x’oy’ x′oy′。这两个坐标系都能描述平面上任意一点。根据两个坐标系的基底之间的关系，我们可推导出 将平面上任意一点以 x ′ o y ′ x’oy’ x′oy′为基准的坐标转换为以 x o y xoy xoy为基准的坐标。
推导过程及结果
看完上面这张图还不能理解的话
可以建立xoy 画直线y=x的图像
然后xoy坐标系逆时针转90度得到x’oy’
看看该直线在x’oy’下的方程是否符合公式
更深层的知识（用到一定的线代）
可以去看一下线性代数中的实二次型化为标准型，其实我们在求标准方程时，利用坐标变换消去xy项（交叉项）就是实二次型化为标准型的核心逻辑。
(1)如何用矩阵表示实二次型（以本文中的题目为例）。
y = x + 1 / x < = > − x 2 + x y = 1 ( x 不 等 于 0 ) y = x+ 1/x <=> -x^2+xy = 1 (x不等于0) y=x+1/x<=>−x2+xy=1(x不等于0)，记为 f ( x , y ) = 1 f(x,y) = 1 f(x,y)=1。其中 f ( x , y ) = − x 2 + x y f(x,y) = -x^2+xy f(x,y)=−x2+xy
为了与线代课本中的表示方法保持一致， x 、 y x、y x、y写成 x 1 、 x 2 x1、x2 x1、x2，
x ′ 、 y ′ x’、y’ x′、y′写成 y 1 、 y 2 y1、y2 y1、y2
f ( x 1 , x 2 ) = ( x 1 , x 2 ) ( − 1 1 / 2 1 / 2 0 ) ( x 1 x 2 ) = X T A X f(x1,x2) = (x1,x2) \left( \begin{array}{ccc} -1 & 1/2 \\ 1/2 & 0 \end{array} \right) \left( \begin{array}{ccc} x1 \\ x2 \end{array} \right) = X^TAX f(x1,x2)=(x1,x2)(−11/21/20)(x1x2)=XTAX
其中 X = ( x 1 x 2 ) ， A = ( − 1 1 / 2 1 / 2 0 ) X = \left( \begin{array}{ccc} x1 \\ x2 \end{array} \right) ，A = \left( \begin{array}{ccc} -1 & 1/2 \\ 1/2 & 0 \end{array} \right) X=(x1x2)，A=(−11/21/20)
A对角线上的 a 11 a11 a11是 x 2 x^2 x2的系数， a 22 a22 a22是 y 2 y^2 y2的系数， a 12 = a 21 a12 = a21 a12=a21 是xy系数的 1 / 2 1/2 1/2。
(2)如何得到标准方程
为了消去 f ( X ) f(X) f(X)中的交叉项，我们希望将
f ( X ) = X T ( − 1 1 / 2 1 / 2 0 ) X = X T A X f(X)= X^T \left( \begin{array}{ccc} -1 & 1/2 \\ 1/2 & 0 \end{array} \right) X=X^TAX f(X)=XT(−11/21/20)X=XTAX
写成 ( y 1 , y 2 ) B ( y 1 y 2 ) = Y T B Y (y1,y2)B \left( \begin{array}{ccc} y1 \\ y2 \end{array} \right) = Y^TB Y (y1,y2)B(y1y2)=YTBY，其中 B B B 是一对角阵（意味着没有交叉项）， B B B 正是我们想求的。
根据本文第二部分，易知X和Y之间的这种坐标变换是可逆线性变换，那么有 X = C Y X = CY X=CY，而且易知 C C C是一正交矩阵。
X = C Y X = CY X=CY 代入 f ( X ) f(X) f(X)中得到 B = C T A C = C − 1 A C B = C^TAC = C^{-1}AC B=CTAC=C−1AC
到这一步，已经可以看出求 B B B 就是对 A A A进行对角化。
实际上，B的对角线上是A的特征值。因此，A的特征值就是标准型的系数。
比如说特征值是 1,-1 那么标准型就是 x 2 − y 2 = 1 x^2-y^2 = 1 x2−y2=1 或 y 2 − x 2 = 1 y^2 – x^2 =1 y2−x2=1， 实际上这两个都对，只是把x轴和y轴换了一下。
线代已好久没看过了，如果这里说的不准确请见谅，有错误请指出
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/212498.html原文链接：https://javaforall.net
