shaitan's blog

長文書きたいときに使う．

東大2015年前期理系問題4

箱庭数学 
数列\{p_n\}を次のように定める。
p_1=1, p_2=2, p_{n+2}=\dfrac{p_{n+1}^2+1}{p_n} (n=1,2,3,\ldots)
(1)\dfrac{p_{n+1}^2+p_n^2+1}{p_{n+1}p_n}がnによらないことを示せ。
(2)すべてのn=2,3,4,\ldotsに対し、p_{n+1}+p_{n-1}をp_nのみを使って表せ。
(3)数列\{q_n\}を次のように定める。
q_1=1, q_2=2, q_{n+2}=q_{n+1}+q_n (n=1,2,3,\ldots)
すべてのn=1,2,3,\ldotsに対し、p_n=q_{2n-1}を示せ。

(1)
すべてのn=1,2,3,\ldotsに対しp_{n+2}p_n=p_{n+1}^2+1であるから、
\dfrac{p_{n+1}^2+p_n^2+1}{p_{n+1}p_n}=\dfrac{p_{n+2}p_n+p_n^2}{p_{n+1}p_n}=\dfrac{p_{n+2}+p_n}{p_{n+1}}=\dfrac{p_{n+2}^2+p_{n+2}p_n}{p_{n+2}p_{n+1}}=\dfrac{p_{n+2}^2+p_{n+1}^2+1}{p_{n+2}p_{n+1}}
となりnによらない。
(2)
(1)の途中式よりすべてのn=1,2,3,\ldotsに対し
\dfrac{p_{n+2}+p_n}{p_{n+1}}=\dfrac{p_{n+1}^2+p_n^2+1}{p_{n+1}p_n}であるが、
(1)の結果より右辺はnによらず\dfrac{p_2^2+p_1^2+1}{p_2p_1}=3に等しい。
添え字の範囲に注意すると、すべてのn=2,3,4,\ldotsに対し、\dfrac{p_{n+1}+p_{n-1}}{p_n}=3。
すなわち{p_{n+1}+p_{n-1}}=3{p_n}。
(3)
数列\{q_{2n-1}\}を考えると、q_{2\cdot1-1}=q_1=1=p_1、q_{2\cdot2-1}=q_3=q_2+q_1=2=p_2であるから、q_{2(n+1)-1}+q_{2(n-1)-1}=3q_{2n-1}\quad(n=2,3,4,\ldots)が成立することを示せばよい。
すべてのn=2,3,4,\ldotsに対し、q_{2(n+1)-1}=q_{2n}+q_{2n-1}, q_{2n}=q_{2n-1}+q_{2n-2}, q_{2n-1}=q_{2n-2}+q_{2(n-1)-1}であるが、これらからq_{2n},q_{2n-2}を消去すると示すべき式が得られる。

東大2016年前期理系問題1

箱庭数学 
eを自然対数の底，すなわちe=\lim\limits_{t\to\infty}\left(1+\dfrac1t\right)^tとする。
すべての正の実数xに対し，次の不等式が成り立つことを示せ。
\left(1+\dfrac1x\right)^x < e < \left(1+\dfrac1x\right)^{x+\frac12}

補題「数列\{a_n\}が単調増加で\lim\limits_{n\to\infty}a_n=\alphaのとき、\alpha > a_0」を示す。
1より大きい任意のnに対しa_n >a_1なので\alpha=\lim\limits_{n\to\infty}a_n\geq\lim\limits_{n\to\infty}a_1=a_1 > a_0。

ここで、a_n=\left(1+\dfrac1{2^nx}\right)^{2^nx}を考える。
a_{n+1}= \left(1+\dfrac1{2^{n+1}x}\right)^{2(2^nx)}=\left(1+\dfrac1{2^nx}+\dfrac1{2^{2n+2}x^2}\right)^{2^nx} > a_nより\{a_n\}は単調増加。
さらに\lim\limits_{n\to\infty}a_n=eであるから、補題よりe > a_0 = \left(1+\dfrac1x\right)^x。

また、f(x)=\left(1+\dfrac1x\right)^{x+\frac12}、x_0=x, x_{n+1}=2x_n+\dfrac12とおき、b_n=-f(x_n)とする。
b_{n+1}=-\left(1+\dfrac1{x_{n+1}}\right)^{2(x_{n}+\frac12)}=\cdots=-\left(1+\dfrac1{x_n+\frac14}\right)^{x_{n}+\frac12} > b_n より\{b_n\}は単調増加。
さらに\lim\limits_{n\to\infty}\left(1+\dfrac1{x_n}\right)^{x_n}=eかつ\lim\limits_{n\to\infty}\sqrt{1+\dfrac1{x_n}}=1より\lim\limits_{n\to\infty}b_n=-e\cdot1=-eであるから、補題より-e > b_0。つまりe < -b_0=f(x_0)=\left(1+\dfrac1x\right)^{x+\frac12}。

