ta giả sử rằng :
\(\hept{\begin{cases}m=a_1^2+a_2^2\\n=b_1^2+b_2^2\end{cases}}\text{ với }a_1,a_2,b_1,b_2\text{ là các số tự nhiên}\)
khi đó : \(mn=\left(a_1^2+a_2^2\right)\left(b_1^2+b_2^2\right)=a_1^2b_1^2+a_2^2b_2^2+2a_1a_2b_1b_2+a_1^2b_2^2+a_2^2b_1^2-2a_1a_2b_1b_2\)
\(=\left(a_1b_1+a_2b_2\right)^2+\left(a_1b_2-a_2b_1\right)^2\)
Vậy mn cũng là tổng của hai số chính phương