Đặt ƯCLN($a;b$)=$d$
$⇒$ $\left \{ {{a⋮d} \atop {b⋮d}} \right.$
$⇒$ $b-a$ ⋮ $d$
Mà $b$ = $a+1$
$⇔$ $1$ ⋮ $d$
Vì $a;b$ là số tự nhiên$⇒$ $d=1$
$⇒$ $a;b$ nguyên tố cùng nhau
Vậy $a;b$ luôn luôn nguyên tố cùng nhau khi $a;b$ là số tự nhiên liên tiếp.($đpcm$)