合一变换公式推导