Gọi ƯCLN(n-1; 2n+1) là d. Ta có:
n-1 chia hết cho d => 2n-2 chia hết cho d
2n+1 chia hết cho d
=> 2n+1-(2n-2) chia hết cho d
=> 3 chia hết cho d
=> d thuộc Ư(3)
Vì 1 chia 3 dư 1
=> Để 2n+1 chia hết cho 3 thì 2n chia 3 dư 1
Mà 2 chia 3 dư 2
=> Để 2n chia 3 dư 1 thì n chia 3 dư 2
Khi đó n-1 chia 3 dư 1 (KTM)
=> d khác 3
=> d = 1
=> ƯCLN(n-1; 2n+1) = 1