0

2
1

文字

分享

0
2
1

證明「費馬最後定理」:懷爾斯生日│科學史上的今天:4/11

張瑞棋_96
・2015/04/11 ・1131字 ・閱讀時間約 2 分鐘 ・SR值 514 ・六年級
法國數學家費馬因沒寫下最後定理,讓各大數學家前仆後繼地試圖證明出來!圖/wikipedia

兩千多年前畢達哥拉斯發現直角三角形斜邊的平方等於直角兩邊的平方和,於是成了我們每個人應該都背過的畢氏定理:a2+b2=c2;而其中存在許多整數解,例如(3、4、5)、(5、12、13)。那麼三次方以上呢?也可以找到對應的整數解嗎?

1637 年,法國數學家費馬斷定地說沒有!他讀到丟番圖的《算術》一書中畢氏定理的論證時,在附近空白處寫下了著名的「費馬最後定理」:

「另一方面,一個數字的立方不可能表示成兩個立方數的和,一個四次方數也不能表示成兩個四次方數的和;或者更概括性地說,除了平方之外,一個n次方的數也不能表示成兩個n次方數的和(x+ y= zn)。我已為這個命題找到了一個非常美妙的證明,然而這裡的空間不足以讓我寫下這個證明。」

自此包括大數學家歐拉在內的無數數學家前仆後繼,試圖證明此定理,但直到 1839 年,僅證明 n=3、4、5、7 時成立(n為這些數的倍數時也就當然成立),此後即再無進展(那些用電腦證明的同學不用舉手)。於是這個定理的證明就只有費馬與上帝知道──或者他以為他知道。

沒有人料到這沉寂會在毫無預警的情況下被打破。1993 年 6 月,英國數學家懷爾斯 (Andrew J. Wiles) 在劍橋大學辦了三場演講,事先沒有人知道他要談費馬最後定理,雖然他的題目跟費馬最後定理有些關係,但畢竟之前從未聽聞他在做這方面的研究,大家自然不會作此聯想。直到第二天,參加演講的聽眾才發覺懷爾斯是在談如何攻克費馬最後定理這座高山的登山路線。於是耳語立刻在數學界傳了開來,最後一場演講擠滿了聽眾,內向害羞的懷爾斯果然當場公佈了他完成的證明,令全場為之嘩然。這消息也立刻傳遍全世界,第二天各國的頭版都刊登了這則數學史上的重大事件。

人們才知道懷爾斯已經默默地在這問題上耕耘了七年,除了妻子與一位同事,沒有告訴任何人。然而,懷爾斯的喜悅沒有持續太久;幾個月後他的證明被發現有致命的錯誤,也就是說證明無效!懷爾斯試圖修補這個錯誤,經過一年多的嘗試,就在他打算放棄之際,他改採曾被他丟在一旁的方法,終於取得突破,而於 1994 年 9 月完成證明,並於次年發表。這一次,經過同儕審查完全無誤,高懸三百多年的費馬最後定理終獲證明。懷爾斯也從此在歷史留名。

 

本文同時收錄於《科學史上的今天:歷史的瞬間,改變世界的起點》,由究竟出版社出版。

文章難易度
張瑞棋_96
423 篇文章 ・ 323 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。


0

1
1

文字

分享

0
1
1

什麼是「造父變星」?標準燭光如何幫助人類量測天體距離?——天文學中的距離(四)

CASE PRESS_96
・2021/10/22 ・3033字 ・閱讀時間約 6 分鐘
  • 撰文|許世穎

「造父」是周穆王的專屬司機,也是現在「趙」姓的始祖。以它為名的「造父變星」則是標準燭光的一種,讓我們可以量測外星系的距離。這幫助哈柏發現了宇宙膨脹,大大開拓了人們對宇宙的視野。然而發現這件事情的天文學家勒梅特卻沒有獲得她該有的榮譽。

宇宙中的距離指引:標準燭光

