代数, VII, p. 50
\*(闵可夫斯基的定理)如果a、b、c、d分别为实数和D=acbd,则不等式∣na+mb∣≤A,∣nc+md∣≤B有非零的整数解(n,m)如果A>0,B>0,D>0和AB≥D,这样的解在数中是有限的(考虑由(a,c)和(b,d)生成的R2的离散子群G,并表明由关系0≤x≤A,0≤y≤B定义的矩形E,其面积大于在向量上构造的平行四边形的面积) (a,c) 和 (b,d)、包含两个不同的向量同余 mod G;通过矛盾论证,注意到否则通过平移 (ha+kb,hc+kd) 从 E 获得的 p2 矩形,其中 0≤h<p 和 0≤k<p 将成对不相交的)。