为什么这两个式子相等