作者以數列謎題引導本書前三章的討論 而這三章 數列與規律 名為算 式的情書 及 ω 的華爾滋 與第 5 章 算術平均數與幾何平均數的關係 可說 是高中數學的簡要複習 不過 在第 2.9 節中有關 方程式與恆等式 與算式的 積 的形式與和的形式 之單元 作者運用八頁的篇幅 細緻且透徹地將算式的基本 定

Similar documents
whitepaper.dvi

untitled



重庆理工大学学报 社会科学 q j m A m m m K w ERFm q 缩减 数据的准确性可得到保障 此外 一引言 随着我国对生态文明建设的重视建设资源节约 型和环境友好型社会成为国家发展的一大任务 随着我国经济的不断发展和人们生活水平的 因此环保 绿色也会成为各个行业未来发展的一 提高 尤其

公共圖書館利用教育方案規劃之研究


<4D F736F F D B0EABB79A4E5B8D5C344BBBCB065AAA9>


康體藝術

有 机 产 品 认 证 管 理 办 法 第 一 章 总 则 第 一 条 为 了 维 护 消 费 者 生 产 者 和 销 售 者 合 法 权 益, 进 一 步 提 高 有 机 产 品 质 量, 加 强 有 机 产 品 认 证 管 理, 促 进 生 态 环 境 保 护 和 可 持 续 发 展, 根 据


Microsoft Word - 1HF12序.doc

Microsoft Word - 讀報看科普─人體篇_橫_.doc

鍟嗗搧瑙傚療鈥㈤挗鏉

席 远 杨 一 人 了, 正 当 她 开 枪 时 却 发 现 子 弹 没 了 该 死, 只 能 赤 手 空 拳 了 洛 水 云 与 席 远 杨 交 起 手 来, 洛 水 云 出 手 招 招 致 命 想 那 席 远 杨 也 不 是 泛 泛 之 辈, 很 快 掌 握 了 洛 水 云 出 招 路 数 看

Microsoft Word - 2B802內文.doc

東區校園中法治教育種子師資教學研習營

閱 讀 素 材 V.S 分 組 方 式 的 差 異 化 教 學 工 具 表 班 級 :( ) 閱 讀 素 材 V.S 分 組 方 式 獨 立 閱 讀 夥 伴 閱 讀 ( 同 質 性 ) 夥 伴 閱 讀 ( 異 質 性 ) 友 善 陪 伴 虛 心 受 教 國 語 日 報 新 聞 生 活 文 藝 兒 童

勞動條件檢查執行重點(雲林)_ [相容模式]

醋 水 法 在 水 盆 內 放 入 約 七 分 滿 的 水 與 1/2 到 1 小 杯 的 醋 量, 將 髒 襪 子 浸 泡 一 晚, 隔 天 再 丟 入 洗 衣 機, 就 能 洗 得 相 當 乾 淨 醋 有 殺 菌 除 臭 和 漂 白 功 效, 使 用 過 的 醋 水, 還 可 清 理 地 板,

穨 PDF

Microsoft Word - 完全手冊-課程.doc

第一冊 第四章 分裂與再統一 班級 座號 姓吊

德阳市文化馆​德阳市作协举办儿童诗人杨一郎诗集《初心》座谈交流会

虎克定律實驗 楊勝斐


第 9 卷 江 南 大 学 学 报 人 文 社 会 科 学 版 Z 第 2 期 掌握 是指在 表 层 知 识 教 学 过 程 中 学 生 对 表 层 知 识 的 掌 想 方法有所悟 有所体会 5 数学思想 方法教学是循环往 握 学生掌握 了 一 定 量 的 数 学 表 层 知 识 是 学 生 能 够

5-2微积分基本定理

<39392DB0B7AB4FC2F9A4EBA55A2D312E706466>

2


学 的 人 数 达 到 万 人,79.5% 的 随 迁 子 女 在 公 办 学 校 就 读 但 是, 按 照 过 去 的 高 考 制 度, 这 些 学 生 只 能 回 到 户 籍 地 参 加 高 考 2010 年 7 月, 党 中 央 国 务 院 召 开 了 全 国 教 育 工 作 会

