20/08/27 03:08:10.35 MGNmMRXt.net
>>904
ああ、書き方は確かに良くなかったね
小中学校スレでは難しいかと思って
正確には以下のようになる
与えられた整数 a および正の整数 b に対し、
a = bq + r かつ 0 ≦ r < b
を満たす整数 q および整数 r が一意的に存在する。
（除法の原理）
このとき、 q を「 a を b で割った商」といい、
r を「 a を b で割った余り」という。
存在の証明は、ガウス記号 [] を使って q = [a/b], r = a - bq とすれば良い。
一意性の証明は容易にできる。