数学Ⅰでは「命題と論証」,数学Ａでは「整数の性質」を扱う。命題と証明では「対偶を利用する証明」や「背理法」という証明方法を扱うが，その題材は整数に関わるものが多い。東書数学Ａでは整数の性質において，発展として｢合同式｣が扱ってあるが，この合同式を活用すれば，整数に関わる証明を簡潔に思考できたり，記述できたりする。　本稿では，教科書の例題等で扱われている対偶を利用する証明や背理法を，合同式を用いて行えばどのようになるか，また，それを通じて合同式のよさを生徒に実感させるような考察をする。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。会員向け無償ダウンロードはこちら→https://ten.tokyo-shoseki.co.jp/login/newenter.php?wurl=/detail/40776/

山口県立高森高等学校教諭　西元教善

命題「Ｎ＞10001ならばＮ＞10000」は真である。しかし，その逆「Ｎ＞10000ならばＮ＞10001」は偽である。しかし，log103＝0.4771とするとき，３ｎ＞10001を満たす自然数ｎを求める問題では，３ｎ＞10000を解いて求める。問題集にあるそのような解答を見てその解法に疑問を持った生徒がいた。確かに「３ｎ＞10001を満たす自然数 n は，３ｎ＞10000を満たす。」というのであれば納得できるが，「３ｎ＞10000を満たす自然数nは，３ｎ＞10001を満たす。」というのは即座には納得しがたいというのである。　本稿では，この問題について生徒に納得がいくような説明と一般的な考察をする。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→無償ダウンロードのご案内

山口県立高森高等学校教諭　西元教善

背理法は証明に際し，「その命題が成り立たないと仮定して，論理・数学的な展開をすると，矛盾が生じる。その矛盾はその命題が成り立たないという仮定に起因するから，その仮定は棄却される。つまり，その命題は成り立つ。」という論法であり，「矛盾の出所」を見つけなければならない。本稿では，その矛盾の出所を踏まえて，背理法を考察する。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→http://ten.tokyo-shoseki.co.jp/downloadfr1/htm/cms68851.htm

山口県立岩国高等学校教諭　西元教善

実数の範囲に関わる集合や論理の問題については，数直線上に表すことで，解決の糸口が見えてくる。何より，視覚的に納得，処理できるという点がメリットである。本稿では，そのような問題について，生徒に解かせてみた問題を紹介する。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→http://ten.tokyo-shoseki.co.jp/downloadfr1/htm/cms68851.htm

山口県立岩国高等学校教諭　西元教善

命題 ｐ⇔ｑ を証明するには、ｐ⇒ｑ と、ｑ⇒ｐ の両方を証明すればよいのですが、ｐから出発して同値変形を繰り返して、ｐ⇔ｒ⇔ｓ⇔ ・・・・・・ ⇔ｕ⇔ｖ⇔ｑ のように証明することができれば、あざやかに見えるでしょう。筆者は、このような同値変形にこだわって、いくつかの問題を提供してくれました。

開成高等学校教諭　木部陽一

数学Aで扱う｢命題と論理｣の中に，｢必要条件｣｢十分条件｣というのがある。日常でも使うことがあるので，わかりやすい概念かと思えば，必ずしもそうではないようである。なぜ，これをあれの必要条件というのか，またはこれをあれの十分条件というのか，｢必要｣｢十分｣という言葉の意味が数学用語の｢必要条件｣｢十分条件｣と密着していないようである。　生徒にとって｢必要条件｣｢十分条件｣がなぜわかりにくいか，その一因に｢なぜ｢必要条件｣というのか」，｢なぜ｢十分条件｣というのか｣，そこに｢必要｣｢十分｣という言葉の意味が反映された定義がされていないからではないかと思う。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→無償ダウンロードのご案内

山口県立岩国高等学校教諭　西元教善

『素数は無限個存在する』の証明をユークリットに従って背理法で証明し，その発展問題も提示，解説している。

東京都立国分寺高等学校　赤荻進一

「解法は１通りではない」－数学の別解づくりを考えよう－稲永善数―平成15年4月作成より。数学では，ある条件のもとで同値なものを証明してしまうと，最初の「定義」に戻って証明する必要がなくなる。例えば，命題 D から命題 A を示すのは難しい。このようなとき，命題 A, 命題 B，命題 C が同値であるなら，命題 D から，命題 B や命題 C を証明すれば，命題 A を示したことになる。お母さんに言えば，お父さんに頼んだことになるのと同じ道理である。

