Gọi k là ước số của a và ab+4
Do a lẻ => k lẻ
Ta biểu diễn:
{ab+4=kp (1)
{a=kq (2)
Thay (2) vào (1)
=> kqb+4 =kp
=> k(p-qb)=4
=> p-qb =4/k
do p-qb nguyên => k là ước lẻ của 4 => k=1
Do a lẻ => k lẻ
Ta biểu diễn:
{ab+4=kp (1)
{a=kq (2)
Thay (2) vào (1)
=> kqb+4 =kp
=> k(p-qb)=4
=> p-qb =4/k
do p-qb nguyên => k là ước lẻ của 4 => k=1
Vậy a và ab+4 nguyên tố cùng nhau