（数学A，数学B）
「ツチノコの存在を証明しろ」と言われたら，どうすればいいか。
…それは簡単，ツチノコを捕まえて連れてくればOK！
ここで，数学Aの「整数の性質」で登場した「整数の割り算」について見てみます。
一般に，次のことが成り立つ。
整数\(a\)と正の整数\(b\)について\[a=qb+r,~0\leq r < b\]となる整数\(q,r\)はただ\(1\)通りに定まる。
『高等学校 数学A』数研出版
「定まる」とは要は「存在する」ということですが，いずれにせよ初めて学んだときは感覚的に当たり前すぎて疑問にすら思わなかったと思います。しかし，いざこれを証明しろと言われたらどうしたらいいでしょう…？
ずばり，実際にもってこよう！（以下では簡単のために\(a\geq 0\)とし，また一意性の部分はカットします）
\[a=qb+r,~0\leq r < b\tag{\(\ast\)}\]を満たす整数\(q,r\)が存在することを示せ．
証明
\(b(>0)\)を固定して，任意の\(a(\geq 0)\)について主張が成り立つことが示せればよい．
\(a < b\)であるとき：
\(q=0,r=a\)とすればよい．
\((0 <)b \leq a\)であるとき：
数学的帰納法で示す．\(a\)より小さい非負の整数で主張が成り立つとする．\(b>0\)より\(b \leq a \Leftrightarrow 0 \leq a-b (< a)\)であるから，\(a-b\)は\(a\)より小さい非負の整数である．したがって仮定により，\begin{align*}
&\exists q^{\prime},r^{\prime}\in \mathbb{Z}[a-b = q^{\prime}b+r^{\prime},0 \leq r^{\prime} \leq b]\\
\Longleftrightarrow~&\exists q^{\prime},r^{\prime}\in \mathbb{Z}[a = (q^{\prime}+1)b+r^{\prime},0 \leq r^{\prime} \leq b]
\end{align*}よって\((\ast)\)を満たす\(q,r\)として\(q=q^{\prime}+1,~r=r^{\prime}\)ととればよい．
これで，\(a\)より小さい非負の整数で主張が成り立てば，\(a\)でも主張が成り立つことが分かった．
\(a=0\)のときは，\(q=0,r=0\)とすればよい．
以上により任意の\(a(\geq 0)\)に対して\((\ast)\)を満たす\(q,r \in \mathbb{Z}\)が存在することが示せた．
証明終
現物もってくれば文句ないだろっていう。
こんなところで数学Bで学んだ（学ぶ）数学的帰納法が登場するのも面白いですね。しかも直前の番号のみを仮定する教科書の定番タイプではなく，直前以前の番号すべてを仮定するタイプの帰納法です。
パズルみたいな学校数学もまあまあ面白いけど，個人的にはこういう緻密な調査の方がすきだなあ。点数にならないけど。