稲永善数

マーク式の問題を解かせてみると，「よって」とか「したがって」とかの接続詞がなく，解答が式の羅列になっていることがある。２０年近くも前，前任校でマーク問題を解かせ，机間巡視をしたときに，全員が式だけを書き，誰一人「よって」も「したがって」も書いていなかったときには驚嘆したものである。本稿では，証明や解答で根拠，そこから始まる論理的な推論，その帰結である結果を示すときに使われる言葉－よって，したがって，ゆえに，等－について，教科書での取扱いを中心に考察する。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→無償ダウンロードのご案内

山口県立岩国高等学校教諭　西元教善

集合•論理は、それが分からなくても他の領域に大きな影響を与えないとの思いから軽く扱ってきたが、近年は理解する生徒の減少を肌で感じるようになり抜本的な改善に迫られてきたのでその実践を報告したい。

埼玉県立豊岡高等学校　五十嵐英男

授業で扱う定理の証明についての考察として，√2が無理数であることと，極座標による面積公式の２つを紹介している。

開成高等学校　木部陽一

数学Ⅰで｢論証｣を扱う。｢論証｣の中で命題の真偽を扱い，｢真｣の場合には｢証明｣をして真であると言い，｢偽｣の場合には｢反例｣を挙げて偽ということを学ばせる。命題 ｢ｐ⇒ｑ｣の反例とは｢仮定 ｐを満たすが結論 ｑ は満たさない｣という例のことである。反例は１つだけとは限らない。２つの変数の命題の真偽はｘｙ平面に仮定の真理集合Ｐと結論の真理集合Ｑを領域として図示し，視覚的な判断からＰ⊂Ｑが言えればこの命題は真であり，Ｐ⊄Ｑつまり ∈Ｐであるが ∉Ｑ である点があれば，これが反例となって，この命題は偽となる。しかし，このことについては数学Ⅰで命題の真偽を扱うときには扱っていない。数学Ⅱの図形と方程式の中の軌跡と領域の中で｢領域を利用した証明｣として扱ってある。しかも教科書の例題で扱ってあるのは真の場合だけである。偽の場合も扱い，仮定の真理集合の結論の真理集合からのはみ出し部分はすべて反例であることに言及するようになっていれば，数学Ⅰでの命題の真偽がよりわかりやすいものになるのではないかと思う。本稿では，２変数の命題でそれが偽になる場合について，数学Ⅱの図形と方程式の中の軌跡と領域の中で｢領域を利用した証明｣と連携して考察する。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。会員向け無償ダウンロードはこちら→https://ten.tokyo-shoseki.co.jp/login/newenter.php?wurl=/detail/40776/

山口県立高森高等学校　西元教善

かつて旧課程の時代に、数学Ⅰの２次方程式の理論で「判別式」という用語が使えなかったため、苦慮された先生方も少なくないのではないだろうか。数学的概念を適切に表現する用語や記号が使えなくなると、かえってわかりにくさや使いづらさが増大するのが常である。本稿では、用語や記号の記載について、教科書内容に関する要望をいくつか申し上げさせて頂きたい。※文中の数式は、「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには、「Tosho数式エディタ」が導入されていることが必要です。会員向け無償ダウンロードはこちら

山口県立光高等学校　西元教善

拙稿「素因数分解の一意性について ～ 一意性をもっと前面に出そう ～ 」で整数の性質を指導する際に｢素因数分解の一意性｣をもっと前面に出したらどうであろうかという提案をした。というのは，これは整数の重要な性質であるからである。教科書に載っている証明問題を「素因数分解の一意性」を用いるとどのようにできるのか，前稿では触れなかった問題に焦点を当ててみたい。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→無償ダウンロードのご案内

山口県立高森高等学校教諭　西元教善

連続する２つの整数は、一方は奇数で他方は偶数であるからその積は偶数、つまり２の倍数である。すると、連続する３つの整数は連続する２つの整数の積が２の倍数であり、３つの整数のうち一つは３の倍数であり、２と３が互いに素であることから２×３＝６の倍数になる。２＝２！，６＝３！であるから、ｎ＝２，３のときには連続するｎ個の整数の積はｎ！の倍数であるといえる。　では、一般に２以上のすべての整数に対して連続するｎ個の整数の積がｎ!の倍数といえるのかということが問題になる。本稿では、このことについて考察する。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→無償ダウンロードのご案内

山口県立岩国高等学校教諭　西元教善