#!!


總目44-環境保護署

Avision

谈谈数学素质的培养

跨 境 犯 罪 案 例 報 告 擄 人 勒 贖 案 件 檢 座 約 晚 上 12 點 半 在 辦 公 室 可 以 嗎? 24 日 清 晨 見 過 證 據 資 料 後, 同 意 緊 急 上 線, 並 立 即 製 作 聲 請 書, 並 獲 得 法 院 准 許, 此 後 一 路 積 極 續 線 及 擴 線

5. 閱 讀 下 文, 推 斷 內 最 適 合 填 入 的 詞 語 依 序 為 何? 人 也 真 是 一 個 絕 字, 一 邊 向 左, 一 邊 向 右, 一 副 的 樣 子, 偏 又 相 連 著, 各 說 各 話 各 走 各 路, 卻 又 人, 這 麼 一 個 簡 單 的 字, 竟 包 含 如 此

涓浗鏂囧寲


框架

Microsoft Word - DSE_DAT_Revision.doc

第三章 中原儺文化圈

Microsoft Word - Probability.doc

2. 读 课 文, 填 空 : (1) 树 上 垂 挂 着 择 怎 侉 (2) 孔 雀 好 像 美 人 拖 着 (3) 象 身 上 刺 着, 耳 朵 上 戴 着, 脖 子 上 系 着 (4) 象 主 人 敲 着, 象 小 姐 踩 着 一 摇 一 晃 的 (5) 小 松 鼠 歪 着, 朝 你 挤 眉

編 輯 大 意 一 本 指 引 係 配 合 中 學 華 文 課 本 編 寫 而 成, 提 供 教 師 教 學 參 考 之 用 二 本 書 編 寫 重 點 如 下 : ( 一 ) 作 者 : 詳 細 介 紹 作 者 生 平 及 成 就 ( 二 ) 題 解 : 介 紹 課 文 主 旨 及 相 關 背 景

Lowrise_I


Microsoft Word - chead095.doc

<4D F736F F D20B5D8BFD5D1A7D4BAA3A8B5D8C7F2CEEFC0EDA1A2B5D8C7F2BBAFD1A7A3A9>

桃園縣秀才實驗學校多元適性發展的課程規畫


奇特的一生(Эта странная жизнь)

在 上 述 物 理 模 型 中 ( 三 隻 猴 子 的 重 量 都 一 樣 ), 考 慮 底 下 四 個 問 題 : () 當 三 股 力 量 處 於 平 衡 狀 態, 而 且 F 點 處 於 ABC 的 內 部 時, 利 用 力 的 向 量 和 為 零 的 觀 念, 求 角 度 AFB, BFC,

樣 的 深 不 管 是 怎 樣, 對 方 真 的 要 結 束 同 居 關 係, 真 的 都 會 好 好 講 清 楚 和 溝 通, 傷 害 是 一 定 會 有, 但 不 要 用 到 雙 方 像 敵 人 一 樣, 這 樣 對 雙 方 來 說, 有 什 麼 意 義 存 在 呢?! 因 為 彼 此 之 間

第 二 章 校 草 出 现 圣 迪 亚 学 院, 一 所 远 近 闻 名 的 贵 族 学 院 它 的 知 名 度 就 好 像 猪 的 知 名 度 一 样, 无 人 不 知 无 人 不 晓 是 所 有 人 都 向 往 的 学 校 圣 迪 亚 学 院 是 以 欧 式 建 筑 风 格 为 主 的 大 门

Microsoft Word - 21??¡N??`?C?~??-1.doc, page Normalize ( Microsoft Word - 21ºÝ¤È¸`§C¦~¯Å-1.doc )

10-04.indd

【结构化面试名师精品班2ATY15K002】讲义.docx


