>>682
結論からいうと高校数学範囲内では難しい
ここでは古典的な難問に帰着されることを主に説明する
xが有理数であることと 1+x/m が有理数であることは同値である
よって,xを1+x/m に置き換えて得られる方程式を考えればよい
つまり問題は
x^3 -m^2*x -m^2(m+1) = 0
を満たす有理数xをすべて求めることに等価である
(問題が意味をなすために m≠0 は前提として考える)
有理数xに対して x^3 -m^2*x -m^2(m+1) = 0 が成立していたとする
このとき xは整数であることがいえる
(ここはよくある議論で x=p/q などとおけばすぐわかる)
xとmの最大公約数をd>0とおくと
x=ds, m=dt を満たす互いに素な整数s,t(t≠0)の組が取れる
これを代入して両辺をd^2で除すると
ds^3-dst^2-t^2(dt+1) = 0
ds^3 = t^2(ds+dt+1) より
ds^3 は t^2 で割り切れることになるが
sとtは互いに素であるから d=kt^2 を満たす正の整数kが取れる
これを代入して両辺をt^2で除すると
ks^3-kst^2-(kt^3+1) = 0
k(s^3-st^2-t^3) = 1 だから k=1 がいえる
したがって s^3-st^2-t^3=1 が得られた
残念ながら簡単な議論はここまで
このような方程式は一般には単数方程式というものに帰着され
(他にも楕円曲線を用いて説明する方法もある)
機械的に解くアルゴリズムが知られているが
高校数学の範囲内で解くのは厳しい
結果だけ知りたいなら PARI で以下のように入力すればよい
aaf = thueinit(x^3-x-1)
thue(aaf,1)
これにより s^3-st^2-t^3=1 を満たす
整数s,tの組が すべて 列挙され
アウトプットは
[[-1, -1], [0, -1], [1, -1], [1, 0], [4, 3]]
つまり (s,t)=(-1,-1),(0,-1),(1,-1),(1,0),(4,3)
問題のために t=0 となるものを除くと
(s,t)=(-1,-1),(0,-1),(1,-1),(4,3) となるので
m=t^3 より m= -1, 27 の2つのみが適となる
よって求める整数mは -1 と 27 だけである
ちなみにですが もし元の問題が高校数学の範囲内で解けたら
不定方程式: s^3-st^2-t^3=1 が簡単に解けたことになります
かなり難しいとおもうので チャレンジするなら覚悟が必要です
高校数学の質問スレPart408
■ このスレッドは過去ログ倉庫に格納されています
686132人目の素数さん
2020/11/23(月) 17:14:57.87ID:EjA45M7q■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★3 [煮卵★]
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場! パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 《金メダリストの“自慢の父は自衛官”投稿が話題》古賀千景議員の不適切発言は「冒涜」有志が抗議文も [夜のけいちゃん★]
- 【悲報】高市早苗容疑者、周囲に「土日も休んでいない。休めない」などと意味不明な供述をしている模様 [731544683]
- ⛵👒👊☠👊🏝🏡
- 朝日新聞「G7サミットの招待国も含めた記念撮影を前に、強い日差しを浴びる高市早苗首相」 [931948549]
- 👩女性「大谷翔平、産ませてすぐ妊娠させるって………ドン引き」 [762037879]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪★5
- 愛国者「日本国民って優秀なのになんで国会議員だけ無能なの?」→20万いいね [834922174]