• 沒有找到結果。

「轉移矩陣」二三事(2): 歷年高中課本中的穩定狀態

N/A
N/A
Protected

Academic year: 2022

Share "「轉移矩陣」二三事(2): 歷年高中課本中的穩定狀態"

Copied!
18
0
0

加載中.... (立即查看全文)

全文

(1)

HPM 通訊第十七卷第六期第一版

發行人:洪萬生(台灣師大數學系退休教授)

主編:蘇惠玉(西松高中)副主編:林倉億(台南一中)

助理編輯:黃俊瑋(台灣師大數學所研究生)

編輯小組:蘇意雯(台北市立教育大學)蘇俊鴻(北一女中)

黃清揚(福和國中)葉吉海(陽明高中)

陳彥宏(成功高中)陳啟文(中山女高)

王文珮(青溪國中)黃哲男(台南女中)

英家銘(台北醫學大學)謝佳叡(台灣師大數學系)

創刊日:1998 年 10 月 5 日 每月 5 日出刊 網址:http://math.ntnu.edu.tw/~horng

「轉移矩陣」二三事(2):

歷年高中課本中的穩定狀態

林倉億 國立台南一中 1. 前言

現行的課程綱要中,對轉移矩陣的內容說明只有短短的一句:「轉移矩陣舉應用實 例。」這句到了各版本課本的編書教授手上,各自解讀、發揮的結果,就是產出了差異 頗大的內容。各版本主要的不同之處在於馬可夫鏈穩定狀態的說明,有的並未使用「穩 定狀態」一詞,有的則連是否有穩定狀態的判別法都提到了。這對高中師生來說,還真 的有點無所適從的感覺。就讓我們藉由這篇文章,來趟時光旅行,看看馬可夫鏈的穩定 狀態是如何在以往及現在的高中課本中呈現的。1

2. 歷年高中課本中的馬可夫鏈穩定狀態

轉移矩陣從何時開始進入高中課程之中呢?民國 72 年為配合「高級中學法」,修訂 並頒布「高級中學數學科課程標準」(73 學年度高一新生開始適用,以下簡稱為「73 課 綱」),轉移矩陣首次納入高中課程之中2,期間雖然歷經了幾次課綱的改變:

