なるほど・・積が整数になっているかの吟味の仕方がまったく浮かびません..

r^(n+1)=2　に代入してrを求めたあと、
さらに積r^{(n+1)(n+2)/2}　にrとnを代入して正になるか吟味すればいいということですかね..