ありがとうございます！
そこを見落としてました。

青チャートの解放で、別解として
　a/3 = b/4 = (a^2+b^2)/(-25)
として解いてたので、これも何でか考えていたのですが、
比例定数(?)Kのことを考えれば納得です。