高中數學的反省與回顧
單維彰 2011 年 10 月 29 日
本文所指的是(台灣的)高中數學課程內容。作者自民國 92 年起,接觸九年一貫和 高級中學的數學課程綱要制訂、課程設計、教材審查及編寫、教師研習、考題評析及 審定等服務性及政策性研究工作,累積了一些認識及意見。這些意見應該足夠寫一本 專書,但目前先舉出適合「文化脈絡」通識課程的幾項。
正整數 vs 實數
上帝創造正整數,其他數是人的發明。
(西方數學家的一般信念)
或許是因為正整數來自於人類語言,而語言的來源已不可考,就說是上帝創造的吧。
正整數的加、減(大數減小數)、乘、除(商和餘)、加減互逆、乘除互逆、除法原理,
以及結合律、交換律、(乘法對加法的)分配律,都直接對應於語言,只是將日常語 言改成「正規」術語而已。正整數的計算規律都有具體的意義。
人按照「正整數」的形象創造了實數,直覺地讓實數「繼承」了正整數的運算性 質(「物件導向程式設計」則繼承了這個概念)。但是,無理數的乘法交換律其實「沒 有道理」;例如 2 3 3 2其實並不能對應正整數的乘法經驗。人們自古直覺地 操作它,並用來推論 2 直到十九世紀中葉,才有人 (Weierstrass)「發現」
這個邏輯漏洞,幸好可以補上。
3 6
。
人創造正整數以外的數「種」,用來滿足解決更抽象之問題的需要。負數將數的 觀念「向量化」:所謂負數就是(在一條直線上)方向相反的正數,例如我們稱 3 和3 互為相反數。而所謂「負負得正」不過就是兩次向後轉回到原來的方向。人們在不明 的意識中,直覺地將直線上的點視為向量化的數;這個極具抽象意義的「數線」在文 明中緩慢而無痛地成形。但是平面和空間中的點之向量化,則是分別在十九世紀的前 半與後半,才被急速地催生。
希臘人並無負數觀念。有人以為希臘人不知無理數,其實不然;畢達哥拉斯的時 代或許不知道無理數,但是歐幾里得的時代是知道的。希臘人沒有測量和誤差的觀 念,他們認為正數就是一條線段長,它是「實際的」存在。伽利略時代的西歐才由測 量的觀念重新認識實數,而正整數以外的實數變成了「觀念的」存在而非「實際的」
存在。正整數的 2 和實數的 2 都寫成 2,但是實數的 2 其實是 2.0000…的意思。試想,
給定一個單位長,剪一條長度是 2 的繩子,與剪一條長度是 2的繩子,兩者同樣困 難(實際上都不可能)。在數線上的 2 是實數的 2;數線上除了 0 和 1 以外的點,都是 觀念上的存在而非實際上的存在。
因為正整數的本質是離散的(其實「離散」被定義成與正整數的子集合可一一對 應者),並不應該用數線當作模型。正整數模型應該是一列同型的物件,例如
或者
離散的數並無誤差:整數的計算絕無誤差(將絕對值很大的整數改成概數時產生 的誤差,並非整數計算造成的)。而測量意義之下的實數就一定有誤差。高中數學僅 有一個課題是離散的(所涉的計算均為全數),就是排列組合;在高中數學的任何其 他課題中,均應瞭解所討論的「數」皆為實數:必有誤差(除了 0 和 1 以外)而且僅 止於觀念性的存在。高中數學所須的正整數知識已經夠用:質因數分解和除法原理,
可以不必再深入討論正整數的數學性質(那些是〈數論〉課題)。但是,高中數學所 涵蓋的正整數的應用,卻在課程設計上還有很大的改善空間。
排列組合
『數學系都在學什麼啊?』
『大概就是學「屬屬看」吧。』
(偷聽到兩名中學生的對話)
還有什麼問題,比「數ㄕㄨˇ數ㄕㄨˇ看」更適合數學的「本意」呢?數學提供許多
「不必一個一個點就能算出總數」的快速數ㄕㄨˇ法。這個技術從小二就開始了。例 如『小朋友排成三列,每列有六人,請問一共有幾位小朋友?』。沒錯,乘法就是一 個快速數法,而這一個例題就是「乘法原理」的最初原型。
乘法本是觀念,可以用來幫助思考與理解,並以符號的形式來簡化溝通的過程,
但是它本身並不能用來簡化或加速計算。必須經過計算工具(例如 calculator 或 computer)的協助,或者查表,才能簡化或加速計算;這才能使得一個觀念或符號變 成實用的工具。同樣的情況發生在許多其他地方,例如次方 7 、對數 lo 、正弦
、反正切 ,全都是幫助思考及簡化記錄的觀念,一定要靠輔助工具或查 表,才變成實用的工具。可見,九九乘法表和指對數表、三角函數表,在意義上全部 都是一樣的;只是因為九九乘法表很小,又經常須要使用,所以值得人人背誦。太大 的表格當然不能背誦,但是根據經驗,記得其中一小部份經常是值得的;例如很多人 能背誦 lo , , (的概數),還能背誦 1—20 的平方數以及 1—12 的立方數。
2 g 3
sin 72 arctan 4
log 3 log g 2 7
小學五年級也許會遇上另一個應用乘法原理的思考方法,例如『姊姊有四件洋 裝,三雙涼鞋,請問她有幾種洋裝和涼鞋的搭配穿著方式?』。這也是一種快速的數 法。這一系列非常實用的數學主題,可惜就此斷裂,直到高中二年級下學期(99 學年 以前)忽爾乍現,好像 Cheshire cat 那樣閃一下便又消失了。而且,高中生學到這裡
時,通常忘了整個脈絡,而教師也忙於拋出一個接著一個的題型,學生猶如看魔術表 演似的,只見撲克牌、玫瑰花、白鴿從老師的手裡飛散出來,但是仍然難以掌握此一 主題的思考方法;甚為可惜。
排列組合的思考方法大可以從(九年一貫)的統計課程中分出一些時間,將此方 法循序漸進地組成一系列的課程,從小學二年級貫穿到高中數學。而思考的方法,不 外乎在數學模型上分辨屬「乘法」或「加法」(併聯或串聯?或還是且?),獨立還是 相依(次方或者階乘),次序要緊還是不要緊(排列或者組合)。而排列組合一如數學 的其他主題,應該由數學模型入手,再擴及幾種標準形式的應用;而不是如現在大多 數的教材,總是由題型入手。以下舉一組例子,這組例子應該位在高中數學排列組合 主題之最高點。
n m 5的正整數解有幾組?
分 5 顆糖給兩人,每人都有
從蔬菜和肉品共挑 5 份,每種都要有
n m 5的非負整數解有幾組?
分 5 顆糖給兩人,有人可全拿
從蔬菜和肉品共挑 5 份,可全挑一種
n m 5的非負整數解有幾組?
分至多 5 顆糖給兩人,有人可全拿
從蔬菜和肉品至多可挑 5 份,可全挑一種 多項式
多項式是擴充了實數的一種數學研究對象
(于靖教授)
多項式之於其他函數,就像有限小數之於實數 當 n 是正整數,an、an1、…、a1、a0為實數而且 an 0,則
0 1 1
1x ... a x a
a x
an n n n
稱為 x 的 n 次多項式。其中的 x 既不是未知數也不是變數,它就是一個「可以像實數 一樣運算的符號」,稱為「元」。令 P 是一個多項式,P0是多項式等式 (polynomial equation),我國傳統稱之為方程式,此時的「元」具備了未知數的意義。而 f x( ) 或P 者令 y 依照 P 之規則隨 x 改變,使得 y 成了多項式函數 (polynomial function),此P 時的「元」具備了變數的意義。
零固然是一個多項式,但是它的次數卻不是零。這並不是一個重要的性質,只是 為了避開語言上的尷尬而已。因為零次多項式,依定義為 ,其中 為實數且
,所以零次多項式必為非零的實數。
0
a x0 a0
0 0
a
多項式不應與方程式、函數混為一談,應認清它本身是一種數學物件,從國中起 學習了多項式的加、減、乘、除。多項式的除法就像正整數的除法,根本上只有「除
法原理」一件事而已。若 m, n, q, r 是正整數或 0(但 n 不得為 0),則 m n 等價於 q r mqnr (其中0 r n)
就是正整數的除法原理,它有具體的意義。若 P, N, Q, R 是多項式,其中 N 不得為 0,
則
PN 等價於 Q R PQNR (其中 R 是 0 或者比 N 低次的多項式)
就是多項式的除法原理。而因式與餘式定理,都是當N (x a) 為一次式的特例。而 當 ,多項式的除法有一特殊算法,稱為「綜合除法」。同樣的課題在西方稱 為 Horner’s Algorithm;直接了當地說它是多項式求值的「演算法」(計算 的快速 算法),以免學生誤以為那是另一種除法。Horner’s Algorithm 就像輾轉相除法一樣,
是高中數學的演算法典範:它們是「快速」算法,而且可以寫成正規的演算法形式。
( N x a )
1)
( ) P a
雖然多項式包含了實數,多項式本身的運算性質卻像正整數,而不像實數:多項 式的乘法沒有反元素,x 的「倒數」1/x 不再是多項式,就好像 2 的倒數 1/2 不再是整 數。多項式像正整數一樣有因式分解,所以也有公因式、公倍式、最高公因式、最低 公倍式,乃至於輾轉相除法之觀念與算法,但是唯有當規定一次以上因式的首項係數 必為 1 的條件下,才有唯一的分解。例如4x2 4 4(x1)(x
2) (4 4)( 1) x x x
,若不做以上限制則
有無窮多種分解,如 等等。而「代數基本定理」
其實就是說:實係數多項式的「質因式」必為一次式或二次式。但是,高中數學並不 真正須要代數基本定理,不講也罷。代數基本定理是高中數學裡唯一不能在學生已經 具備的認知程度上解釋或啟發的定理,究其根本原因,乃是此定理並非「多項式」也 非「代數」的性質,它其實是「複數」的性質。
4x2 4 (2x2)(2
然而,就「準備大學課程」的目的而言,理工性向的學生,或有學習代數基本定 理的理由:為〈線性代數〉做準備。入門的線性代數課程,總會包含一個定理:任一 n 階方陣必有 n 個複數的特徵值。這個定理是代數基本定理的直接應用,而一般的線 性代數課本並不會證明此定理。一般人固然並不須要知道代數基本定理的證明,也能 理解而接受它的陳述;反正這個定理也不是一個「建構性」定理,它不能用來求得多 項式的所有虛根,所以只要理解它的陳述即可。絕大多數的理工科學生,在大學裡不 會再有機會在一門正規的複變函數論課程中習得代數基本定理的證明。對於部分動機 較強且數學領悟力強的學生,高中課程的複數平面(複數的極式、棣美弗公式)教材 中,的確可以引導學生認識代數基本定理的證明。而此證明,可能也是高中課程中,
最深入認識「數學分析」之思考方法的一個課題了。
多項式與正整數的結構相似性,被用來當作抽象代數之 ring 或 integral domain 的 具體範例,也是十九世紀時發展抽象代數學的動機之一,在數學內部有重要的意義。
但是,此意義僅有數學專業(以及極少數的工程專業)的重要性,實在不宜放在高中 數學裡。但是,多項式也是另一種抽象數學的具體範例,這種數學就與大多數科學、
工程和管理領域的學生有關了,那就是〈線性代數〉。
線性代數原本只是觀念,一如指數、對數和三角。上半個世紀電子計算機的發展,
使得線性代數變成實用的工具,並迅速地蔓延到非常多的領域,使得它變成(目前)
僅次於微積分的重要共同數學學科;有些意見主張線性代數的重要性,在 21 世紀將
會逐漸超越微積分。
從平面向量和空間向量,我們之知道向量僅有加減、係數積、內積和外積四種運 算。外積僅限於空間向量(它有特殊的物理意義),不具有一般性。內積不是向量空 間內計算,因為內積之後不再是向量。從這裡獲得抽象化的向量空間觀念:
有一些彼此僅能像正整數一樣做加減的東西,稱為「向量」
另有一個像實數的集合,稱為「純量」
向量和純量可以做「係數積」
滿足以上觀念的集合和算法,就組成了一個抽象的「向量空間」。平面向量和空間向 量都是具體的例子,而多項式是一個最初步的抽象範例。試想,多項式可以像正整數 一樣做加減,多項式乘以實數就是係數積,所以多項式就是某種向量空間(又稱為線 性空間)。
高中數學在多項式的「代數性質」上著力太多,對大部分學生將來的學習沒有幫 助。高中數學卻在多項式的「向量性質」上著墨太少,使得大部分學生缺乏銜接大學
〈線性代數〉的預備知識。舉例來說,(應用的)線性代數無法以下幾個主題:
1. 給定基底,向量空間內的每個元素都可以寫成基底的線性組合;它們的係數就可 以寫成「向量」形式。
例如令 是次數不超過 3 的多項式向量空間,3 v1 , x3 v2 x2, v3 , x
4 1
v 是一組基底,那麼Px33x2 ,因為x 1 3 P v1 3v2 所以 Pv1 v4 在此基底之下寫成 (行) 向量 [1, 3, 1, 1] T。
2. 任何線性映射都可以寫成矩陣形式。例如微分是線性的,令D: 3 3是 上3 的微分,則在上述基底之下,D 可以用以下矩陣表達:
[ ]D v ,注意[ ]D 的第 j 行就是v 0 0 0 0
3 0 0 0 0 2 0 0 0 0 1 0
Dv 的結果 j
使得 P 2 1
0 0 0 0 3 0 0 0 0 2 0 0 0 1
1 0 3 3 0 1 6 0 1 1
3x 6x
。
3. 變換基底使得同一個元素的坐標係數改變了。例如w1 (x1)(x2)(x , 3)
2 ( 1)( 2 3
w x x , ) w , x 1 w4 也是1 的一組基底,連續應用綜合除法就能3 算出新基底的線性組合:
1( 1) (1
Pq x P
2 3( 3)
q q x q 合併起來就是
2
2(3) 1 (x
)(x 2x1)(x , 1) ( 2)
1 2( 2) 1(2) (
q q x q x x 2) ( 1) , 3) 3
,
3( 3)( 2)( 1) 2(3)( 2)( 1) 1(2)( 1) (1) Pq x x x q x x q x P 1w13w21w32w4,
因此,在 w 基底之下,P 的坐標係數改成 [1,3, 1, 2] T。
從 v 基底換成 w 基底的映射Tvw也是線性的,所以可以寫成矩陣。因為
1 ( 3)( 2)( 1)
w v
T w x x x x3 6x2 11x6 v1 6v211v3 6v4
2 ( 2)( 1)
w v
T w x x 3 2
,
x2 x
v2 3v32v4,
3 1
w v
T w x ,v3 v4 1 ,
可見[Tvw] [ Twv]1
1 0 0 0 1 1 0 0 0 6 1 0 0 6 1 0 0 11 3 1 0 7 3 1 0 6 2 1 1 1 1 1 1
坐標係數是
1 0 0 0 1 1 6 1 0 0 3 3 7 3 1 0 1 1 1 1 1 1 1 2
4 w v
T w v4
。我們不妨驗算TvwP的
。
變換基底也使得同一個線性映射的矩陣表達改變了。但是,
同基底之下的表達矩陣皆相似!從基底變換可以導出相似矩陣的定義
陣之間有些「不變量」,研究這些不變量就進入了線性代數的純數學範疇:例如 行列式是不變的,特徵值是不變的,Jordan 分解式是不變的。
找到在計算上「最適當」的一個,就成為應用數學的最重要課題之一。
數〉的課程大綱,雖然我的步驟做得很快
、2、3 點看得出來,高中數學的行列式主題,
性代數〉做更有效的銜接。
但是數學的函數何其多,僅研究多項式會不會太狹隘了?那就考慮這個問題 其多,只計算有限小數會不會太狹隘了?例如
4. 同一個線性映射在不
,
在所有相似矩陣中,
, 述 1
實 何
而相似矩
但是從上
〈線
: 以上四點幾乎就是基礎〈線性代
的確可以為大學基礎課程之一的
數 2, log 3 , sin 23
不是不願意,
以及工程數學或類似課程的
「泰勒級數」
都是實數 是
不可行
,但 而是實際上的
「微分方 我們實際上用到它們的小數點下無窮多位嗎?當然沒有
。同理,在學過了微積分的
程級數解」之後,就會明白,何其多的函數,例如
。
x , logx , sin x,實際應用的時 卻用多項式來計算 候都改用多項式來「逼近」它們。我們用數學函數來思考、推論,
它們的概數。
數學函數作為模型
函數的教學目標,是讓學生具備「函數感」
(陳宜良教授)
高中數學的函數教學有時過於含糊,例如線性規劃課題中的「目標函數」究竟是哪一 種函數,一般教材並不交代;有時候又過於強調其計算觀:凡是有一套算法(公式),
,就叫函數了。所以,無論 sin 還是 log,即使還沒有討論
、圖形特徵,就直接稱它們函數了。在計算機程式語言之領域中,的
比較令人氣餒的是,過於強調抽象定義的函數教學。那種將函數視為兩個集合(定 義域與對應域)之間的一組特殊對應關係
雖然精鍊而美麗,卻不適合高中數學。
對於絕大多數將來在科學(自然與社會)、工程、管理領域的工作者來說,數學 函數作為一種工具,主要的用途是設計成描述兩量變化關係的「模型」。所謂模型的 字面意義就是具備某些「重要特徵」的假東西。大家都很熟悉火車 飛機、跑車或大 型搬運機的模型,那些是實體模型。大家也都熟悉捷運 車、 ,這些 是抽象模型。以路線圖為例,抽象模型表現的「重要特徵」是一站與另一站的相連性
;它們之間的(時間與空間)距離並非最重要的,可有可無;它們之間的
當一個量隨著另一個量改變的時候,所謂的數學模型的就是以一個函數來描述那 且僅保留「重要特徵」,其計算與推論的結果,撇開誤
,當然也僅能提供參考。但是,僅僅是參考,就已經在實用上具備高度的價值;
這是數學作為工具時的主要樣貌。
最初等的一種變化關係,就是時間與位置的關係:位置隨時間改變,也就是通稱 的「運動」。小學五年級用等速運動的時間—位移表格,首次引入函數觀念。國中二 年級以線型函數再闡述一次,國中三年級則初步介紹二次多項式函數。可惜這一個學 習的脈絡,在高中數學課程中不一定銜接得很好。
就運動模型而言,如果橫軸 x 代表時間,縱軸 y 代表位置,因為運動過程中的每
(不能消失),且僅有一個位置(不能分身),函數的兩個「抽 象定義」就顯得再具體不過了。而在此意義下檢視函數圖形,應該將靜態的圖形看成 動態的變化過程。如此,微積分所學的斜率 vs 速度、曲率 vs 加速度才有意義。
我可以展示一個 Java 小工具,讓人任意拖曳控制點製造一個(不超過三次)的
,然後觀察函數圖形所對應的運動意義。這個工具的特色之一,是由 圖決定多項式的係數,而不是由多項式的係數決定圖。如此設計的理由,是科學家和 工程師從研究對象取得的數據,自然以(描點或散佈)圖形呈現,而不會自動地寫出
。數學課程過份鎖定單一方向的思考模式:給定多項式繪其圖形,而不是
利用這個 Java 小工具,教師很容易透過展示,讓學生認識到函數圖形的性質與 代入一個數能夠算出一個數
它們的變化關係
確持函數的計算觀點,這樣的教法也算合理。
的函數定義,是純數學(集合論)的觀點,
、
、火 客運的路線圖
與前後關係
方位關係更不重要,可能無法辨識。
變化關係。模型都是假的,而 差不說
一剎那都必有對應的位置
多項式函數圖形
多項式係數
從圖形決定多項式,實有昧於現實且阻礙發展數學觀念之虞。
(一維)運動的關係,諸如以下所列。
(1) 線型函數就是等速運動。
(2) 遞增的函數表示向「前」的運動;遞減的函數表示向「後」的運動。
(3) 線型函數的斜率之正負號表示運動的方向(正、負是一維的向量),其絕對值表示 運動的速率;簡言之,線型函數的斜率表示運動的速度。
(4) 開口向下的二次函數表示一個垂直上拋之後又落下的運動;運動的速度遞減,停 頓一瞬之後往下落,而下降的速度遞增(速度是負數且絕對值越來越大)。
(6) 三次函數的凹凸性推廣了二次函數的表現。一般而言,「像」一個開口向下之二次
,表示加速度為負。
快(加速
我相信,上述的函數圖形與運動之直覺連結,比高中數學課程裡大部分關於函數 的課題都簡單,學生很容易理解(尤其是使用了適當的教具之後)並產生鮮明的
。透過此印象鮮明的連結,函數的學習,不論是將來用它來設計數學模型,或者 理解微積分相關之思考方法,都會有更實 效果。
要與時俱進;想像中,諸如
〈生活科技〉這類的課程,內容較容易更新;而諸如〈數學〉這類的課程,內容較為 穩定。或許在知識內容上果真如此,但是,在教學方法、重點取捨、輔助工具上,還 是有許多與時俱進的可能性。在過去的半個世紀,我國的課程綱要以大約十年一修的 原則維持著與時俱進的步調。對照於科技工具所帶領的社會需求及行為模式改變,這 樣的步調應該是不令人感到放心的。計算機硬體、軟體及網路所帶來的全面性的改 72 年版的高中數學課程 揭開了「重視離散數學」的序幕,民國 84 年起宣稱重視運用科技工具的能力,民國 (5) 開口向下的二次函數圖形稱為凹向下,表示運動的速度遞減,又說加速度為負;
開口向上的二次函數圖形稱為凹向上,表示運動的速度遞增,又說加速度為正。
函數的部分,也稱為凹向下
(7) 由三次多項式函數的觀察,察覺遞增且凹向上的函數,表示速度越來越
度為正)的向前運動,遞增且凹向下的函數,表示速度越來越慢(加速度為負)
的向前運動。
(8) 三次(或更高次)多項式函數的「反曲點」,就是運動從越來越快轉變成越來越慢
(或反之)的那個時間點;在那一瞬,加速度為 0。
圖形 印象
用的 用來
結語
數學課程設計所面臨的問題,不是數學命題,而是社會議題。命題有客觀的正確性,
而議題包括了客觀的利害與主觀的得失。任何課程難免須
變,還沒有真正在數學教育的內涵中做出反應。雖然,民國
95 年版的綱要加入了推論統計,但是落實在教師在職成長以及學生學習成效上的表 現,都還是嚴重落後的。