k^5*x-2^5*y=1の整数解(2022年共テ数ⅠA第4問)

2022年共通テスト数学ⅠAの整数問題で出題された1次不定方程式の係数は巨大で、規則性を見つけないと容易には解けないよう設計されていました。本稿ではこの問題で出題された方程式の整数解について考察してみます。

 

 k4x24y=1 の一般解

誘導設問としてk4x24y=1という方程式が登場しましたが、実はこれを解くのはそれほど難しくはなく、kが奇数の場合、(x,y)=(16n+1,k4n+k4116)という一般解が求められます。ここでnは任意の整数です。

なお、kが偶数の場合、この方程式は解をもちません(∵kが偶数ならば、左辺が偶数、右辺が奇数となり不合理)。


一般解の導出過程はおよそ以下の通りです。

kが奇数のとき、mを整数として k4m±1 と表せるので、k4=(4m±1)4=44m4±4C143m3+4C242m2±4C34m+1=16M+1と式変形できます。下線部は16の倍数なので適当な整数Mにより16Mと表せます。これを式に代入すると(16M+1)x16y=1 x=16(yMx)+1という形にできます。ここでyは任意の値をとる整数なので、yMx という整数は(xが含まれていますが)xに独立な整数となります。そこで nyMx と置けばx=16n+1と表せるという寸法です。yの値を求めるにはこれを式に代入すればよく、僅かな計算でy=k4n+k4116が得られます。


共通テストの場合は k=5 だったので、一般解は(x,y)=(16n+1,625n+39)と求められます。

 

 k5x25y=1 の一般解

本問の主眼は指数が5に増えたk5x25y=1を解くことです。2022年共通テスト第4問の妙味は、k5xk825で割り切れるという事実を用いる点にあります。これは以下の計算によって正当化されます。

先ほど k4=24M+1 であることを導きました。この両辺を2乗するとk8=28M2+25M+1となりますから、k825で割った余りは1と分かります。

また、方程式が成り立っているとすれば、移項によりk5x=25y+1と変形できるので、k5x25で割った余りも1と分かります。

以上のことから、k825で割った余りとk5x25で割った余りが等しいので、その差 k5xk825で割り切れます。いまkは一般の奇数なので、kが奇数である限り常にこれが成立する訳です。ここが本問のポイントです。


ここから一般解を導きます。

適当な整数wを用いてk5xk8=k525wと置けるので、xについて整理するとx=k3+32wとなります。

ここで、k332で割った商と余りをそれぞれqrと置いて、k3=32q+r と表すことにします。これをxの式に代入すると、x=32(q+w)+rと表せます。

ここでr絶対値最小剰余に限定すれば、qrの値が一意に定まります。さらに nw+q と表すことにすると、x=32n+rと表せます。このときy式より、25y=k5x1 y=132{k5(32n+r)1}=k5n+k5r132と求められます。これが方程式の一般解です。

※「絶対値最小剰余」とは、剰余となる整数のうち絶対値が最小となるものを指します。例えば 26=7×3+5 ですが、絶対値最小剰余による表現では 26=7×42 となります。名称は知らずとも、modの計算で多用している方は多いと思います。


共通テストの場合は k=5 だったので、5332で割った余りは29、つまり r=3 ですから、一般解は(x,y)=(32n3,3125n293)と求められます。の整数解のうち、xが3桁の正の整数で最小になるのは n=4、つまり x=125 のときで、y=12207 と求められます。

n=4 となるようなqwの組が実際に存在するのか心配になるかもしれませんが、以上の式変形はwの存在を保証する式と同値なので必要十分です。

※いま、q=3 なので n=4 となるためには w=1 が必要十分ですが、このとき式より x=125 と決まります。また、x=125 のとき式より w=1 となります。このように、方程式を満たすwが存在することと、方程式を満たすxが存在することは同値です。

 

 k5x25y=1 の一般解一覧

方程式k5x25y=1の解を 0<k<100 の範囲について示しておきます。

k=1(32n+1,n)
k=3(32n5,243n38)
k=5(32n3,3125n293)
k=7(32n9,16807n4727)
k=9(32n7,59049n12917)
k=11(32n13,161051n65427)
k=13(32n11,371293n127632)
k=15(32n+15,759375n+355957)
k=17(32n15,1419857n665558)
k=19(32n+11,2476099n+851159)
k=21(32n+13,4084101n+1659166)
k=23(32n+7,6436343n+1407950)
k=25(32n+9,9765625n+2746582)
k=27(32n+3,14348907n+1345210)
k=29(32n+5,20511149n+3204867)
k=31(32n1,28629151n894661)
k=33(32n+1,39135393n+1222981)
k=35(32n5,52521875n8206543)
k=37(32n3,69343957n6500996)
k=39(32n9,90224199n25375556)
k=41(32n7,115856201n25343544)
k=43(32n13,147008443n59722180)
k=45(32n11,184528125n63431543)
k=47(32n+15,229345007n+107505472)
k=49(32n15,282475249n132410273)
k=51(32n+11,345025251n+118602430)
k=53(32n+13,418195493n+169891919)
k=55(32n+7,503284375n+110093457)
k=57(32n+9,601692057n+169225891)
k=59(32n+3,714924299n+67024153)
k=61(32n+5,844596301n+131968172)
k=63(32n1,992436543n31013642)
k=65(32n+1,1160290625n+36259082)
k=67(32n5,1350125107n210957048)
k=69(32n3,1564031349n146627939)
k=71(32n9,1804229351n507439505)
k=73(32n7,2073071593n453484411)
k=75(32n13,2373046875n964050293)
k=77(32n11,2706784157n930457054)
k=79(32n+15,3077056399n+1442370187)
k=81(32n15,3486784401n1634430188)
k=83(32n+11,3939040643n+1354045221)
k=85(32n+13,4437053125n+1802552832)
k=87(32n+7,4984209207n+1090295764)
k=89(32n+9,5584059449n+1570516720)
k=91(32n+3,6240321451n+585030136)
k=93(32n+5,6956883693n+1087013077)
k=95(32n1,7737809375n241806543)
k=97(32n+1,8587340257n+268354383)
k=99(32n5,9509900499n1485921953)


