设无穷等比数列
的公比为q,且
,
表示不超过实数
的最大整数(如
),记
,数列
的前
项和为
,数列
的前
项和为
.
(Ⅰ)若
,求
;
(Ⅱ)若对于任意不超过
的正整数n,都有
,证明:
.
(Ⅲ)证明:
(
)的充分必要条件为
.
设无穷等比数列
的公比为q,且
,
表示不超过实数
的最大整数(如
),记
,数列
的前
项和为
,数列
的前
项和为
.
(Ⅰ)若
,求
;
(Ⅱ)若对于任意不超过
的正整数n,都有
,证明:
.
(Ⅲ)证明:
(
)的充分必要条件为
.
(Ⅰ)解:由等比数列
的
,
,
得
,
,
,且当
时,
.
所以
,
,
,且当
时,
.
即
(Ⅱ)证明:因为
,
所以
,
.
因为
,
所以
,
.
由
,得
.
因为
,
所以
,
所以
,即
.
(Ⅲ)证明:(充分性)因为
,
,
所以
,
所以
对一切正整数n都成立.
因为
,
,
所以
.
(必要性)因为对于任意的
,
,
当
时,由
,得
;
当
时,由
,
,得
.
所以对一切正整数n都有
.
由
,
,得对一切正整数n都有
,
所以公比
为正有理数.
假设
,令
,其中
,且
与
的最大公约数为1.
因为
是一个有限整数,
所以必然存在一个整数
,使得
能被
整除,而不能被
整除.
又因为
,且
与
的最大公约数为1.
所以
,这与
(
)矛盾.
所以
.
因此
,
.