arctanの無限和の問題
近畿大学主催の数学コンテストの過去問に,面白いものがあった.
第13回,B-3の問題である.
を示せ.
arctanのなかにってどうやって計算するんだ,て感じである.
この問題を解くために,まずはこのarctanの公式を説明する.
この証明から.
tanの加法定理より
ここでとおくと
と目的の式が得られる.
この式をどうやって使うかがカギとなる.
うまい値を代入したらいいのだが….
答えを言うと, を代入する.
こうするとより,
となり,目的の式に近づく.
が大きくなるとは正の方向に,は負の方向に値が変化するので,
しかもなので,
うまい具合に消えていきそうな気がする.
では解答行こう.
と定義する.
すると仮定より
である.
まず,次の等式を数学的帰納法により示す.
任意の自然数において,
のとき,
よりの等式を満たす.
x=kのときの等式を満たすと仮定する.このとき
また,
より,
となるので,のときも等式は成り立つ.
よって数学的帰納法により,の等式が成り立つことが証明された.
これができたらもう簡単である.
$\displaystyle \lim_{x \to \infty} f(x)$を求めればいいので,
より問題の式が成り立つことが証明された.
なかなか意外性のある面白い問題だと思った.
近畿大学主催の数学コンテストにはほかにも面白い問題が出題されているので,興味のある方は調べてみてはどうかと思う.
2017をn進法で書き表したら各桁の和がn
鯵坂もっちょさんのこのツイートが気になったので、考察してみました。
そもそも10進法2017の各桁の和も10だしn進法2017各桁の和がnになるのはほかにも10,19,22,25,29,33,37,43,49,57,64,73,85,97,113,127...といっぱいある けど2018には一つもない! ふしぎ!
— 鯵坂もっちょ@通販開始! (@motcho_tw) 2017年1月3日
2017を進法でこう書き表したとします。
(のときは自明に成り立つので、とします。)
ただし、はそれぞれ0以上以下の整数です。
すると各桁の和がになるということなので、
です。
以上まとめて、
となります。
ここで、①から②を引いてみましょう。
…③
となります。
この左辺に注目です。
(は正整数)というかたちがたくさんできましたが、
じつはこれらはという風に因数分解できます。
つまり、はすべてで割り切れます。
なので、左辺はで割り切れることが分かります。
③が成り立つためには、もで割り切れなければいけません。
なので、
がで割り切れる 2016がで割り切れる
ということが分かります。
つまり、2017を進法で書き表したら各桁の和がになるとき、
が2016の約数である必要があります。
ただし、必ずしも逆は成り立ちません。
(が2016の約数であっても、2017を進法で書き表したら各桁の和がになるとは限らない)
しかし、なので、2016の約数はたくさん(36個)あるので、
候補となるはたくさんあり、それだけ条件を満たすは多くなります。
では、2018を進法で書き表したら各桁の和がになるようなについて考えましょう。
同じような方針で計算していくと、が2017の約数である必要があります。
しかし、2017は素数です。n=2しか候補はありません(なので)。
2017を2進法で表すと11111100001であり、各桁の和は7なのでこれは条件を満たしません。
というわけで、2018を進法で書き表したら各桁の和がになるようなはないのです。
というわけで、2017がこのような性質を持てたのは2016のおかげなんですね。
昨年の2016はいろいろな性質を持っていましたが、今年も「2016+1」としていろいろな性質がありそうです。
#だま氏の謎
来年の年賀状は何か変わったことをしたいなと思い、この企画をしました。
2017年賀状特設ページ!
#だま氏の謎 です。
これは、だま氏が5つの謎を提示し、みんなに集団知で解いてもらうという企画です。
どれだけ早く解かれてしまうか楽しみです。
ルール
問題の発表は、1月1日の午前8時です。
半年ぐらい前に考えた問題がやっと解けた。
半年ぐらい前に考えた問題ですが、やっと解けました。
su-hai.hatenablog.com
これです。
解答
任意の奇数について、その倍数で各桁がすべて奇数となるようなものが存在することを示す。
任意の奇数を(ただしは5の倍数でない奇数)とおく。
まず、次の補題を示す。
任意のについて、すべての桁が奇数となる桁のの倍数が存在する。
数学的帰納法で証明する。
のとき自明。(5が条件を満たす)
次に、のときに命題が成り立つと仮定し、のときも命題が成り立つことを証明する。
の倍数で、各桁が奇数であるものをとおく。
このとき、はすべて各桁が奇数となる桁の数だが、このうち1つはの倍数であることを示す。
をそれぞれで割ると、となるが、は5の倍数でないため、これらはそれぞれ5を法として互いに異なる。
よって、のなかに5の倍数が存在するため、のうち1つはの倍数であることが証明された。
そして、すべての桁が奇数となるの倍数が存在することを示す。
まず、の倍数ですべての桁が奇数となる桁の奇数をとおく。
また、鳩ノ巣原理により、のなかにはで割った余りが等しいものが存在し、それぞれの差をとおけば、これをで割ったものはの倍数である(は5の倍数でない奇数のため)。それをとおく。
このとき、は各桁がすべて奇数である。よって証明された。
2017JJMO本選模試を解いてみよう(後半)
JJMO本選模試です!
— だま氏 (@dama_math) 2016年11月20日
例年よりは多少簡単なレベルだと思います。
RT希望 pic.twitter.com/Lpke3aRQoM
では、問4と問5の解答です。
問4
これは、点を置けるかどうかがカギになります。
所見でとれたらスゴいです。
解答
対称性より、点とはこの順に並ぶと仮定してよい。
の外接円と直線が交わる点をとする。
このとき、より、
4点P,D,A,Xは同一円周上にある。
よって、方べきの定理を使って
よって示された。
問5
これは、数学セミナーの2015年11月号の「エレガントな解答をもとむ」から出題。
問5らしい問題ではないでしょうか。
解答
「2点間のとりえる距離が2種類になる」という条件をとする。
正五角形の頂点はを満たすので、のときを満たす配置は存在しないことを示す。
まず次の補題を示す。
補題. もしを満たす6点からなる配置が存在したとすれば、そのなかに正三角形が含まれる。
証明. 配置の中のある点に注目する。この頂点とほかの5点とのそれぞれの距離は2種類なので、5つの点のなかに、同じ長さの距離をとる3点が存在する。これをとし、とおく。もしの中に長さがとなるものが存在したとすれば、一辺がの正三角形が含まれる。またそうでないときは、となるので、が正三角形となる。よって示された。
つぎに、正三角形が存在することが分かったので、正三角形に点を追加する方針で考える。
正三角形に点を追加してを満たすようにするとき、新しく点を追加できる位置は下の図のような場所しかない。
6点以上追加する場合、正三角形に3点以上追加する必要がある。を満たすためには新しくできる長さを同じにする必要があるため、考えられる配置は次の3つに限られる。
しかし、これらはすべてを満たさない。よって6点以上からなる配置は存在しない。
補足
証明で使われた補題は、ラムゼーの定理と呼ばれています。
mathtrain.jp
2017JJMO本選模試を解いてみよう(前半)
だま氏@dama_mathJJMO本選模試です!
2016/11/20 18:48:41
例年よりは多少簡単なレベルだと思います。
RT希望 https://t.co/Lpke3aRQoM
というわけで解説します。今日は問1から問3まで。
今思えば少し簡単すぎた…。
問1
2016年の問1は、問1のくせに簡単ではなかったので、その傾向を反映させてみました。
解答
図のように、三角形とが合同になるように点をとる。四角形は平行四辺形なので、である。従って、4点は同一円周上にある。円周角の定理によりである。
問2
そろそろ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を書くことはできない。
問3
ちょっとこれは簡単すぎちゃうか?
\[\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に移転しました。
引き続きよろしくお願いします。