卡当公式推导过程
是的，作用是消除二次项
x^3 + a1*x^2 + a2*x + a3 = 0…………(1)
设y=x+a1/3，则x=y-a1/3，代入(1)式，得：
(y-a1/3)^3 + a1*(y-a1/3)^2 + a2*(y-a1/3) + a3 = 0
y^3 - 3y^2*a1/3 + 3y*a1^2/9 - a1^3/27 + a1(y^2 - 2y*a1/3 + a1^2/9) + a2*(y-a1/3) + a3 = 0
y^3 - a1*y^2 + a1^2*y/3 - a1^3/27 + a1*y^2 - 2y*a1^2/3 + a1^3/9 + a2*y - a2*a1/3 + a3 = 0
y^3 + (-a1+a1)y^2 + (a1^2/3-2a1^2/3+a2)y + (-a1^3/27+a1^3/9-a2*a1/3+a3) = 0
y^3 + (a2-a1^2/3)y + (2a1^3/27-a1*a2/3+a3) = 0…………(2)
令p=a2-a1^2/3，q=2a1^3/27-a1*a2/3+a3，则(2)式可化为
y^3+py+q=0
卡当公式之谜是什么？
1935年2月22日，意大利的哥特式米兰大教堂内人头攒动，热闹非凡，人们翘首等待一场激动人心的数学比赛。比赛的挑战者是数学教授费洛的学生佛罗雷都斯。他认为三次方程求解是一个数学高峰，而当他得知出身贫寒、貌不惊人的小人物塔塔里亚会解三次方程时，心中十分震怒，于是向塔塔里亚发出挑战。比赛开始了，双方各出30道三次方程求解题。塔塔里亚从容不迫，运笔如飞，不到两个小时就解完了全部方程。而佛罗雷都却望着塔塔里亚的30道题，一筹莫展，最后以0∶30败下阵来。从中亚数学家花拉子模提出一元三次方程公式解后，世界数学家在探求三次方程的公式解，经过700多年的艰苦探索，终于被塔塔里亚攻破了。但他不想把成果公布于世，对求教者也一概拒之门外。他在1539年把这一秘诀传给了卡当，并要他还保守这个秘密。卡当是16世纪著名数学家，也是一个具有传奇色彩的怪杰。他在获得秘诀六年后，自毁诺言，把它传给了他的东床快婿拉里，并于1545年发表在《大法》一书中。以上就是后来人们把三次方程求根公式称为卡当公式的缘由。
