チャレンジの結果は...?筆者の解答を紹介します。本記事は『数学セミナー』(日本評論社)に掲載されている”エレガントな解答をもとむ”に出題されいている問題を1時間で解けるか、という挑戦をする記事です。本記事を読むにあたり、前提知識は基本的に必要ありませんが、以前紹介した記事の内容を使う場合はその旨を記述することにします。selections」に掲載されいている問題です。前回の問題については以下の記事を御覧ください!【挑戦】(数セミ)エレガントな解答をもとむを解く24...for-spring.com2023.01.23問題を明示します。\(10\)と互いに素な全ての自然数は、\(11\cdots1\)のように、\(1\)を並べた倍数を必ず持つことを示してください。p21.チャレンジの結果は...?チャレンジの結果...解けました!久しぶりの整数問題でしたが、なんとか解けました。問題文はシンプルですが、今回は1時間目一杯使いました。筆者の解答を紹介します。問題文を言い換えてみます。証明しなさい、ということです。いう場合は筆者の経験上(大した経験ではありませんが)、剰余(あまり)に着目すると解きやすい傾向にあります。\(A_m=111\cdots1\)(\(1\)が\(m\)個並んでいる)とすると、\(A_m\)は$$A_m=\sum_{k=0}^m10^k$$と書くことができます。n-1)$$と書くことができます。証明したいことは\(r_m=0\)なのですが、どう証明したものでしょうか。\)という形にすることで、\(\gcd(n,10)=1\)から\(n|111\cdots1\)である、と結論づけると良いのではないか?という発想に至りました。試行錯誤の末、\(n+1\)個の\(A_m\)、すなわち\(A_1,A_2,\cdots,A_n,A_{n+1}\)を\(n\)で割ることにしました。すると、\(n\)で割ったときの余りは\(0,1,\cdots,n-1\)の\(n\)パターンしか存在しません。したがって、\(A_1,\cdots,A_{n+1}\)の中には\(n\)で割ったときに余りが一致するようなペアが少なくとも1つ存在します。これは抽斗論法(鳩の巣原理とも)というやつです。その46を御覧ください。余りが一致するペアをそれぞれ\(A_i\)、\(A_j\)とします。このとき、一般性を失わず\(A_i>A_j\)としてOKです(\(A_j>A_i\)としても記号の役割が変わるだけ)。10^{j+1}\end{eqnarray}となります。A_j=np_j+r$$と書けます。このとき、$$A_i-A_j=np_i+r-np_j-r=np_i-np_j=n(p_i-p_j)$$となるため、\(n|(A_i-A_j)\)、すなわち\(A_i-A_j\)は\(n\)で割り切れます。10^{j+1}\right)\right.$$となります。\(n\)は\(\displaystyle\sum_{k=0}^{i-j-1}10^k\)か\(10^{j+1}\)の少なくとも一方を割り切ります。\(\gcd(n,10)=1\)ですので、\(n\not|10^{j+1}\)です。故に、$$n\left|\sum_{k=0}^{i-j-1}10^k\right.$$となります。$$\sum_{k=0}^{i-j-1}10^k=111\cdots1$$(\(1\)が\(i-j-1\)個並んでいる)ですから、証明完了です。投稿されたエレガントな解答を紹介します!筆者の解答と似ている部分は省略します。(前略)全体を通じて\(m\)は\(10\)と互いに素な自然数とします。(中略)さて、この「鳩ノ巣原理」を用いると、次のような事実が証明できます。補題「\(a\)と\(x\)が互いに素であるとき\(a^n-1\)が\(x\)の倍数となる自然数\(n\)が存在する」(中略)\(x+1\)個の自然数\(a^0,a^1,\cdots,a^x\)の中に\(x\)で割ったときの余りが等しいものが必ず1組は存在します。x\))とすると\(a^j-a^i=a^i(a^{j-i}-1)\)は\(x\)の倍数となり、\(a\)と\(x\)の倍数であることがわかります。実は補題の\(n\)の具体的な数値を定めた定理が存在し、「オイラーの定理」と呼ばれています。「\(a\)と\(x\)が互いに素であるとき\(a^{\phi(x)}-1\)が\(x\)の倍数となる。\(\phi(x)\)は\(x\)未満の自然数のうち\(x\)と互いに素なものの個数とする」この\(\phi(x)\)はオイラー数と呼ばれています。数xとが素数であるときには\(a^{x-1}-1\)が\(x\)の倍数であることになり、これは特に「フェルマーの小定理」と呼ばれています(「大定理」の方はあまりにも有名なあの定理です)。次の会報は「オイラーの定理」を用いたものです。解法2\(9m\)と\(10\)は互いに素な自然数になるので、「オイラーの定理」から$$10^{\phi(9m)}-1=\overbrace{99\cdots9}^{\phi(9m)個}$$は\(9m\)で割り切れます。n=\overbrace{11\cdots1}^{\phi(9m)個}$$となり代位が示されます。「オイラーの定理」の代わりに先程の「補題」を用いても同じです。割り切れない有理数は循環小数になることが知られていますが、その証明に使われるのも「鳩の巣原理」です。この循環小数を用いたのが次の解法です。解法3\(9m\)と\(10\)は互いに素なので、\(\displaystyle\frac{1}{9m}\)は純循環小数、すなわち小数点第1位から循環が始まる循環小数となります(証明は簡単なのでここでは省略します)。n=11\cdots1$$となり代位が示されます。解法2と解法3において\(m\)ではなく\(9m\)を用いてときました。\(m\)を用いて解く場合には、\(m\)が\(3\)の倍数であるかどうかで場合分けをする必要があります。解法2において\(m=3\)とすれば\(10^{3-1}-1=99\)は\(3\)の倍数ですがそれを\(9\)で割った\(11\)は\(3\)の倍数ではありません。\(m\)は\(10\)と互いに素なので、一の位は\(1,3,7,9\)のいずれかになります。10)\)なる\(x\in\left\{0,1,\cdots,9\right\}\)が存在する、というものがあります。これらの数の倍数を並べると、一の位には\(0\)から\(9\)まですべての数が現れるということです。最後の解法はこの声質と筆算による掛け算のプロセスから証明するものです。10)\)なる(つまり\(m\)との積の一の位が\(1\)であるような)\(x_1\in\left\{0,1,\cdots,9\right\}\)をとり、\(y_1=(mx_1-1)/10\)とおきます。y_i+mx_{i+1}-1\right)/10\)とおきます。$$m\times\sum_{k=1}^ix_k10^{k-1}=y_i\times10^i+\overbrace{1\cdots1}^{i個}$$となります。m+1\))なる\(i,j\)が少なくとも1組は存在します。10^i+\overbrace{11\cdots1}^{i個})\\&\quad&=\overbrace{11\cdots1}^{i個}\end{eqnarray}となり題意が示されます。意見すると何をしているのかわかりにくいかもしれません。\(m\)との積に\(1\)が並ぶように、定数の桁を1つずつ増やしていきます。\(\left\{x_1,x_2,\cdots,x_i,\cdots\right\}\)はその定数の各桁の数字を意味します。\(\left\{y_1,y_2,\cdots,y_i,\cdots\right\}\)は積の数字から\(11\cdots1\)を取り除いて残った数を意味します。筆算の要領で計算をするとわかりやくすなると思います。k^5+k^7\right)$$を\(n\)で表して下さい。k^7\)を別々に求めては損です。もとのまま、電卓やパソコンで少し実験してみると、答が予想できます。予想できれば証明は容易です。p21前回の問題は【1時間チャレンジシリーズ】挑戦24を御覧ください。皆様の挑戦の結果を是非コメントで教えて下さい!結いかがでしたか?今回は数セミの「エレガントな解答をもとむ」に挑戦してみる、という記事でした。読者の皆様も是非一度挑戦してみて下さい!そして、「読者の皆様への挑戦状」にも是非挑戦していただき、解答をコメントで教えて下さい!質問、コメントなどお待ちしております!どんな些細なことでも構いませんし、この記事に限らず、「定理〇〇の△△が分からない!」などいただければ全てお答えします!お問い合わせの内容にもよりますが、ご質問はおおよそ3日以内にお答えします。回答が欲しければその旨もコメントでお知らせください。本記事は、新理系大学生に向けて、Macで\(\LaTeX\)をインストールし、実際に使えるようにするためのガイドをする記事です。本記事は『数学セミナー』(日本評論社)に掲載されている"エレガントな解答をもとむ"に出題されいている問題を1時間で解けるか、という挑戦をする記事です。本記事は『数学セミナー』(日本評論社)に掲載されている"エレガントな解答をもとむ"に出題されいている問題を1時間で解けるか、という挑戦をする記事です。34コメントをキャンセルメールアドレスが公開されることはありません。【挑戦】(数セミ)エレガントな解答をもとむを解く24【挑戦】(数セミ)エレガントな解答をもとむを解く26ホームその他1時間チャレンジお知らせ2023/5/20沢山のコメント、ありがとうございます。お返ししますので、今しばしお待ち頂ければ幸いです。2023年度から新社会人。2019年に博士前期課程修了(修士(数理科学))。