Loading [MathJax]/extensions/tex2jax.js

0

0
0

文字

分享

0
0
0

「雙子質數無限說」,初步論證

RainReader
・2013/05/24 ・819字 ・閱讀時間約 1 分鐘 ・SR值 523 ・七年級

-----廣告,請繼續往下閱讀-----

本期的《NATURE》刊載了一篇受到矚目的研究,指出一個數學史上最古老的問題:「雙子質數無限說」有可能證明。

「質數」是指一個大於1的自然數中,除了 1 和自身數外,無法被其他自然數整除的數(也可定義為只有1和本身兩個因數的數)。質數在數學史上的一個重要意義在於是:他必須被證明是無限的。希臘時代的哲學家對於這質數充滿好奇與神妙,早在歐幾里德的《幾何原本》時代便試圖證明,當然,這一證明的在當時,哲學宇宙論中,人與自然的思辨意義更大於實際的數學意義。

目前科學能夠指認的最大質素是「257,885,161-1」,匯集了全球網路志願者的電腦,共計三十六萬顆CPU,以每秒150兆的速度運算得出。這項計畫「 GIMPS (Great Internet Mersenne Prime Search)」結果已經於今年 2 月上旬公開於網路上,也剛好是梅森質數(Mersenne prime),有興趣的可以參見:http://mersenne.org/various/57885161.htm

那什麼是「雙子質數(孿生質數,twin primes)」呢,舉例而言,3 和 5、11  和 13,這樣彼此相差為二,又剛好是質數的,就稱為「孿生質數或雙子質數」。

-----廣告,請繼續往下閱讀-----

因為質數不可能是偶數,所以剛好是質數,又彼此差二就成為最短距離,故被賦予「雙胞胎」。另外,兩個質數之間若差六(例如 2011 和 2017),也恰好為質數的話,就稱為「性感質數」

數學家已經證明「質數」是無限的,但是雙子質數是否是無限則尚未證明,這一問題從歐幾里德的希臘時代便已經存在,成為數學史上最古老未解的問題之一。

這一期的《NATURE》則刊載了華裔數學家張益唐(Yitang Zhang)的論文,證明兩數差在七千萬以內,則雙子質數無限。換言之,這證明了有無窮多對相差小於 70,000,000 的質數存在。這是首次證明確實存在常數,使得有無限對質數相差小於該常數。在質數猜想的研究上有巨大突破。

資料來源:First proof that infinitely many prime numbers come in pairs

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度
RainReader
9 篇文章 ・ 1 位粉絲
從小與電玩、動漫結下了不解之緣。曾任教過國中、高中、五專與多所大學,試圖以當代娛樂與流行文化的角度來融入歷史教學,傳達多元化的知識系譜。在學術領域方面,主要研究近代知識分子的思想意識與文化理論;除研究外,也為網路與報章媒體撰寫專欄文章、遊戲攻略。曾任創能網路資訊公司副執行長與GaMavi電玩資訊站長、策展台灣首次非商業電玩藝術展台北數位藝術節,現任教於東海大學與旭傳媒科技。非常歡迎您的交流!

0

2
1

文字

分享

0
2
1
ECU: 汽車大腦的演化與挑戰
鳥苷三磷酸 (PanSci Promo)_96
・2025/07/02 ・3793字 ・閱讀時間約 7 分鐘

本文與 威力暘電子 合作,泛科學企劃執行。

想像一下,當你每天啟動汽車時,啟動的不再只是一台車,而是一百台電腦同步運作。但如果這些「電腦」突然集體當機,後果會有多嚴重?方向盤可能瞬間失靈,安全氣囊無法啟動,整台車就像失控的高科技廢鐵。這樣的「系統崩潰」風險並非誇張劇情,而是真實存在於你我日常的駕駛過程中。

今天,我們將深入探討汽車電子系統「逆天改運」的科學奧秘。究竟,汽車的「大腦」—電子控制單元(ECU),是如何從單一功能,暴增至上百個獨立系統?而全球頂尖的工程師們,又為何正傾盡全力,試圖將這些複雜的系統「砍掉重練」、整合優化?

第一顆「汽車大腦」的誕生

時間回到 1980 年代,當時的汽車工程師們面臨一項重要任務:如何把汽油引擎的每一滴燃油都壓榨出最大動力?「省油即省錢」是放諸四海皆準的道理。他們發現,關鍵其實潛藏在一個微小到幾乎難以察覺的瞬間:火星塞的點火時機,也就是「點火正時」。

