Giải:
Đặt `a^2 - b^2 = p, p` là số nguyên tố
`<=> (a - b)(a + b) = p (1)`
Do `a + b, p \in N`* `=> a - b \in N*`
Từ `(1) => p \vdots a -b` mà `p` là số nguyên tố
` =>`\(\left[ \begin{array}{l}a - b = 1\\a - b = p\end{array} \right.\)
Nếu `a - b = p` thay vào `(1)` ta được:
`p(a + b) = p <=> a + b = 1`
Điều này không xảy ra vì `a,b \in N`* `=> a + b >= 1 + 1 = 2`
Vậy `a - b = 1 => (đpcm)`