HPM 通 訊 第 十 卷 第 十 一 期 第 二 版 坦 也 說 : 如 果 歐 幾 里 得 無 法 點 燃 你 年 輕 的 熱 情, 那 麼 你 生 來 就 不 是 一 位 科 學 思 想 家 甚 至 美 國 女 詩 人 米 蕾 (Millay) 頌 揚 歐 幾 里 得 也 稱 讚 : 只 有

總目122-香港警務處

編 號 : 學 校 : 高 雄 市 路 竹 高 級 中 學 ( 國 中 部 ) 教 育 部 閱 讀 推 手 複 選 審 查 資 料 閱 讀 伴 我 行 Bring reading on my way 莊 淑 貞 JUANG,SHU-JEN 2

觀 音 佛 祖 送 給 衣 宸 的 話 005 自 序 007 Part 1 修 行 心 體 驗 一 篇 看 見 佛 祖 012 二 篇 在 家 修 行 039 三 篇 世 界 的 創 造 者 054 四 篇 大 慈 悲 079 五 篇 最 珍 貴 的 禮 物 095 六 篇 自 救 法 力 練 習

壹 前 言 一 研 究 動 機 俗 話 說 : 牙 痛 不 是 病 痛 起 來 要 人 命, 一 般 人 當 牙 齒 疼 痛 或 是 染 患 牙 齒 疾 病 時, 經 常 在 心 中 要 經 歷 許 多 的 掙 扎 ; 是 要 面 對 就 醫 的 恐 懼 與 疼 痛, 或 是 要 繼 續 忍 受 難

JT ( a +) ( a ) a + ( 0 ) a 0 a ( 0 ) a a ( 0 ) a a ( 0 ) a a ( 0 ) a b log a b log a log a b log a log a b log a log a b log a log a d b b b b

教 案 ( 首 页 ) 课 课 编 号 结 构 力 学 总 计 :80 学 时 名 称 学 分 5 其 中 : 类 别 必 修 课 ( ) 选 修 课 ( ) 理 论 课 ( ) 实 验 课 ( 讲 课 :80 学 时 ) 实 验 : 学 时 任 课 教 师 曹 志 翔 职 称 副 教

總目186-運輸署


飞机结构设计

溝通協調與激勵領導

農 業 新 知 J 桃 園 區 建 f:! 訊 [ 草 花 專 輯 ] 第 6 3 期 2 番 茄 夜 蛾 長 桶 圓 形, 體 長 約 1 4 公 塵, 肥 胖 而 不 太 移 番 茄 夜 蛾 會 危 害 番 茄 等 果 菜 類 及 花 動 年 發 生 8-9 世 代, 初 孵 化 之 幼 蟲 群

untitled

ABC Amber Text Converter

1. 將 所 有 洗 淨 瀝 水, 豬 後 腿 肉 泡 水 乾 香 菇 切 絲, 紅 蔥 頭 切 碎, 糯 米 洗 淨 浸 泡 2 小 時 後 磨 成 米 漿 2. 取 一 鍋 加 入 少 許 油, 將 紅 蔥 頭 放 入 爆 香, 再 加 入 蝦 米 香 菇 及 後 腿 肉 翻 炒 後 加 入 水

C/C++ - 函数

untitled

Microsoft Word - 1--《材料力学基本训练》-2011(中学时内部使用版)---第1章 绪 论.doc

標準 BIG 中文字型碼表 A 0 9 B C D E F 一 乙 丁 七 乃 九 了 二 人 儿 入 八 几 刀 刁 力 匕 十 卜 又 三 下 丈 上 丫 丸 凡 久 么 也 乞 于 亡 兀 刃 勺 千 叉 口 土 士 夕 大 女 子 孑 孓 寸 小 尢 尸 山 川 工 己 已 巳 巾 干 廾

15 博 士 熱 愛 的 算 式 ( 二 版 ) 小 川 洋 子 王 蘊 潔 麥 田 (2008) 16 如 何 穿 過 一 張 明 信 片 波 伊 特 許 伯 赫 馬 庫 斯 華 格 納 姬 健 梅 究 竟 (2009)

