尺规做图的局限性-台大数学系.DOC

尺規做圖的侷限性 主講：楊劼之 我想各位同學應該都多少聽過以下問題： 三大尺規做圖的不可解： 1.三等分任意角 2.化圓為方 3.倍立方體 這些問題都已被證明無法用尺規做圖完成 我們將證明為何它們不可構造(nonconstructable) 主題一：代數體系 近代(精確的說應該是從18世紀前半就開始)的代數學與過去相當不同，這些發展建立在幾個問題的討論上：一個是費馬最後問題，另一個就是五次方程式的公式解是否存在。前面的問題導致了研究環論的唯一分解性質，而後者造成了群論與體論的發展。除此之外，數論的進步也是造成代數重大變革的推手之一。 現在我們先熟悉一些代數體系： Def : a group G is a set with a binary operation “+” ?a, b?G a+b?G (a+b)+c = a+(b+c) ?0?G a+0 = a = 0+a?G ?(-a)?G a+(-a) = 0 當我們說到一個群(group)，我們考慮的只有這個集合上的一種運算 因此你也可以考慮大於零的實數集，對於乘法下形成的群 Def : a group G is abelian if it is commutative. 像是兩個函數或是兩個矩陣乘法就不可交換 f = 2x, g = x2 , f(g(x))=2x2