如果能把點火的精準度控制在「兩毫秒」以內,這大約是你眨眼時間的百分之一到千分之一!引擎效率就能提升整整一成!這不僅意味著車子開起來更順暢,還能直接省下一成的油耗。那麼,要如何跨過這道門檻?答案就是:「電腦」的加入!

-----廣告,請繼續往下閱讀-----

工程師們引入了「微控制器」(Microcontroller),你可以把它想像成一顆專注於特定任務的迷你電腦晶片。它能即時讀取引擎轉速、進氣壓力、油門深度、甚至異常爆震等各種感測器的訊號。透過內建的演算法,在千分之一秒、甚至微秒等級的時間內,精準計算出最佳的點火角度,並立刻執行。

從此,引擎的性能表現大躍進,油耗也更漂亮。這正是汽車電子控制單元(ECU)的始祖—專門負責點火的「引擎控制單元」(Engine Control Unit)。

汽車電子控制單元的始祖—專門負責點火的「引擎控制單元」(Engine Control Unit)/ 圖片來源:shutterstock

ECU 的失控暴增與甜蜜的負荷

第一顆 ECU 的成功,在 1980 年代後期點燃了工程師們的想像:「這 ECU 這麼好用,其他地方是不是也能用?」於是,ECU 的應用範圍不再僅限於點火,燃油噴射量、怠速穩定性、變速箱換檔平順度、ABS 防鎖死煞車,甚至安全氣囊的引爆時機……各種功能都交給專屬的 ECU 負責 。

然而,問題來了:這麼多「小電腦」,它們之間該如何有效溝通?

-----廣告,請繼續往下閱讀-----

為了解決這個問題,1986 年,德國的博世(Bosch)公司推出了一項劃時代的發明:控制器區域網路(CAN Bus)。你可以將它想像成一條專為 ECU 打造的「神經網路」。各個 ECU 只需連接到這條共用的線路上,就能將訊息「廣播」給其他單元。

更重要的是,CAN Bus 還具備「優先通行」機制。例如,煞車指令或安全氣囊引爆訊號這類攸關人命的重要訊息,絕對能搶先通過,避免因資訊堵塞而延誤。儘管 CAN Bus 解決了 ECU 之間的溝通問題,但每顆 ECU 依然需要獨立的電源線、接地線,並連接各種感測器和致動器。結果就是,一輛汽車的電線總長度可能達到 2 到 4 公里,總重量更高達 50 到 60 公斤,等同於憑空多載了一位乘客的重量。

另一方面,大量的 ECU 與錯綜複雜的線路,也讓「電子故障」開始頻繁登上汽車召回原因的榜首。更別提這些密密麻麻的線束,簡直是設計師和維修技師的惡夢。要檢修這些電子故障,無疑讓人一個頭兩個大。

大量的 ECU 與錯綜複雜的線路,也讓「電子故障」開始頻繁登上汽車召回原因的榜首。/圖片來源:shutterstock

汽車電子革命:從「百腦亂舞」到集中治理

到了2010年代,汽車電子架構迎來一場大改革,「分區架構(Zonal Architecture)」搭配「中央高效能運算(HPC)」逐漸成為主流。簡單來說,這就像在車內建立「地方政府+中央政府」的管理系統。

-----廣告,請繼續往下閱讀-----

可以想像,整輛車被劃分為幾個大型區域,像是車頭、車尾、車身兩側與駕駛艙,就像數個「大都會」。每個區域控制單元(ZCU)就像「市政府」,負責收集該區所有的感測器訊號、初步處理與整合,並直接驅動該區的馬達、燈光等致動器。區域先自理,就不必大小事都等中央拍板。

而「中央政府」則由車用高效能運算平台(HPC)擔任,統籌負責更複雜的運算任務,例如先進駕駛輔助系統(ADAS)所需的環境感知、物體辨識,或是車載娛樂系統、導航功能,甚至是未來自動駕駛的決策,通通交由車輛正中央的這顆「超級大腦」執行。

乘著這波汽車電子架構的轉型浪潮中, 2008 年成立的台灣本土企業威力暘電子,便精準地切入了這個趨勢,致力於開發整合 ECU 與區域控制器(Domain Controller)功能的模組化平台。他們專精於開發電子排檔、多功能方向盤等各式汽車電子控制模組。為了確保各部件之間的溝通順暢,威力暘提供的解決方案,就像是將好幾個「分區管理員」的職責,甚至一部分「超級大腦」的功能,都整合到一個更強大的硬體平台上。

