Gọi ƯCLN(a; a.b+4) là d. Ta có:
a chia hết cho d => a.b chia hết cho d
a.b+4 chai hết cho d
=> a.b+4-a.b chia hết cho d
=> 4 chia hết cho d
=> d thuộc Ư(4)
Mà a là số lẻ
=> d khác 2; -2; 4; -4
=> d \(\in\){1; -1}
=> d = 1
=> ƯCLN(a; a.b+4) = 1
=> a và a.b+4 nguyên tố cùng nhau (đpcm)