Question

設m個不全相等的正數a₁，a₂，…，a_m（m≥7）依次圍成一個圓圈，
（Ⅰ）若m=2009，且a₁，a₂，…，a₁₀₀₅是公差為d的等差數列，而a₁，a₂₀₀₉，a₂₀₀₈，…，a₁₀₀₆是公比為q=d的等比數列；數列a₁，a₂，…，a_m的前n項和S_n（n≤m）滿足：S₃=15，S₂₀₀₉=S₂₀₀₇+12a₁，求通項a_n（n≤m）；
（Ⅱ）若每個數a_n（n≤m）是其左右相鄰兩數平方的等比中項，求證：a₁+…+a₆+a₇²+…+a_m²＞ma₁a₂a_m．

Answer 1

【答案】分析：（1）利用等比數列的性質，用a₁、d表示出a₂₀₀₉、a₂₀₀₈，結合已知，列方程即可解出a₁、d，進而求出a_n．
（2）通過探求數列的周期性或利用反證法求解．
解答：解：（I）因a₁，a₂₀₀₉，a₂₀₀₈，a₁₀₀₆是公比為d的等比數列，
從而a₂₀₀₉=a₁d，a₂₀₀₈=a₁d²，
由S₂₀₀₉=S₂₀₀₇+12a₁得a₂₀₀₈+a₂₀₀₉=12a₁，
解得d=3或d=-4（舍去）．
∴d=3，
又S₃=3a₁+3d=15．解得a₁=2
從而當n≤1005時，a_n=a₁+（n-1）d=2+3（n-1）=3n-1
當1006≤n≤2009時，由a₁，a₂₀₀₉，a₂₀₀₈，a₁₀₀₆是公比為d的等比數列
得a_n=a₁d^{2009-（n-1）}=a₁d^2010-n（1006≤n≤2009）
因此
（II）由題意a_n²=a_n-1²a_n+1²（1＜n＜m），a_m²₌a_m-1²a₁²，a₁²=a_m²a₂²
得
有①得④
由①，②，③得a₁a₂a_n=（a₁a₂a_n）²，
故a₁a₂a_n=1．⑤
又，
故有．⑥
下面反證法證明：m=6k
若不然，設m=6k+p，其中1≤p≤5
若取p=1即m=6k+1，則由⑥得a_m=a_6k+1=a₁，
而由③得，
得a₂=1，由②得，
而④及⑥可推得a_n=1（1≤n≤m）與題設矛盾
同理若P=2，3，4，5均可得a_n=1（1≤n≤m）與題設矛盾，
因此m=6k為6的倍數
由均值不等式得
由上面三組數內必有一組不相等（否則a₁=a₂=a₃=1，
從而a₄=a₅═a_m=1與題設矛盾），故等號不成立，
從而a₁+a₂+a₃++a₆＞6又m=6k，由④和⑥得
a₇²++a_m²=（a₇²++a₁₂²）++（a_6k-5²++a_6k²）
=（k-1）（a₁²++a₆²）
=
因此由⑤得a₁+a₂+a₃++a₆+a₇²++a_m²＞6+6（k-1）=6k=m=ma₁a₂a₃a_m
點評：本題考查了等差數列和等比數列的通項公式、性質及方程、解不等式的有關知識，考查運算能力和推理能力．