高校数学の質問スレPart405

「a,bを互いに素な自然数とするとき、ab+1 以上の整数 n は、すべて

n=ax+by (x,y∈N)

の形で表せる。またこの形で表せない自然数は

ab-{(a-1)(b-1)/2}={(a+1)(b+1)/2}-1 (個)

あり、その最小値は ab である。」

この定理の証明をお願いします。m(_ _)m