数学的帰納法 の意味 | Babel Free
定義
自然数 n を変数として含む命題に対して、n = 1 に対応する命題が真であることを証明し、さらに、任意の n = k に対応する命題が真であることを仮定した上で n = k + 1 に対応する命題が真であることを証明することにより、元の命題を証明する手法。
例文
“数学的帰納法を用いて、対角行列の m 乗は各対角成分を m 乗した対角行列になることを 2 次正方行列の場合に証明せよ。”
自然数 n を変数として含む命題に対して、n = 1 に対応する命題が真であることを証明し、さらに、任意の n = k に対応する命題が真であることを仮定した上で n = k + 1 に対応する命題が真であることを証明することにより、元の命題を証明する手法。
“数学的帰納法を用いて、対角行列の m 乗は各対角成分を m 乗した対角行列になることを 2 次正方行列の場合に証明せよ。”