背理法とは?高校数学の背理法の例を用いて問題をわかりやすく解説

みなさん、こんにちは。高校数学ⅠAのコーナーです。今回のテーマは【背理法】です。

 

たなかくん
たなかくん
背理法の問題の解き方が分からない…。背理法と対偶って違うの?


 

たかしくんのように背理法の問題につまづいてしまった人も多いはず。背理法は、「無理数であることの証明」によくつかわれます。背理法の例を確認して、背理法の証明をマスターしましょう。

 

今回は、背理法とはどういうものかを分かりやすく解説します。

この記事を15分で読んでできること・背理法とは何かがわかる

・背理法の証明のやり方がわかる

・自分で実際に背理法の証明ができる

スポンサーリンク
スポンサーリンク

背理法とは?基本からわかりやすく解説

背理法とは、数学の証明方法の一つです。

 

命題Pが成り立たないと仮定して、仮定より矛盾する事柄が導かれることを示し、命題Pが成り立つことを証明するものです。

 

イメージしづらいですね…。かんたんにまとめると次のような仕組みです。

 

①命題Pが成り立たないと仮定する。

 

②「命題Pが成り立たない」という仮定と矛盾した結果がわかる。

 

③仮定が間違っている。(=命題Pは成り立つ。)

 

背理法の証明問題をわかりやくすく解説

背理法のイメージをつかんだところで、かんたんな例題を解いてみましょう。

 

例題

$\sqrt{2}$が無理数であるとき、$1+\sqrt{2}$が無理数であることを証明しなさい。

今回証明したい命題は「$1+\sqrt{2}$が無理数であること」。

 

①まずは命題Pが成り立たないと仮定しましょう。

$1+\sqrt{2}$が有理数であると仮定します。

 

②次は「命題Pが成り立たない」という仮定と矛盾した結果を導きましょう。

 

どうすればいいの…とつまづいてしまいますね。

 

問題文をもう一度見てみましょう。「$\sqrt{2}$が無理数であるとき」という条件があります。この条件を生かすと解くことができそうです。

 

ここで、$1+\sqrt{2}=A$(Aは有理数)としてみましょう。

 

式を変形すると、$\sqrt{2}=A-1$となります。

 

$A-1$は有理数同士の引き算なので、右辺は有理数ですね。しかし、条件にある「$\sqrt{2}$が無理数」に矛盾します。

 

つまり、③仮定が間違っている(=$1+\sqrt{2}$が無理数)と考えられるわけです。

 

背理法と対偶の証明の違い

証明の方法として習った対偶法。命題が成り立たないときを考えるという点が共通していますね。    

 

もしかして同じ?と思った人もいるかもしれませんが、まったくの別物です。これを機に、対偶をつかった証明方法をあらためて押さえておきましょう。

 

対偶とは、もとの命題を「$P$ならば$Q$」とすると「$\bar{Q}$ならば$\bar{P}$」のことを指します。

 

対偶の証明では、もとの命題の真偽と対偶命題の真偽は同じという性質をつかって、対偶命題が真であると示すことで、もとの命題が真であることを証明します。

 

つまり、対偶の証明は「$P$ならば$Q$」という命題(推論命題)に使われるものなのです。一方の背理法は、次に証明するように「$\sqrt{3}$が無理数」のような命題(断定命題)で使われます。

 

背理法を使って無理数の証明

ここまでの解説で、背理法についての理解がかなり深まったことでしょう。

 

最後に背理法をつかって無理数の証明をしてみましょう。

問題

$\sqrt{3}$が無理数であることを証明しなさい。

①まず、命題Pが成り立たないと仮定しましょう。

$\sqrt{3}$が有理数であると仮定します。

 

次に、「命題Pが成り立たない」という仮定と矛盾した結果を導きたいので、先ほどの例題のように数式をつくりましょう。

有理数の特徴を考えると、$\sqrt{3}=\frac{a}{b}$(a,bは互いに素な自然数)と表せます。

 

有理数の特徴は、こちらの記事が参考になります。

有理数とは?無理数とは?定義を明らかにして√が無理数と証明する【数学IA】

 

式を変形すると、$a=\sqrt{3}b$となります。

両辺とも正の数なので、ルートを外すために2乗してみましょう。

 

$a^{2}=3b^{2}$

$a^{2}$と$b^{2}$は互いに素なので、$a^{2}$は3の倍数、すなわちaは3の倍数であることが分かります。

 

ここで、$a=3k$(kは自然数)として、$a^{2}=3b^{2}$に代入してみましょう。

$\left(3k\right)^{2}=3b^{2}$

これを整理すると、$b^{2}=3k^{2}$

 

aとbは互いに素より、bとkも互いに素なので、$b^{2}$は3の倍数となります。すなわち、bも3の倍数です。

 

