添加的内容 删除的内容
(修改自此处;原许可:CC BY-SA 3.0[网站升级迁移]) |
小 (机器人:清理不当的来源、移除无用的模板参数;整理源码) |
||
(未显示3个用户的6个中间版本) | |||
第1行: | 第1行: | ||
{{Numbers}} |
{{Numbers}} |
||
''' |
'''规矩数'''(又称'''可造数''')是指可用[[尺规作图]]方式作出的[[实数]]。在給定[[单位长度]]的情形下,若可以用尺规作图的方式作出长度为<math>a</math>的线段,则<math>a</math>就是规矩数。规矩数的“规”和“矩”分别表示[[圆规]]及[[直尺]],两个尺规作图的重要元素。 |
||
== 和尺 |
== 和尺规作图的关系 == |
||
利用尺 |
利用尺规作图可以将二线段的长度进行[[四则运算]],也可以求出一线段长度的[[平方根]]。<ref>{{Cite book|title=《数学演义》|author=王树和|publisher=科学出版社|ISBN=9787030218377|pages=P18}}</ref>因此符合以下任一条件的均为规矩数。 |
||
* [[整 |
* [[整数]]。 |
||
* 所有[[有理 |
* 所有[[有理数]]。 |
||
* |
* 规矩数<math>a</math>的平方根<math>\sqrt[]{a}</math>、四次方根<math>\sqrt[4]{a}</math>、八次方根<math>\sqrt[8]{a}</math>...等<math>2^{n}</math>次方根。 |
||
* 有限个 |
* 有限个规矩数相[[加法|加]]、相[[減法|減]]、相[[乘法|乘]]、相[[除法|除]](除数[[除以零|不得为0]])的结果。 |
||
如3, <math>\frac{5}{2}</math>,<math>\sqrt[]{3}</math>,<math>\sqrt[4]{7}</math>,<math>\frac{\sqrt{3+\sqrt{5}}}{2}</math> 均 |
如3, <math>\frac{5}{2}</math>,<math>\sqrt[]{3}</math>,<math>\sqrt[4]{7}</math>,<math>\frac{\sqrt{3+\sqrt{5}}}{2}</math> 均为规矩数。而 <math>\sqrt[3]{2}</math>,[[圆周率]]<math>\pi\,</math>,[[E (数学常数)|e]]均不是规矩数。 |
||
因 |
因为两个规矩数在相加、減、乘或除之后依然是规矩数,即规矩数对这些算法是[[闭包 (数学)|封闭]]的;换用[[抽象代数]]的[[术语]],它是一个[[域 (数学)|域]]。 |
||
== 和整 |
== 和整系数方程的关系 == |
||
规矩数一定是[[代数数]](为一整系数[[代数方程]]的解),且以此数为其解的[[最小多项式]]其次数为<math>2^{n}</math>。 |
|||
此 |
此条件为规矩数成立的[[必要条件]]。因此若一个数是[[超越数]](非代数数),或一数对应的[[最小多项式]]为三次、五次,此数必定不是规矩数。 |
||
== |
== 与古希腊三大难题之关系 == |
||
尺规作图三大难题提出 |
尺规作图三大难题提出后,有许多基于平面几何的论证和嘗试,但在十九世纪以前,一直沒有完整的解答,但开始怀疑其可能性的人之中,也沒有人能够证明这样的解法一定不存在。直到十九世纪后,伽罗瓦和阿贝尔开创了以群论来讨论有理系数多项式方程之解的方法,人们才认识到这三个问题的本质<ref name="clj">{{cite web|author=曹亮吉|title=《三等分任意角可能吗?》|url=http://episte.math.ntu.edu.tw/articles/sm/sm_09_04_1/index.html|work=原载于科学月刊第九卷第四期|publisher=http://episte.math.ntu.edu.tw|accessdate=2013-05-28}}</ref>。 |
||
== 尺规可作性和规矩数 == |
== 尺规可作性和规矩数 == |
||
第38行: | 第38行: | ||
== 域的扩张与最小多项式 == |
== 域的扩张与最小多项式 == |
||
{{main|域扩张|最小多项式}} |
{{main|域扩张|最小多项式}} |
||
以集合的观念来说,<math>L</math>与<math>\mathbb{Q}</math>、<math>\mathbb{C}</math>之间是子集与包含的关系。以抽象代数的观点来说,可以证明{{math|L}}是有理数域<math>\mathbb{Q}</math>的扩域,是实数域<math>\mathbb{C}</math>的子域。记作<math>\mathbb{Q} \subseteq \mathrm{L} \subseteq \mathbb{C}</math>。[[域 ( |
以集合的观念来说,<math>L</math>与<math>\mathbb{Q}</math>、<math>\mathbb{C}</math>之间是子集与包含的关系。以抽象代数的观点来说,可以证明{{math|L}}是有理数域<math>\mathbb{Q}</math>的扩域,是实数域<math>\mathbb{C}</math>的子域。记作<math>\mathbb{Q} \subseteq \mathrm{L} \subseteq \mathbb{C}</math>。[[域 (数学)|域]]是抽象代数中的概念,是能够进行“加减乘除”运算的集合。从单位长度出发,很容易得到任何有理数长度的线段,所以直线OA(也就是实数轴)上所有的有理数坐标的点都是尺规可作点<ref name="clj"/>。如果平面上还有另一个尺规可作点(对应复数<math>z</math>),那么也能做出任意{{math|pz+q}}的点,甚至于任何形如: |
||
::<math>\frac{P_1(z)}{P_2(z)}</math> |
::<math>\frac{P_1(z)}{P_2(z)}</math> |
||
第75行: | 第75行: | ||
|refs= |
|refs= |
||
<ref name="Warner">{{cite book|author=Warner|title=''Modern algebra''|year=1990|publisher=Courier Dover Publications|language=en|isbn=9780486663418}}</ref> |
<ref name="Warner">{{cite book|author=Warner|title=''Modern algebra''|year=1990|publisher=Courier Dover Publications|language=en|isbn=9780486663418}}</ref> |
||
<ref name="Stewart">{{cite book | last = Stewart | first = Ian | |
<ref name="Stewart">{{cite book | last = Stewart | first = Ian | | title = ''Galois Theory'' | publisher = Chapman and Hall Mathematics | year = 1989|language=en| isbn = 0-412-34550-1 }}</ref> |
||
}} |
}} |
||
{{reflist}} |
{{reflist}} |
||
[[Category: |
[[Category:实数]] |
||
[[Category:代数数]] |
[[Category:代数数]] |