If x^2/(a^2+b^2-c^2) = y^2/(b^2+c^2-a^2)=z^2/(c^2+a^2-b^2) then