c++ege为什么直线画不出来_初中篇2|知实数-根号2是无限不循环小数为何能画出来？...

弘毅上了初中后，数学问题越来越多了。

下面这个就是他在初一下学期学到无理数的时候，产生的疑惑。

是无限不循环小数，为何边长为 1 的直角三角形可以画出来？

以下是我的回答。

---

1. 这是心理障碍-毕达哥拉斯

首先

是无限不循环小数与

能通过直角三角形表示出来是两个相互独立的命题，

两者几乎是没有什么关系的。

其次，你别扭的地方是它是

无限不循环下去，感觉很动态，与一个静态的三角形斜边似乎不相符。

你能这么想，那你为啥不怀疑

这个表示本身呢？

即，

,这个数的左边是一个静态的表示，右边是一个动态的表示。

我们说的

能以长度1的等腰直角三角形的斜边的形式表示出来，指的是逻辑层面的意思，不是操作层面的。

如果你纠结的是操作层面的意思，那任何一个无理数你都画不出来，因为你的尺子的精度是有限的。

实际上，不止无理数，连绝大多数的有理数你也照样画不出来。

假设你尺子的精度是60位(这已经是逆天了)，即精确到小数点后60位，那我随便写一个有理数，你肯定也画不出来，只要超过60位小数就好了。
比如

。

所以这跟直角三角形应该没什么关系。

你的问题在于你可能就没有从内心深处真正认同

，你暂时接受，只是限于老师的权威胁迫之下。

事实上，在心理上对无理数有点接受不了是很正常的。

历史上，大概公元前五世纪，毕达哥拉斯，勾股定理(西方叫毕达哥拉斯定理)的发现者，古希腊的哲学家，数学家被追随者认为半神半人，因此被称为“圣人毕达哥拉斯”。

Pythagoras-From Wikipedia, the free encyclopedia

他的一个门徒即学生，因为发现利用毕达哥拉斯定理得到的斜边长度

不等于任何一个目前有的数即有理数，而被其它门徒扔到爱琴海里喂鱼了。

因为他们觉得这很不美，很恶心，严重违背了它们的信仰！

这其实就是一个确定的数啊，只是两种不同的表达方式而已。

你的问题是，你没有真正搞懂无理数的小数表示。

这不是什么该羞愧的事情。因为绝大多数学生，其实都没搞懂。

他们要么不懂装懂，要么成了老师淫威之下的行尸走肉无法独立思考。

可喜的是，你还有一点独立思考的原力在觉醒。

2. 实数的小数表示

要完整回答无理数或者实数的小数表示，其实很困难。

它实际上是数学系的大一课程。

详见我关于此问题的专栏文章：

温欣提市：初中篇1|实数认识与无穷小数的关系1​zhuanlan.zhihu.com

或者我关于类似问题的回答:

为什么0.9的循环等于1?​www.zhihu.com

3. 尺规作图问题

虽然你对问题的表述显得很生猛乱撞，但你实际上抛出了另外一个很有意思的问题。

尺规作图
给你基本长度1，无刻度尺子(用于画直线)，圆规(用于画圆弧)，你能做出的线段长度，是哪些实数？即基本长度1，加上画方画圆，能画出哪些长度的线段？

尺规作图

这个问题就很高深了，这涉及到代数扩域的问题。

估计非数学系的同学一辈子也不会搞懂原因。

定理
尺规作图能画出的线段长度必含在有理数域

的一个扩域

内，且

是通过有理数域

作有限次(比如n次)的2次扩域得到的，故

反过来具有上述性质的扩域

内的任何复数，作为复平面内的点都能通过尺规作图而画出来。

很神奇吧！这个证明属于很平凡的自然过程，学了域，扩域后你就会证。

为什么是2次扩域，根本原因来自直线与圆的方程联立求解，可归结为一个有理系数的一元二次方程的求解。

2次扩域跟这里的二次方程是同一个2.

于是，对任何一个有理数

,

都是可以尺规作图达到的，

当然也不例外。

但是一个很简单的数，

，即2的3次根，就无法尺规作图达到了。

---

多谢关注和点赞，支持原创高质量文章！