Question

如圖所示，流程圖給出了無窮整數數列{a_n}滿足的條件，a₁∈N₊，且當k=5時，輸出的S=-

5

9

；當k=10時，輸出的S=-

10

99

．
（1）試求數列{a_n}的通項公式a_n；
（2）是否存在最小的正數M使得T_n≤M對一切正整數n都成立，若存在，求出M的值；若不存在，請說明理由．

Answer 1

（1）由題設知

1 a1a2 + 1 a2a3 +…+ 1 a5a6 =- 5 9 1 a1a2 + 1 a2a3 +…+ 1 a10a11 =- 10 99

又∵{a_n}是等差數列，設公差為d，
∴

1 d ( 1 a1 - 1 a6 )=- 5 9 1 d ( 1 a1 - 1 a11 )=- 10 99 .

即

a1a6=-9 a1a11=-99.

兩式相減得：a₁（a₁₁-a₆）=-90，即a₁d=-18
又∵a₁d=a₁（a₁+5d）=a₁²-90，∴a₁²=81，
∴a₁=9，a₁=-9舍，∴d=-2，∴a_n=11-2n
（2）Tn=

9

20

+

7

21

+

5

22

+…+

11-2n

2n-1

．①
①式兩邊同乘

1

2

得

1

2

Tn=

9

21

+

7

22

+…+

13-2n

2n-1

+

11-2n

2n

．②
②-①得(1-

1

2

)Tn=

9

20

+

-2

21

+

-2

22

…+

-2

2n-1

-

11-2n

2n

．
∴

1

2

Tn=9-2(

1

2

+

1

22

+…+

1

2n-1

)-

11-2n

2n

=9-2(1-

1

2n-1

)-

11-2n

2n

∴Tn=14+

2n-7

2n-1

又∵Tn+1-Tn=

2n-5

2n

-

2n-7

2n-1

=

9-2n

2n

．
當n≥5時，∵T_n+1-T_n＜0；當n≤4時，
∵T_n+1-T_n＞0∴當n=5時，T_n有最大值

227

16

．
∵T_n≤M恒成立，∴M≥

227

16

，
∴M的最小值為

227

16

．