Journey of Proof

摘要： 先给出一个定理的证明及其迭代路径，之后再考虑考虑怎么引出其背景。 (带余除法)给定正整数 \(a\) 和 \(b\)，\(b \neq 0\)，存在唯一的整数\(q\)和\(r\)，满足\(0 \le r < b\)，使得 \[a = bq + r. \]证明:考虑整数集合\(S=\{a-bt\}\ 阅读全文