|
[分享]又一个不等式,呵呵!
[这个贴子最后由drc2000在 2010/11/24 10:31pm 第 1 次编辑]
下面引用由awei在 2010/11/24 09:02pm 发表的内容:
√2/2 > 2/20 >(2-√2)/18
说明了两无理数之间有有理数,
但当 √2/2 > 2/20,
根据小定理:
那么 √2/2 >(√2+2)/(2+20)> 2/20,
即√2/2 >(√2+2)/(2+20)>(2-√2)/18
而(√2+2)/(2+20)为无理数。
但是也能说明二无理数之间有无理数。 在数学里,
肯定一个问题,需要肯定所有的情形下均成立.
而否定一个问题,只需要存在一个反例就可以了.
比如"素数是奇数"这句话,
3是素数,5是素数,7是素数,....即使举了几百个这样的例子,都不能肯定它的结论.
而"2这个素数不是奇数",只需要一个例子就可以否定这句话
明白了么?
[br][br][color=#990000]-=-=-=-=- 以下内容由 drc2000 在 时添加 -=-=-=-=-
另外,我这里指出的反例,只是说明此“awei...定理”不能够直接说明"二无理数之间必有无理数".
就好象我们不能够直接利用"三角形内角和为180°"来说明"正方形对角线垂直且相等"的道理一样.
并不是说没有其他方法可以说明"二无理数之间必有无理数".
"无理数的稠密性质",你若要解决此问题,恐怕需要用到实数的极限理论或者戴狄金的分割理论,恐怕不是简单的代数分式不等式可以解决的.
建议你去看看几本前苏联的数学分析书的前几章.
|
|