C35N32.dvi

江 汉 大 学 学 报 总 第 28 卷 类 直 抒 胸 臆 的 无 功 利 创 作, 心 情 不 好 写 虐 文 泄 愤 心 情 好 时 写 脱 线 文 挥 洒 把 其 他 作 品 中 自 己 喜 欢 的 人 物 塑 造 成 完 美 形 象 不 喜 欢 的 人 物 贬 损 到 极 点 5 而 在

Semipalatinsk 1920

高級中等進修學校課程大綱


《婚姻看法大全》

穨series019-IA.PDF

<4D F736F F D20BCAAC1D6B9A4B3CCBCBCCAF5CAA6B7B6D1A7D4BA C4EAB6C8B1BEBFC6BDCCD1A7D6CAC1BFB1A8B8E62E646F63>

乎 是 白 白 净 净 的 样 子 她 看 到 那 个 少 年 揉 着 自 己 撞 在 路 灯 上 的 脑 袋 走 到 了 许 涵 今 面 前, 似 乎 是 说 了 一 些 什 么 话 的 样 子, 给 了 许 涵 今 一 个 包 着 的 小 小 的 包 裹, 抱 了 她 一 下, 又 跌 跌 撞

投影片 1


喉 的 饮 品, 又 是 聚 会 待 客 的 必 备, 被 誉 为 国 饮 A. 豆 浆 B. 茶 C. 可 乐 D. 酒 9. 中 国 是 世 界 文 明 古 国 之 一, 指 南 针 造 纸 术 印 刷 术 和 这 四 大 发 明 展 现 了 中 国 古 代 灿 烂 的 科 技 文 化 A. 日

Microsoft Word - 实验习题N.doc


2 3

吴 燕 / 国 民 政 府 时 期 四 川 县 级 司 法 人 事 制 度 改 革 研 究 司 法 公 署, 或 称 法 院 司 法 处 ; 在 人 事 任 命 上, 司 法 厅 省 政 府 地 方 军 事 当 局 高 等 法 院 均 可 委 派 县 级 司 法 人 员 ; 审 判 权 的 大 小

Ps22Pdf

Transcription:

少女也愛上數學 數學女孩 的數學學習與結構美學 作者 洪萬生 作者簡介 洪萬生為台灣師大數學系退休教授 研究數學史 並為臺灣 HPM 發起人 強調數學史在 數學教學中之功用 洪更是台灣數學科普的推手 與學生翻譯多本科普書 廣撰科普書評 目前更推動 以文學小說來促進數學之普及化 前言 臺灣出版商引進結城浩的 數學女孩 系列 一開始應該是出自數學普及面向的 考量 而非我們現在更感興趣的數學小說文類 genre 現在 就國內所出版數學 小說 mathematical fiction 主要是中譯本 的敘事風格來說 數學女孩 是非常 獨特的一個系列 這是因為作者在本系列中 忠誠地分享了他自己的數學學習心得 不過 他除了這種在 小處 斤斤計較 吹毛求疵的 著手 之外 還不斷地高舉 他的結構美學大旗 向讀者宣示數學 旅行地圖 的重要意義 在本文中 我所討論的 數學女孩 系列共有四本 依中譯本發行順序如下 數 學少女 青文出版社 2008 數學女孩 費馬最後定理 世茂出版公司 20 數學女孩 哥德爾不完備定理 世茂出版公司 202 以及 數學女孩 隨機演算法 世茂出版公司 203 由網路出版資訊得知 結城浩又出版了 數 學女孩 伽羅瓦理論 不過 由於該書尚未有中譯本 本文姑且不論 在此 我 打算依序先簡介前述四書 都各有 0 章 的內容 最後再綜合評論作者的敘事風格 及其對於我們的 中學 數學知識活動所可以帶來的深刻啟發 數學少女 本書數學主題是分拆數 partition 第 0 章 作者利用生成函數 generating function 先找出費氏數列 或斐波那契數列 的一般項 Fn 從而說明後者如何成 為分拆數 partition Pn的上界 Pn Fn 所謂分拆數 Pn 是指給定正整數 n 將 n用小於或等於 n的正整數分拆的所有可能情形之個數 例如 4=4=3+=2+2=2++=+++ 故 P4 = 5 正如蘇俊鴻指出 雖然分拆數的主題在數學上並不讓人驚奇 作者 卻能由高中所學得的數學知識出發 將這個主題的相關數學知識一一連貫起來 值 得我們為作者的努力鼓掌 94

