一元四次方程式

解法

阶段一：变形去除三次项

1. $at^{4}+bt^{3}+ct^{2}+dt+e=0\Rightarrow$ 以 $t=x-{\frac {b}{4a}}$ 代入

2.得 $x^{4}+px^{2}+qx+r=0$ ，令其四根为 $x_{1},x_{2},x_{3},x_{4}$

阶段二：变身为三次方程式

3.由 $(x-x_{1})(x-x_{2})(x-x_{3})(x-x_{4})=0$ 可得 ${\begin{cases}x_{1}+x_{2}+x_{3}+x_{4}=0\\x_{1}x_{2}+x_{1}x_{3}+x_{1}x_{4}+x_{2}x_{3}+x_{2}x_{4}+x_{3}x_{4}=p\\x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4}=-q\\x_{1}x_{2}x_{3}x_{4}=r\end{cases}}$

4.

设 ${\begin{cases}y_{1}=(x_{1}+x_{2})(x_{3}+x_{4})\\y_{2}=(x_{1}+x_{3})(x_{2}+x_{4})\\y_{3}=(x_{1}+x_{4})(x_{2}+x_{3})\end{cases}}$	则	${\begin{cases}y_{1}+y_{2}+y_{3}=2p\\y_{1}y_{2}+y_{1}y_{3}+y_{2}y_{3}=p^{2}-4r\\y_{1}y_{2}y_{3}=-q^{2}\end{cases}}$	注意： $y_{1},y_{2},y_{3}$ 对 $x$ 而言是 2 次 $p$ 对 $x$ 而言是 2 次 $p^{2},r$ 对 $x$ 而言是 4 次 $q^{2}$ 对 $x$ 而言是 6 次

5.故 $y_{1},y_{2},y_{3}$ 为 $y^{3}-2py^{2}+(p^{2}-4r)y+q^{2}=0$ 的三根，
此方程式对 $x$ 而言是 6 次，其四项对 $x$ 而言分别是 0+6 次、 2+4 次、 4+2 次、 6+0 次。

阶段三：以三次方程式之三根求四次方程式之四根

6. $\because (x_{1}+x_{2})+(x_{3}+x_{4})=0,(x_{1}+x_{2})(x_{3}+x_{4})=y_{1}\therefore (x_{1}+x_{2}),(x_{3}+x_{4})$ 为 $w^{2}+y_{1}=0$ 之二根， $(x_{1}+x_{2})={\sqrt {-y_{1}}}$ 或 $(x_{1}+x_{2})=-{\sqrt {-y_{1}}}$

7.设 $(x_{1}+x_{2})={\sqrt {-y_{1}}},(x_{3}+x_{4})=-{\sqrt {-y_{1}}}$ (此有另一种解，判断方法补充于最后)

8.同理，可得 ${\begin{cases}(x_{1}+x_{2})={\sqrt {-y_{1}}},(x_{3}+x_{4})=-{\sqrt {-y_{1}}}\\(x_{1}+x_{3})={\sqrt {-y_{2}}},(x_{2}+x_{4})=-{\sqrt {-y_{2}}}\\(x_{1}+x_{4})={\sqrt {-y_{3}}},(x_{2}+x_{3})=-{\sqrt {-y_{3}}}\end{cases}}$

9.解联立方程式，得 ${\begin{cases}x_{1}={\frac {1}{2}}({\sqrt {-y_{1}}}+{\sqrt {-y_{2}}}+{\sqrt {-y_{3}}})\\x_{2}={\frac {1}{2}}({\sqrt {-y_{1}}}-{\sqrt {-y_{2}}}-{\sqrt {-y_{3}}})\\x_{3}={\frac {1}{2}}(-{\sqrt {-y_{1}}}+{\sqrt {-y_{2}}}-{\sqrt {-y_{3}}})\\x_{4}={\frac {1}{2}}(-{\sqrt {-y_{1}}}-{\sqrt {-y_{2}}}+{\sqrt {-y_{3}}})\end{cases}}$

补充一：

在步骤 7 中，若假设 $(x_{1}+x_{2})={\sqrt {-y_{1}}},(x_{3}+x_{4})=-{\sqrt {-y_{1}}}$ 则需确认 ${\sqrt {-y_{1}}}\times {\sqrt {-y_{2}}}\times {\sqrt {-y_{3}}}=-q$

否则需假设 $(x_{1}+x_{2})=-{\sqrt {-y_{1}}},(x_{3}+x_{4})={\sqrt {-y_{1}}}$ 即满足 $-{\sqrt {-y_{1}}}\times {\sqrt {-y_{2}}}\times {\sqrt {-y_{3}}}=-q$

补充二：

