解三次方程
两个立方根加减一下,就是那个根。希腊人卡在二次,这里过去了。
二次方程的配方法,巴比伦人就会了;此后一千八百年,三次方程没人解得开。1500 年前后博洛尼亚的德尔·费罗解开了 x³+px=q 这一类,秘不示人;塔尔塔利亚独立又解了一遍;卡尔达诺 1545 年把它连同全部情形一起印进《大术》,还捎上了费拉里解四次的办法。公式长得吓人,可它确实是公式:只用系数、四则运算和开方,有限步之内就把根写出来。这件事的分量要等三百年才被完全看清——伽罗瓦证明了五次方程再也没有这样的公式,而三次、四次能解,正是因为它们的群拆得完。
拨一组系数,看那两个立方根怎样凑出根来,再代回原方程验一遍
x³ + 9x = 26
| ① 判别式 | q²/4 + (p/3)³ | 196 |
|---|---|---|
| ② 开平方 | √① | 14 |
| ③ 加上 q/2 | q/2 + ② | 27 |
| ④ 减去 q/2 | ② − q/2 | 1 |
| ⑤ 开立方 | ∛③ = u | 3 |
| ⑥ 开立方 | ∛④ = v | 1 |
| ⑦ 相减 | u − v = x | 2 |
代回去验一遍:x³ + 9x = 26,正是 q。
《大术》里的例子之一,根恰好是整数 2。 这就是一条公式:只用系数、四则运算与开方,有限步之内写出根来。1545 年之前, 没有人做得到这一点;1830 年之后,人们知道五次方程再也不会有这样的东西。
