我没有算 把大概思路说下就是了：

  先把消费者A和B根据效用函数求出各自的边际替代率MRS

 然后根据帕累托最优满足的条件  边际替代率相等  和瓦尔拉斯法则X11+X12=20  Y11+Y12=20

即可求出。

   应该是这样。。

   自己认真去算下吧

请问一句：契约线的最终表达式是怎样的？到底是谁的函数？是一个方程还是联立方程组？

契约线的最终表达式将是economy-wide的，因此并不是谁一个的函数，只是一个x1和x2之间的关系。

当然是一个方程。

ls的ls正解，方法已经说的很清楚了。

先表示出两者的MRS，注意x1和x2两者是互相依赖的函数。再令两者的mrs相等，这样可以求得对于x1和x2的一个约束。

Walras' Law gives another constraint. Combine一下即可。