线性丢番图方程