經過了三篇文章的鋪陳以後,我們終於要離開銀河系,開始量測銀河系以外的星系距離。在前作<天有多大?宇宙中的距離(3)—「人口普查」>中,介紹了距離和亮度的關係。想像一支燃燒中、正在發光的蠟燭。距離愈遠,發出來的光照射到的範圍就愈大,看起來就會愈暗。

我們把「所有發射出來的光」稱為「光度」,而用「亮度」來描述實際上看到的亮暗程度,而它們之間的關係就是平方反比。一旦我們知道一支蠟燭的光度,再搭配我們看到的亮度,很自然地就可以推算出這支蠟燭所在區域的距離。

舉例來說,我們可以在台北望遠鏡觀測金門上的某支路燈亮度。如果能夠找到到那支路燈的規格書,得知這支路燈的光度,就可以用亮度、光度來得到這支路燈的距離。如果英國倫敦也安裝了這支路燈,那我們也可以用一樣的方法來得知倫敦離我們有多遠。

我們把「知道光度的天體」稱為「標準燭光(Standard Candle)」。可是下一個問題馬上就來了:我們哪知道誰是標準燭光啊?經過許多的研究、推論、歸納、計算等方法,我們還是可以去「猜」出一些標準燭光的候選。接下來,我們就來實際認識一個最著名的標準燭光吧!

「造父」與「造父變星」

「造父」是中國的星官之一。傳說中,「造父」原本是五帝之一「顓頊」的後代。根據《史記‧本紀‧秦本紀》記載:造父很會駕車,因此當了西周天子周穆王的專屬司機。後來徐偃王叛亂,造父駕車載周穆王火速回城平亂。平亂後,周穆王把「趙城」(現在的中國山西省洪洞縣一帶)封給造父,而後造父就把他的姓氏就從本來地「嬴」改成了「趙」。因此,造父可是趙姓的始祖呢!(《史記‧本紀‧秦本紀》:造父以善御幸於周繆王……徐偃王作亂,造父為繆王御,長驅歸周,一日千里以救亂。繆王以趙城封造父,造父族由此為趙氏。)

圖一:危宿敦煌星圖。造父在最上方。圖片來源/參考資料 2

回到星官「造父」上。造父是「北方七宿」中「危宿」的一員(圖一),位於西洋星座中的「仙王座(Cepheus)」。一共有五顆恆星(造父一到造父五),清代的星表《儀象考成》又加了另外五顆(造父增一到造父增五)。[3]

英籍荷蘭裔天文學家約翰‧古德利克(John Goodricke,1764-1786)幼年因為發燒而失聰,也無法說話。1784 年古德利克(John Goodricke,1764-1786)發現「造父一」的光度會變化,代表它是一顆「變星(Variable)」。2 年後,年僅 22 歲的他就當選了英國皇家學會的會員。卻在 2 週後就就不幸因病去世。[4]

造父一這顆變星的星等在 3.48 至 4.73 間週期性地變化,變化週期大約是 5.36 天(圖二)。經由後人持續的觀測,發現了更多不同的變星。其中一群變星的性質(週期、光譜類型、質量……等)與造父一接近,因此將這一類變星統稱為「造父變星(Cepheid Variable)」。[5]

圖二:造父一的亮度變化圖。橫軸可以看成時間,縱軸可以看成亮度。圖片來源:ThomasK Vbg [5]

勒維特定律:週光關係

時間接著來到 1893 年,年僅 25 歲的亨麗埃塔‧勒維特(Henrietta Leavitt,1868-1921)她在哈佛大學天文台的工作。當時的哈佛天文台台長愛德華‧皮克林(Edward Pickering,1846-1919)為了減少人事開銷,將負責計算的男性職員換成了女性(當時的薪資只有男性的一半)。[6]

這些「哈佛計算員(Harvard computers)」(圖三)的工作就是將已經拍攝好的感光板拿來分析、計算、紀錄等。這些計算員們在狹小的空間中分析龐大的天文數據,然而薪資卻比當時一般文書工作來的低。以勒維特來說,她的薪資是時薪 0.3 美元。順帶一提,這相當於現在時薪 9 美元左右,約略是台灣最低時薪的 1.5 倍。[6][7][8]

