只是为了方便将两位大佬的文章整合起来

这是一个用来判断一个数是否是超越数的一个定理。定理如下：

设实数

 \alpha ( \alpha\notin Q )

满足，

 \forall n,N\in N^{*} ,

都

 \exists p\in Z,q\in N^{*} 

且

 (p,q)=1 

，使得

 \left| \alpha-

\frac{p}{q}\right|