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 ∈ {1; -1}
=> d = 1
=>ƯCLN(a; a.b+4) = 1
=> a và a.b+4 nguyên tố cùng nhau (đpcm)