この頃、日本で大きな災害が立て続けに発生しています。先週には北海道胆振地方で震度7を観測する巨大な地震が発生しました。地震大国の日本において、北海道は比較的地震の頻度が少ない地域とされていただけに、インフラへの打撃はかなり大きかったようです。苫東厚真発電所が機能不全に陥り、一時は全道が停電するという前代未聞の事態が発生しました。現在も全面復旧に向けた努力が続けられており、現場で作業されている方々には頭が下がります。
全国の他地域にも同様のリスクを孕んでいる箇所がありそうですが、北海道内の電源のリスク分散は喫緊の課題です。現在運転を停止している泊原子力発電所が稼働していれば今回の大規模停電は防げた、との見方もあるようですが、災害の頻発する日本において、原子力は夢のエネルギーとは程遠い代物です。一刻も早い再生可能エネルギーを中心とした分散型電力システムの構築が望まれます。
さて、本シリーズも45問目となりました。余談ですが、は「カプレカ数」です。2乗すると となりますが、 が成り立ちます。このような性質をもつ数を「カプレカ数」と言います。2桁のカプレカ数は、、の3個だけです。
創作整数問題#45
《問題#45》
(1)等式 を満たす素数、、、は存在しないことを示せ。
(2)等式 を満たす素数、、、は存在しないことを示せ。
(創作問題)
ありがちな問題ですね。素数絡みの整数問題では「素数」という条件を読み替えることが突破口となることが多々あります。
証明問題につき、解答例は次回掲載します!
創作整数問題#44(解き方)
3乗和の公式と5乗和の公式が必要になりますが、これらは先日公開した記事「総和公式の簡単な導出法」で紹介している方法によって簡単に得ることができます。
であり、であるので、となります。これがある平方数に一致するとき、 と変形できます。
ここで 、 と置き直せば、方程式はと簡潔に書き表すことができます(が奇数であるという条件はちゃんと残っています。式を見れば分かりますよね?)。よって私たちの目標は、方程式の相異なる整数解が無数に存在することの証明となります。
そこでまず、の整数解を調べます。
・・・おや、よく見ると方程式の右辺がではなくになっていますね。管理人のタイプミスでしょうか?(笑)
・・・茶番はさておき、実はという形の方程式(は整数、は平方数でない整数)の整数解は、右辺がの方程式の整数解を用いて与えることができるのです。
● ● ●
本問の証明は、大きく分けて以下の2つからなります。
①方程式の整数解が無数に存在する
②方程式の整数解から方程式の整数解が構成できる
● ● ●
①に関して次の事実が知られています。
× × ×
方程式 の解は、ある(正の)整数解をとするととして求めることができる。
× × ×
これは数学的帰納法によって示すことができますが、ここでは概略だけ示しておきます。
» 《証明の概略》
《証明の概略》
組は方程式の解であるから で成立する。一般ので
が成り立つという仮定の下、となることを証明すればよい。仮定より、右辺についてとなるので、と表せる。これを方程式 の左辺に代入すると、となるからは方程式 の解である。よってすべての自然数について、で与えられる組は方程式 の解である。
|
» 閉じる
これによって方程式の整数解は無数に存在することが示されます。
次に②を示すため、次の補題を証明しましょう。
× × ×
方程式の任意の解をとし、方程式の任意の解をとするとき、組もまた方程式 の解となる(ただしは整数)。
× × ×
数学的帰納法によって示しても良いですが、ここではすべての組が方程式 を満たすことは既に分かっているので、式変形して成り立つことを確認すれば十分でしょう。
組を方程式 の左辺に代入すると、となるので、組は確かに方程式 の解となっています。
これにより、組から、任意に大きな解を生成できるので、方程式 の解が1つでも見つかれば、無数の解を構成できることが分かります。
● ● ●
以上で前置きは終了です。それでは実際に、方程式の解を用いて、方程式が相異なる整数解を無数に存在することを証明しましょう。
方程式は解をもつので、整数解はを展開して整理することによって幾らでも得ることができます。
一方で、方程式は解をもつので、方程式のある整数解をとし、と置くと、組はすべて方程式の解となります。組は無数に存在するので、これを用いて得られる組もまた無数に存在します。
以上により、方程式の相異なる整数解は無数に存在することが示されました。これより、が平方数となるような正の整数は無数に存在することが示されます。
(コメント)
実は方程式の解は最小解なので、によって方程式のすべての解が得られます。また、解も最小解なので、組によってすべての整数解が網羅できます。
ペル方程式の解の構造に関して、次の事実が知られています。
× × ×
ペル方程式 の最小解を用いて、として求められる組の集合は、ペル方程式 のすべての解からなる集合に一致する。
× × ×
この内容はしばしば難関大学の入試問題の題材となりますので、頭の片隅に入れておいて損は無いでしょう(cf. 京都大1967年、東工大1985年、明治大1995年など)。
なお、ペル方程式 の一般解は三項間漸化式を解くことで求めることができます。具体的には以下の連立漸化式を解くことになります。この解を用いることで、方程式の一般解は 、 と置けば、と表すことができます。このことからも、題意を満たす整数が無数に存在することが示せます(仰々しい見た目をしていますが、上記の式のに自然数を代入すればちゃんと整数になります)。
当サイトでは「雑題ログ」にて、ペル方程式に関する大学入学問題を蒐集したページ「雑題ログ:ペル型数列の問題」を公開しています。難関大学の整数問題として毎年どこかで必ず見かける頻出の題材ですので、是非覗いてみて下さい!
“創作整数問題#44解法&創作整数問題#45” への2件の返信