|
|

楼主 |
发表于 2009-6-13 23:48
|
显示全部楼层
数学是什么?
|
回1016楼本人的帖子。
注记[1]
假定 n+1 不是完全平方数,令 m = [√(n+1)], 则
√(n+1) > m .......(*)
若 n < m^2, 则 n+1 <= m^2 从而 √(n+1) <=m 这与(*)矛盾。
所以 n >= m^2 从而 √n >= m, 于是
m <= [√n] <= [√(n+1)] = m 即 [√(n+1)]-[√n] = 0
注记[2]
正数(包括正整数)的任意次算术根的作为实数的存在问题其实已经不是有限构造可以解决的。
1016楼提供了如何用实数的连续性的一个等价定理(单调有界序列必有极限)来证明其存在性(相对于实数系)。只要 a 及 r_1是有理数,{r_n} 就是一个逼近所论算术根的有理数序列! 我在这里只是把 Rudin “数学分析原理” 中的一道习题做出来,稍加解释而已。
数学理论的相关性就是这么密切。那些只会喊“永远达不到”的人跟数学的丰富和严谨无缘啊。
|
|