Можно ли сокращать прямо в скобках при умножении многочлена на многочлен?

нет !!!
например, a = 5 => (5 - 1)/(4 - 5) = 4/(-1) => числитель и знаменатель НЕ РАВНЫ

(a + b)*(a - b) / (a + b) = (a + b)/(a + b) * (a - b) = 1 * (a - b) = (a - b)
=>
Здесь сократили (a + b)/(a + b) = 1
сократить можно только в случае, если при делении сокращаемых частей получается 1.