Sejam a e b inteiros não negativos tais que ab≥c2, onde c é um inteiro. Prove que existe um número n e inteiros x1,x2,…,xn,y1,y2,…,yn tal que i=1∑nxi2=a, sumi=1nyi2=b, e i=1∑nxiyi=c.