费拉里公式：数学史上4次方程解法与推导步骤

费拉里公式，又称费拉里方法，是数学史上解决四次方程的重要工具。在17世纪，数学家们对多项式方程的解法进行了深入研究，费拉里公式正是这一时期的重要成果之一。今天，我就来为大家详细介绍一下费拉里公式，包括其数学史背景、解法步骤以及推导过程。

一、费拉里公式的数学史背景

在17世纪，欧洲数学家们对多项式方程的解法进行了深入研究。当时，数学家们已经能够解三次方程和二次方程，但四次方程的解法却一直困扰着他们。在这种情况下，意大利数学家洛伦佐·费拉里（Lorenzo Ferrari）提出了费拉里公式，为解决四次方程提供了新的思路。

二、费拉里公式解法步骤

1. 对四次方程进行降次，将其转化为一个三次方程。具体操作如下：

将原方程两边同时乘以$x^2$，得到$x^6+px^5+qx^4+rx^3+sx^2=0$。

然后，将方程两边同时乘以$x^3$，得到$x^9+px^8+qx^7+rx^6+sx^3=0$。

接着，将上述两个方程相减，得到$x^9-x^6+px^8-x^5+qx^7-x^4+rx^6-rx^3+sx^3-sx^2=0$。

化简后，得到$x^9+(p-1)x^8+(q-1)x^7+(r-1)x^6+(s-1)x^3=0$。

原四次方程已经转化为一个三次方程。

2. 求解得到的三次方程。对于形如$x^3+ax^2+bx+c=0$的三次方程，可以使用卡尔丹公式（Cardano's formula）求解。

3. 将三次方程的解代入原四次方程，求解得到原四次方程的解。

三、费拉里公式推导过程

1. 假设原四次方程有一个实根$x_0$，那么根据韦达定理，有$x_0^3=-\frac{p}{4}$。

2. 构造一个新方程$x^2+x_0^3+x_0=0$，并设其根为$x_1$和$x_2$。

3. 根据韦达定理，有$x_1+x_2=-1$和$x_1x_2=x_0$。

4. 通过将$x_1$和$x_2$代入新方程，可以得到$x_1$和$x_2$的表达式。

5. 利用$x_1$和$x_2$的表达式，可以求出原四次方程的解。

通过以上步骤，我们就得到了费拉里公式。费拉里公式在数学史上具有重要的地位，它不仅为解决四次方程提供了新的思路，而且对后续数学研究产生了深远的影响。