發刊日期 |
2011年9月
|
||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
標題 | 什麼是負正則連分數? ─ 漫談 Reg 與 Neg |
||||||||||||||
作者 | |||||||||||||||
關鍵字 | |||||||||||||||
檔案下載 | |||||||||||||||
全文 |
摘要: 本文將從如何構作實數的正則連分數($Reg$)表示式出發, 告訴讀者什麼是「負正則連分數」($Neg$)。 我們將討論負正則連分數的構作, 其表達式的性質, 以及 $Reg$ 與 $Neg$ 表示式之間的關係。最後, 我們討論有理數及無理數的 $Neg$ 表示, 它與 $Reg$ 表示類似, 有著相同的特性。 1. 從構作正則連分數談起1.1. 正則連分數本文是一個數學學與教的經歷 1 1 註: 作者們感謝蕭文強及黃毅英兩位教授的鼓勵及寶貴意見! , 我們先由正則連分數談起 $\dots$
連分數是數論的一個重要分支, 幾乎所有入門的數論書籍都會介紹連分數的理論(可參閱: 的"繁分數" 表達式 2 2 註:還可寫成 $a_0 + \dfrac{b_1}{a_1 +}+\dfrac{b_2}{a_2 +}+\cdots + \dfrac{b_{\ell}}{a_{\ell}+} +\cdots $ 的形式。 , 其中 $a_i$ 及 $b_i$ 可為有理數, 實數或複數。 定義 1. 在連分數表達式 $(\ast)$ 中, 若
記號 1. $Reg$ 除了上述的記號外, 還可以 $ [a_0, a_1, a_2, a_3, \cdots , a_\ell, \cdots] $ 表示 3 3 註:還可用$[a_0; a_1, a_2, a_3, \cdots , a_\ell, \cdots]$ 來表示 $Reg$, 以突顯整數部分。 。 例子 1. $$ \frac{105}{38} = 2 + \cfrac{29}{38}= 2 + \cfrac{1}{1 + \cfrac{9}{29}} = 2 + \cfrac{1}{1 + \cfrac{1}{3 + \cfrac{2}{9}}}= 2 + \cfrac{1}{1 + \cfrac{1}{3 + \cfrac{1}{4 + \cfrac{1}{2}}}}. $$ 或 $$ \frac{105}{38} =[2,1,3,4,2] \mbox{。} $$ 此處, 我們可觀察到, 求有理數的 $Reg$ 表示 4 4 註: 一般而言, 表示並不唯一: 例如$ [2,1,3,4,2] = [2,1,3,4,1,1]$ 與歐幾里得算法(Euclidean Algorithm)有著不可分的關係, 即在輾轉相除的過程中, 求得的商就順次對應著在正則連分數表示中的$a_i$:
這容易教人聯想到連分數的概念可能早在公元前 300 年, 古希臘人發展歐幾里得算法時, 便已出現, 可是, 至今人們卻仍沒有找到有力的證據去支持這個想法。
事實上, 我們知道有關最早的連分數文獻, 是出現在印度數學家阿利亞伯哈塔(Aryabhate)的著作中, 他大約死於公元 550 年(參閱
其後英國數學家 J.~瓦里斯(John Waillis)在 1655 年發表的無窮小算術(Arithmetica Infinitorum)
一書中敘述了一般連分數的漸近分數的許多初等性質, 其中包括它們的構成法則。他在書中第一次使用了"連分數"這一術語。
荷蘭數學家、科學家 C.~惠更斯 (Christian Huygens) (1629-1695) 也曾利用連分數為天文館
的齒輪設計, 給出一個好的近似, 有關的論文是在他去世後於 1698 年發表的。
此後, 像歐拉(L. Euler)(1707-1783), 蘭伯特(J.H.Lambert)(1728-1777), 拉格朗日(Lagrange)(1736-1813)等大數學家,
以及其他許多數學家發展了連分數的理論。歐拉的重要論文連分數(De Fractionibus Conitinius)(1737)為連分數的現代理論奠下了基礎。
今天, 連分數的理論在很多科學領域中起著重要的作用(參閱 1.2. $Reg$ 的構作一般而言, 要得出任一實數 $\vartheta$ 的 $Reg$ 表示式, 可通過以下所提供的方法進行構作。 對任可實數 $\vartheta$, 遞歸地構作序列 $a_0$, $a_1$, $a_2$, $\cdots$ 如下:
備註 1. 注意, 這樣構作的 $Reg$ 表示是唯一的。同時, 在 $Reg$ 的構作中, 當 $\vartheta_i \notin \Bbb Z$ 時, $0 \lt \vartheta_i - \lfloor \vartheta_i \rfloor \lt 1 $ 保證了 $y = \dfrac{1}{\vartheta_i -a_i} \gt 1$, 從而有 $a_{i+1} = \left\lfloor \dfrac{1}{\vartheta_i -a_i} \right\rfloor \geq 1,\ i \geq 0$。 容易看出, 應用歐幾里得算法求有理數的 $Reg$ 表示式時, 輾轉相除過程中所得的商, 就是取 $\lfloor x \rfloor$, 其中 $x$ 為每次對應的分數(= 被除數/除數)。 對無理數而言, 上述構作所得的序列將是一無窮序列, 下列定理保證了對應的 $Reg$ 表示式的收斂性。 定理 1. 若 $\vartheta$ 為無理數, 則上述方法構作出的序列是無窮序列 $a_0$, $a_1$, $a_2$, $\ldots$ 且有 $$ \vartheta = [a_0, a_1, a_2, a_3, \cdots , a_k, \cdots] $$ 且表示式是唯一的。 熟知的無理數的 $Reg$ 表示 5 5 註: 我們沿用表示循環數串的記號。 例子有: \begin{eqnarray*} \sqrt{2}&=&[1,2,2,2,2,2,2,\ldots]=[\,1,\overline{2}\,];\\ \hbox{黃金比:}{1+\sqrt{5}\over 2}&=&[1,1,1,1,1,1,1,\ldots]=[\,\overline{1}\,];\\ \pi &=& [3,7,15,1,292,1,1,1,2,1,3,\ldots];\\ e &=& [2,1,2,1,1,4,1,1,6,1,1,8,1,1,10,\ldots]\mbox{。} \end{eqnarray*} 事實上, 更可進一步證明: 定理 2. 一實數為
1.3. 有趣的提問去年, 當在數論課堂上講授這 $Reg$ 的構作時, 有趣的問題來了, 學生在堂上忽發一問。 提問:不用 $\lfloor x \rfloor$ , 改用$\left\lceil x \right\rceil$ 會有什麼後果? 這裡, 記號 $\left\lceil x \right\rceil$ 表示大於或等於 $x$ 最小整數, 即 $\left\lceil x \right\rceil \in \Bbb Z$ 且有 $\left\lceil x \right\rceil -1 \lt x \leq \left\lceil x \right\rceil$。 學生的問題十分有意義, 我們注意到 與 $$ x = \lfloor x \rfloor + (x - \lfloor x \rfloor)$$ 相類似, 有 $$x = \left\lceil x \right\rceil - (\left\lceil x \right\rceil - x ),$$ 我們可應用這關係式來構作 一種「另類」連分數! 例子 2. 應用 $\lfloor x \rfloor$, 有 $${22\over 7}=3+{1\over 7}=[3,7]\mbox{。}$$ 但在改用$\left\lceil x \right\rceil$後, 則有 $${22\over 7}=4-{6\over 7}=4-{1\over \displaystyle{7\over 6}}=4-{1\over 2- \displaystyle{5\over 6}}=4-{1\over 2- \displaystyle{1\over {6\over 5}}}=4-{1\over 2- \displaystyle{1\over {2-{4\over 5}}}}=\cdots$$ $$=4-{1\over \displaystyle{2-{1\over \displaystyle{2-{1\over\displaystyle{2-{1\over\displaystyle{2-{1\over\displaystyle{2-{1\over\displaystyle{2}}}}}}}}}}}}$$ 注意這「另類」連分數的繁分數表示式中, $b_i = -1, \ \forall i$, 這使得原來在正則連分數表示式中的 $+$ 變作 $-$, 新的 $a_i \in \Bbb Z, \ \forall i$, 故此, 我們嘗試引入記號: 記號 2. $$\begin{array}{rclc} (a_0, a_1, a_3, \cdots a_{\ell}, \cdots) = {a^{}}_0-\displaystyle{{\frac{1}{{a^{}}_1-\displaystyle{{\frac{1}{{a^{}}_2- \displaystyle{\frac{1}{{a^{}}_3-}}}}}}}} & & & \\ & \ddots & & \\ & & \displaystyle{-{\frac{1}{{a^{}}_{\ell}-}}} & \\ & & & \ddots \\ \end{array}{(\ast\ast)}$$ 應用記號 $(\ast\ast)$, 上方的結果可表示為 $${22\over 7} = (4,2,2,2,2,2,2)\mbox{。} $$ 例子 3. $$\sqrt{2}=[1,2,2,2,2,2,2,\ldots]=[1,\overline{2}]$$ 改用$\left\lceil x \right\rceil$後, 有 $$\sqrt{2}=(2,2,4,2,4,2,4,\ldots)=(2,\overline{2,4})\mbox{。}$$ 同理 \begin{eqnarray*} {1+\sqrt{5}\over 2}&=&(2,3,3,3,3,3,3,\ldots)=(2,\overline{3});\\ \pi &=& (4,2,2,2,2,2,2,17,294,3,4,5,\ldots);\\ e &=& (3,4,3,2,2,2,2,2,3,8,3,2,2,2,2,2,2,2,2,2,3,12,\ldots)\mbox{。} \end{eqnarray*} 嘗試了上面的例子, 我們還可看到 $a_i \geq 2$, $i \geq 1$, 更重要的一點是教師與學生在討論中, 學生有以下進一步的提問。
學生有意義的提問, 引發教師及同學進一步的探究, 以下是我們的探究結果! 2. $Reg$ 與 $Neg$翻查連分數的文獻, 對上方「另類」連分數的表達式均未見提及。幸得第二作者的博士論文導師, 著名數學家 Richard K. Guy 教授 6 6 註: 數論名著: Unsolved Problems in Number Theory 的作者。 的指點, 才知道這「另類」連分數稱為「負正則連分數」(negative regular continued fraction)。與 $Reg$ 一樣, 連分數的行內人一般簡稱負正則連分數為 $Neg$。 2.1. 負正則連分數的定義及其構作定義 2. 在連分數表達式 $(\ast)$ 中, 若
2.2. $Neg$ 的構作對任可實數 $\theta$, 遞歸地構作序列 $a_0$, $a_1$, $a_2$, $\cdots$ 如下:
備註 2. 注意, 與 $Reg$ 的構作類似, 這樣構作的 $Neg$ 表示是唯一的 7 7 註:一般而言, 表示並不唯一: 例如 $ (4,2,2,2,2,2,2) = (4,2,2,2,2,2,3,1)$, 但後者不會在上述的構作中發生。 。同時, 在 $Neg$ 的構作中, 當 $\theta_i \notin \Bbb Z$ 時, $0 \lt \left\lceil \theta_i \right\rceil - \theta_i \lt 1$ 保證了 $y = \dfrac{1}{a_i -\theta_i} \gt 1$, 從而有 $a_{i+1} = \left\lceil \dfrac{1}{a_i -\theta_i} \right\rceil \geq 2,\ i \geq 0$。 細心的讀者自然會問, 若上述構作所得的序列是一無窮序列, 它對應的 $Neg$ 表示式會否收斂? 對此, 下列的定理保證了它的收斂性: 定理 3. (Śleszyński-Pringsheim 定理) 在一般無窮的連分數 $(\ast)$ 表示式中, 若對於所有的 $i \geq 1$, $$ |a_i| \geq |b_i| +1 $$ 成立, 則連分數表示式收斂。 在 無窮 $Neg$ 中, $|b_i|+1 =|-1|+1 =2 \leq |a_i|$ 對所有 $i \geq 1$ 成立, 故無窮 $Neg$ 表示式收斂。 要為提問一及二尋求解答, 我們需要引進以下記號。 記號 3. 為方便起見
引理 1. $\forall n\in\Bbb N$, $y\geq 1$, $$ \left\{\begin{array}{ccc} (\underbrace{2,2,\ldots,2}_{n}) &=&\displaystyle{n+1\over n};\\ (\underbrace{2,2,\ldots,2}_{n},y) &=&\displaystyle{(n+1)y-n \over ny-(n-1)}\mbox{。} \end{array}\right.$$ 證明. 取$y= 2$, 首部分命題是次部分命題的直接推論。對次部分命題, 當 $n=1$, 有$$(2,y) = 2 - {1 \over y} = {2y-1 \over y}\mbox{。}$$ 假設命題對 $n\in\Bbb N$ 成立 $$(\underbrace{2,2,\ldots,2}_{n},y) = {(n+1)y-n \over ny-(n-1)},$$ 則 $$(\underbrace{2,2,\ldots,2}_{n+1},y) = (2,\underbrace{2,2,\ldots,2}_{n},y) = (2,{(n+1)y-n \over ny-(n-1)}),$$ 即 $$2 - {1 \over {(n+1)y-n \over ny-(n-1)}} = 2 - {ny-(n-1) \over (n+1)y-n} = {(n+2)y - (n+1) \over (n+1)y - n}\mbox{。}$$ 應用數學歸納法原理知原命題成立。$\Box$ 引理 2. 對 $1\leq y\in\Bbb R$ 及 $n\in\Bbb N$, 下式成立: $$[a_0,n,y] = (a_0+1,\tau^{n-1},y+1)\mbox{。}$$ 證明. 先考慮 $n=1$, 即有 $$(a_0+1,\tau^{1-1},y+1) = (a_0+1,y+1) = a_0+1 - {1 \over y+1} $$ $$= a_0 + {y \over y+1}= a_0 + {1 \over \displaystyle{1 + \displaystyle{1 \over y}}} =[a_0,1,y]\mbox{。}$$ 這裡, $\tau^{0}$ 表示沒有中介的 $2$。 對 $2\leq n\in\Bbb N$, 有 \begin{eqnarray*} (a_0+1,\tau^{n-1},y+1)& = & {\bigg (}a_0+1,\ \tau^{n-1}-{1 \over y+1}{\bigg )}\\ & = & {\bigg (}a_0+1,\ {n(y+1)-(n-1) \over (n-1)(y+1)-(n-2)}{\bigg )}\quad (\mbox{ 由 引理 1})\\ & = & a_0+1 - {(n-1)(y+1)-(n-2) \over n(y+1)-(n-1)}\\ & = & a_0 + {n(y+1) - (n-1) - (n-1)(y+1) + (n-2) \over n(y+1) - (n-1)}\\ & = & a_0 + {y \over (ny+1) - (n-1)}\\ & = & a_0 + {1 \over \displaystyle{n(y+1)-(n-1) \over y}}\\ & = & a_0 + {1 \over \displaystyle{ny + 1 \over y}}\\ & = & a_0 + {1 \over n + \displaystyle{1 \over y}}\\ & = & [a_0,n,y]\ \mbox{。} \end{eqnarray*} 注意 $y \geq 1$ 保證了對 $n \in \Bbb N$, $n(y+1)-(n-1) \neq 0$, 故原命題得證。$\Box$ 下列的兩定理給提問一及二以完滿的答案。 定理 4. 設 $\theta\in\Bbb R\backslash\Bbb Q$, 若 $\theta = [a_0,a_1,a_2,a_3,a_4,a_5,a_6,...]$, 則 $$\theta = [a_0,a_1,a_2,a_3,a_4,a_5,a_6,...] = (a_0+1,\tau^{a_1 - 1},a_2+2,\tau^{a_3-1},a_4+2,\tau^{a_5-1},a_6+2,\ldots)\ \mbox{。}$$ 證明. 設 $$\theta = [a_0,a_1,a_2,a_3,a_4,a_5,a_6,...] = [a_0,a_1,\theta_2]\ \mbox{。}$$ 由引理 2 及記號 3, 得 $$\theta =(a_0+1,\tau^{a_1-1},\theta_2+1)\mbox{。}$$ 但 $$\theta_2 + 1 = [a_2+1,a_3,\theta_4],$$ 同理 $$\theta_2 + 1 = (a_2+2,\tau^{a_3-1},\theta_4+1) \mbox{。}$$ 從而, $$\theta = (a_0+1,\tau^{a_1-1},a_2+2,\tau^{a_3-1},\theta_4+1,\ldots),$$ 如此繼續下去, 便可推得等式成立。$\Box$ 由定理 4, 我們得到無理數的 $Neg$ 及 $Reg$ 表示關係式。對於有理數的 $Neg$ 及 $Reg$ 表示關係式, 則由以下定理給出。 定理 5. 設 $\theta\in\Bbb Q$ 及 $m$ 為非負整數,
證明. 先考慮偶數的情況. 利用與定理 4 的證明一般的方法, 我們有 $$[a_0,a_1,a_2,\ldots,a_{2m}] = (a_0+1,\tau^{a_1-1},a_2+2,\dots,\theta_{2m-2}+1)\mbox{。}$$ 但 $$\theta_{2m-2}+1 = [a_{2m-2}+1,a_{2m-1},a_{2m}] = (a_{2m-2}+2,\tau^{a_{2m-1}-1},a_{2m}+1),$$ 故得 $$[a_0,a_1,a_2,\ldots,a_{2m}] = (a_0+1,\tau^{a_1-1},a_2+2,\ldots,a_{2m-2}+2,\tau^{a_{2m-1}-1},a_{2m}+1)\mbox{。}$$ 對於奇數的情況, 我們有 $$[a_0,a_1,a_2,\ldots,a_{2m+1}] = [a_0,a_1,a_2,\ldots,\theta_{2m-2}]\mbox{。}$$ 注意到 $$ \theta_{2m-2}=[a_{2m-2},a_{2m-1},\theta_{2m}]=(a_{2m-2}+1,\tau^{a_{2m-1}-1},\theta_{2m}+1)\mbox{。}$$ 故得, \begin{eqnarray*} \theta_{2m}+1 &=& (a_{2m}+1) + {1 \over a_{2m+1}} = (a_{2m}+2) - \left(1- {1 \over a_{2m+1}}\right)\\ &=&(a_{2m}+2) - \left({a_{2m+1}-1 \over a_{2m+1}}\right) = (a_{2m}+2) - \left({1\over {a_{2m+1} \over {a_{2m+1}-1}}}\right)\\ &=&(a_{2m}+2) - \left({1\over {a_{2m+1} \over {(a_{2m+1}-1)}}}\right)\\ &=& (a_{2m}+2,\tau^{a_{2m+1}-1}) \;\;\;\mbox{ (由引理1) }\mbox{。} \end{eqnarray*} 故原命題得證。$\Box$ 3. 實數的 $Reg$ 表示式有了實數的 $Neg$ 及 $Reg$ 表示關係式, 我們便可作以下的推斷:
定理 6. 一實數為
由上述的推斷, 要證明這定理, 即要證明: 命題 1. 對任意的無限 $Neg$ 表示式, 它將收斂於一無理數。 事實上, 更一般的定理成立: 定理 7. 對無窮連分數表達式 $$\begin{array}{rclc} {a^{}}_0-\displaystyle{{\frac{b_1}{{a^{}}_1-\displaystyle{{\frac{b_2}{{a^{}}_2- \displaystyle{\frac{b_3}{{a^{}}_3-}}}}}}}} & & & \\ & \ddots & & \\ & & \displaystyle{-{\frac{b_{\ell}}{{a^{}}_{\ell}-}}} & \\ & & & \ddots \\ \end{array} $$ 若 $\forall i$, $a_i$ 及$b_i$ 為正整數, 且對充分大的 $i$, $a_i$ 及$b_i$ 滿足 $$ a_i \geq b_i +1 $$ 則無窮連分數表達式收斂且其值為一無理數。 (取 $b_i =1$ 並注意 $a_i \geq 2 = b_1 +1 = 2$, 即得命題 1。) 要討論上述定理的證明, 將遠遠超出本文的範圍。有興趣的讀者可參閱 David Angell 的網上筆記 8 8 註: David Angell: Chapter 7 of Lecture Notes for MATH5535 - Irrationality and Transcendence, http://www.maths.unsw.edu.au/$^\sim$angell/5535/chapter7.ps , 內裏有非常清楚詳盡的證明解說。值得注意的是 David Angell 所提 供的證明方法是考慮當$n \to \infty$ 時, 無窮連分數表達式的第 $n$ 個漸近分數(n-th convergent)的收斂性。這種利用無窮連分數 表示式去證明實數是否無理數或超越數(transcendental number)的方法, 是大數學家 J.H. Lambert 及 L. Euler 所開創並為後來數論工作者所沿用的, 是十分值得學習的方法。
至此, 我們可以得到蔡聰明教授所提供有關 $\sqrt{2}$是無理數的 18 個證明(參閱 4. 一點感想
「教學相長」是每一個教師都能深切體會的話。學生與教師在教學過程中均會有所得,
而數學教學過程所引發的解難與探究的活動, 更是學生與教師所不容錯過的。蕭文強教授曾在
《「三心兩意」的數學教師》(參閱
筆者作為師訓培育的大專院校數學教師, 角色更為有趣, 在穿梭往來於大學講堂與中小學課室之間, 在輔導與陪伴著
不少的現職與未來數學教師成長之餘, 固然也希望他們可多從事數學的解難與探究, 但很多時卻會感到, 作為輔導者的自己,
也往往「 黔驢技窮 」, 未能為他們提供有趣及值得探究的題材。想不到由學生的一個簡單的問題, 會引發師生的一連串有趣的解難與探究。
其間, 學生更告訴筆者 Alex Eustis 在美國加州 Harvey Mudd College 的數學碩士論文中 蕭教授在同一文章中也提到, 早在一個世紀之前, 數學家克萊因 (Felix Klein)曾說過一段語重心長的話 9 9 註: 這是 Felix Klein 為名著: Klein, F., (1908, 1909 & 1928), Elementarmathematik vom höeren 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 翻(中)譯的。) :「 大學新生入學一開始就發現他面對的 『數學 』問題好像跟中學裏學過的東西一點也沒有聯繫, 自然他很快便完全忘記了中學裏學過的東西。畢業後他當上了教師, 突然發覺自己被要求依循老套的方法講授傳統的初等數學。由於缺乏別人的指導, 他難以辨明當前的數學內容和他曾學到的 高等數學有什麼聯繫, 於是他很快便接受了這套由來已久的教學方式。他的大學教育頂多成為一種愉快回憶, 但對他的教學毫無影響。 」 我想, 我的學生, 他們作為未來的數學教師, 在自己的提問引導下, 雖然不一定會在數學上有什麼新的創造, 但通過 $Reg$ 與 $Neg$ 的探究, 他們對連分數的歷史發展, 會有更深的體會, 對於未來走數學教師的路, 會更有信心! 希望我們這篇小小的文章, 可「 拋磚引玉 」, 讓數學研究工作者、數學教師以及學生進行更多數學的解難與探究! 參考文獻---本文作者任教香港教育學院數學與資訊科技學系--- |