一般解の式からも分かりますが、kpx2py=1 という1次方程式の解のオーダーはpとなります。これは、ある整数解(x0,y0)が見つかったとして、kpx2py=1)kpx02py0=1kp(xx0)2p(yy0)=0より、適当な整数jにより{x=2pj+x0y=kpj+y0と表せることから理解でき、半ば自明と言えます。


 

25という係数は k4=24M+1 の両辺を2乗して得られるk8=28M2+25M+1という式から出てきたものです。そう考えると k6x26y=1 など、さらに高次の係数をもつ方程式に拡張するのは工夫が要りそうです。

 

【参考記事】

“k^5*x-2^5*y=1の整数解(2022年共テ数ⅠA第4問)” への5件の返信

  1. 11^5x≡1(mod 2^5)
    11×3=33≡1(mod2^5)
    に気づけば
    x≡3^5=243≡19(mod2^5)
    x=19が解になることは代入して計算すれば確認できる。

    1. martha さん

      管理人の pencil です。
      コメントありがとうございます。

      11×31(mod25) を利用するのは上手い方法だと思います。
      これを5乗してx35=24319(mod25)を導くのは一本取ってやった感がありますね。寧ろ、誘導設問が無ければこのようにして解くのが普通かもしれませんが…。

      ところで、この解法は方程式の係数がより高次の冪の場合にも応用可能なところがポイントと言えそうです。例えば6乗の場合は11×29=3191(mod26)から116×2961(mod26)を得るので、29625(mod26) から x=25 が求められます。実際、これは最小の正の整数解です。

      一般に、nを正の整数、kを奇数とするとき、中国剰余定理から k×m=1(mod2n) を満たすような整数m0m2n1 の範囲にただ一つ存在することが従います。この事実に基づいてmに相当する整数を根気よく探せば、任意の冪乗について本問の方程式を解くことができますね。

      ご教示に感謝致します。

  2. 方程式k6x26y=1の整数解は以下の通りです。

    k=1(64n+1,n)
    k=3(64n23,729n262)
    k=5(64n7,15625n1709)
    k=7(64n15,117649n27574)
    k=9(64n+17,531441n+141164)
    k=11(64n+25,1771561n+692016)
    k=13(64n+9,4826809n+678770)
    k=15(64n31,11390625n5517334)
    k=17(64n31,24137569n11691635)
    k=19(64n+9,47045881n+6615827)
    k=21(64n+25,85766121n+33502391)
    k=23(64n+17,148035889n+39322033)
    k=25(64n15,244140625n57220459)
    k=27(64n7,387420489n42374116)
    k=29(64n23,594823321n213764631)
    k=31(64n+1,887503681n+13867245)
    k=33(64n+1,1291467969n+20179187)
    k=35(64n23,1838265625n660626709)
    k=37(64n7,2565726409n280626326)
    k=39(64n15,3518743761n824705569)
    k=41(64n+17,4750104241n+1261746439)
    k=43(64n+25,6321363049n+2469282441)
    k=45(64n+9,8303765625n+1167717041)
    k=47(64n31,10779215329n5221182425)
    k=49(64n31,13841287201n6704373488)
    k=51(64n+9,17596287801n+2474477972)
    k=53(64n+25,22164361129n+8657953566)
    k=55(64n+17,27680640625n+7352670166)
    k=57(64n15,34296447249n8038229824)
    k=59(64n7,42180533641n4613495867)
    k=61(64n23,51520374361n18515134536)
    k=63(64n+1,62523502209n+976929722)
    k=65(64n+1,75418890625n+1178420166)
    k=67(64n23,90458382169n32508481092)
    k=69(64n7,107918163081n11803549087)
    k=71(64n15,128100283921n30023504044)
    k=73(64n+17,151334226289n+40198153858)
    k=75(64n+25,177978515625n+69522857666)
    k=77(64n+9,208422380089n+29309397200)
    k=79(64n31,243087455521n117745486268)
    k=81(64n31,282429536481n136801806733)
    k=83(64n+9,326940373369n+45975990005)
    k=85(64n+25,377149515625n+147324029541)
    k=87(64n+17,433626201009n+115181959643)
    k=89(64n15,496981290961n116479990069)
    k=91(64n7,567869252041n62110699442)
    k=93(64n23,646990183449n232512097177)
    k=95(64n+1,735091890625n+11485810791)
    k=97(64n+1,832972004929n+13015187577)
    k=99(64n23,941480149401n338344428691)

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

©Copyright 2017-2025 理系のための備忘録 All Rights Reserved.