Loading [MathJax]/jax/output/CommonHTML/jax.js

最小公倍数と最大公約数の問題をユークリッド互除法で解決!また、倍数の証明も解説【数学IA]

今回は「数学A」の整数の性質について語ります。

 

具体的には最大公約数と最小公倍数の問題を「ユークリッド互除法」という公式で解くだけでなく、倍数の証明についても行います。

 

また、最後に整数の性質についての大学入試の問題を解くことで知識をより高めることができます。

 

高校数学で整数の性質は、「ユークリッド互除法」などの公式が出てくるものの、新しい内容ではありませんが、特にセンター試験・二次試験のどちらにおいても、よく出題されます。

 

解法が独特で、この単元が得意になれば、試験において有利になること間違いなしです。例題を繰り返し練習して、きちんと理解しておきましょう。

 

この「整数の性質」の記事を読むとできること・最大公約数と最小公倍数の問題が解ける

・ユークリッド互除法がわかる

・倍数の証明がわかる

・倍数の問題について実際の入試問題を解ける

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

最大公約数・最小公倍数の問題

はじめに、最大公約数・最小公倍数の問題を解いてみます。最大公約数・最小公倍数については、小学校で習った内容から変わりはありませんが、扱う数字が大きくなったり文字になったりする分、難しくなります。

 

例題(1) 12,36,60 の最大公約数・最小公倍数を求めよ。
(2) 2 つの正の整数がm,n があり、最大公約数は5、また、mn=300 である。m,n を求めよ。
(3) 31034387 の最大公約数を求めよ。

(1) 最初は復習を兼ねて、定義を思い出すための問題です。

 

まず、それぞれの数を因数分解します。
12=22×3
36=22×32
60=22×3×5

最大公約数:22×3=12
最小公倍数:22×32×5=180

(2) 高校数学らしく、難易度が上がりました。
m,n についてどう表すかが重要なポイントです。

 

最大公約数が5 なので、m=5m,n=5n とおく。(m,n は互いに素で、m>n を満たす正の整数。)

ここで、最小公倍数をl とおくと、mn=5l が成り立つので、l=60 …①

よって、60=5mn これより、mn=12
m>n であり、m,n は互いに素なので、
(m,n)=(12,1),(4,3)

 

(m,n)=(60,5),(20,15)

説明文中、①の部分、疑問に思う人もいると思うので、もう少し詳しく解説します。

 

初めに、m=5m,n=5n とおきました。m,n は互いに素なので、公約数はありません。

 

ということは、m,n の最小公倍数l は、l=5mn と表されます。

 

よって、mn=5m×5n=52mn=5l となり、最終的にm,n が求められます。

 

(3) 扱う数字が大きくなりました。(1)と同じように一つ一つ素因数分解することも可能ですが、時間がかかりすぎます。こういったときに使うのが、ユークリッドの互除法です。

 

この方法は、簡単に説明すると、

ユークリッドの互除法ab で割ったときの商をq、余りをr(0) とすると、a=bq+r と表すことができ、ab の最大公約数は、br の最大公約数に等しい」

というものです。

 

たなか君
たなか君
わからん!!

 

このユークリッドの互除法を簡単な数字を使って説明します。

 

例えば、56126 の最大公約数を求めてみます。

 

12656 で割ると、126=56×2+14 …②と表せます。

 

ここで、12656 の最大公約数をg とすると、

 

126=ag,56=bg …③(a,b は互いに素)

と表せるので、

 

②と代入すると、(a2b)g=14

 

これを14=cg と表すと、bc は互いに素であり(※)、③と合わせて考えると、g5614 の最大公約数といえます。

 

これと同じことをもう一度繰り返すと、56=14×4+0 となり、余りが0 になったときの割る数14 が最大公約数となります。

 

※の部分、bc がなぜ互いで素であるといえるかの証明は、背理法を使います。

 

ab が互いに素であるとき、ba2b が互いに素でないとする。

 

つまり、b2ab2 以上の自然数p を約数にもつとすると、b=mp,a2b=npm,n は整数)と表せる。

 

a2b=np を変形すると、a=2b+np=(2m+n)p となり、ab も共通の約数p をもつことになり、互いに素ではない。

 

よって、ab が互いに素であることに矛盾するので、ba2b は互いに素である。

 

…と、少し長くなりましたが、ここまでユークリッドの互除法について説明しました。

 

では例題(3)の解法です。

$
5593÷3689=1+19043689÷1904=1+17851904÷1785=1+1191785÷119=15
$

 

最大公約数は119

頭の中が???でいっぱいになった人は、もう一度読み直してみましょう。

 

特に、一つ一つ値を確認しながら読むのが大事です。それでも解消されない場合は、他の問題を解いたりして少し時間をあけてから、改めて読んでみるのがいいです。

倍数の証明について

文字を含む数式で表された値が、ある整数の倍数であることを証明する問題も、よく出されています。例題を見てみましょう。

例題n を整数とするとき、n3+3n24n6 の倍数であることを示せ。

問題文はとってもシンプルです。でもどこから取り掛かればいいのかわかりにくい問題です。

 

こういった問題は、積の形に直して、その中に6 あるいは23 が含まれていることを示して証明します。

 

まず、因数分解です。

$
n3+3n24n=n(n1)(n+4)=(n1)n{(n+1)+3}(1)=(n1)n(n+1)+3n(n1)
$

ここで、(n1)n(n+1) は連続する3 つの整数の積なので、3 つのうち必ず1 つは2 の倍数であり、1 つは3 の倍数である。

 

よって、(n1)n(n+1)6 の倍数である。

 