在步骤 4 中， $y_{1}y_{2}+y_{1}y_{3}+y_{2}y_{3}+4r=p^{2}+(x_{1}+x_{2}+x_{3}+x_{4})\times (x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4})$ ，两边展开化简后得 $y_{1}y_{2}+y_{1}y_{3}+y_{2}y_{3}+4r=p^{2}\therefore y_{1}y_{2}+y_{1}y_{3}+y_{2}y_{3}=p^{2}-4r$
且 ${\begin{aligned}y_{1}y_{2}y_{3}+q^{2}=&(x_{1}+x_{2}+x_{3}+x_{4})\times [x_{1}x_{2}x_{3}(x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3})+x_{1}x_{2}x_{4}(x_{1}x_{2}+x_{1}x_{4}+x_{2}x_{4})\\&+x_{1}x_{3}x_{4}(x_{1}x_{3}+x_{1}x_{4}+x_{3}x_{4})+x_{2}x_{3}x_{4}(x_{2}x_{3}+x_{2}x_{4}+x_{3}x_{4})+2x_{1}x_{2}x_{3}x_{4}(x_{1}+x_{2}+x_{3}+x_{4})]\end{aligned}}$
，两边展开化简后得 $y_{1}y_{2}y_{3}+q^{2}=0\therefore y_{1}y_{2}y_{3}=-q^{2}$

例题

例题一

题目： $x^{4}-22x^{2}-48x-23=0$

$p=-22,q=-48,r=-23$ 则 $-2p=44,p^{2}-4r=576,q^{2}=2304$
$y_{1},y_{2},y_{3}$ 为 $y^{3}+44y^{2}+576y+2304=0$ 的三根
$\because (y+8)(y+12)(y+24)=0\therefore y_{1}=-8,y_{2}=-12,y_{3}=-24$
$\therefore$
$x_{1}={\frac {1}{2}}({\sqrt {8}}+{\sqrt {12}}+{\sqrt {24}})={\sqrt {2}}+{\sqrt {3}}+{\sqrt {6}}$

$x_{2}={\frac {1}{2}}({\sqrt {8}}-{\sqrt {12}}-{\sqrt {24}})={\sqrt {2}}-{\sqrt {3}}-{\sqrt {6}}$

$x_{3}={\frac {1}{2}}(-{\sqrt {8}}+{\sqrt {12}}-{\sqrt {24}})=-{\sqrt {2}}+{\sqrt {3}}-{\sqrt {6}}$

$x_{4}={\frac {1}{2}}(-{\sqrt {8}}-{\sqrt {12}}+{\sqrt {24}})=-{\sqrt {2}}-{\sqrt {3}}+{\sqrt {6}}$

例题二

题目： $x^{4}-22x^{2}+48x-23=0$

$p=-22,q=48,r=-23$ 则 $-2p=44,p^{2}-4r=576,q^{2}=2304$
$y_{1},y_{2},y_{3}$ 为 $y^{3}+44y^{2}+576y+2304=0$ 的三根
$\because (y+8)(y+12)(y+24)=0\therefore y_{1}=-8,y_{2}=-12,y_{3}=-24$
(到此之前除了 q 之外其他与例题一一模一样)
但是因为 ${\sqrt {8}}\times {\sqrt {12}}\times {\sqrt {24}}=48\neq -q$ ，因此不可取 $x_{1}+x_{2}={\sqrt {-y_{1}}}$ ，应该取 $x_{1}+x_{2}=-{\sqrt {-y_{1}}}$ 。
再验证一下： $-{\sqrt {8}}\times {\sqrt {12}}\times {\sqrt {24}}=-48=-q$ ，所以是正确的。
$\therefore$
$x_{1}={\frac {1}{2}}(-{\sqrt {8}}+{\sqrt {12}}+{\sqrt {24}})=-{\sqrt {2}}+{\sqrt {3}}+{\sqrt {6}}$

$x_{2}={\frac {1}{2}}(-{\sqrt {8}}-{\sqrt {12}}-{\sqrt {24}})=-{\sqrt {2}}-{\sqrt {3}}-{\sqrt {6}}$

$x_{3}={\frac {1}{2}}({\sqrt {8}}+{\sqrt {12}}-{\sqrt {24}})={\sqrt {2}}+{\sqrt {3}}-{\sqrt {6}}$

$x_{4}={\frac {1}{2}}({\sqrt {8}}-{\sqrt {12}}+{\sqrt {24}})={\sqrt {2}}-{\sqrt {3}}+{\sqrt {6}}$

例题三

题目： $x^{4}-2x^{2}+1=0$

