不定方程ax+by+cz=n的非负整数解的存在性问题的若干定理

书1]中指出:“命a,b,c为三正整数,且(a,b,c)=1,求最大之整数不可由ax+by+cz(x≥0,y≥0,z≥0)表出者。此乃一未经解决之问题。” 这一问题的解决,与系数a,b,c都为正整数的不定方程 (1) ax+by+cz=n的非负整数解的存在性问题有密切的联系。 本文将使后一问题在大多数情形下得到解决,从而得到前一问题的部分结果。为此,我们需要用到下面的 引理 设(a,b)=1,a>0,b>0,n≥0,那么方程 (2) ax+by=n有非负整数解的充要条件是n≠ab-ka-ιb,这里k>0,0<ι≤a是整数。 (限制0<ι≤a只是为了使表示法ab-ka-ιb是唯一的,下面,我们总是假定有这个限制)。