接下来的几年里,他都在寻找这个矛盾产生的源头。
1748年,Euler发表了一篇题为Surunecontradictionapparentedansladoctrinedeslignescourbes(关于曲线规律中的一个明显的矛盾)的文章,尝试着解决这一难题。
正如大家所想,矛盾的源头就是,9个点不见得能唯一地确定出三次曲线的方程,因为不是每个点的位置都能给我们带来足够的信息。
Euler试图向人们解释这样一件事情:曲线上的9个点虽然给出了9个不同的方程,但有时它们并不能唯一地解出那9个未知数,因为有些方程是废的。
在没有线性代数的年代,解释这件事情并不容易。
Euler举了一个最简单的例子:方程组
3x?2y=5
4y=6x?10
表面上存在唯一解,但事实上两个方程的本质相同——第一个方程乘以2再移项后就直接变成第二个方程了。
换句话说,后一个方程并没有给我们带来新的信息,有它没它都一样。
当然,这只是一个最为简单的例子。
在当时,真正让人大开眼界的则是Euler文中给出的三元一次方程组:
2x?3y+5z=8
3x?5y+7z=9
x?y+3z=7
这个方程组也没有唯一解,原因就很隐蔽了:后两个方程之和其实是第一个方程的两倍,换句话说第一个方程本来就能由另外两个方程推出来。
因此,整个方程组本质上只有两个不同的方程,它们不足以确定出三个未知数来。
Euler还给出了一个四元一次方程组的例子,向人们展示了更加复杂的情况。
类似地,9个九元一次方程当然也会因为出现重复信息而不存在唯一解,不过具体情况几乎无法预料:很可能方程(1)就是方程(2)和方程(5)的差的多少多少倍,也有可能方程(7)和(9)的差恰是前三个方程的和。
究竟什么叫做一个方程“提供了新的信息”
,用什么来衡量一个方程组里的信息量,怎样的方程组才会有唯一解?
Euler承认,“要想给出一个一般情况下的公式是很困难的”
。
此时大家或许能体会到,Euler提出的这些遗留问题太具启发性了,当时的数学研究者们看到之后必然是浑身血液沸腾。
包括Cramer在内的数学家们沿着Euler的思路继续想下去,一个强大的数学新工具——线性代数——逐渐开始成型。
没错,这个Cramer正是后来提出线性代数一大基本定理——Cramer法则——的那个人。
喜欢数学心请大家收藏:(aiquwx)数学心
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
相邻推荐:带白月光回家,我离婚你悔啥? 重生后在前世死对头怀里兴风作浪 离婚后,傅先生对她俯首称臣 CS:不是,你的残局靠请神啊? 我与仙子不两立 要离婚你高冷,再婚又发疯? 苟在末日,独自修仙 聊天群:开局获得赛亚人血脉 庆余年:范府大宗师 重生79,离婚后知青老婆她后悔了 糟了,那妖女也重生了! 一本杂录 死亡来信 末世降临:我招收下属,获得百倍物资 和扶弟魔老婆离婚后,我送她全家升天 从流民到皇帝,朕这一生如履薄冰 弃我选白月光?我离婚你疯什么! 全家逼我离婚,现在后悔有用么 系统盯上龙椅后,公主天天作死 重生1961,开局相亲对象就被截胡!