作者以數列謎題引導本書前三章的討論 而這三章 數列與規律 名為算 式的情書 及 ω 的華爾滋 與第 5 章 算術平均數與幾何平均數的關係 可說 是高中數學的簡要複習 不過 在第 2.9 節中有關 方程式與恆等式 與算式的 積 的形式與和的形式 之單元 作者運用八頁的篇幅 細緻且透徹地將算式的基本 定義 好好提點了一遍 讓身為數學教師的蘇俊鴻大為感動 他 自問在課堂上 的傳授都無法做到 由此 我們也看出作者念茲在茲的 是對於數學知識本質的 解說 同時 他也不吝於分享個人的數學學習的心路歷程 譬如第 5.5 節 所謂讀數 學 的內容 就十分貼近高中生的學習經驗 作者也藉由費氏數列 第 4 章 與卡塔蘭數 Catalan numbers 第 7 章 引進生成函數 以及如何運用生成函數求數列一般項的方法 至於第 6 章有關微分與差分 連續與離散 的對比 則是討論連續觀 點下的數學定義 如何在離散觀點下尋找合適對應的定義 因此 微 分 vs. 差分 積分 vs. 和分 這種 悠遊於兩個不同世界的方式 連結了數列與生成函數兩種不同的數學主題 此外 本書第 8-9 章有關黎曼 ζ 函數 ζ(s) = k= /k s的內容 涉 /k 的討論 ζ() 第 8 章 以及泰勒展開式與 貝塞爾問題 即 k= /k 2 = π 2 /6 ζ(2) 第 9 章 針對前者 作者特別利用摺積的概念與方法 以及黎曼 ζ 函數與尤拉 歐拉 積 及調和數列 k= 的關係 ζ(s) = = ks ps prime p k= 數學女孩 費馬最後定理 20 世茂 數學少女 2008 青文 數學女孩 哥德爾不完備定理 202 世茂 數學女孩 隨機演算法 203 世茂 95

