The problem says: A 7-tuple \((a_1,a_2,a_3,a_4,b_1,b_2,b_3)\)  of pairwise distinct positive integers with no common factor is called a shy tuple if \(a_1^2+a_2^2+a_3^2+a_4^2=b_1^2+b_2^2+b_3^2\) and for all  \(1\le i<j\le 4\) and \(1\le k\le 3\) , \(a_i^2+a_j^2\ne b_k^2\) . Prove that there exists infinitely many shy tuples.

My solution: Take \((a_1,a_2,a_3,a_4,b_1,b_2,b_3)=(m^2+n^2,12k,9k,36k, m^2-n^2, 2mn, 39k)\) , where  \(m\) is odd,  \(n\) is even and \(k\)  is any integer that makes each of the 7 numbers distinct. Since we have odd and even numbers in the tuple, they have no common factor.  It is easy to verify that \((m^2+n^2)^2+(12k)^2+(9k)^2+(36k)^2=(m^2-n^2)^2+( 2mn)^2+( 39k)^2 \). There are infinitely many such  \(m,n,k\), so infinitely many such 7-tuples.

Could someone please check whether this solution works.

PS: I assumed that it is not mandatory that the numbers are pairwise co-prime as the problem does not say so.