如何推导二元方程对应曲线的参数函数？含具体实例

嘿，这个问题确实戳中了显式参数化的痛点——当方程里出现交叉项时，直接设$x=t$解$y(t)$的路子走不通。咱们一步步来拆解这个方程，找到可行的参数化方案：

方法1：将方程视为关于$x^2$的二次方程，推导$x(y)$ #

首先把原方程整理成关于$x^2$的标准二次形式：
$$2(x²⁾2 + y \cdot x^2 + (y^4 - 2) = 0$$
这时候可以用二次方程求根公式解$x^2$：
$$x^2 = \frac{-y \pm \sqrt{y^2 - 8(y^4 - 2)}}{4}$$

关键约束：确保根号内和分子非负 #

1. 根号内的表达式必须≥0：
   $$y^2 - 8y^4 + 16 \geq 0 \implies 8y^4 - y^2 - 16 \leq 0$$
   令$z=y^{2$（$z≥0$），解二次不等式$8z}2 - z -16 ≤0$，得到正根为$\frac{1+\sqrt{513}}{16}≈1.478$，因此$y$的取值范围是$y \in \left[-\sqrt{\frac{1+\sqrt{513}}{16}}, \sqrt{\frac{1+\sqrt{513}}{16}}\right]$。
2. 分子$\frac{-y \pm \sqrt{\dots}}{4}$必须≥0：需要根据$y$的正负，组合根号前的正负号，确保整个分子非负。比如当$y$为正时，优先取负号的组合（$-y + \sqrt{\dots}$），因为$\sqrt{\dots} > y$（由根号内非负可推），这样分子为正；当$y$为负时，优先取正号的组合。

最终$x(y)$的表达式为：
$$x(y) = \pm \sqrt{\frac{-y \pm \sqrt{y^2 -8(y^4 -2)}}{4}}$$
（需根据$y$的取值选择合适的根号组合，保证根号内非负）

方法2：极坐标参数化，推导$x(t), y(t)$ #

设极坐标转换：$x = r(t)\cos t$，$y = r(t)\sin t$，代入原方程得：
$$2r^4\cos4t + r^3\sin t \cos^2t + r^4\sin4t = 2$$
整理为关于$r$的四次方程：
$$r^4(2\cos4t + \sin^4t) + r^3\sin t \cos^2t - 2 = 0$$

对于每个参数$t$（即极角$\theta=t$，遍历$0≤t<2\pi$），可以通过数值方法求解这个四次方程的正实根$r(t)$（因为极径$r≥0$），然后得到参数方程：
$$x(t) = r(t)\cos t, \quad y(t) = r(t)\sin t$$

这种方法适合用编程绘制曲线——比如用Python的numpy遍历$t$，用scipy.optimize.root求解每个$t$对应的$r$。

方法3：换元法构造参数$t$ #

当$x≠0$时，设$t = \frac{y}{x^2}$（即$y = t x^2$），代入原方程：
$$2x^4 + t x^4 + t^4 x^8 = 2$$
令$u=x^4$，方程转化为关于$u$的二次方程：
$$t^4 u^2 + (t+2)u - 2 = 0$$
用求根公式取正根：
$$u = \frac{-(t+2) + \sqrt{(t+2)^2 + 8t^4}}{2t4}$$
（根号前取正号，因为分子必须为正）

然后可以得到参数方程：
$$x(t) = \pm u^{1/4}, \quad y(t) = t \cdot u^{1/2}$$

注意：当$x=0$时，代入原方程得$y^4=2$，即$y=\pm 2^{1/4}$，这两个点需要单独补充到曲线中。

内容的提问来源于stack exchange，提问作者Thomas Arildsen