講師向けガイド · 授業の準備
整数の証明：すべての場合・係数と反例の観察記録
MomentDesk · https://momentdesk.com/ja/help/tutor/integer-cases-witnesses-proof-and-counterexample-record/
式の最終値と、生徒が全整数を尽くす根拠を示したことを分けます。0や負を含む整数係数・余りの範囲、一般証明・逆の反例と少数の検算を、講師の見本や支援と分けて紙や授業用ボードへ手動記録します。
高校の数学Ａで整数の条件・証明を扱う講師向け。中学の文字式・偶奇・因数分解と、整数の倍数や非負の余りを先に確認します。
得られる結果
場合の漏れ・整数性の欠落・不適切な一般化を、生徒が書いた式と計算過程と反例の前提/結論へ戻して区別できます。
操作手順
任意の整数と、有限の検算を分ける
生徒が何を全ての整数について示したか、除数と係数の条件を確認します。成功した少数例だけで一般証明とせず、すべての場合・因数や整数の係数の根拠へ戻します。
紙や授業用ボードへ写す12項目
生徒が対象とする任意の整数と除数：[ ] 生徒の整数の係数・範囲と0/負の扱い：[ ] すべての場合を尽くした分類とその根拠：[ ] 生徒の各場合の展開・因数と整数性：[ ] 非負で除数未満の余りへの検算：[ ] 一般の証明と少数の代入の区別：[ ] 生徒の主張の向き・逆と両方向：[ ] 生徒が作った反例の具体値：[ ] 反例が前提の全ての条件を満たすことの確認：[ ] 反例が結論を破る具体計算：[ ] 講師の見本・支援と生徒の判断・未確認：[ ] 生徒の別の条件・式と理由への戻り：[ ]
作例A：倍数の係数を一般の式に戻す
見本はu=7p,v=7qで3u−5v=7(3p−5q)。p,qが整数なので括弧内も整数です。表のp=−2,q=3なら−147、p=0,q=−1なら35。生徒の別の係数・式と計算過程と、見本を写したことを分けます。
作例B：全二場合から平方の余りを見る
見本はnが偶数2kならn²=4k²、奇数2k+1ならn²=4(k²+k)+1なので、n²を4で割った余りは0または1。kは負も含みます。生徒が別の除数で調べたすべての場合と、余りの範囲を確認します。
作例C：真の条件と反例の前提を分ける
見本はn=4p=5qならn=20(p−q)。一方4と6の倍数だから24の倍数という主張にはn=12が反例です。生徒の別の条件で、一般式と反例の前提・結論を別々に確かめます。
作例D：別の十進表示の差を独立に見る
別の見本638ではS=6−3+8=11、638−11=627=11×57なので638=11×58です。一般にはN−(a−b+c)=11(9a+b)。ボードC5の935/936とは別の数で、生徒の両方向の証明と二数の検算を見ます。
作例E：別の係数と逆の反例を見る
別の見本d=11,a=4,b=−5,u=−22,v=11ならau+bv=−143=11×(−13)。逆の反例u=6,v=−4では24+20=44は11の倍数ですが両方とも11の倍数ではありません。ボードC8とは別の条件で、生徒が書いた式と計算過程と各条件へ戻します。
別証明と未確認へ戻る
正しい別証明・反例や整数表示を認め、特定の記法だけを要求しません。生徒が実際に示したすべての場合、整数性と前提/結論、講師の見本・支援やまだ確かめていない条件を分けます。
知っておきたいこと
- 現行数学Ａ(3)と内容の取扱い(4)を踏まえた独自活動です。選択的履修を踏まえ、旧課程の独立必修単元・固定学年・試験全範囲への対応とはしません。
- 除数は正で、倍数の係数は整数、余りは非負で除数未満です。0や負を扱えることと、余りを負にすることを混ぜません。
- 表の線と文字は編集できますが式は自動生成・再計算されません。12項目は紙や既存ボードへ写し、自由証明の自動採点や観察欄の自動保存を示すものではありません。
- 実際の生徒との授業での試用・学習効果は未確認です。有限の検算、一般証明、生徒の判断と講師の支援を分けます。