DAY 16 除法の原理
今回は題について学習した。
以下の証明についてはこのサイトを参考にした。
証明
(のかたちで書けること)
となるような整数の集合をとすると最小の要素が存在(ここは厳密にやる場合証明の必要があるが高校範囲を逸脱するので触れない)するからそれをとすると
qは最小の要素であるからq-1はAの要素ではない。
したがって
ここまでのことをまとめると
いまとすると先の不等式から
したがって条件を満たすの存在が確かめられた。
(一意性)
とふた通りに書けたとすると
となる。
から明らかに
よってbは自然数であるから
すなわち
は整数であるから
すなわち
同様にであるからr,qがただ一つに定まることが示された。
除法の原理といっても高校範囲では証明のしようがないので原理といっているだけで所謂公理ではない。 除法の原理におけるqを商、rを剰余(余り)という。
例題
aを3で割ると2あまり、bを5で割ると2余る。このとき5a+3bを15で割ったときの余りを求めよ。(チャート式 改)
定理1よりとなる整数が存在する。
よって
したがって余りは1である。
以上である。
今日の勉強時間
- 数学その他(ネット等):2時間
合計:2時間