来年の年賀状は何か変わったことをしたいなと思い、この企画をしました。
2017年賀状特設ページ!
#だま氏の謎 です。
これは、だま氏が5つの謎を提示し、みんなに集団知で解いてもらうという企画です。
どれだけ早く解かれてしまうか楽しみです。
ルール
問題の発表は、1月1日の午前8時です。
来年の年賀状は何か変わったことをしたいなと思い、この企画をしました。
2017年賀状特設ページ!
#だま氏の謎 です。
これは、だま氏が5つの謎を提示し、みんなに集団知で解いてもらうという企画です。
どれだけ早く解かれてしまうか楽しみです。
ルール
問題の発表は、1月1日の午前8時です。
半年ぐらい前に考えた問題ですが、やっと解けました。
su-hai.hatenablog.com
これです。
解答
任意の奇数について、その倍数で各桁がすべて奇数となるようなものが存在することを示す。
任意の奇数を(ただしは5の倍数でない奇数)とおく。
まず、次の補題を示す。
任意のについて、すべての桁が奇数となる桁のの倍数が存在する。
数学的帰納法で証明する。
のとき自明。(5が条件を満たす)
次に、のときに命題が成り立つと仮定し、のときも命題が成り立つことを証明する。
の倍数で、各桁が奇数であるものをとおく。
このとき、はすべて各桁が奇数となる桁の数だが、このうち1つはの倍数であることを示す。
をそれぞれで割ると、となるが、は5の倍数でないため、これらはそれぞれ5を法として互いに異なる。
よって、のなかに5の倍数が存在するため、のうち1つはの倍数であることが証明された。
そして、すべての桁が奇数となるの倍数が存在することを示す。
まず、の倍数ですべての桁が奇数となる桁の奇数をとおく。
また、鳩ノ巣原理により、のなかにはで割った余りが等しいものが存在し、それぞれの差をとおけば、これをで割ったものはの倍数である(は5の倍数でない奇数のため)。それをとおく。
このとき、は各桁がすべて奇数である。よって証明された。
JJMO本選模試です!
— だま氏 (@dama_math) 2016年11月20日
例年よりは多少簡単なレベルだと思います。
RT希望 pic.twitter.com/Lpke3aRQoM
これは、点を置けるかどうかがカギになります。
所見でとれたらスゴいです。
対称性より、点とはこの順に並ぶと仮定してよい。
の外接円と直線が交わる点をとする。
このとき、より、
4点P,D,A,Xは同一円周上にある。
よって、方べきの定理を使って
よって示された。
これは、数学セミナーの2015年11月号の「エレガントな解答をもとむ」から出題。
問5らしい問題ではないでしょうか。
「2点間のとりえる距離が2種類になる」という条件をとする。
正五角形の頂点はを満たすので、のときを満たす配置は存在しないことを示す。
まず次の補題を示す。
補題. もしを満たす6点からなる配置が存在したとすれば、そのなかに正三角形が含まれる。
証明. 配置の中のある点に注目する。この頂点とほかの5点とのそれぞれの距離は2種類なので、5つの点のなかに、同じ長さの距離をとる3点が存在する。これをとし、とおく。もしの中に長さがとなるものが存在したとすれば、一辺がの正三角形が含まれる。またそうでないときは、となるので、が正三角形となる。よって示された。
つぎに、正三角形が存在することが分かったので、正三角形に点を追加する方針で考える。
正三角形に点を追加してを満たすようにするとき、新しく点を追加できる位置は下の図のような場所しかない。
6点以上追加する場合、正三角形に3点以上追加する必要がある。を満たすためには新しくできる長さを同じにする必要があるため、考えられる配置は次の3つに限られる。
しかし、これらはすべてを満たさない。よって6点以上からなる配置は存在しない。
証明で使われた補題は、ラムゼーの定理と呼ばれています。
mathtrain.jp
だま氏@dama_mathJJMO本選模試です!
2016/11/20 18:48:41
例年よりは多少簡単なレベルだと思います。
RT希望 https://t.co/Lpke3aRQoM
というわけで解説します。今日は問1から問3まで。
今思えば少し簡単すぎた…。
2016年の問1は、問1のくせに簡単ではなかったので、その傾向を反映させてみました。
図のように、三角形とが合同になるように点をとる。四角形は平行四辺形なので、である。従って、4点は同一円周上にある。円周角の定理によりである。
そろそろN(整数論)が出るかと思ったので、出してみました。
(といってもC(組合せ)やA(代数)の要素も強い)
等式\(ab+a+b=(a+1)(b+1)-1\)より、この黒板Xに書くことのできる数に1を加えた数の全体は、別の黒板Yに次の規則のもとで書くことのできる数の全体に一致する。
始めに2,3が書かれている。
黒板にすでに書かれている二つの数の積を書き加えることができる。
このとき、黒板Yに書くことのできる整数は、\(2^n\cdot 3^m\)の形の数であり、\(13121+1=2\cdot 3^8\),\(12131+1=2^2 \cdot 3^2 \cdot 337\)だから、13122を黒板Yに書くことはできるが、12132を書くことはできない。よって、13121を黒板Xに書くことはできるが、12131を書くことはできない。
ちょっとこれは簡単すぎちゃうか?
\[\frac{1}{2}(a+b)^2+\frac{1}{4}(a+b)\geq a\sqrt{b}+b\sqrt{a}\]
まず左辺は\(\frac{1}{2}(a+b)\)でくくれます。
しかも右辺は\(\sqrt{ab}\)でくくれます。
これは相加相乗平均の不等式しかない!
相加相乗平均の不等式より、
\[\frac{1}{2}(a+b)\geq \sqrt{ab} \hspace{3.5em} \cdots①\]
また、
\[\left( \sqrt{a}-\frac{1}{2}\right) ^2+\left( \sqrt{b}-\frac{1}{2}\right)^2 \geq 0\]
より
\[a+b+\frac{1}{2} \geq \sqrt{a}+\sqrt{b}\hspace{3.5em} \cdots②\]
よって、①と②を辺々掛け合わせて結果を得る。
問4と問5はもう少し時間がかかるかな?というところです。
特に問5は時間がかかりそう。
ブログをlivedoorからhatenaに移転しました。
引き続きよろしくお願いします。
三角形\(ABC\)の外心を\(O\)とし、辺\(BC,CA,AB\)の中点をそれぞれ\(M_A,M_B,M_C\)とする。
数学界で「マスターデーモン」というともうあれしかない、恐ろしい奴です。
1990 IMO 問3
\(\cfrac{2^n+1}{n^2}\)が整数となるような1より大きい整数\(n\)をすべて求めよ。
見た目はシンプルで、中学生も簡単に理解できる問題なのに、
世界中の高校生を悩ませた、デーモン的な存在。
これの攻略をしていきます。
思考過程