对任意 k∈Sk\in Sk∈S 取 i=j=ki=j=ki=j=k,条件给出 (k+k)/gcd(k,k)=2(k+k)/\gcd(k,k)=2(k+k)/gcd(k,k)=2。所以 2∈S2\in S2∈S。