Рівняння з параметрами
Вступ
Параметричне рівняння відноситься до сімейства рівнянь, індексованих дійсною величиною, якій дозволено вільно змінюватися. Ця величина, відома як параметр, з'являється серед коефіцієнтів рівняння і розглядається як стала під час процесу розв'язання щодо невідомої, попри те, що її значення не визначено заздалегідь.
Параметр відрізняється від звичайної невідомої тим, що його значення тимчасово фіксується, щоб розв'язати рівняння для решти змінних. Згодом аналізується поведінка розв'язків при зміні параметра. Ця відмінність є важливою від самого початку. Наприклад, у наступному рівнянні і структура, і розв'язання повністю визначені:
\[ 2x + 3 = 7 \]
Ситуація змінюється, коли рівняння записане наступним чином:
\[ kx + 3 = 7 \]
У більш загальному вигляді маємо:
\[ kx + m = 0 \]
У цьому контексті \( k \) та \( m \) є дійсними параметрами, і рівняння визначає не одну алгебраїчну задачу, а ціле сімейство задач, по одній для кожної допустимої пари \( (k, m) \).
Розв'язання рівняння з параметрами передбачає визначення для кожної конфігурації параметрів значень невідомих, що задовольняють рівняння, та аналіз того, як ці значення залежать від параметра.
Параметр визначається як дійсне число, яке залишається фіксованим у конкретному випадку рівняння, тоді як невідома відноситься до змінної, для якої шукають розв'язання. Один і той самий символ може виконувати різні ролі залежно від постановки задачі.
Наприклад, у рівнянні \( ax + b = 0 \), якщо метою є знайти значення \( x \), що задовольняє рівняння, то \( a \) та \( b \) слугують параметрами, а \( x \) є невідомою. І навпаки, якщо питання стосується того, які пари \( (a, b) \) дають розв'язання, що дорівнює \( 1 \), то \( a \) та \( b \) стають невідомимими.
Термін «параметричні рівняння» зазвичай зустрічається в математичному аналізі та аналітичній геометрії для опису кривих, координати яких виражені як функції спільної змінної, наприклад \( x(t) \) та \( y(t) \). Проте в цьому контексті термін відноситься до рівнянь, коефіцієнти яких залежать від одного або кількох дійсних параметрів, а розв'язання аналізуються при зміні цих параметрів.
Лінійні рівняння з параметрами
Найпростішим контекстом, у якому виникають параметри, є рівняння першого ступеня. Загальне лінійне рівняння з однією невідомою \( x \) та дійсним параметром \( k \) може бути записане як: \[ a(k) \cdot x + b(k) = 0 \] Тут \( a(k) \) та \( b(k) \) представляють вирази, що містять \( k \). Аналіз цього рівняння поділяється на два випадки, залежно від того, чи дорівнює коефіцієнт при \( x \) нулю. Якщо \( a(k) \neq 0 \), рівняння має єдиний розв'язок, що визначається як: \[ x = -\frac{b(k)}{a(k)} \]
Цей розв'язок визначає функцію від параметра.
- Якщо \( a(k) = 0 \), рівняння більше не є лінійним.
- Якщо \( b(k) \) також дорівнює нулю, кожне дійсне число є розв'язком, і рівняння задовольняється тотожно.
- Якщо \( b(k) \neq 0 \), розв'язків не існує, і рівняння є несумісним.
Приклад 1
Розглянемо наступне лінійне рівняння з параметром \( k \): \[ (k - 1)x = k^2 - 1 \] Коефіцієнт при \( x \) дорівнює \( a(k) = k - 1 \), а права частина \( b(k) = k^2 - 1 \). Оскільки права частина розкладається на множники як \( (k-1)(k+1) \), випадок \( k = 1 \) потребує окремого розгляду.
Для \( k \neq 1 \) обидві частини можна поділити на \( k – 1 \) без двозначності, оскільки дільник не дорівнює нулю. Це дає \[ x = \frac{(k-1)(k+1)}{k-1} = k + 1 \] Таким чином, рівняння має єдиний розв'язок \( x = k + 1 \) для кожного дійсного значення \( k \), крім \( 1 \). Коли \( k = 1 \), обидві частини стають рівними нулю, і рівняння зводиться до \( 0 \cdot x = 0 \). Ця тотожність задовольняється кожним дійсним \( x \), отже, множиною розв'язків є \( \mathbb{R} \).
Підсумовуючи, розв'язання таке: \[ \begin{align} k = 1 &\Rightarrow x \in \mathbb{R} \\[6pt] k \neq 1 &\Rightarrow x = k + 1 \end{align} \]
Квадратні рівняння з параметрами
Введення параметра в коефіцієнти квадратного рівняння збільшує складність аналізу. Структура множини розв'язків залежить як від можливого зникнення коефіцієнта, так і від знака визначника (дискримінанта), який сам змінюється залежно від параметра. Загальне параметричне квадратне рівняння можна записати наступним чином: \[ a(k)x^2 + b(k)x + c(k) = 0 \qquad a(k) \neq 0 \] Умову \( a(k) \neq 0 \) необхідно перевірити для кожного значення параметра, інакше рівняння зводиться до лінійного вигляду. Дискримінант стає дійснозначною функцією від \( k \): \[ \Delta(k) = b(k)^2 – 4\,a(k)\,c(k) \]
Аналіз знака дискримінанта дозволяє класифікувати розв'язки:
- Два різні дійсні корені виникають, коли \( \Delta(k) > 0 \).
- Один кратний дійсний корінь виникає, коли \( \Delta(k) = 0 \).
- Два комплексно-спряжених корені існують, коли \( \Delta(k) < 0 \).
Значення параметра, при яких дискримінант змінює знак, представляють критичні пороги, що позначають переходи між якісно різними структурами розв'язків.
Рівняння вищих степенів та трансцендентні рівняння з параметрами
Ці міркування поширюються і на рівняння, що не є квадратними. Розглянемо загальне поліноміальне рівняння степеня \( n \): \[ a_n(k)\,x^n + a_{n-1}(k)\,x^{n-1} + \cdots + a_1(k)\,x + a_0(k) = 0 \] Кількість і природа розв'язків залежать від параметра способами, які часто складніше охарактеризувати. Для \( n \geq 3 \) формули розв'язків у закритому вигляді стають дуже складними або недоступними в класичному розумінні.
Параметри можуть також з'являтися в неполіноміальних рівняннях, включаючи показникові рівняння вигляду \( a^x = f(k) \), логарифмічні рівняння, що містять \( \log_a(x + k) \), та тригонометричні рівняння, такі як \( \sin x = k \).
Наприклад, рівняння \( \sin x = k \) має розв'язки лише тоді, коли \( |k| \leq 1 \), і в цьому проміжку існує безліч розв'язків, що розподілені періодично вздовж дійсної прямої. Коли \( k \) лежить поза проміжком \( [-1, 1] \), рівняння не має розв'язків. У таких випадках параметр визначає не лише форму розв'язків, а й саму їхню наявність.
Приклад 2
Наступний приклад ілюструє випадок, коли наявність розв'язків не може бути визначена лише за допомогою алгебраїчних перетворень, а потребує аналітичного аргументу, заснованого на поведінці похідної функції. Розглянемо рівняння
\[ \sin x = kx \qquad k \in \mathbb{R} \]
Розв'язок \( x = 0 \) існує для кожного значення \( k \), оскільки \( \sin 0 = 0 \). Питання, що нас цікавить, полягає в тому, чи існують нетривіальні розв'язки. Визначивши \( f(x) = \sin x – kx \), розв'язки відповідають нулям \( f \). Оскільки \( f \) є непарною функцією, достатньо розглянути випадок \( x > 0 \).
Для \( x > 0 \) умову \( \sin x = kx \) можна переписати як
\[ k = \frac{\sin x}{x} \]
Функція \( g(x) = \dfrac{\sin x}{x} \) є неперервною для \( x > 0 \), прямує до \( 1 \), коли \( x \to 0^+ \), і осцилює зі зменшувальною амплітудою до \( 0 \).
Її локальні максимуми утворюють строго спадну послідовність, всі значення якої менші за \( 1 \).
-
Для \( k \geq 1 \) пряма \( y = kx \) занадто крута, щоб перетнути синусоїду поза початком координат, і нетривіальних розв'язків не існує.
-
Для \( 0 < k < 1 \) пряма перетинає криву \( y = \sin x \) на кожній дузі, де \( |\sin x / x| > k \), що дає безліч нетривіальних розв'язків, які симетрично розподілені відносно початку координат.
Коли \( k \to 0^+ \), кількість перетинів зростає без обмеження. Для \( k \leq 0 \) права частина \( kx \) є невидатною (недодатньою) для \( x > 0 \), тоді як \( \sin x \) змінює знак, тому розв'язки все ще існують, але їхній розподіл залежить від конкретного значення \( k \).
Підсумовуючи, множина розв'язків така:
- Якщо \( k \geq 1 \): \( x = 0 \) є єдиним розв'язком.
- Якщо \( 0 < k < 1 \): \( x = 0 \) та безліч симетричних нетривіальних розв'язків.
- Якщо \( k \leq 0 \): \( x = 0 \) та додаткові розв'язки залежно від \( k \).
Системи рівнянь з параметрами
Параметри природним чином з'являються і в системах. Лінійна система з двох рівнянь з двома невідомими має загальний вигляд:
\[ \begin{align} a_{11}(k)\,x + a_{12}(k)\,y &= b_1(k) \\[6pt] a_{21}(k)\,x + a_{22}(k)\,y &= b_2(k) \end{align} \]
Система має єдине розв'язання, коли матриця коефіцієнтів є оберненою, тобто коли її визначник \(D(k)\) не дорівнює нулю:
\[ D(k) = a_{11}(k)\,a_{22}(k) - a_{12}(k)\,a_{21}(k) \]
Коли \( D(k) = 0 \) для деякого значення параметра, система або стає несумісною, або має безліч розв'язань, залежно від того, чи є вектор правої частини сумісним зі структурою матриці коефіцієнтів при цьому значенні.
Приклад 3
Розглянемо наступну систему:
\[ \begin{align} kx + y &= 1 \\[6pt] x + ky &= 1 \end{align} \]
Визначник матриці коефіцієнтів дорівнює:
\[ D(k) = k \cdot k - 1 \cdot 1 = k^2 – 1 = (k-1)(k+1) \]
Коли \( k \neq \pm 1 \), визначник не дорівнює нулю і безпосередньо застосовується правило Крамера, що дає єдине розв'язання. Застосувавши його, знайдемо:
\[ x = \frac{k - 1}{k^2 - 1} = \frac{1}{k+1} \]
\[ y = \frac{k - 1}{k^2 - 1} = \frac{1}{k+1} \]
Отримаємо:
\[x = y = \dfrac{1}{k+1} \, \forall \, k \neq \pm 1 \]
При \( k = 1 \) обидва рівняння набувають вигляду \( x + y = 1 \), отже система зводиться до одного рівняння. Дві прямі збігаються, і кожна точка на прямій \( x + y = 1 \) є розв'язком. Множина розв'язків є нескінченною і може бути параметризована як \( x = t \), \( y = 1 – t \) для \( t \in \mathbb{R} \).
При \( k = -1 \) перше рівняння дає \( -x + y = 1 \), а друге \( x – y = 1 \). Ці два співвідношення є несумісними: їх додавання дає \( 0 = 2 \), що є суперечністю. Прямі паралельні та розрізнені, і система не має розв'язання.
Отже, два значення \( k = \pm 1 \) є не просто особливими, а структурно протилежними: одне призводить до недовизначеності, а інше — до несумісності.
Підсумовуючи, розв'язання таке:
- Якщо \( k = 1 \): безліч розв'язків, \( x = t \), \( y = 1 - t \) для \( t \in \mathbb{R} \).
- Якщо \( k = -1 \): розв'язків немає.
- Якщо \( k \neq \pm 1 \): єдине розв'язання \( x = y = \dfrac{1}{k+1} \).