Gọi d là ƯCLN(n+1,3n+2)
=> n+1 chia hết cho d => 3(n+1) chia hết cho d => 3n+3 chia hết cho d
3n+2 chia hết cho d
=> [(3n+3)-(3n+2)] chia hết cho d
1 chia hết cho d
=> d thuộc {-1;1}
mà d lớn nhất => d = 1
=> ƯCLN(n+1,3n+2) = 1
=> n+1 và 3n+2 là 2 số nguyên tố cùng nhau (đpcm)