這些模組不僅擁有強大的晶片運算能力,可同時支援 ADAS 與車載娛樂,還能兼容多種通訊協定,大幅簡化車內網路架構。如此一來,車廠在追求輕量化和高效率的同時,也能顧及穩定性與安全性。

-----廣告,請繼續往下閱讀-----
2008 年威力暘電子致力於開發整合 ECU 與區域控制器(Domain Controller)功能的模組化平台 /圖片來源:shutterstock

萬無一失的「汽車大腦」:威力暘的四大策略

然而,「做出來」與「做好」之間,還是有差別。要如何確保這顆集結所有功能的「汽車大腦」不出錯?具體來說,威力暘電子憑藉以下四大策略,築起其產品的可靠性與安全性:

  1. AUTOSAR : 導入開放且標準化的汽車軟體架構 AUTOSAR。分為應用層、運行環境層(RTE)和基礎軟體層(BSW)。就像在玩「樂高積木」,ECU 開發者能靈活組合模組,專注在核心功能開發,從根本上提升軟體的穩定性和可靠性。
  2. V-Model 開發流程:這是一種強調嚴謹、能在早期發現錯誤的軟體開發流程。就像打勾 V 字形般,左側從上而下逐步執行,右側則由下而上層層檢驗,確保每個階段的安全要求都確實落實。
  3. 基於模型的設計 MBD(Model-Based Design) 威力暘的工程師們會利用 MatLab®/Simulink® 等工具,把整個 ECU 要控制的系統(如煞車),用數學模型搭建起來,然後在虛擬環境中進行大量的模擬和測試。這等於在實體 ECU 誕生前,就能在「數位雙生」世界中反覆演練、預先排除設計缺陷,,並驗證安全機制是否有效。
  4. Automotive SPICE (ASPICE) : ASPICE 是國際公認的汽車軟體「品質管理系統」,它不直接評估最終 ECU 產品本身的安全性,而是深入檢視團隊在軟體開發的「整個過程」,也就是「方法論」和「管理紀律」是否夠成熟、夠系統化,並只根據數據來評估品質。

既然 ECU 掌管了整輛車的運作,其能否正常運作,自然被視為最優先項目。為此,威力暘嚴格遵循汽車業中一本堪稱「安全聖經」的國際標準:ISO 26262。這套國際標準可視為一本針對汽車電子電氣系統(特別是 ECU)的「超嚴格品管手冊」和「開發流程指南」,從概念、設計、測試到生產和報廢,都詳細規範了每個安全要求和驗證方法,唯一目標就是把任何潛在風險降到最低

有了上述這四項策略,威力暘確保其產品從設計、生產到交付都符合嚴苛的安全標準,才能通過 ISO 26262 的嚴格檢驗。

然而,ECU 的演進並未就此停下腳步。當ECU 的數量開始精簡,「大腦」變得更集中、更強大後,汽車產業又迎來了新一波革命:「軟體定義汽車」(Software-Defined Vehicle, SDV)。

-----廣告,請繼續往下閱讀-----

軟體定義汽車 SDV:你的愛車也能「升級」!

未來的汽車,會越來越像你手中的智慧型手機。過去,車輛功能在出廠時幾乎就「定終身」,想升級?多半只能換車。但在軟體定義汽車(SDV)時代,汽車將搖身一變成為具備強大運算能力與高速網路連線的「行動伺服器」,能夠「二次覺醒」、不斷升級。透過 OTA(Over-the-Air)技術,車廠能像推送 App 更新一樣,遠端傳送新功能、性能優化或安全修補包到你的車上。

不過,這種美好願景也將帶來全新的挑戰:資安風險。當汽車連上網路,就等於向駭客敞開潛在的攻擊入口。如果車上的 ECU 或雲端伺服器被駭,輕則個資外洩,重則車輛被遠端鎖定或惡意操控。為了打造安全的 SDV,業界必須遵循像 ISO 21434 這樣的車用資安標準。

