>>413
うーん、すいません、元々の問題は、

a = s * x
b = t * y
s + t = c
x + y = c

この体系から s,t,x,y を消去して、a,b,cの関係式を導出したいのです。
>>406は、第1式と第2式を第3式に代入して得られたものです。

ある試験の問題として出たので、解けるはずなんですが・・・