よく考えてみたら、4項間が等差になるためには
n^2-(4r+5)n+2(2r^2+4r+1)=0 と、これのrにr+1を代入したものが
同時に成立することが必要で、そのときn=2r+3よりm=1。
しかしこれは題意を満たさない。よってそのような4項は存在しない。■
で終わりだった。