威力暘電子運用前面提到的四大核心策略,確保自家產品能符合從 ISO 26262 到 ISO 21434 的國際認證。從品質管理、軟體開發流程,到安全認證,這些努力,讓威力暘的模組擁有最高的網路與功能安全。他們的產品不僅展現「台灣智造」的彈性與創新,也擁有與國際大廠比肩的「車規級可靠度」。憑藉這些實力,威力暘已成功打進日本 YAMAHA、Toyota,以及歐美 ZF、Autoliv 等全球一線供應鏈,更成為 DENSO 在台灣少數核准的控制模組夥伴,以商用車熱系統專案成功打入日系核心供應鏈,並自 2025 年起與 DENSO 共同展開平台化量產,驗證其流程與品質。

毫無疑問,未來車輛將有更多運作交由電腦與 AI 判斷,交由電腦判斷,比交由人類駕駛還要安全的那一天,離我們不遠了。而人類的角色,將從操作者轉為監督者,負責在故障或斷網時擔任最後的保險。透過科技讓車子更聰明、更安全,人類甘願當一個「最弱兵器」,其實也不錯!

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

0

1
0

文字

分享

0
1
0
在完成環球航行之前,人類是如何計算出地球周長的?——《數學就是這樣用:找出生活問題的最佳解》
天下文化_96
・2022/12/03 ・1906字 ・閱讀時間約 3 分鐘

十六世紀初的環球航行

既然史上第一次環球航行到十六世紀初才完成,埃拉托斯特尼在公元前 240 年又是用什麼方法,這麼準確估算出地球周長呢?他顯然不可能用捲尺繞地球一圈。他的替代做法是先測量地球表面上的一小段距離,再利用一些巧妙的數學運算,省去必須測量整段長度的麻煩。

埃拉托斯特尼在公元前 240 年又是用什麼方法,這麼準確估算出地球周長呢?圖/pexels

埃拉托斯特尼掌管古代最好的亞歷山卓圖書館,在幾個科學領域都有極有趣的貢獻,包括數學、天文學、地理學、音樂等等。不過,儘管他有新穎的工作成果,同時代的人卻瞧不起他的能力,還給他「第二名」(Beta)這個綽號,暗示他不是第一流的思想家。

質數表的誕生

他提出的聰明想法之一是,用有系統的方式產生一系列質數。為了找出從 1 到 100 之間的所有質數,埃拉托斯特尼提出以下的程序。從 2 這個數開始,刪掉隨後所有 2 的倍數,只要在數字表中刪除每走 2 步遇到的整數就行了。接著走到 2 以後還沒刪掉的下一個整數,顯然是 3,現在要有系統的刪除每走 3 步遇到的所有數字,就刪掉了 3 的所有倍數。這個方法在此刻開始顯出自己的本領。整數表中還沒有刪掉的下一個數是 5,重複我們在前面兩個數所用的方法,把每走 5 步遇到的數字全部淘汰掉。

這個程序的要訣是:移到下一個還保留著的數字,然後往後面刪掉這個新數字的所有倍數。如果你做得很有系統,把 7 的倍數都淘汰之後,就會產生一個小於 100 的質數表。

-----廣告,請繼續往下閱讀-----
埃拉托斯特尼篩法是個找出在一特定整數以下的所有質數之簡單演算法。圖/wikipedia

這個程序極為聰明,省去了必須考慮很多的麻煩,非常適合電腦執行,但若要大量產生質數,它的問題是很快就會變得效率低落。它是思考的捷徑,可以讓你像機器般產生質數表,但這不是我想在本書裡頌揚的那種捷徑。我想要的是發掘質數的聰明策略。

利用太陽的位置計算地球周長

不過,我要給埃拉托斯特尼的地球周長計算工作打高分,因為太巧妙了。他聽說斯溫尼特(Swenet)城裡有一口井,太陽每年會有一天在它的天頂。太陽在夏至正午直射井底,不會在井邊投下任何影子。斯溫尼特就是今天的亞斯文(Aswan),離北回歸線不遠,北回歸線位於北緯 23.4 度,是我們發現太陽能夠從頭頂直射的最遠位置。

太陽在夏至正午直射井底,不會在井邊投下任何影子。圖/pexels

埃拉托斯特尼知道可以利用這個和太陽位置有關的資訊,在夏至這天進行實驗,讓他算出地球的周長。雖然這樣他就不必用捲尺繞地球一圈,但這項實驗還是需要走走路。他相信亞歷山卓位於斯溫尼特的正北方,於是在夏至那天,他在亞歷山卓豎起一根竿子。兩地的經度實際上差了 2 度,雖然沒有百分之百準確,不過我要為他的實驗精神鼓掌。

