为什么公式可以变形