从着名不等式谈数学历史-香港数学教育学会.PDF

EduMath 19 (12/2004) 從著名不等式談數學歷史 陳宇航 香港中文大學 教育學院 ？ ？ 1. 引言 大概由人類懂得分辨數量的大小開始，不等式的概念已經誕生了。雖 然我們自小學習的數學都以等式為主，但很久以前不等式已被應用來解決 日常生活的問題。尤其在沒有微積分的時代，不等式都是計算最大和最小 值的最佳工具（[5] ），許多著名的不等式應運而生，後來理所當然地成為數 學理論裡的研究對象。 或許因為不等式著重實用的緣故，也或許因為不等式本身只是一條數 式那麼簡單，即使是著名的不等式也不會擁有很多專門的歷史記載。事實 上，不等式的歷史滲透於整個數學歷史之中，這從難以找到一本專門介紹 不等式的數學歷史書可見一斑。正因如此，本文特別選擇三個非常著名的 不等式，在探討它們本身的歷史之餘，亦談談環繞它們所發生的事蹟，希 望能夠勾劃出不等式在數學洪流中的風采。 本文介紹的三個不等式都甚具名氣，Jack Abad 和 Paul Abad （[16] ） 於 1999 年在美國數學協會（Mathematical Association of America ）的會議 85 數學教育第十九期 (12/2004) 上，指出一百個歷史上最偉大的數學定理，它們都是榜上有名的。 2. 算術－幾何平均不等式（ AM-GM inequality ） 如果你曾修讀高中數學，或許對這個不等式會畢生難忘： a a a 1 2 n n 對於任何的正數a , a , … , a ，  a a a 。當且 1 2 n 1 2 n n 僅當 a = a = … = a時，不等式的兩邊相等。 1 2 n 2.1 起源 算術－幾何平均不等式源遠流長，最早（[4] ）出現於歐幾里德（Euclid, 325 B.C.  265 B.C. ）的《幾何原本》（[6] ），那裡說明了n = 2 的情況，即 a b  ab 。 2 事實上，《幾何原本》沒有一個命題正式指出這個不等式，但是從其他 命題可以看出當時的數學家不可能不知道這個事實。 卷II命題 5 這個命題指出，對於任意的邊長a , b (a  b) ，可以作出圖一使長方形 ADHK 的面積 + 正方形EGHL 的面積 = 正方形BCEF 的面積，即 ab + [ 1 (a + b)  b] 2 = [ 1 (a + b)] 2 。 2 2 a b C D A B b