Вираз 2(x)^(3) − 8x приховує, за яких x результат дорівнює нулю. Запис 2x(x − 2)(x + 2) одразу показує три можливості: 0, 2, − 2. Значення виразу не змінилося — змінилася форма, в якій легше побачити потрібну властивість.
Це розкладання на множники: заміна многочлена тотожно рівним добутком. Воно повертає назад множення многочленів та використовує формули скороченого множення.
Спочатку шукаємо спільне
В обох членах 2(x)^(3) − 8x є множник 2x. Розподільний закон читаємо справа наліво:
2(x)^(3) − 8x = 2x((x)^(2) − 4).
У дужках лишається те, на що треба помножити 2x, щоб отримати кожний початковий член. За x = 0 цей запис теж правильний: ми не ділимо рівняння на невідоме x, а переписуємо многочлен за законом множення.
Тепер (x)^(2) − 4 — різниця квадратів. Застосувавши формулу, дістанемо 2x(x − 2)(x + 2). Часто треба поєднати методи, а не обрати лише один.
Для 6(a)^(2)b + 9a(b)^(2) спільним зручним множником є 3ab: коефіцієнти мають спільний дільник 3, а обидва члени містять хоча б по одному a та b. Отримаємо 3ab(2a + 3b). Перемноження повертає початкову суму — це перевірка, яка не залежить від здогадки.
Коли спільне стає видимим після групування
У xy + 3x + 2y + 6 немає змінного множника, спільного всім чотирьом членам. Але дві пари створюють однакові дужки:
xy + 3x + 2y + 6 = x(y + 3) + 2(y + 3).
Тепер спільний множник — цілий вираз y + 3, тому результат (x + 2)(y + 3). Групування корисне, якщо після першого винесення виникає повторювана дужка; довільний поділ членів не гарантує цього.
Так само треба стежити за знаком: a(u − v) + b(v − u) = a(u − v) − b(u − v) = (a − b)(u − v). Дужки u − v та v − u протилежні, а не однакові. Методи й перевірка в OpenStax, §1.5.
Чому добуток відкриває нулі
Нуль виразу — значення змінної, за якого вираз дорівнює нулю. Добуток дійсних чисел дорівнює нулю тоді й лише тоді, коли хоча б один множник нульовий. Якщо всі ненульові, їхній добуток ненульовий теж.
У 2x(x − 2)(x + 2) стала 2 нулем не стане. Лишаються x = 0, x − 2 = 0 або x + 2 = 0: відповідно x = 0,2, − 2. Підстановка в початковий вираз підтверджує всі три. За x = 1 обидві форми дають −6, але одна перевірка не доводить тотожності для всіх x; її дає виконаний ланцюжок перетворень.
Квадратний тричлен після знаходження коренів
Для a(x)^(2) + bx + c з a ≠ 0 формула коренів і Вієт дають загальний спосіб. Якщо є дійсні корені x_(1),x_(2) (подвійний записуємо двічі), то a(x)^(2) + bx + c = a(x − x_(1))(x − x_(2)). Старший коефіцієнт a не можна загубити.
Наприклад, у 2(x)^(2) − 14x + 20 корені 2 і 5, тому розклад 2(x − 2)(x − 5). Сума коренів 7 дає коефіцієнт −14, добуток 10 разом із множником 2 дає сталу 20. Якщо дійсних коренів немає, розкладу на дійсні лінійні множники теж немає. Цей спосіб доповнює групування, коли вдалу пару важко впізнати.
Відгалуження · Межа методуУточнення, що саме означає «не розкладається».
Чому не кожен вираз має дійсні лінійні множники
Для всіх дійсних x маємо (x)^(2) + 1 ≥ 1. Тому жодне дійсне число не робить цей многочлен нульовим. Добуток двох дійсних лінійних множників ненульового степеня обов’язково мав би такий нуль, отже цього розкладу немає. Формальний запис 1 ⋅ ((x)^(2) + 1), звісно, можливий; під розкладом тут розуміємо нетривіальні множники меншого степеня. Висновок залежить від того, які коефіцієнти дозволено.
Розклад варто шукати з огляду на мету. Сума зручна для додавання, добуток — для нулів і майбутнього скорочення дробів. Надійний порядок дій: знайти спільне, впізнати формулу чи групування, повторити за потреби й перевірити розкриттям дужок.