Gọi d = ƯCLN(A; A.B + 4) (d thuộc N*)
=> A chia hết cho d; A.B + 4 chia hết cho d
=> A.B chia hết cho d; A.B + 4 chia hết cho d
=> (A.B + 4) - (A.B) chia hết cho d
=> A.B + 4 - A.B chia hết cho d
=> 4 chia hết cho d
=> \(d\in\left\{1;2;4\right\}\)
Mà A lẻ => d lẻ => d = 1
=> ƯCLN(A; A.B + 4) = 1
=> A và A.B + 4 là 2 số nguyên tố cùng nhau (đpcm)