一组丢番图不等式

命K为一个次数为2r的全复代数数域。当γ∈K,我们用γ~((i))(1≤i≤2r)表示γ的共轭。命γ_i(1≤i≤2r)为K中的数及x_i(1≤i≤2r)为实数。我们置与。注意ξ可以不属于K及ξ~((i))并非ξ的共轭。我们引用记号