$p=-2,q=0,r=1$ 则 $-2p=4,p^{2}-4r=0,q^{2}=0$
$y_{1},y_{2},y_{3}$ 为 $y^{3}+4y^{2}=0$ 的三根
$y_{1}=0,y_{2}=0,y_{3}=-4\therefore {\sqrt {-y_{1}}}=0,{\sqrt {-y_{2}}}=0,{\sqrt {-y_{3}}}=2$
$\therefore$
$x_{1}={\frac {1}{2}}(0+0+2)=1$

$x_{2}={\frac {1}{2}}(0-0-2)=-1$

$x_{3}={\frac {1}{2}}(-0+0-2)=-1$

$x_{4}={\frac {1}{2}}(-0-0+2)=1$

例题四

题目： $x^{4}-(h^{2}+k^{2})x^{2}+h^{2}k^{2}=0$

$p=-(h^{2}+k^{2}),q=0,r=h^{2}k^{2}$ 则 $-2p=2(h^{2}+k^{2}),p^{2}-4r=(h^{2}-k^{2})^{2},q^{2}=0$
$y_{1},y_{2},y_{3}$ 为 $y^{3}+2(h^{2}+k^{2})y^{2}+(h^{2}-k^{2})^{2}y=0$ 的三根， $y_{1}=0$
$y_{2},y_{3}$ 为 $y^{2}+2(h^{2}+k^{2})y+(h^{2}-k^{2})^{2}=0$ 的两根
$y_{2}=-(h+k)^{2},y_{3}=-(h-k)^{2}\therefore {\sqrt {-y_{1}}}=0,{\sqrt {-y_{2}}}=h+k,{\sqrt {-y_{3}}}=h-k$
$\therefore$
$x_{1}={\frac {1}{2}}[0+(h+k)+(h-k)]=h$

$x_{2}={\frac {1}{2}}[0-(h+k)-(h-k)]=-h$

$x_{3}={\frac {1}{2}}[-0+(h+k)-(h-k)]=k$

$x_{4}={\frac {1}{2}}[-0-(h+k)+(h-k)]=-k$

例题五

题目： $x^{4}-3x^{2}-2x=0$

$p=-3,q=-2,r=0$ 则 $-2p=6,p^{2}-4r=9,q^{2}=4$
$y_{1},y_{2},y_{3}$ 为 $y^{3}+6y^{2}+9y+4=0$ 的三根
$\because (y+4)(y+1)(y+1)=0\therefore y_{1}=-4,y_{2}=-1,y_{3}=-1\therefore {\sqrt {-y_{1}}}=2,{\sqrt {-y_{2}}}=1,{\sqrt {-y_{3}}}=1$
$\therefore$
$x_{1}={\frac {1}{2}}(2+(1)+(1))=2$

$x_{2}={\frac {1}{2}}(2-(1)-(1))=0$

$x_{3}={\frac {1}{2}}(-2+(1)-(1))=-1$

$x_{4}={\frac {1}{2}}(-2-(1)+(1))=-1$

例题六

题目： $x^{4}-7x^{2}-6x=0$

$p=-7,q=-6,r=0$ 则 $-2p=14,p^{2}-4r=49,q^{2}=36$
$y_{1},y_{2},y_{3}$ 为 $y^{3}+14y^{2}+49y+36=0$ 的三根
$\because (y+9)(y+4)(y+1)=0\therefore y_{1}=-9,y_{2}=-4,y_{3}=-1\therefore {\sqrt {-y_{1}}}=3,{\sqrt {-y_{2}}}=2,{\sqrt {-y_{3}}}=1$
$\therefore$
$x_{1}={\frac {1}{2}}(3+2+1)=3$

$x_{2}={\frac {1}{2}}(3-2-1)=0$

$x_{3}={\frac {1}{2}}(-3+2-1)=-1$

$x_{4}={\frac {1}{2}}(-3-2+1)=-2$

例题七

题目： $x^{4}-1=0$

$p=0,q=0,r=-1$ 则 $-2p=0,p^{2}-4r=4,q^{2}=0$
$y_{1},y_{2},y_{3}$ 为 $y^{3}+4y=0$ 的三根
$\because (y)(y+2i)(y-2i)=0\therefore y_{1}=0,y_{2}=-2i,y_{3}=2i\therefore {\sqrt {-y_{1}}}=0,{\sqrt {-y_{2}}}=1+i,{\sqrt {-y_{3}}}=1-i$
$\therefore$
$x_{1}={\frac {1}{2}}(0+(1+i)+(1-i))=1$

$x_{2}={\frac {1}{2}}(0-(1+i)-(1-i))=-1$

$x_{3}={\frac {1}{2}}(-0+(1+i)-(1-i))=i$

$x_{4}={\frac {1}{2}}(-0-(1+i)+(1-i))=-i$