Назрин8, в вашем условии неточность. В том виде, в котором уравнение представлено сейчас, это тождество не только не доказывается, но и вообще в левой и правой части уравнения стоят стоят разные вещи (возьмите для интереса и сравните их в том же маткаде).
Могу предположить, что вы забыли дописать "х" во второй скобке и будет там (3х + 4x^2), и множитель 2 за скобками всё же в первой степени, а не второй. Тогда левая часть легко сворачивается как разность квадратов:
Котята от "1", "2", ... , "13" . среди них обязательно 2 рыжих, пусть это будут (не ограничивая общности "12", "13") добавим вместо них котят "14", "15", у нас снова 13 котят, среди них два рыжих, пусть это "14", "15" вместо "14", "15" возьмем "16". "17", опять же 13 котят, среди них два рыжих, не ограничивая общности (все равно кого из них считать рыжим --нумеровали мы их произвольно) пусть это будут "16", "17"
итого у нас уже есть шесть рыжих котят "12", "13", "14", "15", "16", "17"
рассмотрим котят "4", "5", "6", ..."17", (учтем что некоторые "уже рыжие"), среди 14-х котят один белый, пусть это будет "11", аналогично рассмотрим последовательно партии котят "3", "4", "10", "12", ..., "17" "2", "3", ..."9", "12", ..."17" "1", "2", ..."8", "12", ..., "17" и определим что "8","9", "10", "11" - серые котята
итого у нас имеется известных 6 рыжих котят, и 4 серых, в любой группе, из этих 6 рыжих, 4 серых, любые 3 другие из оставшихся 17-10=7 котят будут белыми (13-6-4=3 котята, 3 из 13 в группе белые)
Могу предположить, что вы забыли дописать "х" во второй скобке и будет там (3х + 4x^2), и множитель 2 за скобками всё же в первой степени, а не второй. Тогда левая часть легко сворачивается как разность квадратов:
2* (4х^2 - 3x) * (3х + 4х^2) = 2 * (16x^4 - 9x^2) = 32x^4 - 18x^2
Теперь похоже на правду. Однако при такой версии (32x^4) в правой части уравнение в условии должно быть без минуса.
Вообщем, проверьте условия ещё раз, и переоформите вопрос, так как не всегда интересно угадывать условия посредством подбора)