證明質數有無限多個 針對後者 作者的目的 顯然就是介紹尤拉 歐拉 如何 利用邏輯上站不住腳的 類比 方法 發現 ζ(2) = k= /k 2 = π 2 /6 而這也讓 十八世紀的尤拉 歐拉 老師成為本書的偶像 為此 作者還特別處理了代數基本 定理及其相關的根與係數關係 而有關此一貝賽爾問題解法的 重新發現 作者 刻意安排最缺乏數學自信的一位女主角蒂蒂完成 在數學學習方面的確頗富深意 本書主角除了蒂蒂之外 還有第一人稱的 我 高二男生 他的同學米爾迦 是一位數學才女 經常對他 發號施令 至於蒂蒂 或蒂德拉 則是他的高一學妹 喜歡纏著男主角發問 但是 一直不清楚自己的數學潛力 他們三人之間的對話除 了數學的解題探索 經驗分享之外 甚少涉及日常生活點滴 但是 對白中也洋溢 著少男少女情懷 讓熟悉日本輕小說敘事的讀者深感親切 除了上述的敘事特色之外 本書還洋溢著數學史的洞識 譬如在第 2.0 節 數學 公式的背後是誰 作者就指出 在算式背後都有一段歷史 當我們在讀算式 的時候 就像是和無數的數學家格鬥 因此 會花時間理解是一定的 同時 當我們展開一道算式 就是超越了幾百年的時光 在我們面對算式時 我們都是 小小的數學家 這種運用數學史的縱深來賦予數學知識活動的意義 當然是本書 的主要敘事特色 作者的 縱深 關懷也表現在 譬如 複數平面的引進 在此 他提出高觀點的 方法論反思 也非常具有啟發性 從整數到實數的數線 再從數線到複數平面 不斷地思考更高的次元 於是表現就變得簡單明瞭 可以說越簡單明瞭 就越象徵 理解 吧 而這 當然也連結到他的結構關懷 另一方面 這種結構關懷也表現在 跨界 的連結上 譬如作者推許生成函數是 操作數列為一個有效方法 其原因就在於利用 生成函數求得斐波那契數列一般項 就像原本捧在手上快要散落的數列 被名為生成函數的一條線串起來 且最終得 以讓相關數學主題成為具有結構的一個有機整體 organic whole 而這 也很好 地解釋了何以作者在本書適當脈絡中繪製數學 旅行地圖 數學女孩 費馬最後定理 本書數學主題當然是第 0 章的費馬最後定理 前四章介紹初等數論 作者一再強 調代數 / 數論與幾何之連結意義 不過 其內容層次大致止於高中數學課程 第 章 主題是時鐘或模數算術 作者利用具體例證 說明由特殊推論到普遍的數學方法論 意義 第 2 章主題是畢氏定理的數論版 畢氏三元數 因為這是為了費馬最後定理 的討論 而進行暖身的必要的工作 尤其它們還對應到單位圓上的有理點 作者顯 然利用此一連結 說明 原始畢氏三元數組有無窮多個 等價於 單位圓上的有理 點有無窮多個 從而指出 尋求方程式的解 代數命題 與 用圖形捕捉事物 96

3 4 2 5 Gaussian integer a + bi a b i = 6 7 7 p Z/pZ 8 x 4 + y 4 = z 4 non-trivial Arithmetica 0 9 e iπ = e iθ = cos θ + i sin θ e iπ = 納 氏 常 數 是 指 歐 拉 數 e, 自 然 對 數 的 底 數, 因 為 它 是 由 納 皮 爾 (Napier) 所 發 明, 故 有 納 氏 常 數 之 稱 這 是 清 代 中 國 數 學 家 的 中 譯, 後 來 日 本 數 學 家 襲 用 之 數 理 人 文 97

數學女孩 哥德爾不完備定理 本書主題是哥德爾不完備定理 誠如我在推薦序所指出 本書所訴求的 是讀者 的數學成熟度 而不必非要有高深的數學素養不可 因此 讓高中生當作課外讀物 來討論 當然也是儘管十足挑戰性但卻相當合適的主題 事實上 本書所預設的數學基礎知識 只有形式邏輯與集合論 作者依序分別在 第 3 章討論 至於第 2 章 則是深入說明算術系統的皮亞諾公理 一方面強調自 然數的公理建構 同時也為後文的形式系統 formal system 之引進來鋪路 其中 作者更是針對數學歸納法的無限指涉 提出重要的提醒與澄清 數學歸納法 所主 張的並非是針對一個個的自然數 所欲主張的是針對所有自然數的集合 藉由邏輯 的力量 一鼓作氣地全數一網打盡 基於集合與無窮等比級數的概念 作者利用 第 4 章整章的篇幅 詳盡地說明何以循環小數 0.999 = 第 5 章再回到邏輯主題 但深入討論形式邏輯與證明論 強調邏輯連詞與量詞的 使用 並以第 6 章的極限分析論證為例 第 7 章分成兩個部分 第一部份是數集是 否可數 countable 的討論 其中康托爾的對角線論證法是主題 作者深入說明何 以實數系不可數 而且同一方法也無法否證有理數系可數 在第二部份 作者開始 引進形式系統的一致性 consistency 完備性 completeness 與哥德爾不完備定 理 以及涉及後者證明的對角化法 因此 在本章中 作者顯然針對此一概念工具 conceptual tool 先引進再呼應 儘管後者的形式系統語言不是那麼容易親近 延續這種形式系統的思維 作者在第 8 章運用商集的概念 從自然數系引進整數 系 再進一步引進有理數系 當然 作者也利用本章內容 強調 人的心會壓縮具 體實例 同時 由於 同態映射為意義之源 因此 吾人可以從形式系統再回 到具體實例的意義世界上 基於此一考量 再加上本書第 0 章論述的 形式化的形 式化 作者安排第 9 章的高中三角函數題材 讓讀者喘一口氣 以便迎戰本書終 章 第 0 章 本書主角與 數學女孩 費馬最後定理 相同 亦即共有三女一男 到了下一本 小說 數學女孩 隨機演算法 又多了一位紅髮的高中美少女麗莎 非常擅長電 腦程式 同時也是贊助雙倉圖書館的雙倉博士的千金 數學女孩 隨機演算法 本小說主題為隨機漫步 random walk 及其定量估算 但由於涉及機率 統計與 矩陣 因此 作者運用了第 3 4 5 7 等五章 引進排列 組合 機率 期望 值以及矩陣等高中基礎數學單元 不過 在第 4 章中 作者花了相當多的篇幅 說 明了機率的公設定義 至於第 2 6 章的主題 則是線性搜尋與快速演算法的等級估 算 98

