非齐次丢番图逼近论文