那天,太陽直射斯溫尼特,沒在那口井投下影子,但卻讓亞歷山卓的竿子產生一道影子。埃拉托斯特尼測量了影子長度和竿子長度,就能畫出一個具同樣比例的三角形,然後量出角度,這會告訴他亞歷山卓在地球周長上與斯溫尼特距離多遠。他量出的角度是 7.2 度,也就是一整個圓的 1/50,現在他只須知道亞歷山卓到斯溫尼特的實際距離。

-----廣告,請繼續往下閱讀-----

他沒有親自走到斯溫尼特,而是雇了一位專門丈量距離的人員,稱為測距員(bematist),他們會在兩座城鎮之間走直線,當中只要有任何偏差都會把估算搞砸。丈量結果會用更大的計量單位來記錄:斯塔德。結果,亞歷山卓在斯溫尼特以北 5,000 斯塔德,倘若這是繞地球一整圈的 1/50,那麼地球的周長就會等於 250,000 斯塔德。

今天我們並不確定,埃拉托斯特尼所雇的測量員到底是用多少步來計量他的斯塔德,但就如我在前面解釋過的,這個丈量結果好極了。用一點幾何學,他就省去了雇人走地球一圈的需求。

用一點幾何學,他就省去了雇人走地球一圈的需求。圖/pexels

幾何學的英文字 geometry 正源自這個實驗,因為拆解之後,它是意指「丈量地球」的希臘文:geo=地球,metry=丈量。

——本文摘自《數學就是這樣用:找出生活問題的最佳解》,2022 年 11 月,天下文化出版,未經同意請勿轉載。

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
天下文化_96
142 篇文章 ・ 624 位粉絲
天下文化成立於1982年。一直堅持「傳播進步觀念,豐富閱讀世界」,已出版超過2,500種書籍,涵括財經企管、心理勵志、社會人文、科學文化、文學人生、健康生活、親子教養等領域。每一本書都帶給讀者知識、啟發、創意、以及實用的多重收穫,也持續引領台灣社會與國際重要管理潮流同步接軌。

0

0
0

文字

分享

0
0
0
「雙子質數無限說」,初步論證
RainReader
・2013/05/24 ・819字 ・閱讀時間約 1 分鐘 ・SR值 523 ・七年級

本期的《NATURE》刊載了一篇受到矚目的研究,指出一個數學史上最古老的問題:「雙子質數無限說」有可能證明。

「質數」是指一個大於1的自然數中,除了 1 和自身數外,無法被其他自然數整除的數(也可定義為只有1和本身兩個因數的數)。質數在數學史上的一個重要意義在於是:他必須被證明是無限的。希臘時代的哲學家對於這質數充滿好奇與神妙,早在歐幾里德的《幾何原本》時代便試圖證明,當然,這一證明的在當時,哲學宇宙論中,人與自然的思辨意義更大於實際的數學意義。

目前科學能夠指認的最大質素是「257,885,161-1」,匯集了全球網路志願者的電腦,共計三十六萬顆CPU,以每秒150兆的速度運算得出。這項計畫「 GIMPS (Great Internet Mersenne Prime Search)」結果已經於今年 2 月上旬公開於網路上,也剛好是梅森質數(Mersenne prime),有興趣的可以參見:http://mersenne.org/various/57885161.htm

那什麼是「雙子質數(孿生質數,twin primes)」呢,舉例而言,3 和 5、11  和 13,這樣彼此相差為二,又剛好是質數的,就稱為「孿生質數或雙子質數」。

-----廣告,請繼續往下閱讀-----

因為質數不可能是偶數,所以剛好是質數,又彼此差二就成為最短距離,故被賦予「雙胞胎」。另外,兩個質數之間若差六(例如 2011 和 2017),也恰好為質數的話,就稱為「性感質數」

數學家已經證明「質數」是無限的,但是雙子質數是否是無限則尚未證明,這一問題從歐幾里德的希臘時代便已經存在,成為數學史上最古老未解的問題之一。

這一期的《NATURE》則刊載了華裔數學家張益唐(Yitang Zhang)的論文,證明兩數差在七千萬以內,則雙子質數無限。換言之,這證明了有無窮多對相差小於 70,000,000 的質數存在。這是首次證明確實存在常數,使得有無限對質數相差小於該常數。在質數猜想的研究上有巨大突破。

