设
是公差不为0的无穷等差数列,则“
为递增数列”是“存在正整数
,当
时,
设等差数列
的公差为
,则
,利用等差数列的通项公式结合充分条件、必要条件的定义判断可得出结论.
设等差数列
的公差为
,则
,记
为不超过
的最大整数.
若
为单调递增数列,则
,
若
,则当
时,
;若
,则
,
由
可得
,取
,则当
时,
,
所以,“
是递增数列”
“存在正整数
,当
时,
”;
若存在正整数
,当
时,
,取
且
,
,
假设
,令
可得
,且
,
当
时,
,与题设矛盾,假设不成立,则
,即数列
是递增数列.
所以,“
是递增数列”
“存在正整数
,当
时,
”.
所以,“
是递增数列”是“存在正整数
,当
时,