1

非負の整数解の個数

41
0
$$$$

$2 \lt p \lt q $で,$p , q $は互いに素であるとする.
$x , y$は非負の整数,$N$は正の整数とする.
$px+qy \leqq pqN$
をみたす整数の組$(x , y)$の個数を数える

$r=0 , 1 , \cdots,p-1 $$s=0,1,\cdots,q-1$で,
$x=qX+r , y=pY+s$
とおくと,
$$X+Y \leqq N-( \frac{r}{q}+ \frac{s}{p} )$$
$(r,s)=(0,0)$のときに限って,
$$X+Y \leqq N$$
これ以外は,
$$0 \lt \frac{r}{q}+ \frac{s}{p} \lt1 , 1 \lt \frac{r}{q}+ \frac{s}{p} \lt2 $$
のとき.
$s=s' \gt 0$のとき,$$ 1 \lt \frac{r}{q}+ \frac{s'}{p} \lt2 $$
のときを考えると,
$$0 \lt \frac{k-1}{q}+ \frac{s'}{p} \lt1\lt \frac{k}{q}+ \frac{s'}{p} \lt2 $$
をみたす$k$が存在するので,$r=k, \cdots,q-1 $$q-k$個.
$s=p-s' \gt 0$のとき,
$$0 \lt \frac{q-k}{q}+ \frac{p-s'}{p} \lt 1 \lt \frac{q-k+1}{q}+ \frac{p-s'}{p} \lt2 $$
をみたす$k$が存在するので,$r=k, \cdots,q-1 $$k-1$個.
$s=s',p-s'$のとき合わせて,$q-k+(k-1)=q-1$個あるので,
$s=1,2, \cdots ,p-1$$p-1$個を渡って,和をとると,
$$\frac{(p-1)(q-1)}{2}$$
以上から,
$X+Y \leqq N$のとき,1個
$X+Y \leqq N-2$のとき,$ \frac{(p-1)(q-1)}{2}=m$
$X+Y \leqq N-1$のとき,$ pq-m-1$
和をとると,
$$ {}_{N+2} \mathrm{ C }_2+{(pq-m-1)}{}_{N+1} \mathrm{ C }_2+m{}_{N} \mathrm{ C }_2 $$
$$= \frac{pqN^2+(p+q+1)N+2}{2} $$

投稿日:5日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中