Если исходить из теории чисел - мы не делим на число, а множим на обратное. Например:
на самом деле
. Отсюда следует, что "делить" мы можем на любое число, которое определено на поле (например - поле действительных или рациональных чисел). Только у одного числа нет обратного - у нуля. Отсюда следует, что можно делить на два, но нельзя делить на ноль или на неизвестное, которое может принять значение нуля.
Например уравнение:
Видно, что
это ответ на уравнение. Допустим мы этого не поняли. Сократим на
х и получим:
. Такие нелогичные выражения можно получить если была произведена "незаконная" операция. В данном случае - деление на
х, когда
.
В остальных случаях - нет никаких причин не сокращать выражения.