資料來源:First proof that infinitely many prime numbers come in pairs

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度
RainReader
9 篇文章 ・ 1 位粉絲
從小與電玩、動漫結下了不解之緣。曾任教過國中、高中、五專與多所大學,試圖以當代娛樂與流行文化的角度來融入歷史教學,傳達多元化的知識系譜。在學術領域方面,主要研究近代知識分子的思想意識與文化理論;除研究外,也為網路與報章媒體撰寫專欄文章、遊戲攻略。曾任創能網路資訊公司副執行長與GaMavi電玩資訊站長、策展台灣首次非商業電玩藝術展台北數位藝術節,現任教於東海大學與旭傳媒科技。非常歡迎您的交流!

0

8
4

文字

分享

0
8
4
遲來報到的質數——《數學,這樣看才精采》
天下文化_96
・2022/05/20 ・2868字 ・閱讀時間約 5 分鐘

2013 年國際數學界最轟動的新聞,應屬中國留美學者張益唐在孿生質數問題上所作出的突破。他個人的經歷更增加了整件事的傳奇性。

數學家張益唐。圖/VOA, 公有領域

張益唐雖然是北大數學系的高材生,但是 37 歲從美國普渡大學拿到博士學位之後,因與指導教授意趣不合,一時在學界無法發展,多年靠打工餬口。1999 年才好不容易至新罕布夏大學數學系任講師。在張益唐長期不得意的歲月裡,他雖然沒有發表什麼數學論文,但是也不曾喪失志氣,還是堅持研究自己喜歡的數學問題。

張益唐在 58 歲暴得大名,各種獎項與頭銜接踵而來,在最是少年逞英豪的數學世界裡,真成為一個異數。英國數學家哈代在他著名的小冊子《一個數學家的辯白》裡曾說:「我不知道有任何一項數學的主要進展,是由超過五十歲的人所啟動。」張益唐正好給哈代的偏見一個反例。

張益唐研究的是關於質數的性質。

一個自然數 p 是質數(也稱為素數)的條件有二:其一,p 大於 1;其二,除了 1 與 p 自己之外,沒有別的自然數能整除 p。全體質數可以從小到大排成一個數列 2, 3, 5, 7, 11, 13, …,通常把排在第 n 個位置的質數記作 pn。如果 pn 與 pn+1 相差為2,則稱質數對 (pn, pn+1) 為一對孿生質數,例如 3 與 5,5 與 7,11 與 13。

-----廣告,請繼續往下閱讀-----
圖/envato elements

「孿生質數猜想」就說這樣的質數對有無窮多組。因為古希臘的歐幾里得在他的巨著《原本》裡,曾經證明質數有無窮多個,所以有人以為也是歐幾里得最先提出孿生質數猜想。其實不然,目前從文獻中所見, 1879 年英國數學家格萊舍(James Whitbread Lee Glaisher)在《數學信使》(Messenger of Mathematics)雜誌上的一篇文章,才是第一次將孿生質數猜想見諸文字。

張益唐的大突破是證明有無窮多組質數對 (pn, pn+1) 使得 pn 與 pn+1 相距不超過 7 千萬。

為什麼這是一個大突破呢?因為在張益唐之前,不管給出什麼固定數 m,完全不知道相差在 m 之內的質數對,到底是有限多個還是無窮多個。自從 2013 年 5 月他的成就在國際媒體上廣為流傳之後,世界上很多數學家努力要把 7千萬的差距往下壓縮,目前已經改善到 246 之內。但是距離孿生質數猜想所需的 2,還有巨大而艱困的鴻溝。

一般人從媒體得知張益唐對數學做出了重大貢獻,可能會好奇問他的結果有什麼用?這裡「用」當然是指實際的應用。其實,他的成果目前還只有純學術價值,與國計民生毫不相干。自從古希臘人辨識出質數,在兩千多年的時間裡,除了數學家關心質數外,質數一直缺乏任何應用價值。二十世紀電腦發達之後,才利用因數分解成質數的超級困難特性,產生了某些幾乎無法有效破解的密碼系統,廣泛的應用到金融、通信、資料保密上。

圖/envato elements

在中國古算裡缺席?

一個基本的數學概念,經歷了兩千多年的滄桑,才顯現出它的實用價值,這不是一件平凡的成就。因此,我們不得不佩服希臘人研究質數的真知灼見,並且感嘆十八世紀前的中國傳統數學裡卻不見質數的蹤跡。質數為什麼會在中國遲來報到?實在是一個令人費解的現象。

