数ぽよ用のフォーラムを作りました!
なんと!TeX対応です!(\(と\)で囲んでください)
http://supoyo.forumotion.asia/forum
広告からウイルスが入るらしいのでいったん閉鎖します
数ぽよ用のフォーラムを作りました!
なんと!TeX対応です!(\(と\)で囲んでください)
http://supoyo.forumotion.asia/forum
広告からウイルスが入るらしいのでいったん閉鎖します
追記:ミスを直しました。
黒峰問題とは
\(2^x+3^y+5=z^3\)の非負整数解\((x,y,z)\)をすべて求めよ。
という問題で、まだ未解決です。
(1,0,2),(5,3,4)という2つの解は見つかっていますが、他は見つかっていません。
ここは略しますが、奇遇やmod 4, 7, 9で考えることにより\(y\)は奇数、\(z\)は4の倍数である2の倍数であることがわかります。
そして\(x\geq 5\)、もわかります。
移項すると\(3^y+5=z^3-2^x\)。\({\rm ord} _2 (3^y+5)\)についてみれば何かわかりそうです。
まず次の補題を使います。
補題
\(n\)を正整数とする。このとき
\[
{\rm ord}_2 (3^n-1) = \begin{cases}
1 & (nが奇数) \\
2+{\rm ord}_2 n & (nが偶数)
\end{cases}
\]
証明
\(n=2^t m\)(\(t\)は非負整数、\(m\)は奇数)と表す。\(t\)についての帰納法を用いる。
\(t=0\)の場合
\[3^n-1 \equiv (-1)^n-1 \equiv -2 \pmod 4\]
より\(3^n-1\)は2の倍数ではあるが4の倍数でない。
したがって\({\rm ord}_2 (3^n-1) = 1\)。よって証明された。
\(t=1\)の場合
\begin{eqnarray}
3^{2m}-1&=&9^m - 1\\
&=&(9-1)(9^{m - 1}+\cdots +1)
&=&8\times (奇数)
\end{eqnarray}
である。(\(9^{m - 1}+\cdots +1\)が奇数となるのは、奇数が奇数個足されているため)
したがって\({\rm ord}_2 (3^n-1)=3=2+1\)。よって証明された。
\(t=k\)(ただし\(k\geq 1\))のとき成り立つと仮定する。すなわち、
\[{\rm ord}_2 (3^{2^k}-1) = 2 + {\rm ord}_2 2^k = 2+k \]
と仮定する。
このとき、
\[3^{2^{k+1}}-1=(3^{2^k}-1)(3^{2^k}+1)=(3^{2^k}-1)\{(3^{2^k}-1)+2\}\]
であり、帰納法より\({\rm ord}_2 (3^{2^k}-1)=2+k\)、
そして\({\rm ord}_2 \{ (3^{2^k}-1)+2 \}=1\)であるから
\begin{eqnarray}
{\rm ord}_2 (3^{2^{k+1}}-1) &=& {\rm ord}_2 (3^{2^k}-1) + {\rm ord}_2 \{(3^{2^k}-1)+2\}\\
&=& (2+k)+1\\
&=& 2+(k+1)
\end{eqnarray}
よって帰納法の仮定より、すべての正整数\(n\)において証明された。
次に\({\rm ord} _2 (3^y+5)\)について考察します。
\(y=4k+1\)のときと\(y=4k+3\)のときに場合分けします。
\(y=4k+1\)のとき
補題を用いると
\[3^{4k+1}+5=\underbrace{3(3^{4k}-1)}_{16の倍数}+8\]
より\(3^{4k+1}+5\)は8で割り切れるが16で割り切れません。
すなわち\({\rm ord} _2 (3^y+5)=3\)です。
\(3^y+5=z^3-2^x\)ですが、z^3も2^xも32の倍数であることがわかっているので不適です。
\(y=4k+3\)のとき
\[3^{4k+3}+5=3^3(3^{4k}-1)+3^3+5\]
ここで
\[{\rm ord} _2 3^3(3^{4k}-1)=4+k, {\rm ord} _2 3^3+5=5\]
より、
\[
{\rm ord}_2 (3^y+5) = \begin{cases}
4 & ({\rm ord}_2 k=0) \\
5 & ({\rm ord}_2 k\ge 2) \\
6以上 & ({\rm ord}_2 k = 1) \\
\end{cases}
\]
となります。
しかし\(y=4k+1\)の場合と同様オーダーは5以上でないといけません。
じつはもうこの時点で\(y\)のmod 16がわかっています。
上の動画には載せなかったことを中心に書きます。
一番苦労したのは目の部分です。
不等式にすることで黒く塗りつぶしているわけです。
\(-0.14957x^2-0.08395y^2+0.01615xy+0.37445x+0.50634y-1\ge 0 \\
\left\{-0.03332x^2-0.02929y^2-0.16734xy+0.45301x+0.49031y-1\ge 0\right\} \\
\left\{0.02284x^2-0.08567y^2+0.04752xy-0.21504x+0.58972y-1\le 0\right\}\)
\(-0.05886x^2-0.00936y^2-0.004xy+0.45999x+0.07929y-1\ge 0 \\
\left\{-0.07013x^2-0.00831y^2+0.01367xy+0.50082x+0.01179y-1\ge 0\right\} \\
\left\{-0.20646x^2-0.0633y^2+0.18828xy+0.75228x-0.18253y-1\le 0\right\} \\
\left\{-0.0361x^2-0.1455y^2+0.0328xy-0.7275x+1.4885y-1\le 0\right\}\)
絵としてのクオリティーを下げないまま数式らしさを出すにはどうすればいいのか?
候補として考えているのは「動くグラフ」です。
やったー!アンパンマンがドラえもんになるグラフができthttps://t.co/0R7niyD4Gy pic.twitter.com/rXleJDdgk6
— 鯵坂もっちょ (@motcho_tw) 2016年1月23日
ポケモン最新作を持っていないけどモクローにエサをあげたい方。desmosで作ったのでご利用ください。https://t.co/wzpin1uEfk pic.twitter.com/WZBOeiJYjY
— コロちゃんぬ (@corollary2525) 2016年11月29日
数式お絵かき支援シート(Excel)
http://math-haikai.blog.jp/Book1.xlsx
右クリックして名前をつけて保存としてください
この問題は難しかったかと思います。
15°って割と使うのが難しいんですよね。しかも27°という数字まであります。
解答です。
この解答はやや複雑です。角の二等分線定理を使います。
まず、図のように点とおきます。
そして、の延長にとなるように点を、
の延長にとなるように点をとります。
つぎに四角形が平行四辺形となるように、
つまりとなるように点をとります。
すると図のようになります。(見覚えのある人もいるかもしれません)
ここで、直線に関して点と同じ側に、が正三角形となるように点をとります。
すると、二辺挟角相等よりより
よってとなります。
また、、より点は三角形の外心となるので、となります。よってです。
そして簡単な角度計算でがわかり、がわかります。
よって、となります。
四角形は平行四辺形なので、より、です。
ここで角の二等分線定理を使います。
よりなのでとなります。
またより。よってです。
より。
したがってとなり、これが答えです。
さきほど「見覚えのある人もいるかもしれません」といったのは、
この問題コーナーの第1回の図形が入っていたからです。
su-hai.hatenablog.com
実はこの問題は第1回の問題を基にして作られた問題です。
二番煎じと言ったらそうかもしれませんが。。。
TwitterでHiroshi Saitoさんから解答をいただきました。ありがとうございます。
円に内接する四角形ってありますよね。
よく図形の問題を解いていると出てきます。
逆に、円に外接する四角形っていうのもありますよね。
こちらはあまり問題では見かけませんが。確かにあります。
では、
「円に内接もするし外接もする四角形」
とはどのようなものなんでしょう?
正方形とかそうだけど、一般的には?
この問題について考えるため、いくつか準備をします。
円の「反転」という操作を使います。
これについてはここでは詳しく述べませんが、このサイトにある程度かかれています。
mathtrain.jp
ここで使う反転の性質は
「反転の中心を通らない円を反転させると円になる」
というものです。
これから、
「点\(A,B,C,D\)を反転させた点\(A',B',C',D'\)が同一円周上にあり、その円が反転の中心を通らないことと、点\(A,B,C,D\)が同一円周上にあり、その円が反転の中心を通らないことは同値である。」 …事実1
ということもわかります。
また、次の性質も成り立ちます。
「点\(P\)から円\(\Gamma\)に接線が引かれていて、それぞれの円との接点をそれぞれ\(A,B\)とする。点\(A,B\)の中点を点\(M\)とするとき、点\(P\)を反転させると点\(M\)に移る。」 …事実2
証明
円\(\Gamma\)の中心を\(O\)とする。点\(O,M,P\)が一直線上にあることは明らか。このとき、\(\angle OAP=\angle OMA=90^\circ\)より\(\triangle OAP \sim \triangle OMA\)。よって\(OM:OA=OA:OP\)より\(OP\cdot OM=OA^2\)となり結果が従う。
そして、次ですが、反転とは関係がありませんが四角形についてこの性質が成り立ちます(よく知られた事実です)。
「四角形のそれぞれの辺の中点を結ぶと平行四辺形ができる。」 …事実3
証明は略しますが、中点連結定理で簡単に証明できます。(図参照)
では、円に内接もするし外接もする四角形について考えていきましょう。
四角形\(ABCD\)が円\(\Gamma\)に外接していると仮定します。
そして辺\(AB,BC,CD,DA\)と円\(\Gamma\)の接点をそれぞれ\(P,Q,R,S\)とします。
すると四角形\(PQRS\)ができますね。
辺の中点をそれぞれ\(A',B',C',D'\)とします。すると、点\(A',B',C',D'\)は点\(A,B,C,D\)を反転させた点となります。これは事実2からわかります。
ここでは円に内接もするし外接もする四角形について考えているので、\(A,B,C,D\)が同一円周上にあるときについて考えます。
ここで事実1を用いましょう。点\(A',B',C',D'\)が同一円周上にある条件がわかれば、いつ\(A,B,C,D\)が同一円周上にあるかがわかります。(注)
そして事実3。点\(A',B',C',D'\)は四角形\(PQRS\)の辺のそれぞれの中点を結んでできた四角形だったので、四角形\(A'B'C'D'\)は平行四辺形だとわかります。
では、「円に内接する平行四辺形」とはなんでしょうか?対角の和が180°でなくてはいけないため、そのような平行四辺形は長方形だとわかります。すなわち、四角形\(A'B'C'D'\)は長方形だとわかります。
というわけで、
「四角形\(ABCD\)が円に内接もするし外接もする←→四角形\(A'B'C'D'\)が長方形」
ということがわかりました。
しかし「四角形\(A'B'C'D'\)が長方形」という条件がわかりにくいですね…しかし、\(PR\perp QS\)という条件と同値なのは中点連結定理によってわかります。
というわけで、いろいろ長くなりましたが、最終的には
「四角形\(ABCD\)が円に内接もするし外接もする←→\(PR\perp QS\)」
ということがわかります。
けっこう簡単な条件で表せました。
これをつかうと簡単に円に内接もするし外接もする四角形をかけて楽しいですよ!
注:四角形\(A'B'C'D'\)の外接円が反転の中心を通らないということを厳密に証明できていません。証明しようとなると大変そう…
解けたらコメントでも大丈夫なので、解答をお待ちしております。
最近解いた問題で、結構良問だったので紹介します。
2017年のEGMO日本代表一次選抜試験の問題2です。
問題をわかりやすく解説してみます。
数列の各項を具体的に計算してみると、
と続いていきます。
そして、条件を満たす素数というのは、
です。
そのような素数が無数に存在することを示せばいいのです。
条件が弱そう。
というか、無数に存在しない、つまり有限個しかないとしたら
逆にびっくりです…。
(解いているときの自分の心の声的な感じで)
数列の一般項をもとめる(をの式で表す)のは難しそう。
一般項を求めなくともわかるこの数列の性質を探してみよう。
何か進展がみられそう。やってみよう。
うーん。全然性質が見つからない。
ただ一つ見つかったことといえば、
(ただし、は自然数、は素数)
ということぐらい。
この見つかった性質からいろいろ進展させてみよう。
(ただしtは正の整数)
がいえる。
ってことは、のとき、
がいえる。
これを繰り返すと、
ということがわかる。
なんか使えそうになってきた。
あ、ひらめいたぞ。
と拡張すると、となって自然だ。
はどんな数でも割り切れるから、
上の式にを代入して
より
いい感じ。
しかし、条件を満たす素数が無数に存在することをどう証明すればいいのだろう…?
とりあえず、素数が無数に存在することの証明みたいに、背理法を使おう。
条件を満たす素数が無数に存在しないと仮定して、矛盾を導いてみよう。
とりあえず、条件を満たすような素数をそれぞれとおいてみて…
のどれでも割り切れないようなはないかなあ。
あ、がの全てで割り切れればいいのか。
おっ、これはさっき示したアレが使える…!
よっしゃ、できた。
すいません、長くなりました。解答です。
解答
条件を満たす素数が無数に存在しないと仮定して、矛盾を導く。
ここで数列をと拡張する。
より、以降の項の値は変わらない。
条件を満たすような素数をそれぞれとおく。
また、1以上n以下の正の整数に対し、がで割り切れるような最小の正の整数をとおく。
このとき、
のとき
が成り立つ。
これを繰り返すことにより、
が示される。
よって、に0を代入して、
である。
したがって、
はで割り切れる。
の定義より、はで割り切れる。
しかし、はと互いに素であるから、これはのどれでも割り切れない。
明らかにより、は以外に素因数を持つことになり、矛盾。
整数論の問題にしては、面倒くさくなく、また程よい難易度で、かなりの良問だったと思います。こんな問題たくさん解きたい。