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



ln(x)取值为超越数的条件是什么? 第1页

  

user avatar   e_galois 网友的相关建议: 
      

先说个不错的结论: 当 为 (文中多值情况不予讨论, 但结论依旧成立)或不为 的代数数时, 都为超越数. 证明将借助下图中的Lindermann-Weierstrass定理(该定理的一个比较初等简短的证明将在文章末尾给出).

Proof. 当时显然. 设 为不为 的代数数, 取主值, 我们用反证法. 如果 不为超越数, 于是

都为代数数. 由 不为超越数知道 必为某一元有理系数多项式

的根, 因而得到

线性相关. Q.E.D.

实际上, 如果借助“当 , 为非有理数的代数数, 则 为超越数”这一广为人知的数论结果的话, 形式上的可判定范围还可以更大, 我们留待读者思考(当然, 如“当且仅当 不为 的代数数次幂时, 为超越数”这样的无赖解法我将不考虑在内).

由于有些人认为问题很没意思或很显然, 我此处写一下问题的难点: 要知道 是有理数, 是超越数(利用欧拉公式 和我前面提到的数论定理), 也是超越数, 所以 是否是超越数并不能由 或 的超越性来简单判断.

补充: Lindermann-Weierstrass定理的证明(书上有些初中二年级时候做的笔迹, 字丑轻喷).









  

相关话题

  非常神奇的数学结论有哪些? 
  如何证明 sin(a+b)=sina·cosb+sinb·cosa? 
  请问这道积分题如何证明? 
  傅里叶级数和傅里叶变换是什么关系? 
  如何计算以下的积分? 
  如何证明有理数加法群不是有限生成群? 
  请问如何把所有自然数均分成三类? 
  剩余类环的所有理想怎么求? 
  数学家们用不等式做什么? 
  如何分配砝码使天平尽可能平衡? 

前一个讨论
Z^n的所有子群怎么求?
下一个讨论
宇宙中最大的钻石能有多大?





© 2025-06-23 - tinynew.org. All Rights Reserved.
© 2025-06-23 - tinynew.org. 保留所有权利