P1024 [NOIP2001 提高组] 一元三次方程求解

题目描述

有形如：a x^3 + b x^2 + c x + d = 0ax3+bx2+cx+d=0 这样的一个一元三次方程。给出该方程中各项的系数（a,b,c,da,b,c,d 均为实数），并约定该方程存在三个不同实根（根的范围在 -100−100 至 100100 之间），且根与根之差的绝对值 \ge 1≥1。要求由小到大依次在同一行输出这三个实根(根与根之间留有空格)，并精确到小数点后 22 位。

提示：记方程 f(x) = 0f(x)=0，若存在 22 个数 x_1x1​ 和 x_2x2​，且 x_1 < x_2x1​<x2​，f(x_1) \times f(x_2) < 0f(x1​)×f(x2​)<0，则在 (x_1, x_2)(x1​,x2​) 之间一定有一个根。

输入格式

一行，44 个实数 a, b, c, da,b,c,d。

输出格式

一行，33 个实根，从小到大输出，并精确到小数点后 22 位。

输入输出样例

输入 #1           输出 #1
1 -5 -4 20        —2.00 2.00 5.00

其实公式法虽然赖皮但不失为一种好方法

0.前备知识：

一元三次方程的求解。

对于

ax^3+bx^2+cx+d=0\ (a\ne0)ax3+bx2+cx+d=0 (a=0)

求解方法：第一步：配方，换元，去三次项系数

于是只需解形如

x'^3+px'+q=0x′3+px′+q=0

的方程。



又有

(a+b)^3=a^3+3a^2b+3ab^2+b^3(a+b)3=a3+3a2b+3ab2+b3

\qquad\quad=a^3+b^3+3ab(a+b)=a3+b3+3ab(a+b)

所以令a+b=X，有

X^3=a^3+b^3+3abXX3=a3+b3+3abX

即

X^3+(-3ab)X+(-a^3-b^3)=0X3+(−3ab)X+(−a3−b3)=0

也就是说，要解

x'^3+px'+q=0x′3+px′+q=0

只需求出符合条件的a、b即可。这样就直接X=a+bX=a+b，解出结果。

\begin{cases}-3ab=p\\-a^3-b^3=q\end{cases}{−3ab=p−a3−b3=q​

即

\begin{cases}-27a^3b^3=p^3\\-a^3-b^3=q\end{cases}{−27a3b3=p3−a3−b3=q​

而这很容易解决，解出p^3p3和q^3q3再开根即可。
(其实解出来符合条件的实数对(a,b)只有一组，三个解为

x_1=a+bx1​=a+b

\quad\,\ x_2=\omega a+\overline{\omega}b x2​=ωa+ωb

\quad\,\ x_3=\overline{ω}a+\omega b x3​=ωa+ωb

其中\omegaω为三次单位根\frac{1+\sqrt{3}i}{2}21+3​i​,\overline{\omega}ω为三次单位根\frac{1-\sqrt{3}i}{2}21−3​i​)

1.由此可得出著名的卡尔丹公式：

对于ax^3+bx^2+cx+d=0(a≠0)ax3+bx2+cx+d=0(a=0),

p=\frac{3ac-b^2}{3a^2},q=\frac{27a^2d-9abc+2b^3}{27a^3}p=3a23ac−b2​,q=27a327a2d−9abc+2b3​

x_1=\sqrt[3]{-\frac{q}{2}\!+\!\sqrt{\left(\frac{q}{2}\right)^2\!\!+\!\left(\frac{p}{2}\right)^3}}\!\!+\sqrt[3]{-\frac{q}{2}\!-\!\sqrt{\left(\frac{q}{2}\right)^2\!\!+\!\left(\frac{p}{2}\right)^3}}\!-\frac{b}{3a}x1​=3−2q​+(2q​)2+(2p​)3​​+3−2q​−(2q​)2+(2p​)3​​−3ab​

\quad\ x_2=\omega\sqrt[3]{-\frac{q}{2}\!+\!\sqrt{\left(\frac{q}{2}\right)^2\!\!+\!\left(\frac{p}{2}\right)^3}}\!\!+\!\overline{\omega}\sqrt[3]{-\frac{q}{2}\!-\!\sqrt{\left(\frac{q}{2}\right)^2\!\!+\!\left(\frac{p}{2}\right)^3}}\!-\frac{b}{3a} x2​=ω3−2q​+(2q​)2+(2p​)3​​+ω3−2q​−(2q​)2+(2p​)3​​−3ab​

\quad\ x_3=\overline{\omega}\sqrt[3]{-\frac{q}{2}\!+\!\sqrt{\left(\frac{q}{2}\right)^2\!\!+\!\left(\frac{p}{2}\right)^3}}\!\!+\!\omega\sqrt[3]{-\frac{q}{2}\!-\!\sqrt{\left(\frac{q}{2}\right)^2\!\!+\!\left(\frac{p}{2}\right)^3}}\!-\frac{b}{3a} x3​=ω3−2q​+(2q​)2+(2p​)3​​+ω3−2q​−(2q​)2+(2p​)3​​−3ab​

其中出现复数，把实部和虚部分别用一个double存储并分别处理即可。听说有种神奇的东西叫complex?
实际实现时，把\dfrac{q}{2}2q​和\dfrac{p}{3}3p​以及\sqrt{\left(\dfrac{q}{2}\right)^2\!\!+\!\left(\dfrac{p}{2}\right)^3}(2q​)2+(2p​)3​作为一个整体存储。

2.代码：

#include<cstdio>
double a,b,c,d;
double fc(double x)
{
    return a*x*x*x+b*x*x+c*x+d;
}
int main()
{
    double l,r,m,x1,x2;
    int s=0,i;
    scanf("%lf%lf%lf%lf",&a,&b,&c,&d);  //输入
    for (i=-100;i<100;i++)
    {
        l=i; 
        r=i+1;
        x1=fc(l); 
        x2=fc(r);
        if(!x1) 
        {
            printf("%.2lf ",l); 
            s++;
        }      //判断左端点，是零点直接输出。
                        
                        //不能判断右端点，会重复。
        if(x1*x2<0)                             //区间内有根。
        {
            while(r-l>=0.001)                     //二分控制精度。
            {
                m=(l+r)/2;  //middle
                if(fc(m)*fc(r)<=0) 
                   l=m; 
                else 
                   r=m;   //计算中点处函数值缩小区间。
            }
            printf("%.2lf ",r);  
            //输出右端点。
            s++;
        }
        if (s==3) 
            break;             
            //找到三个就退出大概会省一点时间
    }
    return 0;
}

3.性能分析：

1.比盛金公式慢，但精度好（盛金公式要用到误差很大的sin和cos）
2.和二分相当且速度受数据范围、精度要求影响小