盤點那些欺騙我感情的數學定理
用人名命名的數學定理
到底產生了多少誤會？
一直以來，關於定理、公式的命名，人們都傾向於用數學家的名字命名，不僅簡單方便，還可以達到紀念創立人的效果。
不過，也不是每一次都這麼好的，超模君發現，有不少的數學家，明明是第一個發現這些理論的人，卻並沒有得到這種待遇。他們看著自己的理論（如果可以看到）苦逼地蓋著別人的帽子，估計內心是崩潰的。。。
趁著今天這個好日子，超模君來細數一下這些心累的瞬間。
卡爾達諾公式
卡爾達諾公式（Cardano formula），即一元三次方程的求根公式，是「科學怪人」卡爾達諾於1545年在他出版的《大衍術》里首次公布出來的。
單單看這個名字，估計所有人都認為這個公式就是卡爾達諾第一個發現的。
然而事實卻不然，首先發現這個公式的是義大利數學家塔爾塔利亞，最早於1534年得出了形如x3+ax2+b=0的三次方程的解，之後，又經過幾年的刻苦研究，終於在1541年發現了一元三次方程的通式解！
塔爾塔利亞
只不過，由於當時歐洲相對保守的學術環境，塔爾塔利亞表示也不急著將這一成果發表出來，想著日後有空再將一元三次方程的解法系統地寫成一本書再出版。
好巧不巧，塔爾塔利亞以後還真是忙得不可開交（忙著去幫義大利的諸侯們計算炮彈的彈道，改造城堡等），根本沒空理整理出版這件事了。
這時，卡爾達諾也一直苦於找不出一元三次方程的解，得知塔爾塔利亞知道怎麼求解之後，便開始追著塔爾塔利亞問，想要得到此秘訣。
軟磨硬泡N次，再拿了自己的人脈交換，並且發誓自己絕對不會泄密之後，卡爾達諾終於得到了一首25行的隱晦地藏著一元三次方程解法的小詩。
卡爾達諾告訴塔爾塔利亞自己跟瓦斯托侯爵（當時西班牙帝國駐義大利的總督兼帝國駐義大利軍隊司令）是好基友，只要塔爾塔利亞可以告知三次方程的解法，就可以讓塔爾塔利亞成為西班牙炮兵顧問，同時，卡爾達諾發誓自己不會泄密，以此交換了解法。
經過多年的研究，卡爾達諾與學生費里拉終於破解了一元三次方程的解法，同時還得出了一元四次方程的一般解！
1545年，卡爾達諾將一元三次方程的解法、相關證明以及一元四次方程的解法寫在了一本名為《大衍術》的書上，違背他當初的誓言，將此書出版了。卡爾達諾還明確指出一元三次方程有三個根。（塔爾塔利亞的只是一個根）
從此，一元三次方程的求根公式稱作「卡爾達諾公式」。
儘管卡爾達諾已經書上標明了塔爾塔利亞的貢獻，之後，塔爾塔利亞是三次方程解法的首位發現者這一事實也得到了數學界的公認，然而，人們記住的仍然是「卡爾達諾公式」。
塔爾塔利亞：
洛必達法則
洛必達法則（L"H?pital"s rule），是利用導數來計算具有不定型的極限的方法。
求極限是高等數學中最重要的內容之一，而洛必達法則將對原式的求導轉化成了導函數形式的問題，這就大大簡化了一大部分問題，降低了求極限的難度。（雖然不確定這對我們這些苦逼學生來說是否真的有輕鬆到）
同樣地，各位模友當初第一次看到這個定理的時候，是不是都以為這個就是洛必達發明的？
當然不是啦，這一法則其實是瑞士數學家約翰·伯努利（Johann Bernoulli）發現的，因此也被叫作伯努利法則（Bernoulli"s rule）。
約翰·伯努利
不知道你們知不知道，洛必達是一個來自法國的高富帥，錢多到沒地方放的那種，於是，作為一個數學愛好者，他跑到了約翰·伯努利門下學習微積分，一不小心看中了約翰老師發現的一個定理。
在1694年7月22日，洛必達給約翰老師寫了一封信，表達的內容類似於：「老師啊，這項研究成果我看著挺好的，您就將它送給我吧，要多少錢，您開口就行……」
約翰·伯努利估計也沒想到這個定理以後會火成這樣，便欣然答應了學生的請求，將相關論文都給了洛必達。
就在2年後，洛必達將這一成果放到了他編寫的著作《無窮小分析》裡面出版了，瞬間引爆數學界，所有人都以為這個是他發現的，便稱之為「洛必達法則」。
而洛必達也因為這個法則名聲大噪，實際上這個法則真正的創造者卻被大多數人所遺忘了，儘管在洛必達去世之後，約翰·伯努利有發表過這個定理是歸功於他本人的聲明。。。
就這樣，洛必達成功欺騙我們這些純純學子的感情，通過用他的錢。。。
多面體歐拉定理
多面體歐拉定理，是指對於簡單多面體，其頂點數V、棱數E以及面數F三者之間存在一個這樣的關係：V-E+F=2。
這個結論是歐拉在1752年證明且發表出來的，因此，這個公式被後人稱為「歐拉公式」。在歐拉公式中，令 f(p)=V-E+F，f(p)便叫做歐拉示性數。
事實上，早在1635年，笛卡爾在研究各種多面體的時候，通過不完全歸納法發現了這個結論，只不過沒有給出嚴格的證明，也沒有發表。
直到1860年，笛卡爾的這個研究才被人們發現，不過，此時，人家已經有了一個好聽的名字——「歐拉公式」，是改不過來的了。。。
佩爾方程
佩爾方程（Pell"s equation）是指下面這個二元二次不定方程，其中，n為正整數且不含平方因子。
x2 - ny2 = 1
佩爾方程，佩爾方程，大家叫著倒是挺順口的，然而，英國數學家約翰·佩爾（John Pell）與這個方程一點關係都沒有，既不是第一個研究它的人，也不是第一個給出解法的人。
人家只不過是翻譯了一本代數書，誰知就這樣流傳千古了。。。
這本書裡面就記載了費馬提出的一個方程：x2 - 313y2=1，在費馬的號召下，英國數學家布隆克爾（W. Brouncker）最終給出了這種方程的解法。
不過，布隆克爾的方法本質上跟6個世紀前印度數學家婆羅摩笈多的解法是一樣的，並沒有很大的突破。
比這更早的還可以追溯到公元前3世紀，阿基米德提出發「群牛問題」，最終需要求解二元二次方程x2-4729494y2=1。
後來，歐拉研究這個問題的時候，估計是看了佩爾翻譯的那本書，便將佩爾當成了第一個解出方程x2 - 313y2=1的人，把這種方程稱為「佩爾方程」。
歐拉在他的著作《代數學》中把這些都記了下來，用連分數語言來表述了這種解法，也指出通過這個方法必定能找到佩爾方程一個解，只是沒給證明。
到1773年，拉格朗日才第一次給出了「佩爾方程總有一個解」的嚴格證明。
再後來，也許是歐拉的影響力太大，又或者也許大家也習慣了佩爾方程這個稱呼，便沒有加以修正。
關於這些用數學家的名字命名的數學定理所導致的誤會，還有很多很多，比如：
伯努利極坐標的創始人是牛頓；
高斯複平面的發現者是維塞爾；
萊布尼茨行列式的發明者是日本數學家關孝和；
馬雪羅尼幾何作圖是丹麥數學家摩爾最早發現的；
帕斯卡三角形與楊輝三角；
普雷菲爾公理、克萊默法則、丟番圖方程等等。
由於各種歷史原因，一個新定理的傳言一旦形成了，就很難消失或者改變，超模君唯一能做的，就是給各位模友（之前就了解也好，不了解也好）做一下科普，讓大家正確重新認識一下它們。
本文系網易新聞·網易號「各有態度」特色內容
部分資料來源於網路
轉載請在公眾號中，回復「轉載」
-----這裡是數學思維的聚集地------
「超級數學建模」（微信號supermodeling），每天學一點小知識，輕鬆了解各種思維，做個好玩的理性派。50萬數學精英都在關注！
TAG:超級數學建模 |