百科问答小站 logo
百科问答小站 font logo



根号素数的有限组合是否一定是无理数? 第1页

  

user avatar    网友的相关建议: 
      

设p1,p2,…,pn是素数,那么sqrt{p1}+…+sqrt{pn}就是某个Q-线性空间(其基至少比1,sqrt{p1},…,sqrt{pn}要多)中的元素。由表示唯一性,它不可能属于Q。

当然这也要用到前面那位大佬的结论,其实证明就是在说:x^2-pn就是sqrt{pn}在Q[sqrt{p1},…,sqrt{pn-1}]中的极小多项式。域扩张只会降低极小多项式的次数,如果再降的话只能是1次的了,这就是说1,sqrt{p1},…,sqrt{pn}是Q-线性相关的,而这不可能。看你是否能承认这个前提了。


user avatar   inversioner 网友的相关建议: 
      

该问题事实上就是 在有理数域上线性无关的问题,我们用初等方法来解决。

一般化求解:对于 个两两互素的非完全平方正整数 ,必有 ,其中 表示以 为变量的有理系数多项式的集合。

首先, 是一个域,即关于四则运算封闭的集合。加减乘封闭性是平凡的;而除法运算封闭性可由归纳法证明,这里略去细节。


下面对 归纳证明命题。

时,问题等价于证明没有有理数 满足 。这可以由简单的平方证明之。

假设定理对于 成立,考虑 的情形。

显而易见,对于任意的正整数 ,以及任意的 ,存在 使得 。

若 则可以令 。下考虑三种情形。

1.若存在 使得 ,则有 。这与归纳假设矛盾。
2.若存在 使得 ,则平方可得 。由前述封闭性知 ,与归纳假设矛盾。
3.以上结果说明,对于任意 ,有 。下面只要证明存在有理数 使得 。(由两两互素得到矛盾)令 得到 。由 的定义可知 ,其中 。代入并变形可得 。这与 的归属矛盾,除非 。故有 。重复此过程即可得 。

证毕。

(PS:似乎当根式次数不为2时这个证明就失效了。求一个一般化的证明)




  

相关话题

  有哪些神奇的级数求和? 
  985工科毕业生想跨考基础数学,是理性伟大还是自负骄傲(中二病)? 
  9.99循环这个数存不存在,如果存在,那么它是整数还是无限循环小数? 
  做学术需要搞清楚高级计量经济学里全部的数学原理吗? 
  在有界闭区域上连续的多元函数一定有最大值和最小值是否正确? 
  关于微积分,牛顿和莱布尼茨的工作各有什么缺陷? 
  问一道概率题? 
  如何评价由杨振宁Atiyah等众多领域泰斗编著的《拓扑和物理》? 有哪些阅读收获? 
  最优控制(optimal control)与最优化(optimization)有什么区别? 
  有没有哪个素数可以以多种方式写成两个正整数的平方和? 

前一个讨论
与1相邻的实数存在吗?
下一个讨论
真的有人把看书当做兴趣吗?





© 2025-03-29 - tinynew.org. All Rights Reserved.
© 2025-03-29 - tinynew.org. 保留所有权利