n番目の三角数とn+2番目の三角数が互いに素でないとき、最大公約数が3になることを証明せよ