必要条件・十分条件について問う問題は，センター試験ではよく出題される。条件がいくつか与えられ，それらについて「ｐ⇒ｑ」とか，「ｐかつｑ⇒ｒまたはｓ」などの命題について，⓪　必要十分条件である，①必要条件であるが，十分条件ではない，②十分条件であるが必要条件ではない，③必要条件でも十分条件でもない,を答えさせるというものである。本稿では，必要条件・十分条件についての問題が十分にはわかっていない生徒が質問に来て，「目から鱗が取れた」といって納得した指導例を紹介する。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→無償ダウンロードのご案内

山口県立岩国高等学校教諭　西元教善

必要条件と十分条件について，イラストをまじえて分かりやすく解説する。

北海道札幌東陵高等学校　前田勝利

数学Ａの「論証」で「背理法」を扱います。それは,ある命題を証明するときの１つの方法として，「その命題が成り立たないと仮定すると矛盾が生じることから，その命題は成り立たなければならない」というものですが，どんな矛盾が生じるのかは命題によって異なります。　仮定に反する場合もあれば，それまでに認められている数学的事実に矛盾する場合もあります。単に「矛盾が生じる」といっても生徒には「どんな矛盾が生じるか」という予備知識がない，あるいは明確に意識されていないことがあります。これでは，背理法で証明するといってもその意味がわかりにくいのではないでしょうか。何となく論理的に展開していけば矛盾に行き当たることもあるでしょうが，代表的な「矛盾の例」を事前に提示しておくと理解しやすいのではないかと思います。本稿は代表的な矛盾の例を中心に考察したものです。※文中の数式は，「Tosho数式エディタ」で作成されています。ワード文書で数式を正しく表示するためには，「Tosho数式エディタ」が導入されていることが必要です。無償ダウンロードはこちら→無償ダウンロードのご案内

山口県立岩国高等学校教諭　西元教善

やや大げさなタイトルを掲げたが， 定期テスト後にテスト範囲の復習を兼ねて， 関連する整数問題を取り扱うことを試みている。大学受験対策を考慮すると， 高校３ 年間のうちのどこかで整数問題を取り扱う必要性はあるものの， 現行の学習指導要領においてはどの時期にどのような形でどの程度取り扱うのが適当なのかはよくわからない。平成２ ４ 年度から先行実施される数学科の新学習指導要領『数学Ａ 』では， 選択ではあるものの， 正式に“整数” が取り扱われることとなる。それに先駆けて， 整数問題を１ 年次から徐々に取り扱っていく方針で取り組みはじめたところである。

宮崎県立宮崎西高等学校　陶山宜浩

私は，多くの数学教員が考えるように，「生徒はどう考えるだろうか」ということを気にしています。その中で私がこだわっていることを二つ，ここで紹介します。

麻布高等学校　重田大輔

３時間半の中で１題40点の設問を合計5題解く(200点満点)という形式になっている北海道高等学校数学コンテストの問題の中の１つ。問題のキーワード：［合同なn角形、背理法　他］

北海道算数数学教育会高校部会代数解析研究会

センター試験数学過去問題集。2013年度追試験(数学ⅠＡ)第1問[2]。この資料は，東京書籍の数学教科書の目次に準拠して，センター試験問題を分類したものです。データは問題と解答で構成されています。

東京書籍（株）

センター試験数学過去問題集。2014年度追試験(数学I・A)第1問[2]。この資料は，東京書籍の数学教科書の目次に準拠して，センター試験問題を分類したものです。データは問題と解答で構成されています。

東京書籍（株）　数学編集部

センター試験数学過去問題集。2015年度本試験(数学I)第1問[2]。この資料は，東京書籍の数学教科書の目次に準拠して，センター試験問題を分類したものです。データは問題と解答で構成されています。

東京書籍（株）　数学編集部

センター試験数学過去問題集。2015年度本試験(数学I・A)第2問[1]。この資料は，東京書籍の数学教科書の目次に準拠して，センター試験問題を分類したものです。データは問題と解答で構成されています。

東京書籍（株）　数学編集部

センター試験数学過去問題集。2015年度本試験(旧課程数学I・A)第１問[2]。この資料は，東京書籍の数学教科書の目次に準拠して，センター試験問題を分類したものです。データは問題と解答で構成されています。

東京書籍（株）　数学編集部

教科書「数学１」「数学Ａ」（2001年度版）準拠。10分間テスト。１ページ目がテスト問題，２ページ目が解答になっています。基礎計算の徹底と確認テスト。

東京書籍（株）　数学編集部

