Question

不存在介于实数域与复数域之间的其它任何数域怎么证明？

Answer 1

假设存在，设为，A则R真包含于A，A真包含于C，一定存在a+bi（b不等于0）属于A，c+di（d不等于0）不属于A。

以边长为1厘米的正方形为例，其对角线有多长？在规定的精度下（比如误差小于0.001厘米），总可以用有理数来表示足够精确的测量结果（比如1.414厘米）。

但是，古希腊毕达哥拉斯学派的数学家发现，只使用有理数无法完全精确地表示这条对角线的长度，这彻底地打击了他们的数学理念，他们原以为：任何两条线段（的长度）的比，可以用自然数的比来表示。

发展历史：

在公元前500年左右，以毕达哥拉斯为首的希腊数学家们认识到有理数在几何上不能满足需要，但毕达哥拉斯本身并不承认无理数的存在。 直到17世纪，实数才在欧洲被广泛接受。18世纪，微积分学在实数的基础上发展起来。1871年，德国数学家康托尔第一次提出了实数的严格定义。

根据日常经验，有理数集在数轴上似乎是“稠密”的，于是古人一直认为用有理数即能满足测量上的实际需要。