Suppose a1=20,a2=21,…,an−2=2n−3,an−1=3,an=q. We shall prove there exists infinitely many positive integers n for which there exists a positive integer q such that (q,6)=1 and a1,…,an are harmonic.
1≤i<j≤n∑(ai,aj)=1≤i<j≤n−2∑(2i−1,2j−1)+1≤i≤n−2∑(2i−1,3)+1≤i≤n−2∑(2i−1,q)+(3,q)=1≤i<j≤n−2∑2i−1+n−2+n−2+(3,q)
a1,a2,…,an is harmonic if and only if
i=1∑nai⟺2n−2−1+3+q⟺q=1≤i<j≤n∑(ai,aj)=1≤i≤n−2∑(n−2−i)2i−1+2n−3=2≤i≤n−2∑(n−2−i)2i−1+(n−3)+2n−3−2n−2+2=2≤i≤n−2∑(n−2−i)2i−1−2n−2+3n−4=0≤i≤n−3∑(n−3−i)2i−2n−2+2n−1=A(n)
0≤i≤n−3∑(n−3−i)2i⟹A(n)=0≤i≤n−3∑0≤j<i∑2j=0≤i≤n−3∑(2i−1)=2n−2−1−(n−2)=−1−(n−2)+2n−1=n⟹q=n
Therefore, for every positive integer n that (n,6)=1, the sequence a1,…,an will be harmonic. ■