Lời giải:
Giả sử $(a^2+b^2, ab)>1$. Khi đó, gọi $p$ là ước nguyên tố lớn nhất của $(a^2+b^2,ab)$
$\Rightarrow a^2+b^2\vdots p; ab\vdots p$
Vì $ab\vdots p\Rightarrow a\vdots p$ hoặc $b\vdots p$
Nếu $a\vdots p$. Kết hợp $a^2+b^2\vdots p\Rightarrow b^2\vdots p$
$\Rightarrow b\vdots p$
$\Rightarrow p=ƯC(a,b)$ . Mà $(a,b)=1$ nên vô lý
Tương tự nếu $b\vdots p$
Vậy điều giả sử là sai. Tức là $(a^2+b^2, ab)=1$