(1) 「84 年高級中學數學課程標準」(88 學年度高一新生開始適用,以下簡稱為「88 課 綱」

1 為避免讀者混淆,在本文中,「轉移矩陣」指的是各元均非負且各行之總和為 1 的矩陣,而「馬可夫鏈」

則指由「轉移矩陣」形成的「機率矩陣」(或稱「狀態矩陣」)過程。除了特意強調「馬可夫鏈」的「穩定 狀態」外,本文中概以「轉移矩陣」通稱。

2 當時不是用「轉移矩陣」這個名稱,而是「馬可夫鏈的推移矩陣」,簡稱為「推移矩陣」,或又稱為「馬 可夫矩陣」、「隨機矩陣」。

 「轉移矩陣」二三事(2):

歷年高中課本中的穩定狀態

 布里格斯的《對數算術》與對數表 的製作

(2)

HPM 通訊第十七卷第六期第二版

(2) 「94 年普通高級中學數學課程暫行綱要」(95 學年度高一新生開始適用,以下簡稱 為「95 暫綱」)

(3) 「97 年普通高級中學必修科目數學課程綱要」(99 學年度高一新生開始適用,以下 簡稱為「99 課綱」)

(4) 「99 課綱」微調後的「102 年普通高級中學必修科目數學課程綱要」3(103 學年度 高一新生開始適用,以下簡稱為「103 微調課綱」)

轉移矩陣仍一直保留在高中課程之中,差別在於由哪個年級的學生修習,或是由哪些類 組的學生選修(早年俗稱的甲、乙、丙、丁組或近年俗稱的社會組或自然組)。轉移矩 陣引進高中課程,見證了台灣數學教育著重應用的轉變,也反映了台灣社會經濟即將由 電子業引領的歷史背景。4

由此,我們就不難理解,這三十多年來,無論課程綱要如何變革,轉移矩陣總是在矩陣 該章之中,並透過許多實際的例子,讓學生們體認到數學與生活、科學或是商業的連結。

換句話說,應用實例才是轉移矩陣在高中課程中所扮演的角色,無怪乎現行的課程綱要 只有短短「轉移矩陣舉應用實例」這句話。

2.1 「73 課綱」國立編譯館版之《高級中學理科數學下冊》

只有俗稱「自然組」的學生會讀到《高級中學理科數學下冊》,在「2-6 矩陣的應用」

的乙小節「馬可夫鏈」中,先利用某地三家報紙的市場佔有率的例子,引入這一節的主 題:

假設某地以甲、乙、丙三種報紙,目前訂閱甲報的人數占訂戶總人數的 20%,訂閱 乙報的人數占 30%,訂閱丙報的人數占 50%。……假定市場調查的結果告訴我們:

(1) 目前訂閱甲報的人,有 80%明年會繼續訂閱甲報,有 10%會改訂乙報,有 10%會改訂丙報。

(2) 目前訂閱乙報的人,有 20%明年會改訂甲報,有 70%會繼續訂閱乙報,有 10%會改訂丙報。

(3) 目前訂閱丙報的人,有 10%明年會改訂甲報,有 30%會改訂乙報,有 60%

會繼續訂閱丙報。

有了這些數據之後,我們就可以做預測了。

在一連串的說明與計算後可得矩陣

0.8 0.2 0.1 0.1 0.7 0.3 0.1 0.1 0.6 A

 

 

  

 

 

,以及從第 0 年到第 4 年這五年

3 筆者寫此文時,尚未見到課綱微調後的第四冊課本。

4 參閱單維彰 (2012).

(3)

HPM 通訊第十七卷第六期第三版

間的市場占有率矩陣P(0) ~P ,依序為(4) 0.2 0.3 0.5

 

 

 

 

 

、 0.27 0.38 0.35

 

 

 

 

 

、 0.327 0.398 0.275

 

 

 

 

 

0.3687 0.3938 0.2375

 

 

 

 

 

0.39747 0.38378 0.21875

 

 

 

 

 

接下來的課本在一串的說明之後,正式給出了相關名詞的解釋(定義):

……假設某現象所可能呈現的不同狀態只有有限多種:S S1, 2,,Sn,我們每隔 一段固定的時間來觀察它所呈現的狀態。如果此現象在各觀察期呈現某種狀態的過 程滿足下面這個性質:在任意觀察期中此現象呈現狀態S 時,則它在下一觀察期呈j 現狀態S 的機率為i p 。當一個現象的呈現過程具有這個性質時,我們就說這個過程i j 形成一個馬可夫鏈。

設有一個馬可夫鏈,其可能出現的不同狀態有S S1, 2,,Sn,而由狀態S 轉變成j 狀態S 的機率為i p ,仿前面的訂報例子,令 i j

11 12 1

21 22 2

1 2

n

n

n n nn

p p p

p p p

A

p p p

 

 

 

 

 

 

  

矩陣 A 稱為這個馬可夫鏈的推移矩陣。

在推移矩陣 A 中,每個元p 都是大於或等於 0 的數;而且每一行中各元的和都i j 等於 1,亦即,

p1jp2j  pn j 1, j1, 2 ,,n

這是因為當這個馬可夫鏈在某一觀察期中呈現狀態S 時,在下一個觀察期中必定呈jS S1, 2,,Sn中之一,所以對應的機率p1j,p2j,,pn j的和必為 1。

若一個方陣的各元都大於或等於 0,而且每一行中各元的和都等於 1,此種方 陣稱為馬可夫矩陣或隨機矩陣。……另一方面,馬可夫鏈的推移矩陣必定是馬可夫 矩陣。

讀者若仔細讀完上述的引文後,會發現內容敘述雖然和一般熟悉的轉移矩陣沒什麼太大

(4)

HPM 通訊第十七卷第六期第四版

的不同,但用了三個名詞:「推移矩陣」、「馬可夫矩陣」、「隨機矩陣」來表示今日高中 課程中的「轉移矩陣」。這種作法的好壞,見仁見智,但最後一句話就令人玩味了:「馬 可夫鏈的推移矩陣必定是馬可夫矩陣。」這很容易讓人聯想到:「那麼,馬可夫矩陣必 定是馬可夫鏈的推移矩陣嗎?」或許讀者會覺得筆者是在雞蛋裡挑骨頭,但筆者高中時 的課本就是這個版本,而我們幾個同窗好友真的在「推移矩陣」、「馬可夫矩陣」、「隨機 矩陣」這三個名詞間打轉了!

在名詞解釋後,接下來的課本內容就是引導學生去思考穩定狀態的問題,由於這部 分十分的重要,筆者作較大篇幅的引述,並在特別值得留意的地方畫底線標示:

從商業的立場來看,我們想知道長時間地持續下去,三家報紙的市場占有率是不是 可以趨於

”穩定”?如果我們只觀察前五年,就可發現甲報的市場占有率由 20%提高到 39.747%而丙報則由 50%降低到 21.875%,那麼,長時間持續下去,甲報會繼續提 高市場占有率,甚至壟斷報業市場嗎?或是到了某個百分比後就穩定了呢?

要考慮這個問題,我們需要知道當k值很大時,第k年三報的預計市場占有率

矩陣P( )k 是什麼形式。設

( ) 1

( ) ( )

2 ( ) 3

k

k k

k

p

P p

p

 

 

  

 

 

,然後,再看當k趨向無限大時,數列 p1( )k

( ) 2

pkp3( )k 是不是有極限?如果三個數列都有極限,那麼,這三個極限值就可以 解釋成在報業市場趨於穩定時,三家報紙的市場占有率。

要計算矩陣P( )k 的三個元p 、1( )k p 、2( )k p3( )k 的值,仿照前面計算P 、(0) P 、(1) P(2)P(3)P(4)時所使用的方法是很難歸納出結果的;我們必須使用較高深的矩陣理論 才能辦到,這些理論我們在這裏無法說明,所以只能寫出結果。因為P( )kA Pk (0)所以我們若得出(利用較高深的矩陣理論)

9 3 1 9 1 1 9 5 4

20 4 5 20 4 5 20 4 5

7 3 2 7 1 2 7 5 8

20 4 5 20 4 5 20 4 5

4 1 4 1 4 4

20 5 20 5 20 5

k k k k k k

k k k k k k k

k k k

A

     

     

  

       

 

 

 

       

 

    

 

 

,其中 0.6,

 0.5

(上面這個等式,同學們可以利用數學歸納法加以驗證),則由此可得

(5)

HPM 通訊第十七卷第六期第五版

( )

20 9 22 15

(0.6) (0.5)

100 20 40 50

30 7 22 30

(0.6) (0.5)

100 20 40 50

50 4 15

(0.5)

100 20 50

k k

k k k k

k

P A

     

   

   

   

      

   

    

   

   

根據上冊 3-2 節所介紹的極限求法,可知 9 22 15 9

lim (0.6) (0.5) 45%

20 40 50 20

k k

k

    

 

 

7 22 30 7

lim (0.6) (0.5) 35%

20 40 50 20

k k

k

    

 

 

4 15 4

lim (0.5) 20%

20 50 20

k k

   

 

 

由此可知,當報業市場趨於穩定時,甲報、乙報、丙報的市場占有率分別為 45%、

35%、20%。事實上,不論最初的市場占有率矩陣 P (0)為何,都可以達到這種穩定 狀態(參看習題 2-6 第 6 題)。

習題 2-6 第 6 題就是:

在乙小節所舉的”訂報機率”問題中,假設 (0) a

P b

c

  

  

  

,試利用課文中A 的表示式證k

明:當k趨向無限大時,P( )k 的三個元分別趨近 45%、35%、20%。

從上面引述的課本內容可看出,當年的作者們利用報業市場占有率一題,詳細地說 明了穩定狀態就是馬可夫鏈中各元的極限,各元的極限都存在,則穩定狀態就存在,且 這是與初始狀態P(0)無關的。5雖然這之中省略了利用較高深矩陣理論求出A 一般形式k 的過程,但就數學知識結構來說,當年的課本將如何求穩定狀態交待的十分完整。當然 了,課本寫得完整,並不代表學生就會學得完整,特別是課本在整節中就只有報業市場 占有率這個例題,並沒有更簡易的二階例題,這對初學者來說,真的是很大的負擔。筆 者當年還真是懵懵懂懂混過去的,好在考大學那一年的聯考沒有相關的考題,不然,筆 者的人生可能就是另外一套劇本了。

課本作者們最後以矩陣

0 0 1 1 0 0 0 1 0

 

 

 

 

 

為例,介紹了不一定會產生穩定狀態的馬可夫鏈,

並再告訴學生說:

5 本文中的穩定狀態,若無特別說明,則以此做為定義。

(6)

HPM 通訊第十七卷第六期第六版

如果一馬可夫鏈可達到穩定狀態,而其(n階)推移矩陣為 A ,則其穩定狀態就是

滿足 AXXn1矩陣。

1 2

n

x X x

x

  

 

  

  

 ,其中x1x2xn 1,且每一個x 都滿i

足 0xi  。 1

筆者之所以花這樣多篇幅介紹、引述這個版本的課本內容,除了因為它是第一個引 進轉移矩陣的課本外,更重要的是,這些內容幾乎就是未來各版本內容的「極限」,說 白了,接下來的各個版本,都在這個版本呈現的架構下刪減、調整內容,頂多就是再蜻 蜓點水地提到穩定狀態是否存在的另一種判別法,這留待下文再說。

2.2 「88 課綱」之課本

自 88 學年度的高一生起,課本市場回到「一綱多本」的局面,就筆者在國家教育 研究院教育資源及出版中心的「教科書圖書館」中所查的資料,計有南一、翰林、龍騰、

康熙、正中、三民六家出版社的課本版本,轉移矩陣被安排在高三上學期「矩陣」中,

此時各版本已統一用「轉移矩陣」這名詞,「馬可夫矩陣」、「隨機矩陣」只分別不起眼 地出現在翰林版、三民版之中,至於「推移矩陣」,就再沒有課本用它來指稱「轉移矩 陣」了。6

至於內容安排,差異不可謂不小。詳細的差異比較,並非本文的焦點,我們只看在

「數學甲上冊」(自然組)對馬可夫鏈穩定狀態的說明,請見附錄之表一。六個版本中,

只有三民版正式說明何謂馬可夫鏈的穩定狀態,以及提到並非每一個馬可夫鏈都有穩定 狀態。南一版除了藉由例子輕描淡寫地提到晴天、雨天的機率會近似於 0.603、0.397,

還呈現了馬可夫證明過的定理(不含定理證明)。在此,筆者要特別指出,這是這個定 理首次出現在台灣的高中課本之中,而且,請讀者特別留意,此時這個定理並沒有特定 的名稱,就是馬可夫證明過的一個定理。此外,在南一版課本的文字敘述之中,並沒有 使用「馬可夫鏈」與「穩定狀態」這兩個名詞。

其餘的四個版本,一致性地都沒有出現「穩定狀態」這名詞。不過,翰林版和正中 版用例子輕輕地點到;龍騰版在內容中完全沒有,但在習題中安排了一題求穩定狀態的 題目;至於康熙版,徹頭徹尾都沒有「穩定狀態」的蛛絲馬跡!不過,康熙版在其《教 師手冊》中,倒對馬可夫鏈的穩定狀態作了不少說明,包括南一版中的定理:

定義(四):設 A 為一推移矩陣,若存在自然數k使A 之各元素均為正數,則稱 A 為k 正則馬可夫矩陣。

6 「推移矩陣」易與平面上的線性變換「推移」混淆,這應該是它不再被使用的原因。

(7)

HPM 通訊第十七卷第六期第七版

性質(四):若 A 為正則馬可夫矩陣,則存在唯一穩定狀態矩陣 P 使 AP ,且P lim k

k A



各行正好是穩定狀態 P 。 雖然依舊沒有證明該定理,但指出:

本性質告訴我們恰存在唯一矩陣 AP ,這就表示了穩定狀態矩陣恰為固有值 1 所P 對應的固有向量,而此固有向量各元素和當然是 1 了!因此,想到求得一個推移矩 陣 A 的穩定狀態機率矩陣,通常有兩個方法可循:一個是求推移矩陣對應於 1 的單 位固有向量,當然其各元素應不為負了;另一個是求lim k

k A

 的任一行矩陣即可。

穩定狀態與固有向量(即特徵向量)的關係,首度出現於此!雖然並沒有作詳細的說明,

但好歹已告訴高中教師這兩者間是有關聯的。詳細的說明,可見筆者〈「轉移矩陣」二 三事(1):高中課本中穩定狀態的求法〉一文。

2.3 「95 暫綱」之課本

95 學年度高一開始的新課本市場,仍然有六家出版社:南一、翰林、龍騰、康熹、

全華、泰宇。「轉移矩陣」置於選修數學 I 之中(高三上學期),所有的高三學生都要修 習。筆者將各版本對馬可夫鏈穩定狀態的說明,整理成附錄之表二。總結來說,「95 暫 綱」的課本比起「88 課綱」的課本,關於馬可夫鏈的內容變得更豐富了,除了南一版外,

其餘的各版本,不管有沒有使用「穩定狀態」這名稱,都有求穩定狀態的題目。而龍騰 版、全華版與泰宇版還都舉例說明不是每一個馬可夫鏈都有穩定狀態。換言之,穩定狀 態在課本中的角色是益加明顯與重要!

2.4 「99 課綱」之課本─現行的、即將被取代的課本

99 學年度高一開始的新課本市場,除了「95 暫綱」的六家出版社外,曾出版「88 課綱」課本的三民書局,再次投入教科書市場。「轉移矩陣」置於第四冊之中(高二下 學期)。特別值得一提的是,以前的課程中,學生在學轉移矩陣前都已學過數列的極限,

然而,到了「99 課綱」,數列極限移至高三下學期,所以,這是第一次沒有極限觀念的 轉移矩陣課本。既然沒了極限觀念作預備知識,那編書者如何處理穩定狀態(本質上就 是極限),就值得我們好好一瞧了。同樣地,各版本的相關內容,請見附錄之表三。

「99 課綱」這七個版本與以前版本的最大不同之處,就是每一個版本都有涉及穩定 狀態!雖然龍騰版、康熹版、三民版沒有使用「穩定狀態」這名詞,但在其內容或例題 中,都實質觸及了穩定狀態。或許我們可以這麼說,經過近三十年的教科書演變,「穩 定狀態」的意義在教科書之中,已經是「穩定狀態」了!

(8)

HPM 通訊第十七卷第六期第八版

雖然「99 課綱」將極限觀念挪到高三下學期,但各版本在呈現「穩定狀態」時,仍 舊引導學生去體會所舉例的馬可夫鏈是會逐漸趨於穩定。事實上,這種呈現方式與先前 的課綱版本並無太大的差異,因為,就算學生有了極限的觀念,仍舊無法要學生用極限 的方法求出穩定狀態,或是判斷是否有穩定狀態,透過舉例讓學生感受到「逐漸趨於穩 定」,還是最好的方式。不過,既然學生沒有極限的觀念,那也就不易去意識到收斂與 否的問題,也就是說,若教科書沒有主動提及不會穩定的馬可夫鏈,且教師在課堂上也 隻字未提的話,學生們在學完這一節後,所遇到的統統是有穩定狀態的例子,那麼,就 很可能會以為馬可夫鏈一定會有穩定狀態。綜觀各版本的教科書,只有全華版與泰宇版 有呈現不會穩定的例子,而這兩者在台灣高中的教科書市場的市佔率並不高,也就是說,

大部分的高中生所用的課本中,是沒有不穩定的馬可夫鏈的。7

無論讀者是否支持在課本中呈現不會穩定的馬可夫鏈,但一定都會同意,課本中的 敘述或定義不應該使學生產生誤解。泰宇版、全華版與南一版都只利用 AXX (或

PXX )來定義「穩定狀態」 X ,其中 A 、 P 是轉移矩陣,並未納入「穩定狀態與初 始狀態無關」這條件。這樣的定義方式不僅與高中教師熟悉的「穩定狀態」不一致,也 較不周延,因為,只要是轉移矩陣,就一定有特徵值 1,因此,無論轉移矩陣所成的馬 可夫鏈會不會收斂,都必存在 X 滿足 AX  (或 PXXX。也就是說,滿足 AXX 的,

未必是一般課堂上所謂的與初始值無關的「穩定狀態」。8雖然泰宇版課本利用類題演練 7 呈現不會有穩定狀態的例子,以此彌補其定義可能帶來的問題,而全華版直接給出不 會穩定的例子,但筆者仍要提醒使用這兩個版本的教師,必須向學生多做說明。9至於使 用南一版的教師,則必須額外向學生澄清此定義的不周延之處了!

雖然課本的內容架構趨於「穩定」,但各版本《教師手冊》的多樣性增加了,這對 高中教師來說,是一大福音。在先前的各版本之中,只有「88 課綱」的康熙版《教師手 冊》對馬可夫鏈穩定狀態有較為詳細的說明,「99 課綱」康熹版承襲了 88「課綱版」的 教師手冊,而且還多了不穩定的介紹。而龍騰版則在其《教師手冊》中,將課本中例題 1 的水量變化,透過遞迴數列 1 3 1

(1 ) 4 2

n n n

a a  a 改寫成 1 2 1 2 ( ) 3 4 3

n n

a   a  ,即無窮 等比數列,繼而求出當n趨向無限大時,a 趨近於n 2

3。最特別的,當屬三民版的《教師 手冊》了,其利用特徵值、特徵向量、極限證明:當每個元皆為正數的二階轉移矩陣,

其馬可夫鏈必有穩定狀態。經歷了近三十年,每一個版的的《教師手冊》對穩定狀態的 判別不是完全不寫,不然就以證明要用到高深的矩陣理論帶過。至今,終於有一個版本 的編書教授願意在這部分上帶領高中教師往前走一步,雖然這一步只是證明了二階的情

7 對於各教科書版的的市佔率,筆者並沒有確切的數字,憑藉的只是筆者與各出版社業務員以及不同縣市 高中數學教師接觸所得的結論,雖然不客觀,但與事實應該相去不遠。

8 更詳細的討論,請參閱筆者〈「轉移矩陣」二三事(1):高中課本中穩定狀態的求法〉一文。

9 有趣的是,這兩個版本的教科書,在「95 暫綱」的課本中,並不是以這樣的方式來定義「穩定狀態的」

(參閱本文附錄表二)。特別是泰宇版,在「95 暫綱」的課本中不僅是用極限來定義「穩定狀態的」,還 特別強調與初始狀態無關!到了「99 課綱」的課本,定義本該不能有正式的極限術語,但連「與初始狀 態無關」都刪去了,編書教授的考量為何,就教人費解了!

(9)

HPM 通訊第十七卷第六期第九版

形,但已朝向證明一般情形邁進了一大步!本文篇幅至此已是「又臭又長」,不宜對此 再多做討論,筆者將在〈「轉移矩陣」二三事〉這系列文章的第三篇,說明一般情形的 證明。

3. 結語

轉移矩陣進入台灣高中數學已滿三十年(73 年~103 年),我們見到「穩定狀態」確 實在教科書的內容中「穩定」了。再者,無論是否有極限觀念作為學生的預備知識,我 們仍舊無法嚴謹地向學生解釋為什麼一定會收斂到 AXX 的 X(有穩定狀態的時候),

更無法向學生多講一點是否有穩定狀態的判別法則!有嘗試過的高中老師就會知道,每 一個元都是正數的轉移矩陣,別說是學生了,連老師都很難想像其乘法的變化。

最後,即將於 103 年實施的微調後的課綱,轉移矩陣將只限縮在二階的情形。這樣 限縮的好壞,相信主事的教授們已做過深思熟慮,也透過許多不同的管道傾聽第一線教 師的意見,筆者在此不多述,但要提出幾點建議。第一,「穩定狀態」仍要保留在課本 之中,不然,學生只要用樹狀圖就能很輕易地解出二階轉移矩陣的相關題目,降低學習 轉移矩陣的動機;再說,穩定狀態本身就是馬可夫鏈的核心問題,也是很自然的問題,

實在不宜刪除。第二,既然各版本都有穩定狀態的題目或相關內容,而「穩定狀態」也 是大多數高中師生已經熟稔的名稱,那何不統一使用這個名稱(當然是與初始狀態無關 的),毋需再用類似「長期下來」等字眼來遮掩。

第三,希望各個版本都能呈現不會穩定的例子,但只當作舉例說明,不再延伸成習 題或是測驗的題目。筆者相信,只要教師們了解判斷是否會穩定是件很高深的事,就不 會有教師將它變成考題來「荼毒」學生了。最後,是否有穩定狀態的判別定理,就讓它 從課本中消失吧!從學生的角度來看,不能有 0 的轉移矩陣到底會怎麼「轉移」,這根 本無從想像,還是只有實際計算一途;而對教師來說,筆者估計,全台灣大多數高中數 學教師並不清楚該定理何以成立,甚至其中有不少教師根本就忘記有這個定理。身為一 個教師,當然要對所教的內容懂得比學生還透徹,因此,該判別定理就讓它出現在《教 師手冊》之中,並請編寫教授們能清楚地說明該定理為何會成立,這不也正是《教師手 冊》存在的目的之一嗎?

參考資料

「97 年普通高級中學必修科目數學課程綱要」,

http://web.ylsh.ilc.edu.tw/course/overview/07.pdf

「102 年普通高級中學必修科目數學課程綱要」,

http://web.ylsh.ilc.edu.tw/course/overview/1020826/07_102adjust.pdf

李恭晴、李虎雄、呂溪木、林福來、陳冒海等 (1999).《高級中學理科數學下冊》及《教 師手冊》,台北:國立編譯館。

李虎雄、陳昭地、黃登源等 (2005).《高級中學數學甲上冊》及《教師手冊》,台中:康 熙圖書。

(10)

HPM 通訊第十七卷第六期第一○版

李虎雄、陳昭地、黃登源等 (2011).《高中選修數學 (Ⅰ)》及《教師手冊》,新北:康熹 文化。

李虎雄、陳昭地、黃登源等 (2011).《普通高級中學數學第四冊》及《教師手冊》,新北:

康熹文化。

吳森原、許乃紅等 (2001).《高級中學數學甲 (上)》及《教師手冊》,台北:正中書局。

余文卿等 (2005).《數學甲 (上)》及《教師手冊》,台北:龍騰文化。

余文卿等 (2010).《選修數學Ⅰ》及《教師手冊》,台南:翰林出版社。

林福來、李恭晴、徐正梅、陳冒海、陳順宇等 (2005).《選修數學Ⅰ》及《教師手冊》,

台南:南一書局。

林福來、陳冒海、陳順宇、陳創義等 (2012).《普通高級中學數學第四冊》及《教師手冊》,

台南:南一書局。

林福來、陳順宇、陳創義等 (2008).《高級中學數學甲 (上)》及《教師手冊》,台南:南 一書局。

柳賢、左太政等 (2005).《高級中學數學甲 (上)》及《教師手冊》,台南:翰林出版社。

許志農、黃森山等 (2010).《選修數學Ⅰ》及《教師手冊》,新北:龍騰文化。

許志農、黃森山等 (2011).《普通高級中學數學第四冊》及《教師手冊》,新北:龍騰文 化。

張淑珠等 (2008).《選修數學Ⅰ》及《教師手冊》,新北:泰宇出版社。

張淑珠等 (2011).《普通高級中學數學第四冊》及《教師手冊》,新北:泰宇出版社。

單維彰、鄭惟後等 (2012).《普通高級中學數學第四冊》及《教師手冊》,台北:三民書 局。

單維彰 (2012). 〈轉移矩陣是怎樣進入高中教材的?〉《科學月刊》43(11),頁 812-813。

楊維哲、蔡聰明、吳隆盛等 (2004).《高級中學數學甲 (上)》及《教師手冊》,台北:三 民書局。

楊壬孝、蔡天鉞等 (2009).《選修數學Ⅰ》及《教師手冊》,新北:全華圖書。

楊壬孝、蔡天鉞等 (2009).《普通高級中學數學第四冊》及《教師手冊》,新北:全華圖 書。

游森棚、林延輯等 (2011).《普通高級中學數學第四冊》及《教師手冊》,台南:翰林出 版社。

(11)

HPM 通訊第十七卷第六期第一一版

布里格斯的《對數算術》與對數表的製作

蘇惠玉 台北市立西松高中

在高中數學課程中,對數觀念的學習與應用是相當重要的一個單元。不過,在學習 的過程中,課程雖然著重在觀念的理解,與對數表的應用,卻沒有明白地告訴學生 log 2 、 log 3 等等的對數值,到底是怎麼算出來的。因此,學生對此單元的學習容易因為一知半 解的情況,而顯得成效不彰。接下來這一系列的相關文章,

將說明布里格斯(Henry Briggs, 1561~1630)在他的《對數 算術》(Arithmetica Logarithmica)一書中,所用來建造以 10 為底的對數表之幾種方法,並希望能將這些方法應用在目 前的數學課堂的學習上,讓學生可以了解或親自動手算算這 些常用對數的值。

在納皮爾(John Napier, 1550~1617)的對數著作出版之 後,當時在倫敦格萊斯罕學院的布里格斯對這項發明極為欽 佩,興奮地跑到距離 400 哩遠的蘇格蘭與納皮爾會面,這段 會面過程是數學史上相當知名的一段故事,根據納皮爾的朋 友約翰‧馬爾(John Marr)的轉述而記錄下來:

一切發生在正當納皮爾因為長久等待打算放棄希望的那一天,當時納皮爾爵士正 和約翰‧馬爾聊到布里格斯先生時說:「喔,約翰,布里格斯先生應該不會來了。」,

這時一陣敲門聲響起,約翰‧馬爾急忙跑去開門後發現是布里格斯先生,興奮地 將他帶往爵士的房間,他們倆一見面後彼此懷著仰慕之情緊握雙手,不發一語地 沈浸在感動之間達十五分鐘之久,後來布里格斯先開口說:「我尊敬的爵士,我 完成這次漫長的旅程只為了要親自見您一面,並且想要瞭解起初到底是什麼樣智 力或創造力的引擎(Engine of Wit or Ingenuity)讓您想到這麼優秀的天文學助力

(Help unto Astronomy),亦即對數(Logarithms);但是,我尊敬的爵士,現在 是你發現了,不過我很好奇在此之前為何沒有其他人發現,現在看來它是如此簡 單。」之後布里格斯豪爽地接受了納皮爾爵士的款待。從此之後,在納皮爾爵士 活著的每一個夏天,布里格斯都會到蘇格蘭拜訪他。

在會面的討論過程中,布里格斯曾建議納皮爾可以把 1 的對數定為 0,另外改成以 10 為 底。納皮爾欣然接受,不過,他此時年事已高,已經沒有心力再重新計算一套對數表,

因此,由布里格斯接手這個工作,他於 1624 年出版《對數算術》,列出從 1 到 20,000,

以及從 90,000 到 100,000 所有整數以 10 為底的對數,精確到小數點後第 14 位。

此書共 32 章,接下來將其中與對數表製作有關的幾章簡介如下。

(12)

HPM 通訊

1. 第 1 第 列(以 用納皮 指數(次 與等比 如下圖

直線 L 因此當 相鄰兩 線 M 上 過 B、C 過相鄰 的對應 爾將 y 視 數列的第

第 等價於若

第 3 章說 數(ch

訊第十七卷第六

1~4 章 1 章到第 4 a為底的乘 爾的觀點,

次方)間的 兩個數列考

上相鄰兩點 P 點在直線

點間的距離 上移動,且

C、D、E、

間隔的時間 關係,其中 視為 x 的「

第 n 項所對

二個引理為 若a c

bd第 2 章規

說明將以 1 aracteristic

六期第一二版

4 章為基本 乘冪,a )n

,並將數列 的對應觀念 考慮成質點

點間的距離 線 L 上等速 離成等比,

P 點與 Q 點

…等點時 間也會相等 中 n 是連續

「對數」。布 對應的對數

為設 p, q, r, 則 log(ad)

規定 log1 0

10 為底的對 c)。

對數觀念介 與等差數列 間的對應關 推廣到指數 點在線段上的

離相同,亦即 速前進時,經 亦即當 A B 點同時分別

,Q 點相對

。因此當 P 續變動的數。

布里格斯進一 數,則

li

s 為四個對 )log(bc)

0 ,並說明 1: log 2

2 : log 3 : log A

A xy

A x

y 對數,定義

介紹。第 1 列(次方n所 關係擴充到 數為連續的 的運動,一

即 AB =a 經過相等間 B  時, Ar 別從 A 與 A

對地通過 B

P 與 Q 分別

。當 Q 走到 一步將這種

m li li n

m n

 

對數值,若p loga log

 

3 個定理,

2 log 2;

log l log lo

n n

xy x

x x

y

 

 

義成 10 的次

章有兩個引 所成的數列 到與對數值的 的數,他採用 一種是等速運

AC2a 間隔區間的時

A C   ,r2

點,以相同

C、 D

別在直線 L 與 到任意點 x 時 種比例關係延

li

n

p  q r s g d 。

將內容以現 log 3 log og

m m

y y

次方,即 log

引理,布里 列)間的對應

的對應。納 用一種運動 運動,另一

AD3a 時間都會相

A D   ,r3

同的初速度

、 E 、…等 與 M 上移動 時,P 會走 延伸到對數

s,則ps

現代符號表 log 3 m

10 1 ;第

里格斯先說明 應關係,在 納皮爾將這個 動學的觀點

一種與距離成

L

M

a ,…。

相等;而直線

,…。設 Q 度出發,則當

等點,亦即 動時,滿足 走到 y 點,此

數上:設ln

s q r。這

表示如下:

第 4 章說明對

明等比數 在此他採

個乘方與

,將等差 成比例。

線 M 中 點在直 當 P 點經 即 Q 點通 narn

此時納皮 為一等比

這個引理

對數的首

(13)

2. 第 5 第 里格斯將 考慮 log 布里格斯 方為 2

並沒有將 考慮這 如下圖

平方

220×28

× 1 4 1 9

~7 章 5 章到第 8 將它歸功於 g 2 ,先計算

斯計算到了 10k

,4 10 k 將每個數完 兩數的首幾 二。

平方

80

1 4 1 4 5 6 4

9 6

8 章為計算 於納皮爾。他

算 2 的次方 了21014;不過

k,8 10 k,10 完整算出後 幾位數字,相

位數相加減 1

以 10 為底 他以 log 2 與 方,並標明其

過,他也不 0 10 k的四個

計算,他利 相乘後的位

圖二

底的對數的主 與 log 7 為例

其位數。為 不是每個都算

個數的位數 利用了下面這 位數不是兩者

主要方法。

例,說明小一 為了使對數值

算,而是以 數,如下圖一 這個性質:如

者位數相加

7 4

× 1 4 2 9 6

7 4 1 0 3 6

HPM 通訊第

在第 5 章中 一點的質數

值精確到小 以四個數一組

一。在計算 如要計算兩 加,就是兩者

圖一

位數

第十七卷第六

中所提的方 數如何求其對

小數點後第 組,每次都 算位數時,布 兩數相乘後的 者位數相加再

數相加

六期第一三版

方法,布 對數值。

14 位,

都計算次 布里格斯 的位數,

再減 1,

(14)

HPM 通訊第十七卷第六期第一四版

當21014的位數為 M 時,因為log 21014 1014log 2(M  1) logN,所以

14 14

1 log log 2

10 10 MN

  ,後面的log14 10

N 太小忽略不計,因此可得 141 log 2

10 M

 。布里格斯計 算所得的 M 為 3010,29995,66399,故可得 log 2 0.030102999566398

在第 6 章與第 7 章中,他使用所謂的連續開方法(continued mean number)。在第 6 章中,他先利用這個方法找出1x的對數值,其中x0但很接近於0。他先將10連續 開平方根,即在 1 和 10 之間一直求幾何平均數: 1 10 =

1

10 、 12  10=

1

10 、4 1 10 14

1

10 ……;他為了要使得到的對數正確到小數點後 14 位,因此他計算到小數點後的 08

與這些 0 之後的數字有相同的位數,因此連續開方 54 次,計算到101/ 254    ,其中r 1 Δ=0.0(15)12781,91493,20032,3442(註:0(15)中的 15 表示在小數點後有 15 個 0);同 時也從 1 開始連續除以 2,計算了 54 次,得到 154

2 =0.0(16)555111512312578270212,令 其值為l,取對數之後,可得 logrlog(1  =) l為已知,此時Δ是個很小的數。從前面 第 2 章的定理知道真數的次方(r )與對數值(n nl)間有比例關係;又因為Δ足夠小,

因此有下面的對應關係:

次方 近似值 對數值 r2 1 2  2l r4 1 4  4l r8 1 8  8l

可知真數去掉 1 之後的小數與對數值之間亦有同樣的比例關係。他舉例說明了這樣的比 例關係如何使用:

(15)

HPM 通訊第十七卷第六期第一五版

按照比例關係,P 與 X 去掉 1 之後的值與其對數值成比例,即 0.0000000000000001278191493200323442:0.0000000000000001

=0.0000000000000000555111512312578270212: log X ,因此可得 log X  0.0000000000000000434294481903251804

因此,當真數為1, 是個很小的正數時,若設  t (即t

 ),可得

log(1 ) l

tl

  

 ;若再令kl

,k 就成了一已知的常數值,可用於類似的對數求值,

因此布里格斯可得到一個簡單好用的工具: log(1)k 。

接著在第 7 章中,布里格斯利用這個結果來計算 log 2 、 log 3 的值。以 log 2 為例,

他首先計算 log1.024 的值:因為若 log1.024 為已知,則有P log1.024 log1024 10 log 2 3

1000 P

    ,那麼log 2 3

10 P

。利用第 6 章的連續開方法,他

將 1.024 連續開方,作到第 47 次,才使得其值小數點後有 15 個 0,即(1.024)12471.0(15)16851605705394977,令其值為1(  0.0(15)16851605705394977),因此

1247

log(1.024) log(1)k,其中 k 是第 6 章算出來的已知常數。如此一來就可求得 log1.024247k ,最後他計算得 log 2 0.30102,99956,63981,195。同理可算得 log3 的 值。在這一章最後,他利用前幾章所得到的對數性質計算 log 5 與 log 6,特別在計算 log 6 時用了

9 7

6

10 ,這個數關連到下一章的方法。

另外,值得一提的是布里格斯選擇一個與 1 足夠接近的數

1 254

10 ,根據他的算法距離,

我們發現自然對數的底 e 這個常數只剩一步之遙而已。設

1

102n  1 x,其中 x 是個很小 的數。由於

2 3

ln(1 )

2 3 x x x x

     ,故當 x 很小時, ln(1x)x 1 1 2n ln 0

 。在布里 格斯的計算中,102541    ,令1 154

2 =l,因此 ln(1   )  l ln10,亦即布里格斯計

算的常數 1 log e

l  ln10

 。當然此時的布里格斯並不知道 ln(1 的展開式。雖說是一步,x) 卻也是需要跨過一道坎的一步啊。

3. 第 8 章

在第 6、7 兩章中,布里格斯為了處理連續開方,需要花費相當大的時間與精力在 作開方的計算上。因此,他需要有個方法可以幫助他減少計算量,他將使用的方法寫在 第 8 章,稱為差分法(difference method)。布里格斯在作開方時,發現一個 1 點多的

(16)

HPM 通訊第十七卷第六期第一六版

數開方,小數部分的值幾乎是原本的二分之一,藉由這樣的觀察,他利用與一半的「差 距」,用一系列的演算法求得連續開方的下一項,以減少龐大的開方工作量。首先,布 里格斯選擇作連續幾次平方根後,小數點後面有 3 或 4 個 0 之數為起始值,分別計算 B 、

C、 D 、 E 、 F 等欄位的值,他們之間的關係如下:

1An Bn

1

1

2AnAn

Cn

1

1

4BnBn

Dn

1

1

8CnCn

En

1

1

16DnDn

Fn

1

1

32EnEn 他從 69/107=1.0077696 開始作連續開方,其中1An表示作第 n 次開方的值,並依序計算 相對應的 B 、C、 D 、 E 、 F 等欄位的值。作到第 9 次時,其值為1 A9

1.00001511646599905672950488,小數點後有 4 個 0,接著計算 9 1 8 9 B 2AA

8

9 9

1

C 4BB9 1 8 9

D 8CC9 1 8 9

E 16DD ,而 9 1 8 9 0

F 32EE  ,因此取F10  ,0 往回推得 10 1 9 6.5 10 26

E 32E   ;再由 10 1 9 10

E 16DDD 的值算得9 D ,依此演算法10 往回類推計算,依序得C 、10 B ,最後得10 A ,即得下一個開方數值,布里格斯的演算程10 序如圖三。

圖三

布里格斯接著提供另一種只牽涉到小數部分次方的計算方式。下面以現代符號來解 釋:設1An   ,那麼1 x 1An1 (1 x)2、1An2  (1 x)4等等,有需要時可往上一直 平方,此時分別計算B 、n C 、n D 、n E 如下: n

1

2 2

1 1 1

(2 )

2 n n 2 2

BnAAxx  x x

9

8 8 9 9

9 9 8

8 8

9=E10 10 10 10 10 9 9 9 9

F9=0

(17)

HPM 通訊第十七卷第六期第一七版

2 3

1

4 2 3 4

1 1 1 1 1 1

(2 2

4 4 2 2 2 8

n n n

CBBxxx) xxx

4 5 6 7 8

1

1 7 7 7 1 1

8 n n 8 8 16 8 64

DnC Cxxxxx

8 1

5 6 7

1 21 175 21

16 n n 8 7 16 8

EnDDxxxx 

依上述演算法的程序代入計算,可得

12

(1x) =1+An1=1+1

2 A -n Bn1 =1+1

2 A -n 1

4 B +n Cn1 =1+1

2 A -n 1

4 B +n 1

8 C -n Dn1 =1+1

2 A -n 1

4 B +n 1

8 C -n 1

16 D +n 1 32 E n  1+1

2 x -1 4(1 2

2x )+1

8(12

x

318

x

4)

1

16(78

x

4

78

x

5

167

x

6

18

x

7

641

x

8)

1

32(218

x

5

 7 x

6

17516

x

7

218

x

8

 ...

) 1 1 1 2 1 3 5 4 7 5

2x 8x 16x 128x 256x

     +

這個式子跟我們利用牛頓二項式定理展開(1x)12,| | 1x  時的結果,在前面幾項的部分 完全正確。

在《對數算術》後面幾章,布里格斯需要將對數表中其他的洞補齊,第 11 章為線性 內插法;第 12 與 13 章利用第 8 章所使用的差分法,計算兩個已知對數值的數之間其他 數的對數值;第 14 章由已知對數值 L 反求真數 N,或是反過來,真數 N 已知,利用一 系列逼近 N 的近似值之對數值,求其對數值 L。

在教學的應用上,布里格斯在第 5、6、 7 章中所使用的方法,可以利用學習單的 形式讓學生實際計算,讓學生經由這些計算過程,進一步體會指數與對數的關係,也讓 學生經由 log 2 、 log 3 等等的計算,賦予對數實質上的意義。

(18)

HPM 通訊第十七卷第六期第一八版

參考文獻

Briggs' Arithmetica Logarithmica, translated and annotated by Ian Bruce, http://www.17centurymaths.com/contents/albriggs.html

John Fauvel and Jan van Maanen edited(2000), History in Mathematics Education, The ICMI Study. Dordrecht: Kluwer Academic Publishers.

林倉億(2011),〈怎麼算 log2〉,數學學科中心電子報第 52 期。

蘇俊鴻(2003),〈數學史融入教學-以對數為例〉,《HPM 通訊》第 6 卷 23 期合刊。

曹亮吉(2010),〈對數表的製作〉,網址:

http://highscope.ch.ntu.edu.tw/wordpress/?p=14488 網路資源:The Difference Method of Henry Briggs,網址:

http://www.jacques-laporte.org/The%20method%20of%20Henry%20briggs.htm

1. 為節省影印成本,本通訊將減少紙版的的發行,請讀者盡量改訂 PDF 電子檔。要訂閱請將您的大名,

地址,e-mail 至 [email protected]

2. 本通訊若需影印僅限教學用,若需轉載請洽原作者或本通訊發行人。

3. 歡迎對數學教育、數學史、教育時事評論等主題有興趣的教師、家長及學生踴躍投稿。投稿請 e-mail [email protected]

4. 本通訊內容可至網站下載。網址:http://math.ntnu.edu.tw/~horng/letter/hpmletter.htm 5. 以下是本通訊在各縣市學校的聯絡員,有事沒事請就聯絡

《HPM 通訊》駐校連絡員 日本:陳昭蓉 (東京 Boston Consulting Group) 基隆市:許文璋(南榮國中)

台北市:英家銘(台北醫學大學)楊淑芬(松山高中)杜雲華、陳彥宏、游經祥、蘇慧珍(成功高中)

蘇俊鴻(北一女中)陳啟文(中山女高)蘇惠玉(西松高中)蕭文俊(中崙高中)

郭慶章(建國中學)李秀卿(景美女中)王錫熙(三民國中)謝佩珍、葉和文(百齡高中)

彭良禎(師大附中)郭守德(大安高工)張瑄芳(永春高中)張美玲(景興國中)

文宏元(金歐女中)林裕意(開平中學)林壽福、吳如皓 (興雅國中) 傅聖國(健康國小)

李素幸(雙園國中)程麗娟(民生國中)林美杏(中正國中)朱賡忠(建成國中)

新北市:顏志成(新莊高中) 陳鳳珠(中正國中)黃清揚(福和國中)董芳成(海山高中)孫梅茵

(海山高工)周宗奎(清水中學)莊嘉玲(林口高中)王鼎勳、吳建任(樹林中學)陳玉芬

(明德高中)羅春暉 (二重國小) 賴素貞(瑞芳高工)楊淑玲(義學國中)林建宏 (丹鳳國中)

莊耀仁(溪崑國中)

宜蘭縣:陳敏皓(蘭陽女中)吳秉鴻(國華國中)林肯輝(羅東國中)林宜靜(羅東高中)

桃園縣:許雪珍、葉吉海(陽明高中)王文珮(青溪國中) 陳威南(平鎮中學)

洪宜亭、郭志輝(內壢高中) 鐘啟哲(武漢國中)徐梅芳(新坡國中) 程和欽 (大園國際高中)、

鍾秀瓏(東安國中)陳春廷(楊光國民中小學)王瑜君(桃園國中)

新竹市:李俊坤(新竹高中)、洪正川、林典蔚(新竹高商)

新竹縣:陳夢綺、陳瑩琪、陳淑婷(竹北高中)

苗栗縣:廖淑芳 (照南國中)

台中市:阮錫琦(西苑高中)、劉雅茵(台中二中)、林芳羽(大里高中)、洪秀敏(豐原高中)、李傑霖、

賴信志、陳姿研(台中女中)、莊佳維(成功國中)、李建勳(萬和國中)

南投縣:洪誌陽(普台高中)

嘉義市:謝三寶(嘉義高工)郭夢瑤(嘉義高中)

台南市:林倉億(台南一中)黃哲男、洪士薰、廖婉雅(台南女中)劉天祥、邱靜如(台南二中)張靖宜

(後甲國中)李奕瑩(建興國中)、李建宗(北門高工)林旻志(歸仁國中)

高雄市:廖惠儀(大仁國中)歐士福(前金國中)林義強(高雄女中)

屏東縣:陳冠良(枋寮高中)楊瓊茹(屏東高中)黃俊才(中正國中)

澎湖縣:何嘉祥 林玉芬(馬公高中)

金門:楊玉星(金城中學)張復凱(金門高中) 馬祖:王連發(馬祖高中)

附註:本通訊長期徵求各位老師的教學心得。懇請各位老師惠賜高見!

參考文獻

相關文件

。當時人們發現的引擎在啟動後,機器會去尋找適合

當然, 我們也可以說, 若將圓的半徑趨於無限 大, 則後面的新命題 (定理) 就是前面定理的 特例。. 下面我們再舉一個例子

筆者於碩一時旁聽數學史與數學社會史的課程,老師和學長們會在課堂上分享西方

[r]

其中,毛爾在每一項目下都提供了簡要的介紹與推薦) ,他對各種異文化也保持著濃厚 的興趣。十幾年前,在遠流出版公司的慷慨贊助下,國內科學哲學與科學史學者創辦了 一份英文期刊 Philosophy and

[r]

本節會以香港與廣州兩地不同的乘客出行為例,進一步說明模態選擇之間的 競爭情況。香港和廣州作為珠江三角洲中最重要的兩大城市(圖 1)

[r]