什麼是負正則連分數 ?
一一 漫談 Reg 與 Neg
張家麟 · 鄭曉暉
摘要: 本文將從如何構作實數的正則連分數 (Reg) 表示式出發, 告訴讀者什麼是 「負 正則連分數」(Neg)。 我們將討論負正則連分數的構作, 其表達式的性質, 以及 Reg 與 Neg 表示式之間的關係。 最後, 我們討論有理數及無理數的 Neg 表示, 它與 Reg 表示類似, 有著相同的特性。
1. 從構作正則連分數談起
1.1. 正則連分數
本文是一個數學學與教的經歷1, 我們先由正則連分數談起 . . .
連分數是數論的一個重要分支, 幾乎所有入門的數論書籍都會介紹連分數的理論 (可參閱:
[10], [3], [6] 及 [9])。 連分數是指形如:
a0+ b1
a1+ b2 a2+ b3
a3+ . ..
+ bℓ
aℓ+ . ..
(∗)
1註: 作者們感謝蕭文強及黃毅英兩位教授的鼓勵及寶貴意見!
50
的“繁分數” 表達式2, 其中 ai 及 bi 可為有理數, 實數或複數。
定義1. 在連分數表達式 (∗) 中, 若 (a) 對所有的i, 有ai ∈ Z, 且 bi = 1 及 (b) ai > 0 對 i ≥ 1 成立時,
則稱此連分數為正則連分數(regular continued fraction) 或簡單連分數 (simple continued fraction)。 若表達式只有有限項, 則稱此連分數為有限連分數, 否則, 為無限連分數。 數論學者 會用英語簡稱 Reg 來表示正則連分數。
記號1. Reg 除了上述的記號外, 還可以 [a0, a1, a2, a3, · · · , aℓ, · · · ] 表示3。 例子1.
105
38 = 2 +29
38= 2 + 1 1 + 9
29
= 2 + 1 1 + 1
3 + 2 9
= 2 + 1 1 + 1
3 + 1 4 + 1
2 .
或
105
38 = [2, 1, 3, 4, 2]。
此處, 我們可觀察到, 求有理數的 Reg 表示4與歐幾里得算法 (Euclidean Algorithm) 有著不可分的關係, 即在輾轉相除的過程中, 求得的商就順次對應著在正則連分數表示中的ai:
2 105 38 1 76 29 3 29 9 4
27 8 2 2 1
2 0
105 = 38 · 2 + 29;
38 = 29 · 1 + 9;
29 = 9 · 3 + 2;
9 = 2 · 4 + 1;
2 = 1 · 2 + 0.
2註: 還可寫成 a0+ b1
a1++ b2
a2++ · · · + bℓ
aℓ++ · · · 的形式。
3註: 還可用[a0; a1, a2, a3, · · · , aℓ, · · · ] 來表示 Reg, 以突顯整數部分。
4註: 一般而言, 表示並不唯一: 例如[2, 1, 3, 4, 2] = [2, 1, 3, 4, 1, 1]
這容易教人聯想到連分數的概念可能早在公元前 300 年, 古希臘人發展歐幾里得算法時, 便已出現, 可是, 至今人們卻仍沒有找到有力的證據去支持這個想法。 事實上, 我們知道有關最 早的連分數文獻, 是出現在印度數學家阿利亞伯哈塔 (Aryabhate) 的著作中, 他大約死於公元 550 年 (參閱 [4], pp187-188.)。 連分數的一些概念還散見於往後的阿拉伯和希臘的著作中。 大 多數權威認為連分數的近代理論開始於意大利人R. 蓬貝利 (Rafael Bombelli)(1526-1537), 他在他的代數著作 (1572) 中, 曾利用連分數作為根式 √
2 的近似值(參閱 [4], pp.254-256.)。
其後英國數學家 J. 瓦里斯(John Waillis) 在 1655 年發表的無窮小算術 (Arithmetica Infinitorum) 一書中敘述了一般連分數的漸近分數的許多初等性質, 其中包括它們的構成法則。
他在書中第一次使用了“連分數”這一術語。 荷蘭數學家、 科學家 C. 惠更斯 (Christian Huy- gens) (1629-1695) 也曾利用連分數為天文館的齒輪設計, 給出一個好的近似, 有關的論文是在 他去世後於 1698 年發表的。 此後, 像歐拉 (L. Euler)(1707-1783), 蘭伯特 (J.H.Lambert)(1728- 1777), 拉格朗日 (Lagrange)(1736-1813) 等大數學家, 以及其他許多數學家發展了連分數的 理論。 歐拉的重要論文連分數 (De Fractionibus Conitinius)(1737) 為連分數的現代理論奠 下了基礎。 今天, 連分數的理論在很多科學領域中起著重要的作用 (參閱 [9], [8]), 有興趣連分 數歷史發展研究的讀者, 還可參閱 Knorr 及 Fowler 的著作([5], [2])。
1.2. Reg 的構作
一般而言, 要得出任一實數 ϑ 的 Reg 表示式, 可通過以下所提供的方法進行構作。 對任 可實數 ϑ, 遞歸地構作序列 a0, a1, a2, · · · 如下:
1. 當 i = 0, 取 ϑ0 = ϑ;
2. 取 ai = ⌊ϑi⌋;
3. 若 ϑi ∈ Z, 則構作終止, 令 ai = ϑi; 4. 若 ϑi ∈ Z, 則構作/
ϑi+1 = 1 ϑi− ai; 5. 重覆 2-4 的構作。
在上述定理中, 記號 ⌊x⌋ 表示 x 的最大整數部份, 即 ⌊x⌋ ∈ Z 且有 ⌊x⌋ ≤ x < ⌊x⌋ + 1。
備註 1. 注意, 這樣構作的 Reg 表示是唯一的。 同時, 在 Reg 的構作中, 當 ϑi ∈ Z 時,/ 0 < ϑi− ⌊ϑi⌋ < 1 保證了 y = 1
ϑi− ai > 1, 從而有 ai+1 =
1 ϑi − ai
≥ 1, i ≥ 0。
容易看出, 應用歐幾里得算法求有理數的 Reg 表示式時, 輾轉相除過程中所得的商, 就是 取 ⌊x⌋, 其中 x 為每次對應的分數(= 被除數/除數)。
對無理數而言, 上述構作所得的序列將是一無窮序列, 下列定理保證了對應的 Reg 表示 式的收斂性。
定理1. 若 ϑ 為無理數, 則上述方法構作出的序列是無窮序列 a0, a1, a2, . . . 且有 ϑ = [a0, a1, a2, a3, · · · , ak, · · · ]
且表示式是唯一的。
(證明: 參閱[6], Chapter 12。) 熟知的無理數的 Reg 表示5例子有:
√2 = [1, 2, 2, 2, 2, 2, 2, . . .] = [ 1, 2 ];
黃金比: 1 +√ 5
2 = [1, 1, 1, 1, 1, 1, 1, . . .] = [ 1 ];
π = [3, 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, . . .];
e = [2, 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10, . . .]。
事實上, 更可進一步證明:
定理2. 一實數為
1. 有理數當且僅當它的 Reg 表示是有限的;
2. 無理數當且僅當它的 Reg 表示是無限的。
(證明: 參閱[6], Chapter 12。)
1.3. 有趣的提問
去年, 當在數論課堂上講授這 Reg 的構作時, 有趣的問題來了, 學生在堂上忽發一問。
提問: 不用 ⌊x⌋ , 改用⌈x⌉ 會有什麼後果?
這裡, 記號 ⌈x⌉ 表示大於或等於 x 最小整數, 即 ⌈x⌉ ∈ Z 且有 ⌈x⌉ − 1 < x ≤ ⌈x⌉。 學生的 問題十分有意義, 我們注意到 與
x = ⌊x⌋ + (x − ⌊x⌋)
5註: 我們沿用表示循環數串的記號。
相類似, 有
x = ⌈x⌉ − (⌈x⌉ − x), 我們可應用這關係式來構作一種 「另類」 連分數!
例子2. 應用 ⌊x⌋, 有
22
7 = 3 + 1
7 = [3, 7]。
但在改用⌈x⌉後, 則有 22
7 = 4 − 6
7 = 4 − 1 7 6
= 4 − 1 2 − 5
6
= 4 − 1 2 − 1
6 5
= 4 − 1 2 − 1
2 −45
= · · ·
= 4 − 1
2 − 1
2 − 1
2 − 1 2 − 1
2 − 1 2
注意這 「另類」 連分數的繁分數表示式中, bi = −1, ∀i, 這使得原來在正則連分數表示式 中的 + 變作 −, 新的 ai ∈ Z, ∀i, 故此, 我們嘗試引入記號:
記號2.
(a0, a1, a3, · · · aℓ, · · · ) = a0− 1 a1− 1
a2− 1 a3−
. ..
− 1 aℓ−
. ..
(∗∗)
應用記號 (∗∗), 上方的結果可表示為 22
7 = (4, 2, 2, 2, 2, 2, 2)。
例子3.
√2 = [1, 2, 2, 2, 2, 2, 2, . . .] = [1, 2]
改用⌈x⌉後, 有
√2 = (2, 2, 4, 2, 4, 2, 4, . . .) = (2, 2, 4)。
同理
1 +√ 5
2 = (2, 3, 3, 3, 3, 3, 3, . . .) = (2, 3);
π = (4, 2, 2, 2, 2, 2, 2, 17, 294, 3, 4, 5, . . .);
e = (3, 4, 3, 2, 2, 2, 2, 2, 3, 8, 3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 12, . . .)。
嘗試了上面的例子, 我們還可看到 ai ≥ 2, i ≥ 1, 更重要的一點是教師與學生在討論中, 學生有以下進一步的提問。
• 提問一
「另類」 連分數的繁分數表示式與正則連分數的表達式有何關係?
• 提問二
從上面的例子來看, 「另類」 連分數的繁分數表示式中有很多連續出現的2, 它們的出現是 偶然的嗎?
學生有意義的提問, 引發教師及同學進一步的探究, 以下是我們的探究結果!
2. Reg 與 N eg
翻查連分數的文獻, 對上方 「另類」 連分數的表達式均未見提及。 幸得第二作者的博士論 文導師, 著名數學家 Richard K. Guy 教授6的指點, 才知道這 「另類」 連分數稱為 「負正則連 分數」(negative regular continued fraction)。 與 Reg 一樣, 連分數的行內人一般簡稱負正 則連分數為 Neg。
2.1. 負正則連分數的定義及其構作
定義2. 在連分數表達式 (∗) 中, 若 1. bi = −1, i ≥ 0;
2. ai ∈ Z, i ≥ 0;
6註: 數論名著: Unsolved Problems in Number Theory 的作者。
3. ai ≥ 2, i ≥ 1,
則稱這連分數為負正則連分數(Neg)。 我們將繼續應用(∗∗)的記號來表示 Neg:
(a0, a1, a2, · · · , aℓ, · · · )。
2.2. N eg 的構作
對任可實數 θ, 遞歸地構作序列 a0, a1, a2, · · · 如下:
1. 當 i = 0, 取 θ0 = θ;
2. 取 ai = ⌈θi⌉;
3. 若 θi ∈ Z, 則構作終止, 令 ai = θi; 4. 若 θi ∈ Z, 則構作/
θi+1 = 1 ai− θi; 5. 重覆 2-4 的構作。
備註 2. 注意, 與 Reg 的構作類似, 這樣構作的 Neg 表示是唯一的7。 同時, 在 Neg 的構作 中, 當 θi ∈ Z 時, 0 < ⌈θ/ i⌉ − θi < 1 保證了 y = 1
ai− θi > 1, 從而有 ai+1 =
1 ai− θi
≥ 2, i ≥ 0。
細心的讀者自然會問, 若上述構作所得的序列是一無窮序列, 它對應的 Neg 表示式會否 收斂? 對此, 下列的定理保證了它的收斂性:
定理 3. (´Sleszy´nski-Pringsheim 定理) 在一般無窮的連分數 (∗) 表示式中, 若對於所有的 i ≥ 1,
|ai| ≥ |bi| + 1 成立, 則連分數表示式收斂。
(證明: 參閱[7], pp.30-32。)
在 無窮 Neg 中, |bi| + 1 = | − 1| + 1 = 2 ≤ |ai| 對所有 i ≥ 1 成立, 故無窮 Neg 表 示式收斂。
要為提問一及二尋求解答, 我們需要引進以下記號。
記號3. 為方便起見
7註: 一般而言, 表示並不唯一: 例如 (4, 2, 2, 2, 2, 2, 2) = (4, 2, 2, 2, 2, 2, 3, 1), 但後者不會在上述的構作中發生。
• 對於 Reg, 我們會以 [a0, a1, . . . , y] 來表示計算中的表示式, 其中 y ∈ R 及 y ≥ 1;
• 同理, 對於 Neg , 我們會以 (a0, a1, . . . , y) 來表示計算中的表示式, 其中 y ∈ R 及 y ≥ 1;
• 此外, 對 0 ≤ n ∈ Z , y ∈ R 及 y ≥ 1, 我們以 (a0, τn, y) 記 (a0, 2, 2, . . . , 2
| {z }
n
, y)。 當 n = 0 , 我們有 (a0, τ0, y) = (a0, y)。
引理1. ∀n ∈ N, y ≥ 1,
(2, 2, . . . , 2
| {z }
n
) = n + 1 n ; (2, 2, . . . , 2
| {z }
n
, y) =(n + 1)y − n ny − (n − 1)。
證明. 取y = 2, 首部分命題是次部分命題的直接推論。 對次部分命題, 當 n = 1, 有 (2, y) = 2 − 1
y = 2y − 1 y 。 假設命題對 n ∈ N 成立
(2, 2, . . . , 2
| {z }
n
, y) = (n + 1)y − n ny − (n − 1), 則
(2, 2, . . . , 2
| {z }
n+1
, y) = (2, 2, 2, . . . , 2
| {z }
n
, y) = (2,(n + 1)y − n ny − (n − 1)), 即
2 − 1
(n+1)y−n ny−(n−1)
= 2 − ny − (n − 1)
(n + 1)y − n = (n + 2)y − (n + 1) (n + 1)y − n 。
應用數學歸納法原理知原命題成立。
引理2. 對 1 ≤ y ∈ R 及 n ∈ N, 下式成立:
[a0, n, y] = (a0+ 1, τn−1, y + 1)。
證明. 先考慮 n = 1, 即有
(a0+ 1, τ1−1, y + 1) = (a0+ 1, y + 1) = a0+ 1 − 1 y + 1
= a0 + y
y + 1 = a0+ 1 1 + 1
y
= [a0, 1, y]。
這裡, τ0 表示沒有中介的 2。
對 2 ≤ n ∈ N, 有 (a0+ 1, τn−1, y + 1) =
a0+ 1, τn−1− 1 y + 1
=
a0+ 1, n(y + 1) − (n − 1) (n − 1)(y + 1) − (n − 2)
( 由 引理 1)
= a0 + 1 − (n − 1)(y + 1) − (n − 2) n(y + 1) − (n − 1)
= a0 +n(y + 1) − (n − 1) − (n − 1)(y + 1) + (n − 2) n(y + 1) − (n − 1)
= a0 + y
(ny + 1) − (n − 1)
= a0 + 1
n(y + 1) − (n − 1) y
= a0 + 1 ny + 1
y
= a0 + 1 n + 1
y
= [a0, n, y] 。
注意 y ≥ 1 保證了對 n ∈ N, n(y + 1) − (n − 1) 6= 0, 故原命題得證。 下列的兩定理給提問一及二以完滿的答案。
定理4. 設 θ ∈ R\Q, 若 θ = [a0, a1, a2, a3, a4, a5, a6, ...], 則
θ = [a0, a1, a2, a3, a4, a5, a6, ...] = (a0+ 1, τa1−1, a2+ 2, τa3−1, a4+ 2, τa5−1, a6+ 2, . . .) 。
證明. 設
θ = [a0, a1, a2, a3, a4, a5, a6, ...] = [a0, a1, θ2] 。 由引理 2 及記號 3, 得
θ = (a0+ 1, τa1−1, θ2+ 1)。
但
θ2+ 1 = [a2+ 1, a3, θ4], 同理
θ2+ 1 = (a2+ 2, τa3−1, θ4 + 1)。
從而,
θ = (a0 + 1, τa1−1, a2+ 2, τa3−1, θ4 + 1, . . .),
如此繼續下去, 便可推得等式成立。
由定理 4, 我們得到無理數的 Neg 及 Reg 表示關係式。 對於有理數的 Neg 及 Reg 表 示關係式, 則由以下定理給出。
定理5. 設 θ ∈ Q 及 m 為非負整數,
(I) 若 θ = [a0, a1, a2, . . . , a2m] 及 a2m > 1, 則
[a0, a1, a2, . . . , a2m] = (a0+ 1, τa1−1, a2+ 2, . . . , a2m−2+ 2, τa2m−1−1, a2m+ 1) 成立。
(II) 若 θ = [a0, a1, a2, . . . , a2m+1] 及 a2m+1> 1, 則有
[a0, a1, a2, . . . , a2m+1] = (a0+ 1, τa1−1, a2+ 2, . . . , a2m+ 2, τa2m+1−1) 成立。
證明. 先考慮偶數的情況. 利用與定理 4 的證明一般的方法, 我們有
[a0, a1, a2, . . . , a2m] = (a0 + 1, τa1−1, a2 + 2, . . . , θ2m−2+ 1)。
但
θ2m−2+ 1 = [a2m−2+ 1, a2m−1, a2m] = (a2m−2+ 2, τa2m−1−1, a2m+ 1), 故得
[a0, a1, a2, . . . , a2m] = (a0+ 1, τa1−1, a2 + 2, . . . , a2m−2+ 2, τa2m−1−1, a2m+ 1)。
對於奇數的情況, 我們有
[a0, a1, a2, . . . , a2m+1] = [a0, a1, a2, . . . , θ2m−2]。
注意到
θ2m−2= [a2m−2, a2m−1, θ2m] = (a2m−2+ 1, τa2m−1−1, θ2m+ 1)。
故得,
θ2m+ 1 = (a2m+ 1) + 1 a2m+1
= (a2m+ 2) −
1 − 1 a2m+1
= (a2m+ 2) − a2m+1− 1 a2m+1
= (a2m+ 2) − 1
a2m+1
a2m+1−1
!
= (a2m+ 2) − 1
a2m+1
(a2m+1−1)
!
= (a2m+ 2, τa2m+1−1) (由引理1) 。
故原命題得證。
3. 實數的 Reg 表示式
有了實數的 Neg 及 Reg 表示關係式, 我們便可作以下的推斷:
(i) 設 θ 為有理數, 由定理 2 知 θ 的 Reg 表示式為有限, 再利用定理 5 得 θ 的 Neg 表示 式亦為有限;
(ii) 對有限的Neg 表示式, 明顯的, 通過有限步的計算, 表示式將可化為有理數;
(iii) 設 θ 為無理數, 由定理 2 知 θ 的 Reg 表示式為無限, 再利用定理 4 得 θ 的 Neg 表示 式亦為無限。
上述觀察, 令人推想實數的 Neg 的表達式會與 Reg 有相同的性質, 亦即以下定理成立。
定理6. 一實數為
1. 有理數當且僅當它的 Neg 表示是有限的;
2. 無理數當且僅當它的 Neg 表示是無限的。
由上述的推斷, 要證明這定理, 即要證明:
命題1. 對任意的無限 Neg 表示式, 它將收斂於一無理數。
事實上, 更一般的定理成立:
定理7. 對無窮連分數表達式
a0− b1
a1− b2
a2− b3
a3− . ..
− bℓ
aℓ− . ..
若 ∀i, ai 及bi 為正整數, 且對充分大的 i, ai 及bi 滿足 ai ≥ bi+ 1 則無窮連分數表達式收斂且其值為一無理數。
(取 bi = 1 並注意 ai ≥ 2 = b1+ 1 = 2, 即得命題 1。)
要討論上述定理的證明, 將遠遠超出本文的範圍。 有興趣的讀者可參閱 David Angell 的 網上筆記8, 內裏有非常清楚詳盡的證明解說。 值得注意的是 David Angell 所提供的證明方法 是考慮當n → ∞ 時, 無窮連分數表達式的第 n 個漸近分數 (n-th convergent) 的收斂性。 這 種利用無窮連分數表示式去證明實數是否無理數或超越數 (transcendental number) 的方法, 是大數學家 J.H. Lambert 及 L. Euler 所開創並為後來數論工作者所沿用的, 是十分值得學 習的方法。
至此, 我們可以得到蔡聰明教授所提供有關 √
2是無理數的 18 個證明 (參閱 [12]) 以外 的另一個證明: 因為 √
2 有無窮 Neg 表示式
√2 = (2, 2, 4, 2, 4, 2, 4, . . .) = (2, 2, 4),
故 √
2 是無理數!
4. 一點感想
「教學相長」 是每一個教師都能深切體會的話。 學生與教師在教學過程中均會有所得, 而數 學教學過程所引發的解難與探究的活動, 更是學生與教師所不容錯過的。 蕭文強教授曾在 《 「三 心兩意」 的數學教師》(參閱 [11]) 一文中指出數學教師必須培養好奇心, 樂於學習, 慣於反思,
8註: David Angell: Chapter 7 of Lecture Notes for MATH5535 - Irrationality and Transcendence, http://www.maths.unsw.edu.au/∼angell/5535/chapter7.ps
更勉勵數學教師要多從事數學的解難與探究, 並指出數學研究工作者與數學教師對解難與探究 內容和性質的異同:
數學研究工作者 中小學數學教師
問題處於某學術領域的前沿 問題源自教學上的需要
在文獻上通常找不到答案 在文獻上可能找到也可能找不到答案
儘量討論問題的一般表述形式 往往只著意討論問題的特殊情況
儘量尋找一般的解答 有時對尋找具體的解答更感興趣
設法運用任何數學知識和技巧 只能運用某些範圍內的數學知識和技巧
優美的解答是追求的一項準則 優美的解答不一定是追求的準則
筆者作為師訓培育的大專院校數學教師, 角色更為有趣, 在穿梭往來於大學講堂與中小學 課室之間, 在輔導與陪伴著不少的現職與未來數學教師成長之餘, 固然也希望他們可多從事數 學的解難與探究, 但很多時卻會感到, 作為輔導者的自己, 也往往 「 黔驢技窮 」, 未能為他們提 供有趣及值得探究的題材。 想不到由學生的一個簡單的問題, 會引發師生的一連串有趣的解難 與探究。 其間, 學生更告訴筆者 Alex Eustis 在美國加州 Harvey Mudd College 的數學碩士 論文中 [1], 應用了組合數學的密鋪模型去分析 Reg 與 Neg 的關係, 這也是一個非常有趣及 值得探究的方向。 這更令得筆者感受到中小學數學教師的解難與探究很多時會發展為數學研究 工作者的解難與探究, 兩者是密切關聯著的, 這正是 「教學相長」 之謂也!
蕭教授在同一文章中也提到, 早在一個世紀之前, 數學家克萊因 (Felix Klein) 曾說過一 段語重心長的話9 :「 大學新生入學一開始就發現他面對的 『數學 』 問題好像跟中學裏學過的 東西一點也沒有聯繫, 自然他很快便完全忘記了中學裏學過的東西。 畢業後他當上了教師, 突然 發覺自己被要求依循老套的方法講授傳統的初等數學。 由於缺乏別人的指導, 他難以辨明當前 的數學內容和他曾學到的高等數學有什麼聯繫, 於是他很快便接受了這套由來已久的教學方式。
他的大學教育頂多成為一種愉快回憶, 但對他的教學毫無影響。 」
我想, 我的學生, 他們作為未來的數學教師, 在自己的提問引導下, 雖然不一定會在數學上 有什麼新的創造, 但通過 Reg 與 Neg 的探究, 他們對連分數的歷史發展, 會有更深的體會, 對 於未來走數學教師的路, 會更有信心!
9註: 這是 Felix Klein 為名著: Klein, F., (1908, 1909 & 1928), Elementarmathematik vom h¨oeren Standpunkt aus (3 Bande), Leipzig: B. G. Teubner, 1908, 1909, Berlin: Springer 1928 所寫前言中的一段。 引文取自: Felex Klein 著, 舒湘芹, 陳義章、 楊欽樑等譯,(1996),《高觀點下的初等數學》 第一卷, 台北市 : 九章出版社。(它是根據英譯本: Klein, F.
(1908/1939). Elementary Mathematics from an Advanced Standpoint. Part I: Arithmetic, Algebra, Analysis.
Translated by E. R. Hedrick and C. A. Noble. New York: Dover Publications 翻(中) 譯的。)
希望我們這篇小小的文章, 可 「 拋磚引玉 」, 讓數學研究工作者、 數學教師以及學生進行 更多數學的解難與探究!
參考文獻
1. Eustis, Alex,(2006),The Negs and Regs of Continued Fractions, CA: Master Thesis at Harvey Mudd College.
2. Fowler, D. H.,(1999),The Mathematics of Plato’s Academy : A New Reconstruction, 2nd edition, Oxford : Oxford University Press.
3. Khinchin, A. Ya.,(1997), Continued Fractions, Mineola, N.Y. : Dover Publications.
4. Kline, Morris,(1972), Mathematical Thought from Ancient to Modern Times, Oxford : Oxford University Press.
5. Knorr, W. R.,(1975), The Evolution of the Euclidean Elements, Dordrecht and Boston:
D. Reidel.
6. Rosen, Kenneth H., (2005), Elementary Number Theory and its Applications, 5th Edi- tion, Reading, Mass. : Addison-Wesley.
7. Lorentzen, L. and Waadeland, H., (1992),Continued Fractions with Applications, New York : North-Holland.
8. Brezinski, Claude,(1980), History of Continued Fractions and Pade Approximants, New York : Springer-Verlag.
9. Olds, C.D., (1963), Continued Fractions, Random House.
10. 華羅庚, (1957), 《數論導引》, 北京 : 科學出版社。
11. 蕭文強, (2009), 〈「三心兩意」 的數學教師 〉, 《心中有數》, 台北市 : 九章出版社。
12. 蔡聰明, (1999), 〈 √
2 為無理數的證明 〉, 《數學傳播》, 23 卷 1 期, 民 88 年 3 月。
—
本文作者任教香港教育學院數學與資訊科技學系—
國科會科教處數學教育學門 2011 年活動
99年度專題研究計畫成果研討會
會議日期: 2011年12月10日 (星期六) ∼ 2011年12月11日 (星期日) 報 名 : 網路報名
詳細情形請查詢國科會數學教育學門網頁
http://w3.math.sinica.edu.tw/nsc mathedu/