为什么不同的定义 却有相同的定义 因为有化简约分后的标准式