谁能告诉我：在解方程组时，代入消元法的依据是什么？

等量可以代换，例如，两个人的工作可以用一个可以胜任此工作的人代替。

y=2x，这式子的意义：本题任何情况下，一个y都可以用2个x来代替/表示。

因此在2式中，也可以用2个x把y替换掉。解出来x=3。

这个x=3的意义又是：本题任何情况下，x都等于3。所以1式中的x可以被3替代。

你可以将x，y比做成1班，2班的人数，这样x，y的数值就不会变了，毕竟一个班的人数不会改变。可能会有助于你理解。