第 7 章主題是矩陣 作者從二元一次聯立方程組的解法談起 引進矩陣與行列式 並進一步討論二階矩陣所表現的線性變換之映射圖形 這些都是高中數學層次的題 材 也是隨機漫步的計算利器之一 因此 在第 8 章中 矩陣的延伸內容又涵蓋了 二階矩陣的對角化 其中作者當然必須介紹矩陣的特徵 或固有 值與特徵 或固有 多項式 不過 本章主題是隨機漫步 作者除了提出 鋼琴問題 之外 還詳盡地 討論了 流浪問題 第 9 章主題是如何找出有效率的演算法 這個問題被認為是電腦科學中最有名的 未解決問題 給定一個邏輯式 針對其變數賦予怎樣的真假值 整個邏輯式才能為 真呢 現在 使得邏輯式為真的變數之賦值是否存在 由於演算法的級數經常會非 常龐大 因此 我們需要有效率的演算法 來找出這個問題的答案 在這個脈絡 中 作者也引進可滿足性問題 SAT Satisfiability problem 考慮邏輯式 3-CNF Conjunction Normal Form 它有 2 個子句 它們都各由 3 個字符組成 那麼 檢查是否存在滿足 3-CNF 的賦值存在的問題 就稱為 3-SAT 後者這個問題又自然 地連結到 P = N P 的猜測 這是一個千禧年百萬美元獎金難題 所謂 P 問題是指有 效率可解的問題 至於 N P 問題 則是給定一個可能的解時 能有效率判斷這個解是 否正確的問題 目前已經證明 P N P 但是反過來 則仍然未知 作者從具體例 子入手 說明此一難題的背景與意義 意在激發 小數學家 的豪氣 用心良苦 令人感佩 此外 作者還介紹史特靈公式 Stirling's formula 來估算組合數 作風 也令人驚豔 在第 0 章 作者主要介紹兩種隨機演算法 快速排序演算法和隨機快速排序 針 對前者 他針對其執行步驟數的進行深入分析 得出最大執行步驟數與平均執行步 驟數 至於後者 他則是結合了期望值的概念來進行估算 總之 本書一如本系列前三本 作者在解題時盯住細節但又不為其所侷限 總是 提醒讀者從容出入 適時掌握 筆記 要點或 旅行地圖 以免迷失所在位置 此外 他還進一步說明如何從結構面向切入 以連結具體例子與一般化 以及 看 穿構造 需要心之眼 的知識洞察力之不可或缺 綜合評論 正如前述 本文所討論的這四本小說都有各自的主題 依序是分拆數 費馬最後 定理 哥德爾不完備定理 以及隨機演算法 為了普及遠遠超乎高中數學層次的這 些知識 作者顯然事先擬定好了數學 旅行地圖 由最基本的中學數學題材開始 討論 一步一步地由書中的數學女孩與男孩帶領 探索數學的奇妙世界 同時 作 者對於十分熱門的數學普及話題如斐波那契數列 蒙提霍爾三門問題等 也都討論 得唯恐不夠深入 更值得注意的 儘管學校數學老師是一個 隱形的 角色 然而 作者提及他的時候 總是伴隨著一個十分適當 但卻與考試毫不相干的數學問題 99

