Giả sử: a=m2+n2
b=c2+d2
=> m,n,c,d∈Z
ab=(m2+n2)(c2+d2)
ab=m2(c2+d2)+n2(c2+d2)
ab=(m2c2+m2d2)+(n2c2+n2d2)
ab=(mc)2+(md)2+(nc)2+(nd)2
ab=(mc)2+2mcnd+(nd)2+(nc)2−2ncmd+(md)2
ab=(mc+nd)2+(nc−md)2
Vì m,n,c,d∈Z=>mc+nd∈Z,mc−nd∈Z
Vậy tích ab là tổng hai số chính phương