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



请问贝祖定理(裴蜀定理)除了用辗转相除法还能怎么证? 第1页

  

user avatar   zhai-sen-8 网友的相关建议: 
      

答一个吹水题,一般书上都有的。按如下路径证明:

  1. 先证明 是欧几里得整环(有带余除法)。思路:用良序原理(良序原理可以视作 的定义的一部分)
  2. 再证明 是主理想整环。(所有的欧几里得整环都是主理想整环)对于 而言,思路是:首先可以证明 的理想必含有 。如果非平凡,可以证明必含有正数。设最小的正数是 。然后证明所有 都在理想中,再利用带余除法,所有不是 的倍数的都不会在理想中。所以所有理想都是由一个元素生成的,即主理想。)
  3. 最后证明Bezout定理。(主理想整环上都有Bezout定理)思路是:对于 ,考虑 ,它是理想,故一定是主理想,假设由 生成(不妨设 )。去证明 ,并且所有公因子都整除 。这就证明了 。所以 会有整数解,因为



  

相关话题

  有没有什么可以让自己对数学感兴趣的书? 
  0! = 1,1! = 1,怎么解释 1 ≠ 0? 
  哪些看似与图论无关的问题可用图论模型解决? 
  是否存在无理点不连续、有理点连续的函数? 
  如何简洁地证明二次互反律?有哪些具体应用? 
  在三角形abc中,∠B=90°,点D在边BC上,∠BAD=2∠C,AC=12,DC=8求AB? 
  2.什么是赫姆霍兹定理? 
  全体质数的倒数和是发散的还是收敛的?如果收敛,收敛到多少?(多重问题预警)? 
  a,b,c>0,且abc=1,怎样证明1/√(1+8a)+1/√(1+8b)+1/√(1+8c)≧1? 
  算数差是否数学水平就差? 

前一个讨论
设点集B满足,对任给ε>0,都存在可测集A,使得m*(AΔB)<ε,证明B是可测集,还有什么解法?
下一个讨论
如何证明R^2上的不可数集至少在一点附近局部不可数啊?





© 2025-05-15 - tinynew.org. All Rights Reserved.
© 2025-05-15 - tinynew.org. 保留所有权利