Evolton

広島大学 2017年度 前期理系数学 第1問

数列{an}を
a1=tan⁡π3, an+1=anan2+1+1 (n=1,2,3,…)
により定める.次の問いに答えよ.
(1) a2=tan⁡π6, a3=tan⁡π12であることを示せ.
(2) 一般項anを表すnの式を推定し,それが正しいことを数学的帰納法により証明せよ.
(3) lim⁡n→∞2nanを求めよ.

難易度5/ 10計算量4/ 10目安12分

数列、三角関数 三角比の利用、数学的帰納法、極限計算

方針

漸化式の形を正接の半角公式として読む。an=tan⁡αnとみるとan+1=tan⁡(αn/2)になるため,一般項をtan⁡π3⋅2n−1と推定する。極限はx→0でtan⁡xx→1を用いる。

解答

(1) a1=tan⁡π3=3であるからa2=33+1+1=33=tan⁡π6である。またa3=1/31/3+1+1=12+3=2−3=tan⁡π12である。

(2)
(1)からan=tan⁡π3⋅2n−1と推定される。これを数学的帰納法で示す。n=1では成り立つ。an=tan⁡α,α=π3⋅2n−1とすると,0<α≦π3であるからcos⁡α>0でありan2+1=tan⁡2α+1=1cos⁡αである。したがってan+1=tan⁡α1cos⁡α+1=sin⁡α1+cos⁡α=tan⁡α2=tan⁡π3⋅2nとなる。よってすべての自然数nについてan=tan⁡π3⋅2n−1である。

(3) xn=π3⋅2n−1とおくと,xn→0かつ2nxn=2π3である。(2)より2nan=2ntan⁡xn=2π3⋅tan⁡xnxnである。lim⁡x→0tan⁡xx=1よりlim⁡n→∞2nan=2π3である。

別解

解法2

方針

漸化式を有理化して (1+an2−1)/an とし,正接の半角公式へ直接対応させる。

解答

(1) a1=3 からa2=13=tan⁡π6,a3=2−3=tan⁡π12.(2) 分母を有理化するとan+1=1+an2−1an.an=tan⁡αn とおけば右辺は1−cos⁡αnsin⁡αn=tan⁡αn2.よって帰納的にan=tan⁡π3⋅2n−1.(3) xn=π/(3⋅2n−1) とすれば2nan=2π3tan⁡xnxn⟶2π3.

総評

難度5,計算量4。想定時間は12分程度。漸化式を正接の半角公式と見抜けるかが中心である。帰納法ではcos⁡α>0を確認して平方根を外すこと,極限では角が0に近づくことを明示すると答案が安定する。

冊子PDFで見る広大の数列の問題で問題集を作る

出典: 広島大学 2017年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。