设S是含根式的代数式，若有不恒等于零的代数式M，能使乘积SM成为有理式，则称M和S互为“有理化因式”。例如，和互为有理化因式。