不会化简，不知道怎么出来的，联立下面那个式子