將本書主角的課外與課堂學習連成一氣 從而讓這一系列小說的敘事自然地呈現些 許數學教育改革之關懷 此外 他們也經常提及十八世紀的偉大數學家歐拉 尤拉 尊稱他為歐拉老師 而這 當然與歐拉的高度重視數學的新發現之進路息息相關 在人物個性的塑造與故事情節的安排上 這些小說都相當成功地結合數學知識活 動中的提問與解題 這種高中或國中學生主角的 現身說法 無疑地發揮了極大 的親和力 甚至讓數學沒那麼機伶的一般學生 也容易產生共鳴 此外 它們所提 供的解題或證明活動 也總是充分地配合人物個性與數學經驗 而呈現多面向的進 路或方法 讓讀者可以從容分享 在這樣的關連中 作者也利用主角提供各章開頭 與結束時的名家引言 數學方法的學習反思 以及得自數學史的啟發 做為彼此的 勉勵或提醒 這種平起平坐的 勵志 方式 料想一般讀者應該比較容易接受才是 另一方面 這些小說也經常基於 知識結構的高觀點 或 數學史的洞察 來 歸納或提示一些 有時是跨界的 旅行地圖 藉以強調相關的數學結構意義 讓讀者不至於迷失在瑣碎的解題迷魂陣中 而無法自拔 最後 作者仿效類似網路 超連結 資訊的手法 鼓勵讀者進行形式推論 即使不知道個別命題或定理之內 容為何 而這 當然也意在凸顯數學知識的結構面向之意義 根據網路相關資訊 作者的興趣與工作是 寫程式 與 寫書 相當喜歡花好幾年的時間 不斷地重 複閱讀同一本書 此外 他熱愛巴洛克音樂 尤其是巴哈的 賦格的藝術 與 音 樂的奉獻 上述這些有關他個人的素描 相當具體地反映在本小說系列的形式與 內容上 一般而言 寫程式的人似乎比較不易被數學結構所吸引 然而 結城浩愛 好巴洛克與巴哈的音樂 樂曲以簡單 對稱 優雅與結構謹嚴著稱 則相當可以解 釋他在本書敘事時 何以那麼重視數學結構 總之 像 數學女孩 這樣的系列小說 顯然是可以吸引喜歡敘事的讀者 藉以 學習數學的一種新興的普及讀物 事實上 他的敘事往往伴隨著數學知識的開展 而達到融數學與敘事為一體的境界 一般而言 數學實作的這種鋪陳與開展 當然 為一般科普作品所具備 不過 如果還想契合故事情節中小說人物的對話 那麼 作家的數學敘事 mathematical narrative 就非要完全融會貫通相關的數學知識不 可 正是基於這種在 脈絡 context 中 做 與 說 數學的特性 結城浩也 得以細緻地分享他對相關數學主題的學習心得 因此 如果讀者有意就數學普及書 籍學一點數學 那麼 這一系列小說都是上上之選 延伸閱讀 結城浩 數學少女 中譯本系列 數學少女 2008 青文 數學女孩 費馬最後定理 20 世茂 數學女孩 哥德爾不完備定理 202 世茂 數學女孩 隨機演算法 203 世茂 洪萬生 數學與文化 : 以數學小說閱讀為進路 6 講 臺大開放式課程 網址 http://ocw.aca.ntu.edu.tw/ntu-ocw/index.php/ocw/cou/0s26 HPM HPM 通訊 網站 洪萬生發行 蘇惠玉主編 關注數學史與數學教育之關連 網址 http://math.ntnu. edu.tw/~horng/letter/hpmletter.htm 00