这里面2个式子分别是怎么得到的,请详细的把每一个小步骤写出来,