Gọi UCLN ( a, a + b ) = d ( d \(\in\)N* )
Ta có :
a \(⋮\)d
a + b \(⋮\)d
Từ đó ta có :
a + b - a \(⋮\)d
=> b\(⋮\)d
Mà a\(⋮\)d ; b\(⋮\)d => d \(\in\)ƯC ( a , b )
Mặt khác ƯCLN ( a , b ) = 1 nên 1 \(⋮\)d
Suy ra d \(\in\)Ư ( 1 ) = { 1 } hay d = 1
Vậy nếu a, b nguyên tố cùng nhau thì a và a + b nguyên tố cùng nhau .