また、3n(n1) は連続する2 つの整数の積であり、2 つのうち1 つは必ず2 の倍数なので、3n(n1)6 の倍数である。

 

以上より、(n1)n(n+1)+3n(n1) すなわちn3+3n24n6 の倍数である。

 

連続するn 個の整数については、扱い方をおさえておくと便利です。

 

複数個あれば、必ず偶数(=2 の倍数)が含まれます。連続した3 個の整数であれば、必ず13 の倍数が含まれますし、連続した5 個の整数であれば、必ず15 の倍数が含まれます。

 

わかりにくければ、実際の数字を入れてみて考えると、考えやすくなります。

 

また、(1)の部分の式変形ですが、「連続する3 つの整数の積」の部分を作るために、4 を強引に13 に分けてn+1 という部分を作っています。

 

上のような、「ある値が、ある整数の倍数である」ことを示す証明問題以外にも、「ある整数をp で割った余りに着目して分類して」いろんなことを証明する剰余系といわれる問題もよく出されます。

例題で練習してみましょう。

例題整数a の平方は4 で割ると、割り切れるか1 余るかのどちらかであることを示せ。

こちらもとてもシンプルな問題です。

 

まず、問題に取り掛かるときに何をするべきかを考えます。

 

問題文中に「ある整数の平方4 で割るとき」とあるので、ある整数a2 の倍数とそれ以外というときに分類することを考えます。

 

つまり、a=2n である場合とa=2n+1 である場合(n は整数)に分けて考えます。

 

a=2n であるとき

a2=4n2 であり、4 で割り切れる。

 

次にa=2n+1 であるとき

$
a2=(2n+1)2=4n2+4n+1=4n(n+1)+1
$

このとき、a24 で割ると1 余る。

 

よって、整数a の平方は4 で割ると、割り切れるか1 余る。

 

過去問を解いてみましょう!

それでは、過去問でさらに練習をしてみます。

例題

p は奇数である素数とし、N=(p+1)(p+3)(p+5)とおく。
(1) N48 の倍数であることを示せ。
(2) N144 の倍数になるようなp の値を、小さい順に5 つ求めよ。
[2014 千葉大学 教育学部 第3問]

(1) まずは、p の「奇数である素数」という条件を、他の文字で表します。

 

ただ、素数を文字で表すのは難しいので、一旦「奇数である」ことだけを表して進めます。

 

p は奇数なので、p=2k+1k は自然数)とおく。

$
N=(2k+2)(2k+4)(2k+6)=23(k+1)(k+2)(k+3)
$

連続する3 つの整数は、少なくとも1 つの偶数を含み、1 つの3 の倍数を含む。

 

よって、連続する3 つの整数の積は6 の倍数である。

 

よって、N23×6、つまり48 の倍数である。

 

ここでも、連続するn 個の整数が出てきました。

 

この問題は、奇数であることを他の文字を使って表すことができれば、それほど難しくありませんでしたね。

 

(2) N と右辺の最小公倍数が144 ということです。

 

N144 の倍数となるので、N=144mm は自然数)と表せる。

 

$
N=23(k+1)(k+2)(k+3)144m=23(k+1)(k+2)(k+3)18m=(k+1)(k+2)(k+3)2×32m=(k+1)(k+2)(k+3)
$

右辺は連続する3 つの整数の積なので、少なくとも1 つは偶数を含む。

 

よって、上の式が成り立つためには、(k+1)(k+2)(k+3) の部分が9 の倍数であるときである。

 

連続する3 つの整数には、3 の倍数は1 つしか含まれないので、k+1,k+2,k+3 のうち1 つのみが9 の倍数になるときを考える。

 

  • k+3=9 のとき k=6 このときp=13  13 は素数である。
  • k+2=9 のとき k=7 このときp=15 15 は素数でないので不適。
  • k+1=9 のとき k=8 このときp=17 17 は素数である。
  • k+3=18 のとき k=15 このときp=31  31 は素数である。
  • k+2=18 のとき k=16 このときp=33 33 は素数でないので不適。
  • k+1=18 のとき k=17 このときp=35 35 は素数でないので不適。
  • k+3=27 のとき k=24 このときp=49  49 は素数でないので不適。
  • k+2=27 のとき k=25 このときp=51 51 は素数でないので不適。
  • k+1=27 のとき k=26 このときp=53 53 は素数である。
  • k+3=36 のとき k=33 このときp=67 67 は素数である。

 

p=13,17,31,53,67

 

今回のまとめ

今回は、整数の性質について説明しました。特に、ある値に関する条件(奇数/偶数、〇の倍数である/ない など)を文字を使って表して解く問題に特化して説明しました。

 

整数の性質は、センター試験・二次試験のどちらでもよく出題されています。ただ、問題のパターンが多く、毎回同じ解法で解けるというものでもないのがとてもやっかいです。

 

確実にできることは、いろんなパターンの問題に触れて、いろんなアイデアを持っておくことです。また、触れた問題が多くなれば多くなるほど、解法の糸口を見つける勘のような、解法を見通す力は鋭くなります。やはり、練習あるのみ!ですね。

 

前回の記事:「【数学IA】データの相関を初学者でも理解できる方法(データの分析の過去問解説も)

度数分布表とヒストグラム(データの整理)の問題を解ける!【数学IA】
みなさん、こんにちは。数学IAのコーナーです。今回は、数学IAの中で「データの分析」のテーマの前半部分、データの整理について説明します。具体的には度数分布表とヒストグラムについて解説を加えていきます。 何をしているのかよくわからない…となり...
スポンサーリンク
スポンサーリンク

コメント

");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をコピーしました