Основной свойство дроби: если числитель и знаменатель рациональной дроби умножить на один и тот же ненулевой многочлен, то получится равная ей дробь. Доказательство: Рассмотрим дробь , где a и b − многочлены, b ≠ 0. Пусть ее значение , тогда a = bm. Умножим обе части этого равенства на многочлен c ≠ 0. Получаем: ac = bmc = (bc)m, где bc ≠ 0. Тогда: , что и требовалось доказать.