圖三:哈佛計算員。左三為勒維特。圖片來源:參考資料 9

勒維特接到的目標是「變星」,工作就是量測、記錄那些感光板上變星的亮度 。她在麥哲倫星雲中標示了上千個變星,包含了 47 顆造父變星。從這些造父變星的數據中她注意到:這些造父變星的亮度變化週期與它們的平均亮度有關!愈亮的造父變星,變化的週期就愈久。麥哲倫星雲離地球的距離並不遠,可以利用視差法量測出距離。用距離把亮度還原成光度以後,就能得到一個「光度與週期」的關係(圖四),稱為「週光關係(Period-luminosity relation)」,又稱為「勒維特定律(Leavitt’s Law)」。藉由週光關係,搭配觀測到的造父變星變化週期,就能得知它的平均光度,能把它當作一支標準燭光![6][8][10]

圖四:造父變星的週光關係。縱軸為平均光度,橫軸是週期。光度愈大,週期就愈久。圖片來源:NASA [11]

從「造父變星」與「宇宙膨脹」

發現造父變星的週光關係的數年後,埃德溫‧哈柏(Edwin Hubble,1889-1953)就在 M31 仙女座大星系中也發現了造父變星(圖五)。數個世紀以來,人們普遍認為 M31 只是銀河系中的一個天體。但在哈柏觀測造父變星之後才發現, M31 的距離遠遠遠遠超出銀河系的大小,最終確認了 M31 是一個獨立於銀河系之外的星系,也更進一步開拓了人類對宇宙尺度的想像。後來哈柏利用造父變星,得到了愈來愈多、愈來愈遠的星系距離。發現距離我們愈遠的星系,就以愈快的速度遠離我們。從中得到了「宇宙膨脹」的結論。[10]

圖五:M31 仙女座大星系裡的造父變星亮度隨時間改變。圖片來源:NASA/ESA/STSci/AURA/Hubble Heritage Team [1]

造父變星作為量測銀河系外星系距離的重要工具,然而勒維特卻沒有獲得該有的榮耀與待遇。當時的週光關係甚至是時任天文台的台長自己掛名發表的,而勒維特只作為一個「負責準備工作」的角色出現在該論文的第一句話。哈柏自己曾數度表示勒維特應受頒諾貝爾獎。1925 年,諾貝爾獎的評選委員之一打算將她列入提名,才得知勒維特已經因為癌症逝世了三年,由於諾貝爾獎原則上不會頒給逝世的學者,勒維特再也無法獲得這個該屬於她的殊榮。[12]

本系列其它文章:

天有多大?宇宙中的距離(1)—從地球到太陽
天有多大?宇宙中的距離(2)—從太陽到鄰近恆星
天有多大?宇宙中的距離(3)—「人口普查」
天有多大?宇宙中的距離(4)—造父變星

參考資料:

[1] Astronomy / Meet Henrietta Leavitt, the woman who gave us a universal ruler
[2] wiki / 危宿敦煌星圖
[3] wiki / 造父 (星官)
[4] wiki / John Goodricke
[5] wiki / Classical Cepheid variable
[6] wiki / Henrietta Swan Leavitt
[7] Inflation Calculator
[8] aavso / Henrietta Leavitt – Celebrating the Forgotten Astronomer
[9] wiki / Harvard Computers
[10] wiki / Period-luminosity relation
[11] Universe Today / What are Cepheid Variables?
[12] Mile Markers to the Galaxies

CASE PRESS_96
1 篇文章 ・ 3 位粉絲
CASE的全名是 Center for the Advancement of Science Education,也就是台灣大學科學教育發展中心。創立於2008年10月,成立的宗旨是透過台大的自然科學學術資源,奠立全國基礎科學教育的優質文化與環境。
網站更新隱私權聲明
本網站使用 cookie 及其他相關技術分析以確保使用者獲得最佳體驗,通過我們的網站,您確認並同意本網站的隱私權政策更新,了解最新隱私權政策