Giả sử a2 và a + b là 2 số không nguyên tố cùng nhau
Gọi d là ước nguyên tố chung của a2 và a + b
\(\Rightarrow\begin{cases}a^2⋮d\\a+b⋮d\end{cases}\). Mà d nguyên tố \(\Rightarrow\begin{cases}a⋮d\\a+b⋮d\end{cases}\)\(\Rightarrow\begin{cases}a⋮d\\b⋮d\end{cases}\), trái với giả thiết (a;b)=1
=> điều giả sử là sai
=> đcpm