代数分母有理化的定义