-----廣告,請繼續往下閱讀-----

歐幾里得的《原本》約在西元前 300 年左右成書,是古希臘數學集大成之作。第七卷討論數的性質,是使用幾何的觀點來理解數。也就是從「單位」的概念出發,以度量直線段的方式引入「數」。第七卷定義 2 說「一個數是由許多單位合成的。」因此,1 代表單位而不算作「數」。定義 11 說「質數是只能為一個單位所量盡者。」定義 16 說「兩數相乘得出的數稱為面,其兩邊就是相乘的數。」所以質數只能是線,而不能稱為面。

歐幾里德畫像。圖/wiki, 公有領域

從這些定義可看出來,古希臘人所謂的「數」是依附在幾何的體系裡而得以操作。中國古代缺乏像《原本》這種按照邏輯次序鋪陳結果的數學書,通常是以解決實際問題的風貌來書寫,因此不太可能探討與闡述「數」的純粹性質。

例如,以《九章算術》為代表的中國古算裡,數字是與矩形、直角三角形的面積緊密相連結,但卻沒有像希臘人那樣分辨,有些數是可以表現為面,而有些數卻不可以。

也許古代中國缺乏一項歐幾里得所擁有的知識背景,因而造成了雙方關注問題的差異。古希臘有一位重要的哲人德謨克利特(Democritus),他主張萬物皆由不可分割的「原子」所構成。在「原子論」的知識背景下,數目 1 就不會與其他數目等量齊觀了,1 是「單位」,是數的「原子」。

-----廣告,請繼續往下閱讀-----
圖/envato elements

中國古代沒有明確的「原子論」,《墨子.經說下》所說:「非半,進前取也。前,則中無為半,猶端也。」其中切得不能再切的「端」在《墨子.經說上》解釋為「端,體之無序而最前者也。」也只是類似「原子」的概念,並未發展到德謨克利特的思想程度。「原子論」思想的欠缺,或許是質數在中國古算裡缺席的因素之一。

難以望其項背

康熙敕編的《御製數理精蘊》(簡稱《數理精蘊》)是融合中西數學的百科全書,其中將質數譯為「數根」,並且在附表〈對數闡微〉中列有質數表。雖然質數已經在中國現身,但是數學家並沒有感到相見恨晚而深入探討。

晚清數學名家李善蘭在翻譯歐幾里得《原本》後九卷時,第一卷第一界說為:「數根者唯一能度而他數不能度」,也把質數翻譯成「數根」。

數學家李善蘭。圖/傅任敢 《中華教育界》 1936 -1937年, 公有領域

李善蘭很可能受《數理精蘊》的影響,而去研究判別給定數是否為質數的方法。英國傳教師偉烈亞力(Alexander Wylie)將其中一法,以給編輯的信公布在香港一家英文雜誌上,其敘述為「以 2 的對數乘給定的數,求出其真數,以 2 減同數,以給定數除餘數,若能除盡,則給定數為質數;若不能除盡,則不是質數。」

-----廣告,請繼續往下閱讀-----

此命題常被稱為「中國定理」,其實是歐洲早已知道的「費馬小定理」的逆命題,該定理斷言若 p 為質數,則 2p − 2 ≣ 0 (mod p)。

其實李善蘭的方法並不永遠正確,例如:2341 − 2 是 341 的整倍數,但是 341 = 11 × 31 並不是一個質數。1872 年李善蘭在《中西聞見錄》報刊發表了〈考數根法〉一文,成為清末關於質數研究的重要成果,但是他並沒有收錄「中國定理」,應該是他已經知道命題並不為真。

要知道李善蘭與高斯的生命是有重疊的時期,因此當西方以質數為基礎所建立的數論,已經繁複深刻美不勝收之時,也許連李善蘭都不曾完全清楚中國落後的程度是多麼巨大!

-----廣告,請繼續往下閱讀-----
天下文化_96
142 篇文章 ・ 624 位粉絲
天下文化成立於1982年。一直堅持「傳播進步觀念,豐富閱讀世界」,已出版超過2,500種書籍,涵括財經企管、心理勵志、社會人文、科學文化、文學人生、健康生活、親子教養等領域。每一本書都帶給讀者知識、啟發、創意、以及實用的多重收穫,也持續引領台灣社會與國際重要管理潮流同步接軌。