問題
n=1,2,3,… に対して an=tan(11n) とおく。このとき,次の(1)から(4)を示せ。ただし,π=3.14159265⋯ は円周率である。
(1) 711π<11−27π<709π。
(2) a1<0<a2。
(3) a1,a3,a5,a7,…,a707,a709 は増加数列である。
(4) 無限数列 a1,a3,a5,a7,… は増加数列ではない。
出典:東京工業大学 2001年度 後期 後期・理系 第1問
解答
(1)
δ=11−27π とおく。3.14159265<π<3.14159266 であるから,4965π>4965⋅3.14159265>15598であり,また4979π<4979⋅3.14159266<15642である。
ここで 15598<4965π は 11<(27+7091)π と同値であり,4979π<15642 は (27+7111)π<11 と同値である。したがって711π<δ<709πである。
(2)
11=27π+δ で,0<δ<π/2 である。よってa1=tan(27π+δ)=tan(2π+δ)<0である。また 22=7π+2δ で,0<2δ<π/2 だから a2=tan(2δ)>0 である。
(3)
奇数 n について,an=tan(27nπ+nδ)=tan(2π+nδ)=−sin(nδ)cos(nδ) である。
(1)より,n=1,3,…,709 では 0<nδ<π である。0<α<β<π のとき
−sinβcosβ+sinαcosα=sinαsinβsin(β−α)>0
であるから,−cosθ/sinθ は 0<θ<π で増加する。したがって a1,a3,…,a709 は増加数列である。
(4)
(1)より 709δ<π<711δ である。また 709δ>π/2,711δ<3π/2 も成り立つ。したがって π/2<709δ<π より a709>0 であり,π<711δ<3π/2 より a711<0 である。よって a709>a711 となるので,無限数列 a1,a3,a5,… は増加数列ではない。