ここで、aもbも3の倍数という、仮定「$\sqrt{3}=\frac{a}{b}$(a,bは互いに素な自然数)」に矛盾する事柄が示されました。

 

したがって、③仮定が間違っている(=$\sqrt{3}$は無理数)といえます。

 

今回のまとめ

今回は、背理法について勉強しました。

 

断定的な命題の証明に背理法をつかうこと。背理法とは「命題が成り立たないという仮定の矛盾を示すことで命題を証明する」こと。背理法のポイントをしっかりと覚えておきましょう。

 

今回もおつかれさまでした。

スポンサーリンク
スポンサーリンク

にほんブログ村 受験ブログへ
にほんブログ村

にほんブログ村 受験ブログ 大学受験(本人・親)へ
にほんブログ村

 

 

コメント

");const o=ie?ie.createHTML(e):e;if(nt===tt)try{t=(new W).parseFromString(o,at)}catch(e){}if(!t||!t.documentElement){t=le.createDocument(nt,"template",null);try{t.documentElement.innerHTML=ot?ae:o}catch(e){}}const i=t.body||t.documentElement;return e&&n&&i.insertBefore(r.createTextNode(n),i.childNodes[0]||null),nt===tt?ue.call(t,Ie?"html":"body")[0]:Ie?t.documentElement:i},bt=function(e){return ce.call(e.ownerDocument||e,e,H.SHOW_ELEMENT|H.SHOW_COMMENT|H.SHOW_TEXT|H.SHOW_PROCESSING_INSTRUCTION|H.SHOW_CDATA_SECTION,null)},St=function(e){return e instanceof B&&("string"!=typeof e.nodeName||"string"!=typeof e.textContent||"function"!=typeof e.removeChild||!(e.attributes instanceof z)||"function"!=typeof e.removeAttribute||"function"!=typeof e.setAttribute||"string"!=typeof e.namespaceURI||"function"!=typeof e.insertBefore||"function"!=typeof e.hasChildNodes)},Rt=function(e){return"function"==typeof b&&e instanceof b},wt=function(e,t,n){pe[e]&&u(pe[e],(e=>{e.call(o,t,n,ut)}))},Ct=function(e){let t=null;if(wt("beforeSanitizeElements",e,null),St(e))return _t(e),!0;const n=st(e.nodeName);if(wt("uponSanitizeElement",e,{tagName:n,allowedTags:Ne}),e.hasChildNodes()&&!Rt(e.firstElementChild)&&_(/<[/\w]/g,e.innerHTML)&&_(/<[/\w]/g,e.textContent))return _t(e),!0;if(e.nodeType===J)return _t(e),!0;if(Me&&e.nodeType===Q&&_(/<[/\w]/g,e.data))return _t(e),!0;if(!Ne[n]||Ce[n]){if(!Ce[n]&&Dt(n)){if(we.tagNameCheck instanceof RegExp&&_(we.tagNameCheck,n))return!1;if(we.tagNameCheck instanceof Function&&we.tagNameCheck(n))return!1}if(Ye&&!qe[n]){const t=re(e)||e.parentNode,n=oe(e)||e.childNodes;if(n&&t){for(let o=n.length-1;o>=0;--o){const r=X(n[o],!0);r.__removalCount=(e.__removalCount||0)+1,t.insertBefore(r,$(e))}}}return _t(e),!0}return e instanceof R&&!Et(e)?(_t(e),!0):"noscript"!==n&&"noembed"!==n&&"noframes"!==n||!_(/<\/no(script|embed|frames)/i,e.innerHTML)?(ke&&e.nodeType===Z&&(t=e.textContent,u([fe,de,he],(e=>{t=g(t,e," ")})),e.textContent!==t&&(p(o.removed,{element:e.cloneNode()}),e.textContent=t)),wt("afterSanitizeElements",e,null),!1):(_t(e),!0)},Lt=function(e,t,n){if(Be&&("id"===t||"name"===t)&&(n in r||n in mt))return!1;if(ve&&!Le[t]&&_(ge,t));else if(De&&_(Te,t));else if(!Se[t]||Le[t]){if(!(Dt(e)&&(we.tagNameCheck instanceof RegExp&&_(we.tagNameCheck,e)||we.tagNameCheck instanceof Function&&we.tagNameCheck(e))&&(we.attributeNameCheck instanceof RegExp&&_(we.attributeNameCheck,t)||we.attributeNameCheck instanceof Function&&we.attributeNameCheck(t))||"is"===t&&we.allowCustomizedBuiltInElements&&(we.tagNameCheck instanceof RegExp&&_(we.tagNameCheck,n)||we.tagNameCheck instanceof Function&&we.tagNameCheck(n))))return!1}else if(Ze[t]);else if(_(Ae,g(n,Ee,"")));else if("src"!==t&&"xlink:href"!==t&&"href"!==t||"script"===e||0!==T(n,"data:")||!Ke[e]){if(Oe&&!_(ye,g(n,Ee,"")));else if(n)return!1}return!0},Dt=function(e){return"annotation-xml"!==e&&h(e,_e)},vt=function(e){wt("beforeSanitizeAttributes",e,null);const{attributes:t}=e;if(!t)return;const n={attrName:"",attrValue:"",keepAttr:!0,allowedAttributes:Se};let r=t.length;for(;r--;){const i=t[r],{name:a,namespaceURI:l,value:c}=i,s=st(a);let p="value"===a?c:y(c);if(n.attrName=s,n.attrValue=p,n.keepAttr=!0,n.forceKeepAttr=void 0,wt("uponSanitizeAttribute",e,n),p=n.attrValue,n.forceKeepAttr)continue;if(At(a,e),!n.keepAttr)continue;if(!xe&&_(/\/>/i,p)){At(a,e);continue}if(Me&&_(/((--!?|])>)|<\/(style|title)/i,p)){At(a,e);continue}ke&&u([fe,de,he],(e=>{p=g(p,e," ")}));const f=st(e.nodeName);if(Lt(f,s,p)){if(!We||"id"!==s&&"name"!==s||(At(a,e),p=Ge+p),ie&&"object"==typeof G&&"function"==typeof G.getAttributeType)if(l);else switch(G.getAttributeType(f,s)){case"TrustedHTML":p=ie.createHTML(p);break;case"TrustedScriptURL":p=ie.createScriptURL(p)}try{l?e.setAttributeNS(l,a,p):e.setAttribute(a,p),St(e)?_t(e):m(o.removed)}catch(e){}}}wt("afterSanitizeAttributes",e,null)},Ot=function e(t){let n=null;const o=bt(t);for(wt("beforeSanitizeShadowDOM",t,null);n=o.nextNode();)wt("uponSanitizeShadowNode",n,null),Ct(n)||(n.content instanceof s&&e(n.content),vt(n));wt("afterSanitizeShadowDOM",t,null)};return o.sanitize=function(e){let t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{},n=null,r=null,i=null,l=null;if(ot=!e,ot&&(e="\x3c!--\x3e"),"string"!=typeof e&&!Rt(e)){if("function"!=typeof e.toString)throw A("toString is not a function");if("string"!=typeof(e=e.toString()))throw A("dirty is not a string, aborting")}if(!o.isSupported)return e;if(Ue||ft(t),o.removed=[],"string"==typeof e&&(je=!1),je){if(e.nodeName){const t=st(e.nodeName);if(!Ne[t]||Ce[t])throw A("root node is forbidden and cannot be sanitized in-place")}}else if(e instanceof b)n=Nt("\x3c!----\x3e"),r=n.ownerDocument.importNode(e,!0),r.nodeType===V&&"BODY"===r.nodeName||"HTML"===r.nodeName?n=r:n.appendChild(r);else{if(!Fe&&!ke&&!Ie&&-1===e.indexOf("<"))return ie&&ze?ie.createHTML(e):e;if(n=Nt(e),!n)return Fe?null:ze?ae:""}n&&Pe&&_t(n.firstChild);const c=bt(je?e:n);for(;i=c.nextNode();)Ct(i)||(i.content instanceof s&&Ot(i.content),vt(i));if(je)return e;if(Fe){if(He)for(l=se.call(n.ownerDocument);n.firstChild;)l.appendChild(n.firstChild);else l=n;return(Se.shadowroot||Se.shadowrootmode)&&(l=me.call(a,l,!0)),l}let m=Ie?n.outerHTML:n.innerHTML;return Ie&&Ne["!doctype"]&&n.ownerDocument&&n.ownerDocument.doctype&&n.ownerDocument.doctype.name&&_(q,n.ownerDocument.doctype.name)&&(m="\n"+m),ke&&u([fe,de,he],(e=>{m=g(m,e," ")})),ie&&ze?ie.createHTML(m):m},o.setConfig=function(){let e=arguments.length>0&&void 0!==arguments[0]?arguments[0]:{};ft(e),Ue=!0},o.clearConfig=function(){ut=null,Ue=!1},o.isValidAttribute=function(e,t,n){ut||ft({});const o=st(e),r=st(t);return Lt(o,r,n)},o.addHook=function(e,t){"function"==typeof t&&(pe[e]=pe[e]||[],p(pe[e],t))},o.removeHook=function(e){if(pe[e])return m(pe[e])},o.removeHooks=function(e){pe[e]&&(pe[e]=[])},o.removeAllHooks=function(){pe={}},o}();return oe}))
タイトルとURLをコピーしました