Prove that for any positive integers x,y,z with xyāz2=1 one can find non-negative integers a,b,c,d such that x=a2+b2,y=c2+d2,z=ac+bd.
Set z=(2q)! to deduce that for any prime number p=4q+1, p can be represented as the sum of squares of two integers. quadraticsnumber theoryprimeSum of SquaresIMO Shortlist