x^2+y^2+k1xy=n1

z^2+y^2+k2yz=n2

x^2+z^2+k3xz=n3

k1k2k3n1n2n3为常数都大于0

xyz都大于零

xyz能不能直接用已知项表示？