下述数阵称为“森德拉姆筛”，记为S．其特点是每行每列都是等差数列，第i行第j列的数记为Aij．（1）设S中主对角线上的数1，8，17，28，41，…组成数列{bn}．试证不存在正整数k和m（1＜k＜m

Question

下述数阵称为“森德拉姆筛”，记为S．其特点是每行每列都是等差数列，第i行第j列的数记为A_ij．
（1）设S中主对角线上的数1，8，17，28，41，…组成数列{b_n}．试证不存在正整数k和m（1＜k＜m），使得b₁，b_k，b_m成等比数列；
（2）对于（1）中的数列{b_n}，是否存在正整数p和r （1＜r＜p＜150），使得b₁，b_r，b_p成等差数列．若存在，写出p，r的一组解（不必写出推理过程）；若不存在，请说明理由．

Answer 1

（1）证明：假设存在k、m，1＜k＜m，使得b₁，b_k，b_m成等比数列，
即b₁b_m=b_k²，
∵b_n=A_nn=（n+2）²-8；
∴1×[（m+2）²-8]=[（k+2）²-8]²
得（m+2）²-[（k+2）²-8]²=8，
即[（m+2）+（k+2）²-8][（m+2）-（k+2）²+8]=8，
又∵1＜k＜m，且k、m∈N，
∴k≥2、m≥3，（m+2）+（k+2）²-8≥5+16-8=13
∴0＜(m+2)−(k+2)2+8＝(8)/((m+2)+(k+2)2−8)≤(8)/(13)＜1，这与（m+2）-（k+2）²+8∈Z矛盾，
所以不存在正整数k和m（1＜k＜m），使得b₁，b_k，b_m成等比数列．
（2）假设存在满足条件的p，r，那么2（r²+4r-4）=1+（p²+4p-4），
分析可得有

r＝13

p＝19

所以存在r=13，p=19使得b₁，b_r，b_p成等差数列．