社戏选自：2019究竟是谁第一个发现的语文

2020年11月23日发(作者：桓彬)
究竟是谁第一个发现的
在数学中有许多以数学家的名字命名的定理、公式、法
则 和方程等，以此来纪念首先创立这些理论的数学家。但是，
由于各种原因，有许多例外的情况，第一个发 现和发明这些
理论的人，并没有获得这一殊荣，而是冠以别人的名称。有
的是独立发现了这个定 理，而也有与该定理毫无关系的人。
下面就列举一些这方面的例子。
１.毕达格拉斯定理 < br>在国外，勾股定理叫毕达格拉斯定理，毕达格拉斯是古希腊
的哲学家和数学家（约前５８２－５０ ０年），传说他发现
了此定理后，欢欣之情不可言状。宰了一百多头牲畜来祭祀
缪斯女神。现在 普遍认为在毕达格拉斯之前，已为巴比伦人
所知。其实中国西周数学家商高已提出了勾股定理，比毕达< br>格拉斯早６００多年，应该叫商高定理。
２.欧拉多面体公式
有关凸多面体最有趣的 定理之一是欧拉公式：Ｖ－Ｅ＋Ｆ＝
２，其实大约在１６３５年笛卡尔就早已发现了它。欧拉独
立地发现了这个公式，并于１７５２年发表了它。由于笛卡
尔的研究到１８６０年才被人们发现，所以这 个定理就称为
欧拉公式而不是笛卡尔公式。
３.罗比塔法则
关于微积分的第一本教科书是在１６９６年在巴黎出版的，
第 1 页
它的作者是罗 比塔。书中就包含有求解不定式极限的方法，
即罗比塔法则，其实这个法则是伯努利发现的。那时，罗比
塔定期地付给伯努利薪水。显然，按他们的契约。伯努利把
这个数学发现送给了罗比塔。
４.莱布尼茨行列式方法
行列式概念第一次在西方出现，是１６９３年在莱布尼茨给
罗比塔的一系列信中出现的，据此，莱布尼茨得到了发明行
列式的荣誉。然而，１６８３年在日本数学家 关孝和的著作
中就有了行列式的概念。
５.卡当公式
三次方程的求根公式一般称为 卡当公式。１５４５年，这个
公式出现在卡当的著作《大术》中，卡当是一个医生、数学
家、也 是一个赌徒。卡当公式是他从塔塔利雅处骗来的，他
曾发誓决不披露这个秘密。
６.伯努利极坐标
一般认为极坐标是伯努利创立的。现在有证据表明，极坐标
的真正创始人是牛顿。
７.马雪罗尼几何作图
１７９７年，马雪罗尼（Ｍａｓｃｈｅｒｏｎｉ）发现一个
惊 奇的结果：凡是能用欧氏工具（即圆规和直尺）可作的欧
氏几何图形，都可以只用圆规来做。为此他专门 写了一本著
作《圆规几何》。直到１９２８年，才发现比马雪罗尼早１
第 2 页
２ ５年，一位不出名的丹麦数学家摩尔（ＧｅｏｒｇＭｏｈ
ｒ）就得到了大致相同的结果，并且做出了证明 。
８.高斯复平面
其实比高斯较早发表于丹麦皇家学院１７９８年的学报上
的关于 复数几何表示的论文，是一位名叫维塞尔（Ｃａｓｐ
ａｒＷｅｓｓｅｌ）的挪威测量员写的。现在复平面 称为高
斯复平面而不是维塞尔复平面，显然维塞尔的工作未引起注
意。
９.普雷菲尔公理
在平面上通过给定直线外一点，只能作一条和这条直线平行
的直线 。苏格兰物理学家、数学家普雷菲尔（ＪｏｈｎＰｌ
ａｙｆａｉｒ１７４８－１８１９）应用了这个与著 名的欧
几里得第五公设相等价的公里，并使之广泛知晓。因此，这
条公理称为普雷菲尔公理。然 而，大约在１４６０年柏拉图
式的哲学家Ｐｒｏｌｕｓ对此就有详细论述。
１０.丢番图方程
丢番图方程指的是线性不定方程。然而，丢番图通常研究的
是二次方程。因此，称线性不定方程 为丢番图方程是不适当
的。印度中世纪数学家婆罗摩笈多（Ｂｒａｈｍａｇｕｐｔ
ａ大约６２５ 年）对线性不定方程很感兴趣。
１１.克莱默法则
克莱默１７５０年出版了他的《代数曲线入门》一书。在这
第 3 页
本书的附录中 ，他给出了解线性方程组的法则，即克莱默法
则。然而，一位名叫ＣｏｌｉｎＭａｃｌａｕｒｉｎ的数学
家，在１７４８年出版的他的遗著《代数专论》中就有这个
法则。也许是由于克莱默的名望使这 个法则得以流传，所以
这个法则就叫做克莱默法则。
１２.帕斯卡三角形
１６６５ 年，在帕斯卡死后出版的《论算术三角形》中，应
用了算术三角形，即二项式系数所构成的三角形，在欧 洲叫
做帕斯卡三角形，事实上在我国，宋朝数学家贾宪（大约十
一世纪人），就发现了这个三角 形。１２６１年，南宋数学
家杨辉在他的《详解九章算法》，其中有这个三角形，他作
注解说， 此法出于《释锁算书》，贾宪曾用此法。这说明１
２００年前，中国就已经发现和使用这个方法了。
１３.佩尔方程
最复杂的公案应属于方程ｘ２－Ｄｙ２＝１称为“佩尔方
程”，然而 佩尔即不是第一个研究它的人，也不是第一个解
决它的人。数学家欧拉错误地把佩尔当作了第一个解出方 程
ｘ２－３１３ｙ２＝１的人，其实佩尔只不过修改过别人翻
译的一本代数书，而此书中记载了 费尔马所提出的ｘ２－３
１３ｙ２＝１而已。而印度数学家婆罗摩笈多在６５０年左
右提出方程 ｘ２－９２ｙ２＝１并且求出最小解ｘ＝１１
５１，ｙ＝１２０。更早的在公元前２００年左右，希腊数
第 4 页
学家阿基米德提出的著名的群牛问题，最终归结为方程ｘ２
－４７２９４ ９４ｙ２＝１。详细研究并彻底解决这个问题
的人是拉格朗日，不过“佩尔方程”这个名称叫起来响亮顺
口，还是默认欧拉的选择吧。


数学史上还有许类似问题，需要进一步查证。

第 5 页
（