一元三次方程求根公式的历史

一元三次方程x^3+px+q=0，（p，q∈R）的求根公式是1545年由意大利学者卡尔丹发表在《关于代数的大法》一书中，人们就把它叫做卡尔丹公式（有的数学资料叫“卡丹公式”）。可是事实上，发现公式的人并不是卡尔丹(卡丹)本人，而是塔塔利亚（Tartaglia N.，约1499~1557）。发现此公式后，曾据此与许多人进行过解题竞赛，他往往是胜利者，因而他在意大利名声大震。医生兼数学家卡丹得知塔塔利亚总是获胜的消息后，就千方百计地找塔塔利亚探听他的秘密。当时学者们通常不急于把自己所掌握的秘密向周围的人公开，而是以此为秘密武器向别人挑战比赛，或等待悬赏应解，以获取奖金。 尽管卡尔丹千方百计地想探听塔塔利亚的秘密，但是在很长时间中塔塔利亚都守口如瓶。可是后来，由于卡丹一再恳切要求，而且发誓对此保守秘密，于是塔塔利亚在1539年把他的发现写成了一首语句晦涩的诗告诉了卡丹，但是并没有给出详细的证明。 卡丹并没有信守自己的誓言，1545年在其所著《重要的艺术》一书中向世人公开了这个解法。他在此书中写道：“这一解法来自于一位最值得尊敬的朋友--布里西亚的塔塔利亚。塔塔利亚在我的恳求之下把这一方法告诉了我，但是他没有给出证明。我找到了几种证法。证法很难，我把它叙述如下。”从此，人们就把一元三次方程的求根公式称为卡丹公式。 塔塔利亚知道卡丹把自己的秘密公之于众后，怒不可遏。按照当时人们的观念，卡丹的做法无异于背叛，而关于发现法则者是谁的附笔只能被认为是一种公开的侮辱。于是塔塔利亚与卡丹在米兰市的教堂进行了一场公开的辩论。 许多资料都记述过塔塔利亚与卡丹在一元三次方程求根公式问题上的争论，可是，名为卡丹公式的一元三次方程的求解方法，确实是塔塔利亚发现的；卡丹没有遵守誓言，因而受到塔塔利亚及许多文献资料的指责，卡丹错有应得，但是卡丹在公布这一解法时并没有把发现这一方法的功劳归于自己，而是如实地说明了这是塔塔利亚的发现，所以算不上剽窃；而且证明过程是卡丹自己给出的，说明卡丹也做了工作。卡丹用自己的工作对塔塔利亚泄露给他的秘密加以补充，违背誓言，把秘密公之于世，加速了一元三次方程求根公式的普及和人类探索一元n次方程根式解法的进程。不过，公式的名称，还是应该称为方塔纳公式或塔塔利亚公式；称为卡丹公式是历史的误会。 一元三次方程应有三个根。塔塔利亚公式给出的只是一个实根。又过了大约200年后，随着人们对虚数认识的加深，到了1732年，才由瑞士数学家欧拉找到了一元三次方程三个根的完整的表达式。
塔尔塔利亚是意大利人，出生于1500年。他12岁那年，被入侵的法国兵砍伤了头部和舌头，从此说话结结巴巴，人们就给他一个绰号“塔尔塔利亚”(在意大利语中，这是口吃的意思)，真名反倒少有人叫了，他自学成才，成了数学家，宣布自己找到了三次方程的的解法。有人听了不服气，来找他较量，每人各出30道题，由对方去解。结果，塔尔塔利亚30道三次方程的解全做了出来，对方却一道题也没做出来。塔尔塔利亚大获全胜。这时，意大利数学家卡丹出场，请求塔尔塔利把解方程的方法告诉他，可是遭到了拒绝。后来卡丹对塔尔塔利假装说要推荐他去当西班牙炮兵顾问，并称自己有许多发明，唯独无法解三次方程而内心痛苦。还发誓，永远不泄漏塔尔塔利亚解一元三次方程式的秘密。塔尔塔利亚这才把解一元三次方程的秘密告诉了卡丹。六年以后，卡丹不顾原来的信约，在他的著作《关于代数的大法》中，将经过改进的三次方程的解法公开发表。后人就把这个方法叫作卡丹公式，塔尔塔利亚的名字反而被湮没了，正如他的真名在口吃以后被埋没了一样。
塔尔塔利亚对卡丹的背信行为非常恼怒，互相写信指骂对方。最终在一个不明的夜晚，卡丹派人秘密刺杀了塔尔塔利亚。
至于一元四次方程ax^4 +bx^3 +cx^2 +dx+e=0求根公式由卡丹的学生费拉里找到了。
关于三次、四次方程的求根公式，因为要涉及复数概念，复数是指能写成如下形式的数a+bi,这里a和b是实数，i是虚数单位（即-1开根）。 由意大利米兰学者卡当在十六世纪首次引入，经过达朗贝尔、棣莫弗、欧拉、高斯等人的工作，此概念逐渐为数学家所接受。 复数有多种表示法，诸如向量表示、三角表示，指数表示等。它满足四则运算等性质。它是复变函数论、解析数论、傅里叶分析、分形、流体力学、相对论、量子力学等学科中最基础的对象和工具。
一元三次、四次方程求根公式找到后，人们在努力寻找一元五次方程求根公式，三百年过去了，但没有人成功，这些经过尝试而没有得到结果的人当中，不乏有大数学家。
后来年轻的挪威数学家阿贝尔于1824年所证实， n次方程(n≥5)没有公式解。不过，对这个问题的研究，其实并没结束，因为人们发现有些n次方程(n≥5)可有求根公式。那么又是什么样的一元n次方程才没有求根公式呢？
不久，这一问题在19世纪上半期，被法国天才数学家伽罗华利用他创造的全新的数学方法所证明，由此一门新的数学分支“群论”诞生了。