Розв'язати рівняння за до заміни змінних: ( y 2 − y + 1 ) ( y 2 − y − 7 ) = 65

выделением неполного квадрата):
y=x²-4x+9
Выделяем неполный квадрат:
y=x²-4x+9=(х²-4х+4)-4+9=(х-2)²+5
Далее рассуждаем так:
(х-2)²≥0 при любых х∈(-∞;+∞)  и  5 > 0.  Следовательно, (х-2)²+5 > 0
Значит, у=x²-4x+9 > 0
Что и требовалось доказать

основан на геометрических представления):
Докажем, что х²-4х+9>0
1)Находим дискриминант квадратичной функции:
D=(-4)²-4*1*9=16-36=-20 <0 => нет точек пересечения с осью Ох
2)Графиком функции у=х²-4х+9 является парабола, ветви которой направлены 
    вверх, т.к. а=1 > 0
Следовательно, вся парабола расположена выше оси Ох
Это означает, что данная функция принимает только положительные значения.
Что и требовалось доказать.

1)Можно вынести общего множителя за скобки.
Используем распределительный закон ac + bc = c(a + b)Например - 12 y ^3 – 20 y ^2 = 4 y ^2 · 3 y – 4 y ^2 · 5 = 4 y ^2 (3 y – 5). 
2)Использовать формулу сокращенного умножения.
x ^4 – 1 = ( x ^2 )^ 2 – 1 ^2 = ( x^ 2 – 1)( x^ 2 + 1) = ( x ^2 – 1 ^2 )( x ^2 + 1) = ( x + 1)( x – 1)( x 2 + 1). 
группировки
x^3 – 3 x 2 y – 4 xy + 12 y ^2 = ( x ^3 – 3 x 2 y ) – (4 xy – 12 y ^2 ). 
В первой группе мы вынесли за скобку общий множитель x^2, а во второй − 4y . В результате получаем: 
( x ^3 – 3 x 2 y ) – (4 xy – 12 y ^2 ) = x 62 ( x – 3 y ) – 4 y ( x – 3 y ). 
Теперь общий множитель ( x – 3 y ) можем вынести за скобки: 
x ^2 ( x – 3 y ) – 4 y ( x – 3 y ) = ( x – 3 y )( x^2 – 4 y ).