高校範囲だと極限をどう扱うのかよく分かってない。こういう解答だとバツかも。
なるべく計算量が少なくなるように頑張ったつもり（二乗の展開と分数の足し算くらい？）。

今月の問題、今月のうちに

箱庭数学

shaitan.hatenablog.com

十分性の証明

↓背景色と同じにすればいいか

正六角形の一辺の長さが3の倍数のとき、対角線の長さは6の倍数であり、
松竹梅のそれぞれと対角線との共有部分の辺の本数はいずれも同じであり偶数本となる。
よってハニカム格子上で偶数本の辺からなる連結な図形は折れ線により構成可能であることを示せば十分。
辺の本数による帰納法で示す。2本の場合自明。k本以下の場合に可能であると仮定し、k+2本の辺から構成された連結な図形を考える。
(i)ちょうど2本の辺に共有される頂点が存在する場合
この頂点Pを含む折れ線を取り除いた図形Xを考える。
Xが連結な場合、いずれも偶数本の辺からなる2つの連結な部分からなる場合はいずれも帰納法の仮定からもとの図形も構成可能。
Xがいずれも奇数本の辺からなる2つの連結な部分からなる場合、
もとの図形をPで分割するとそれぞれが偶数本の辺からなる連結な図形となるので帰納法の仮定からもとの図形も構成可能。
(ii)それ以外
分岐が存在し、その分岐点をOとする。Oに隣接する3頂点をA,B,Cとし、Aからは辺AO以外の辺が出ているとしてよい。
辺OAが辺OB,辺OCとつながっていないとした場合にも図形が連結であれば(i)に帰着される。
図形がいずれも偶数本の辺からなる2つの連結な部分に分かれる場合は帰納法の仮定からもとの図形も構成可能。
図形がいずれも奇数本の辺からなる2つの連結な部分に分かれる場合は点Oの代わりに点Aで分割すればよい。

↑おわり。
大したこと言ってないくせに、ちゃんと書こうとするとどう書いていいかよく分からない（用語がおかしい部分があると思う）上に面倒くさい（多少ごまかした）。
場合分けをどうすれば簡単になるかをずっと考えてたんだけどもうこれで妥協した。
高級な概念を使うと一瞬で解けそうな気もするがそういうのは数学ができる人に任せる。

数学の入社試験を見た（見ただけ）を見た（見ただけ）

箱庭数学

nloglogn.hatenablog.com
必要性の証明の別解

↓背景色と同じにすればいいか

一辺の長さnの正六角形が折れ線で作れるとする。
三角格子はハニカム格子三つでできている。それぞれの格子と正六角形の共通部分を「松」「竹」「梅」とする。
折れ線の二辺は同じハニカム格子に属するため、松竹梅はいずれも折れ線で作れる。従って松竹梅の辺はいずれも偶数本。対称性から正六角形の対角線と松竹梅それぞれの共通部分の辺はいずれも偶数本。
正六角形の対角線上の松竹梅の辺の本数の差はいずれも1以下であるから、辺の本数はいずれも等しい。これより対角線の長さ2nは3の倍数となるのでnは3の倍数。

↑おわり。

前の記事のタイトルは「インテル入ってる」の方が良かったかなって思った

自作数学問題bot 箱庭数学


2^(n+1)個の自然数をa[1]≦a[2]≦…≦a[2^n]≦b[1]≦b[2]≦…≦b[2^n]とおき、2≦a[2^n]であるとする。
Πa[k]≧a[2^n]≧2 (k=1,2,...,2^n。以下、総和および総積の範囲はこれと同じなので省略する。）。
2≦b[k]であるから、Πb[k]≧2^(2^n-1)b[2^n]≧2^(C[n,0]+C[n,1]-1)b[2^n]=2^nb[2^n]≧Σb[k]。(ただしC[i,j]は二項係数)
これらより、Σa[k]+Σb[k]≦2Σb[k]≦(Πa[k])(Πb[k])。
左側の等号成立にはΣa[k]=Σb[k]が必要である。
ここで、定義よりa[k]≦b[k]であるからこの等号がすべて成立している。
特にa[1]=b[1]≧2なのでΠa[k]≧a[2^n]*a[1]=4>2となり右側の等号は成立しない。
以上からΣa[k]+Σb[k]=(Πa[k])(Πb[k])のときa[2^n]=1、つまり任意のkについてa[k]=1。
従って、2^(n+1)個の自然数の和と積が等しいとき、少なくとも2^n個は1である。