Question

設(shè)數(shù)列{a_n}的前n項(xiàng)積為T_n，已知對(duì)?n，m∈N₊，當(dāng)n＞m時(shí)，總有（q＞0是常數(shù)）．
（1）求證：數(shù)列{a_n}是等比數(shù)列；
（2）設(shè)正整數(shù)k，m，n（k＜m＜n）成等差數(shù)列，試比較T_n•T_k和（T_m）²的大小，并說(shuō)明理由；
（3）探究：命題p：“對(duì)?n，m∈N₊，當(dāng)n＞m時(shí)，總有（q＞0是常數(shù)）”是命題t：“數(shù)列{a_n}是公比為q（q＞0）的等比數(shù)列”的充要條件嗎？若是，請(qǐng)給出證明；若不是，請(qǐng)說(shuō)明理由．

Answer 1

（1）證明：設(shè)m=1，則有，∴
∴
∴n≥2時(shí)，
∴數(shù)列{a_n}是等比數(shù)列；
（2）解：當(dāng)q=1時(shí)，a_n=a₁，∴，∴T_n•T_k===
當(dāng)q≠1時(shí)，，
∴T_n•T_k=•=
∵=，n+k=2m，k＜m＜n
∴=，＞
∴q＞1時(shí)，T_n•T_k＞；q＜1時(shí)，T_n•T_k＜
（3）證明：由（1）知，充分性成立；
必要性：若數(shù)列{a_n}是公比為q（q＞0）的等比數(shù)列，則
∴q≠1時(shí)，
∴=
=•q^（n-m）m=
∴
∴對(duì)?n，m∈N₊，當(dāng)n＞m時(shí)，總有（q＞0是常數(shù)）
同理可證，當(dāng)q=1時(shí)，也成立
∴命題p：“對(duì)?n，m∈N₊，當(dāng)n＞m時(shí)，總有（q＞0是常數(shù)）”是命題t：“數(shù)列{a_n}是公比為q（q＞0）的等比數(shù)列”的充要條件．
分析：（1）設(shè)m=1，則有，從而可得，即可證得數(shù)列{a_n}是等比數(shù)列；
（2）當(dāng)q=1時(shí)，T_n•T_k===；當(dāng)q≠1時(shí)，，，從而可得T_n•T_k=•=，根據(jù)=，n+k=2m，k＜m＜n，利用基本不等式，即可得到結(jié)論；
（3）證明：由（1）知，充分性成立；
必要性：利用q≠1時(shí)，，，可證得，同理可證，當(dāng)q=1時(shí)，也成立，故得證．
點(diǎn)評(píng)：本題考查等比數(shù)列的定義，考查新定義，考查充要性的證明，綜合性強(qiáng)，難度大．