教科書「数学１」「数学Ａ」（2001年度版）準拠。10分間テスト。１ページ目がテスト問題，２ページ目が解答になっています。基礎計算の徹底と確認テスト。

東京書籍（株）　数学編集部

H20 センター試験 教科書数学Ａ・３章、論証　１節　命題と論証　１　命題の条件。

東京書籍（株）　数学編集部

センター試験「高校数学」過去問題集。2009年本試験（数学I・Ａ）第1問[2]内容：この資料全体は，東京書籍の数学教科書の目次に準拠して，2000年から2011年までのセンター試験問題を分類したものです。この資料は，そのなかの１問題です。データは問題と解答で構成されています。※コピーして，授業でご利用ください。

東京書籍株式会社　数学編集部

センター試験「高校数学」過去問題集。2009年追試験（数学I・Ａ）第1問[2]内容：この資料全体は，東京書籍の数学教科書の目次に準拠して，2000年から2011年までのセンター試験問題を分類したものです。この資料は，そのなかの１問題です。データは問題と解答で構成されています。※コピーして，授業でご利用ください。

東京書籍株式会社　数学編集部

センター試験「高校数学」過去問題集。2011年本試験（数学I・Ａ）第1問[2]内容：この資料全体は，東京書籍の数学教科書の目次に準拠して，2000年から2011年までのセンター試験問題を分類したものです。この資料は，そのなかの１問題です。データは問題と解答で構成されています。※コピーして，授業でご利用ください。

東京書籍株式会社　数学編集部

センター試験数学過去問題集。2012年度本試験（数学ⅠＡ) 第1問[2]この資料は、東京書籍の数学教科書の目次に準拠して、センター試験問題を分類したものです。データは問題と解答で構成されています。

東書Eネット事務局

センター試験数学過去問題集。2010年度追試験（数学ⅠＡ) 第1問[1]この資料は、東京書籍の数学教科書の目次に準拠して、センター試験問題を分類したものです。データは問題と解答で構成されています。

東書Eネット事務局

センター試験数学過去問題集。2010年度追試験（数学ⅠＡ) 第1問[2]この資料は、東京書籍の数学教科書の目次に準拠して、センター試験問題を分類したものです。データは問題と解答で構成されています。

東書Eネット事務局

センター試験数学過去問題集。2012年度追試験(数学ⅠＡ)第1問[2]。この資料は，東京書籍の数学教科書の目次に準拠して，センター試験問題を分類したものです。データは問題と解答で構成されています。

東京書籍（株）　数学編集部

センター試験数学過去問題集。2013年度本試験(数学ⅠＡ)第1問[2]。この資料は，東京書籍の数学教科書の目次に準拠して，センター試験問題を分類したものです。データは問題と解答で構成されています。

東京書籍（株）　数学編集部

ニューサポート高校「数学」vol.19　特集：集中連載　先輩，ここどげん教えると？Part 1（2013年春号）より。「高校数学を横に切る！」「“ドキッ”とする生徒からの質問集」に継いで，久しぶりの本稿掲載になります。

九州数学シンクタンクグループ

センター試験数学過去問題集。2012年度本試験（数学ⅠＡ) 第1問[1]この資料は、東京書籍の数学教科書の目次に準拠して、センター試験問題を分類したものです。データは問題と解答で構成されています。

東書Eネット事務局

センター試験「高校数学」過去問題集。2009年本試験（数学I・Ａ）第1問[1]内容：この資料全体は，東京書籍の数学教科書の目次に準拠して，2000年から2011年までのセンター試験問題を分類したものです。この資料は，そのなかの１問題です。データは問題と解答で構成されています。※コピーして，授業でご利用ください。

東京書籍株式会社　数学編集部

センター試験「高校数学」過去問題集。2011年本試験（数学I・Ａ）第1問[1]内容：この資料全体は，東京書籍の数学教科書の目次に準拠して，2000年から2011年までのセンター試験問題を分類したものです。この資料は，そのなかの１問題です。データは問題と解答で構成されています。※コピーして，授業でご利用ください。

東京書籍株式会社　数学編集部

センター試験「高校数学」過去問題集。2010年本試験（数学I・Ａ）第1問[1]内容：この資料全体は，東京書籍の数学教科書の目次に準拠して，2000年から2011年までのセンター試験問題を分類したものです。この資料は，そのなかの１問題です。データは問題と解答で構成されています。※コピーして，授業でご利用ください。

東京書籍株式会社　数学編集部