規矩數, 此條目需要擴充, 2013年3月2日, 请協助改善这篇條目, 更進一步的信息可能會在討論頁或扩充请求中找到, 请在擴充條目後將此模板移除, 各种各样的数基本n, displaystyle, mathbb, subseteq, mathbb, subseteq, mathbb, subseteq, mathbb, subseteq, mathbb, 正數, displaystyle, mathbb, 自然数, displaystyle, mathbb, 正整數, displaystyle, mathbb, . 此條目需要擴充 2013年3月2日 请協助改善这篇條目 更進一步的信息可能會在討論頁或扩充请求中找到 请在擴充條目後將此模板移除 各种各样的数基本N Z Q R C displaystyle mathbb N subseteq mathbb Z subseteq mathbb Q subseteq mathbb R subseteq mathbb C 正數 R displaystyle mathbb R 自然数 N displaystyle mathbb N 正整數 Z displaystyle mathbb Z 小数有限小数无限小数循环小数有理数 Q displaystyle mathbb Q 代數數 A displaystyle mathbb A 实数 R displaystyle mathbb R 複數 C displaystyle mathbb C 高斯整數 Z i displaystyle mathbb Z i 负数 R displaystyle mathbb R 整数 Z displaystyle mathbb Z 负整數 Z displaystyle mathbb Z 分數單位分數二进分数規矩數無理數超越數虚数 I displaystyle mathbb I 二次无理数艾森斯坦整数 Z w displaystyle mathbb Z omega 延伸二元数四元數 H displaystyle mathbb H 八元数 O displaystyle mathbb O 十六元數 S displaystyle mathbb S 超實數 R displaystyle mathbb R 大實數上超實數 雙曲複數雙複數複四元數共四元數 英语 Dual quaternion 超复数超數超現實數其他質數 P displaystyle mathbb P 可計算數基數阿列夫數同餘整數數列公稱值 規矩數可定義數序数超限数p 進數數學常數 圓周率 p 3 14159265 displaystyle pi 3 14159265 自然對數的底 e 2 718281828 displaystyle e 2 718281828 虛數單位 i 1 displaystyle i sqrt 1 無窮大 displaystyle infty 查论编規矩數 又稱可造數 是指可用尺規作圖方式作出的實數 在給定單位長度的情形下 若可以用尺規作圖的方式作出長度為a displaystyle a 的線段 則a displaystyle a 就是規矩數 規矩數的 規 和 矩 分別表示圓規及直尺 兩個尺規作圖的重要元素 目录 1 和尺規作圖的關係 2 和整係數方程的關係 3 與古希臘三大難題之關係 4 尺规可作性和规矩数 5 域的扩张与最小多项式 6 规矩扩张的阶数 7 参考和尺規作圖的關係 编辑利用尺規作圖可以將二線段的長度進行四則運算 也可以求出一線段長度的平方根 1 因此符合以下任一條件的均為規矩數 整數 所有有理數 規矩數a displaystyle a 的平方根a displaystyle sqrt a 四次方根a 4 displaystyle sqrt 4 a 八次方根a 8 displaystyle sqrt 8 a 等2 n displaystyle 2 n 次方根 有限个規矩數相加 相減 相乘 相除 除數不得為0 的結果 如3 5 2 displaystyle frac 5 2 3 displaystyle sqrt 3 7 4 displaystyle sqrt 4 7 3 5 2 displaystyle frac sqrt 3 sqrt 5 2 均為規矩數 而 2 3 displaystyle sqrt 3 2 圓周率p displaystyle pi e均不是規矩數 因為兩個規矩數在相加 減 乘或除之後依然是規矩數 即規矩數对这些算法是封闭的 换用抽象代数的术语 它是一個域 和整係數方程的關係 编辑規矩數一定是代數數 為一整係數代數方程的解 且以此数為其解的最小多項式其次數為2 n displaystyle 2 n 此條件為規矩數成立的必要條件 因此若一個數是超越數 非代數數 或一數對應的最小多項式為三次 五次 此數必定不是規矩數 與古希臘三大難題之關係 编辑尺规作图三大难题提出後 有許多基於平面幾何的論證和嘗試 但在十九世紀以前 一直沒有完整的解答 但開始懷疑其可能性的人之中 也沒有人能夠證明這樣的解法一定不存在 直到十九世紀後 伽羅瓦和阿貝爾開創了以群論來討論有理係數多項式方程之解的方法 人們才認識到这三个問題的本質 2 尺规可作性和规矩数 编辑在研究各种尺规作图问题的时候 数学家们留意到 能否用尺规作出特定的图形或目标 本质是能否作出符合的长度 引进直角坐标系和解析几何以后 又可以将长度解释为坐标 比如说 作出一个圆 实际上是作出圆心的位置 坐标 和半径的长度 作出特定的某个交点或某条直线 实际上是找出它们的坐标 斜率和截距 为此 数学家引入了尺规可作性这一概念 假设平面上有两个已知的点O和A 以OA为单位长度 射线OA为x轴正向可以为平面建立一个标准直角坐标系 平面中的点可以用横坐标和纵坐标表示 整个平面可以等价于R 2 displaystyle mathbb R 2 设E displaystyle mathrm E 是R 2 displaystyle mathbb R 2 的一个非空子集 如果某直线l displaystyle l 经过E displaystyle mathrm E 中不同的两点 就说l displaystyle l 是E displaystyle mathrm E 尺规可作的 简称E displaystyle mathrm E 可作 同样地 如果某个圆C displaystyle mathcal C 的圆心和圆上的某个点是E displaystyle mathrm E 中的元素 就说C displaystyle mathcal C 是E displaystyle mathrm E 可作的 进一步地说 如果R 2 displaystyle mathbb R 2 里的某个点P是某两个E displaystyle mathrm E 可作的直线或圆的交点 直线 直线 直线 圆以及圆 圆 就说点P是E displaystyle mathrm E 可作的 这样的定义是基于五个基本步骤得来的 包括了尺规作图中从已知条件得到新元素的五种基本方法 如果将所有E displaystyle mathrm E 尺规可作的点的集合记作s E displaystyle s mathrm E 那么当E displaystyle mathrm E 中包含超过两个点的时候 E displaystyle mathrm E 肯定是s E displaystyle s mathrm E 的真子集 从某个点集E 0 displaystyle mathrm E 0 开始 经过一步能作出的点构成集合E 1 s E displaystyle mathrm E 1 s mathrm E 经过两步能作出的点就是E 2 s E 1 displaystyle mathrm E 2 s mathrm E 1 以此类推 经过n displaystyle n 步能作出的点集就是E n s E n 1 displaystyle mathrm E n s mathrm E n 1 而所有从E displaystyle mathrm E 能尺规作出的点集就是 C E 0 n N E n displaystyle C mathrm E 0 bigcup n in mathbb N mathrm E n 3 521另一个与尺规可作性相关的概念是规矩数 设H displaystyle mathrm H 是从集合E 0 0 0 0 1 displaystyle mathrm E 0 0 0 0 1 开始 尺规可作点的集合 H C E 0 displaystyle mathrm H C mathrm E 0 那么规矩数定义为H displaystyle mathrm H 中的点的横坐标和纵坐标表示的数 定义 实数a displaystyle a 和b displaystyle b 是规矩数当且仅当 a b displaystyle a b 是H displaystyle mathrm H 中的一个点 3 522可以证明 有理数集Q displaystyle mathbb Q 是所有规矩数构成的集合K 的子集 而K displaystyle K 又是实数集R displaystyle mathbb R 的子集 另外 为了在复数集C displaystyle mathbb C 内讨论问题 也会将平面R 2 displaystyle mathbb R 2 看作复平面C displaystyle mathbb C 同时定义一个复数a b i displaystyle a bi 是 复 规矩数当且仅当点 a b displaystyle a b 是H displaystyle mathrm H 中的一个点 所有复规矩数构成的集合L displaystyle L 也包含Q displaystyle mathbb Q 作为子集 并且是复数集C displaystyle mathbb C 的子集 从尺规可作性到解析几何下的规矩数 尺规作图问题从几何问题转成了代数的问题 3 522域的扩张与最小多项式 编辑主条目 域扩张和最小多项式 以集合的观念来说 L displaystyle L 与Q displaystyle mathbb Q C displaystyle mathbb C 之间是子集与包含的关系 以抽象代数的观点来说 可以证明L 是有理数域Q displaystyle mathbb Q 的扩域 是实数域C displaystyle mathbb C 的子域 记作Q L C displaystyle mathbb Q subseteq mathrm L subseteq mathbb C 域是抽象代数中的概念 是能够进行 加减乘除 运算的集合 从单位长度出发 很容易得到任何有理数长度的线段 所以直线OA 也就是实数轴 上所有的有理数坐标的点都是尺规可作点 2 如果平面上还有另一个尺规可作点 对应复数z displaystyle z 那么也能做出任意pz q 的点 甚至于任何形如 P 1 z P 2 z displaystyle frac P 1 z P 2 z dd 的点 其中P 1 displaystyle P 1 和P 2 displaystyle P 2 是两个多项式 有理数域Q displaystyle mathbb Q 和所有因为z 而多出来的尺规可作点仍旧构成一个域 称为Q displaystyle mathbb Q 关于z 的扩张 记作Q z displaystyle mathbb Q z 然而 Q z displaystyle mathbb Q z 中的元素并没有表面上那么 多 一般来说 如果有一个多项式P displaystyle P 使得P z 0 displaystyle P z 0 那么Q z displaystyle mathbb Q z 中的元素都可以写成l 1 l 2 z l d z d 1 displaystyle lambda 1 lambda 2 z ldots lambda d z d 1 的形式 其中d displaystyle d 是P displaystyle P 的阶数 这样的情况称为域Q displaystyle mathbb Q 的有限扩张 因为Q z displaystyle mathbb Q z 可以看成关于Q displaystyle mathbb Q 的有限维线性空间 为了确定这个线性空间的维数 需要为它找一个基底 也就是一个线性无关的最小生成集 为此 寻找使得m z 0 displaystyle m z 0 的多项式中阶数最小的 并称m displaystyle m 是z displaystyle z 最小多项式 在最小多项式确定后 便可确定1 z z d m 1 displaystyle 1 z ldots z d m 1 是Q z displaystyle mathbb Q z 的一个基底 Q z displaystyle mathbb Q z 是一个d m displaystyle d m 维的Q displaystyle mathbb Q 线性空间 d m displaystyle d m 是m displaystyle m 的阶数 4 68 这时候也称d m displaystyle d m 是域扩张Q Q z displaystyle mathbb Q subseteq mathbb Q z 的阶数 记作 Q z Q d m displaystyle mathbb Q z mathbb Q mathrm d m 3 512规矩扩张的阶数 编辑对任何一个尺规可作点 都可以考察它对应的域扩张的阶数 由于每个尺规可作点都是通过五种作图公法的有限次累加得到的 而其中生成新点 也就是新坐标 的只有后三种 所以只需考察这三种步骤得到的新点对应的域扩张的阶数 假设某个时刻 已知的所有尺规可作点构成的域是L 那么生成新点时的直线和圆的系数都在L 里面 直线的方程是 a x b y c 0 a b c L 1 displaystyle ax by c 0 quad a b c in mathrm L qquad qquad cdots 1 圆的方程是 x c 1 2 y c 2 2 r 2 c 1 c 2 r L 2 displaystyle x c 1 2 y c 2 2 r 2 quad c 1 c 2 r in mathrm L qquad qquad cdots 2 无论是两个 1 类方程 两个 2 类方程 还是一个 1 类和一个 2 类方程联立求解 得到的x 和y 值都会是形同 x p 1 q 1 t p 1 q 1 t L y p 2 q 2 t p 2 q 2 L displaystyle begin cases x p 1 q 1 sqrt t amp p 1 q 1 t in mathrm L y p 2 q 2 sqrt t amp p 2 q 2 in mathrm L end cases 的数值 所以复规矩数z x yi 满足一个二次方程 z p 1 p 2 i 2 t q 1 q 2 i 2 displaystyle z p 1 p 2 i 2 t q 1 q 2 i 2 其中的p 1 i p 2 i displaystyle p 1 i p 2 i q 1 q 2 i displaystyle q 1 q 2 i 以及t displaystyle t 都是L displaystyle L 中的元素 3 523 4 78 79 这意味着 域扩张L L z displaystyle L subseteq L z 的阶数最多是2 最小多项式的阶数至多是2 2 这又说明 从L displaystyle L 开始 经过一系列 n displaystyle n 次 基本步骤得到的尺规可作点 代表了n displaystyle n 次域扩张 L L 1 L n displaystyle mathrm L subseteq mathrm L 1 subseteq cdots subseteq mathrm L n 而每次域扩张的阶数 L k L k 1 displaystyle L k L k 1 都不超过2 因此 如果从基本的有理数域出发的话 就能得到如下的定理 3 523 524 2 任何复规矩数z displaystyle z 对应的域扩张Q Q z displaystyle mathbb Q subseteq mathbb Q z 的阶数 Q z Q displaystyle mathbb Q z mathbb Q 都是2的某个幂次 Q z Q 2 s displaystyle mathbb Q z mathbb Q 2 s 其中的s displaystyle s 是某个小于n displaystyle n 的自然数 n displaystyle n 是已知所有有理数坐标点时 作出z displaystyle z 对应的点要经过的基本步骤数目 参考 编辑 王树和 数学演义 科学出版社 P18 ISBN 9787030218377 2 0 2 1 2 2 2 3 曹亮吉 三等分任意角可能吗 原載於科學月刊第九卷第四期 http episte math ntu edu tw 2013 05 28 原始内容存档于2014 06 23 外部链接存在于 publisher 帮助 3 0 3 1 3 2 3 3 3 4 3 5 Warner Modern algebra Courier Dover Publications 1990 ISBN 9780486663418 英语 4 0 4 1 Stewart Ian Galois Theory Chapman and Hall Mathematics 1989 ISBN 0 412 34550 1 英语 取自 https zh wikipedia org w index php title 規矩數 amp oldid 71426158, 维基百科,wiki,书籍,书籍,图书馆,