三、整系数线性齐次方程组的整数解

假设(aij)m´ nm´ n整数矩阵,m<n.

Ai=

那末整系数线性齐次方程组

的整数解x1,x2,...,xn满足

式中[ ]表示整数部分.