设数列{an}的各项均为正数．若对任意的n∈N+，存在k∈N+，使得=an•an+2k成立，则称数列为“Jk型”数列．（1）若数列{an}是“J2”型数列，且a2=8，a8=1，求a2n；（2）若数列{an}既是“J3”型数列

Question

设数列{a_n}的各项均为正数．若对任意的n∈N₊，存在k∈N₊，使得=a_n•a_n+2k成立，则称数列为“J_k型”数列．
（1）若数列{a_n}是“J₂”型数列，且a₂=8，a₈=1，求a_2n；
（2）若数列{a_n}既是“J₃”型数列，又是“J₄”型数列，证明：数列{a_n}是等比数列．

Answer 1

（1）∵数列{a_n}是“J₂”型数列，
∴=a_n•a_n+4
∴数列{a_n}的奇数项、偶数项分别组成等比数列
设偶数项组成的等比数列的公比为q，
∵a₂=8，a₈=1，∴，∴q=
∴a_2n=8×=2^4-n；
（2）由题设知，当n≥8时，a_n-6，a_n-3，a_n，a_n+3，a_n+6成等比数列；a_n-6，a_n-2，a_n+2，a_n+6也成等比数列．
从而当n≥8时，a_n²=a_n-3a_n+3=a_n-6a_n+6，（*）且a_n-6a_n+6=a_n-2a_n+2．
所以当n≥8时，a_n²=a_n-2a_n+2，即
于是当n≥9时，a_n-3，a_n-1，a_n+1，a_n+3成等比数列，从而a_n-3a_n+3=a_n-1a_n+1，故由（*）式知a_n²=a_n-1a_n+1，
即．
当n≥9时，设，当2≤m≤9时，m+6≥8，从而由（*）式知a_m+6²=a_ma_m+12，
故a_m+7²=a_m+1a_m+13，从而，
于是．
因此对任意n≥2都成立．
因为，所以，
于是．
故数列{a_n}为等比数列．