Русская Википедия:Иррациональное уравнение
Иррациональное уравнение — это уравнение, содержащее неизвестное под знаком корня <math>\surd</math> или возведённое в степень, которую нельзя свести к целому числу. Простейшим примером иррационального уравнения является уравнение<math>\sqrt{x}=2</math> или <math>\sqrt[3]{x}=-3</math>. Иногда корни могут обозначать в виде рациональных степеней неизвестной, то есть вместо <math>\sqrt[n]{x}</math> пишут <math>x^{\frac{1}{n}}</math>.
Примеры и классификация
- <math>3(x+4)=x</math> — так как переменная <math>x</math> не стоит под знаком корня — это алгебраическое уравнение.
- <math>3(y+z)^2=x-\sqrt\pi</math> — так как ни одна из переменных <math>z</math>, <math>y</math>, <math>x</math> не стоит под знаком корня, а <math>\sqrt\pi</math> является постоянным числом — это алгебраическое уравнение.
- <math>\sqrt3(x+5)^2=\frac1x</math> — так как переменная <math>x</math> не стоит под знаком корня, и <math>\sqrt3</math> — постоянное число — это рациональное уравнение.
- <math>\sqrt3(x+5)^2=x^{-1}</math> — даже уравнения, где неизвестная <math>x</math> стоит с отрицательными степенями, не являются иррациональными. Это опять рациональное уравнение тождественное вышеописанному.
- <math>\sqrt3(x+5)^2=x^{0}</math> — алгебраическое уравнение, так как <math>x^0=1</math>
- <math>\sqrt3(x+5)^2=x^{\frac12}</math> — так как переменная <math>x</math> возведена в дробную степень, которую нельзя свести к целому числу — это иррациональное уравнение.
Короче сформулировать правило отнесения уравнений к той или иной категории можно так:
- если все степени неизвестной\ых в уравнении принадлежат множеству натуральных чисел <math>\N</math>, то такое уравнение считается алгебраическим.
- если все степени неизвестной\ых в уравнении принадлежат множеству целых чисел <math>\Z</math>, то такое уравнение называется рациональным.
- если все степени неизвестной\ых в уравнении принадлежат множеству рациональных чисел <math>\Q</math>, то такое уравнение называется иррациональным.
Образцами более сложных иррациональных уравнений могут послужить такие примеры:
- <math>\sqrt{x+4}+\sqrt{x+9}=5</math>,
- <math>7\sqrt[3]{2x^2+6}-3\sqrt[3]{x^2}=11</math>,
- <math>x^2+\sqrt{x-1}=10x+\sqrt[11]{x-2}+1</math>
Связь с алгебраическими уравнениями
Всякое иррациональное уравнение с помощью элементарных алгебраических операций (умножение, деление, возведение в целую степень обеих частей уравнения) может быть сведено к рациональному алгебраическому уравнению. Например, уравнение <math>\sqrt{x^2+x}=2</math> возведением во вторую степень можно преобразовать к виду <math>x^2+x=4</math>, что уже не иррациональное уравнение, но алгебраическое.
При этом следует иметь в виду, что полученное рациональное алгебраическое уравнение может оказаться неэквивалентным исходному иррациональному уравнению, а именно может содержать «лишние» корни, которые не будут корнями исходного иррационального уравнения. Поэтому, найдя корни полученного рационального алгебраического уравнения, необходимо проверить, а будут ли все корни рационального уравнения корнями иррационального уравнения.
Подходы к решению
В общем случае трудно указать какой-либо универсальный метод решения любого иррационального уравнения, так как желательно, чтобы в результате преобразований исходного иррационального уравнения получилось не просто какое-то рациональное алгебраическое уравнение, среди корней которого будут и корни данного иррационального уравнения, а рациональное алгебраическое уравнение образованное из многочленов как можно меньшей степени. Желание получить рациональное алгебраическое уравнение, образованное из многочленов как можно меньшей степени, вполне естественно, так как нахождение всех корней рационального алгебраического уравнения само по себе может оказаться довольно трудной задачей, решить которую полностью мы можем лишь в весьма ограниченном числе случаев.
Однако при решении самых разных уравнений применяются, в сущности, всего четыре метода[1]: разложение на множители; замена переменной; переход от равенства функций к равенству аргументов; функционально-графический.
1. Метод перехода.
Суть метода: переход от равенства, связывающего функции, к равенству, связывающему аргументы.
Способы реализации:
- Возведение обеих частей уравнения в одну и ту же степеньШаблон:Переход.
- Использование формулы <math>\sqrt[2n]{{\bigl(f\left ( x \right )\bigr)}^{2n}}=\left \vert f\left ( x \right ) \right \vert</math>, где <math>n \in \mathbb{N}</math>.
- Домножение на сопряжённое выражение. Речь идёт о выражении, сопряжённом числителю дроби, либо знаменателю, либо и числителю, и знаменателю, либо левой или правой частям исходного уравнения.
- Применение формулы двойного (сложного) радикала. Речь идёт о формуле <math>\sqrt{a\pm \sqrt{b}} = \sqrt{\dfrac{a +\sqrt{a^2 - b}}{2}}\pm \sqrt{\dfrac{a -\sqrt{a^2 - b}}{2}}</math>, где <math>a\geqslant 0</math>, <math>b\geqslant 0</math>, <math>a^2\geqslant b</math>.
2. Метод введения новой переменной
Суть метода: выделение в исходном уравнении повторяющегося выражения с переменной и решение более простого уравнения относительно введённой «новой» переменной.
Способы реализации:
- Явная замена Шаблон:Переход.
- Переход к системе уравнений Шаблон:Переход.
- Сведение к однородному уравнению.
- Выделение полного квадрата.
- Тригонометрическая подстановка. Этот приём используется в тех случаях, когда область определения исходного уравнения совпадает с областью значения тригонометрической функции или входит в эту область.
3. Метод разложения на множители
Суть метода: воспользоваться тем, что произведение множителей равно нулю тогда и только тогда, когда хотя бы один множитель равен нулю, а другие при этом имеют смысл.
Способ реализации:
- Использование различных приёмов разложения на множители и равносильных преобразований иррациональных выражений.
4. Функционально-графический метод
Суть метода: использование свойств входящих в уравнение функций.
Способы реализации:
- Использование области определения функций.
- Использование области определения и области значений функций.
- Использование монотонности функций.
Возведение в степень
Если обе части иррационального уравнения возвести в одну и ту же нечетную степень и освободиться от радикалов, то получится уравнение, равносильное исходному уравнению.
При возведении уравнения в чётную степень получают уравнение, являющееся следствием исходного. Поэтому возможно появление посторонних решений уравнения. Причина приобретения корней состоит в том, что при возведении в четную степень чисел, равных по абсолютной величине, но разных по знаку, получается один и тот же результат.
Заметим, что потеря корней при возведении уравнения в четную степень невозможна, но могут появиться посторонние корни. Рассмотрим пример:
Решим уравнение <math>\sqrt{x^2+4x-5}=4x-8</math>
Возведём обе части уравнения во вторую степень
<math>(\sqrt{x^2+4x-5})^2=(4x-8)^2</math>
так как мы возводим в чётную степень, то возможно появление посторонних корней, ибо самим процессом возведения мы расширяем область допустимых значений (ОДЗ) для подкоренных выражений.
Так, когда <math>4x-8</math> был приравнен к заведомо положительному числу (так как <math>\sqrt{x^2+4x-5}\geqslant0</math> в силу определения арифметического корня), переменная <math>x</math> не могла принимать значения, которые бы обратили <math>4x-8</math> в отрицательные числа, значит <math>4x-8\geqslant0</math> или <math>x\geqslant2</math>.
Другими словами в месте с постановкой задачи нам дали ещё и ограничения на значения переменной (ОДЗ) в виде <math>x\geqslant2</math>. Но, после возведения обеих частей в квадрат, мы получаем уравнение
<math>x^2+4x-5=16x^2-64x+64</math>,
уже в котором область допустимых значений (ОДЗ) переменой <math>x</math> совершенна другая (теперь <math>x</math> может принимать совершенно любые значения, то есть ОДЗ расширилось относительно первоначального уравнения).
Очевидно, что вероятность появления посторонних корней резко выросла просто по факту того, что теперь корнем может стать гораздо больше чисел, а не только те, что <math>x\geqslant2</math>.
Продолжая решать и упрощать <math>x^2+4x-5=16x^2-64x+64</math> мы получим квадратное уравнение:
<math>15x^2-68x+69=0</math>, корнями которого являются
<math>x=3</math> и <math>x=\frac{23}{15}</math>
Следует заметить, что <math>x=3</math> и <math>x=\frac{23}{15}</math> точно являются корнями уравнения <math>15x^2-68x+69=0</math>, но ещё не известно являются ли они корнями первоначального <math>\sqrt{x^2+4x-5}=4x-8</math> уравнения.
Так мы знаем, что корни первоначального уравнения не могут быть меньше 2, а меж тем корень <math>x=\frac{23}{15}\approx1.533333...</math> меньше двух, значит он не может быть корнем первоначального уравнения.
Ответ: <math>x \in \{3\}</math>
Замена системой условий
Использование свойств корней
Введение новых переменных
Введение вспомогательной переменной в ряде случаев приводит к упрощению уравнения. Чаще всего в качестве новой переменной используют входящий в уравнение корень (радикал). При этом уравнение становится рациональным относительно новой переменной.
Пример 1[2]: Решить уравнение <math>2x^2+3x+\sqrt{2x^2+3x+9}=33, x\in\mathbb{R}</math>
Сделаем замену <math>y=\sqrt{2x^2+3x+9}</math>, ясно что при этом мы наложили ограничения на новую переменную в виде <math>y\geqslant{0}</math>, так как арифметический корень не может быть отрицательным числом.
После возведения <math>y</math> во вторую степень мы избавимся от знака корня и получим выражение <math>y^2=2x^2+3x+9</math>. Далее, после подстановки <math>y</math> в исходное уравнение, мы получим такое уравнение:
<math>y^2+y-42=0</math>,
корни которого <math>y=6</math> и <math>y=-7</math>. Но <math>y</math> не может быть отрицательным числом ввиду того как мы определили <math>y</math> через нашу подстановку, поэтому корнем будем считать лишь <math>y=6</math>. Далее, решая уравнение <math>\sqrt{2x^2+3x+9}=6</math>, мы получаем корни <math>x=3</math> и <math>x=-4.5</math>.
Ответ: <math>x \in \{3;-4.5\}</math>
Пример 2[3]: Решить уравнение <math>\sqrt[3]{x+28}-\sqrt[3]{x-9}=1</math>
Сделаем две замены: <math>u=\sqrt[3]{x+28}</math> и <math>v=\sqrt[3]{x-9}</math>, после их возведения в третью степень получим <math>u^3=x+28</math> и <math>v^3=x-9</math>. Далее, решив каждое новое уравнение относительно <math>x</math>
<math>x=u^3-28</math> и <math>x=v^3+9</math>, и после уравнивания этих уравнений, мы получаем уравнение <math>u^3-28=v^3+9</math>, но ввиду того, как мы вводили <math>u</math> и <math>v</math>, мы так же имеем уравнение <math>u-v=1</math>, значит у нас появилась система из уравнений:
<math>\begin{cases} u-v=1 \\ u^{3}-v^{3}=37 \end{cases}</math>
Решив систему, мы получаем значения <math>v_1=3</math> и <math>v_2=-4</math>, это значит нам надо решить ещё два уравнения:
<math>\sqrt[{3}]{x-9}=3</math> и <math>\sqrt[{3}]{x-9}=-4</math>, решения которых <math>x=36</math> и <math>x=-55</math>.
Ответ: <math>x \in \{36;-55\}</math>
Использование области определения
Использование области значений
Тождественное преобразования
Использование производной
Использование мажоранты
Термин «мажоранта» происходит от французского слова «majorante», от «majorer» — объявлять большим.
Мажорантой данной функции <math>f(x)</math> на заданном промежутке называется такое число A, что либо <math>f(x)\leqslant{A}</math> для всех x из данного промежутка, либо <math>f(x)\geqslant{A}</math> для всех x из данного промежутка. Основная идея метода состоит в использовании следующих теорем для решения иррациональных уравнений:
Теорема № 1.
Пусть <math>f(x)</math> и <math>g(x)</math> — некоторые функции, определённые на множестве <math>D</math>. Пусть <math>f(x)</math> ограничена на этом множестве числом А сверху, а <math>g(x)</math> ограничена на этом множестве тем же числом А, но снизу.
Тогда уравнение <math>f(x)=g(x)</math> равносильно системе:
<math>\begin{cases} f(x)= A \\ g(x)= A \end{cases}</math>
Теорема № 2.
Пусть <math>f(x)</math> и <math>g(x)</math> — некоторые функции, определённые на множестве <math>D</math>. Пусть <math>f(x)</math> и <math>g(x)</math> ограничены на этом множестве снизу (сверху) числами А и В соответственно. Тогда уравнение <math>f(x)+g(x)=A+B</math> равносильно системе уравнений:
<math>\begin{cases} f(x)= A \\ g(x)= B \end{cases}</math>
Теорема № 3.
Пусть <math>f(x)</math> и <math>g(x)</math> — некоторые неотрицательные функции, определённые на множестве <math>D</math>. Пусть <math>f(x)</math> ограничена сверху (или снизу) числами А и В соответственно. Тогда уравнение <math>f(x)g(x)=AB</math> равносильно системе уравнений (при условии, что <math>A>0</math> и <math>B>0</math>):
<math>\begin{cases} f(x)= A \\ g(x)= B \end{cases}</math>
В этом утверждении особенно важно условие неотрицательности функций <math>f(x)</math> и <math>g(x)</math>, а также условие положительности А и В.
Пример:
Решить уравнение <math>\sqrt{(x-2y+1)^2+1}+\sqrt{(3x-y-2)^2+25}=6</math>
Введём более короткие обозначения: <math>f(x,y)=\sqrt{(x-2y+1)^2+1}</math> и <math>g(x,y)=\sqrt{(3x-y-2)^2+25}</math>.
Значения <math>f(x,y)</math> больше или равны 1, так как подкоренное выражение <math>(x-2y+1)^2+1 </math> очевидно <math>\geqslant{1}</math>. Причём <math>f(x,y)=1</math>, только если <math>(x-2y+1)^2=0 </math>. Аналогично, значения <math>g(x,y)</math> не меньше 5. Значит можно записать <math>f(x,y)+g(x,y)=1+5</math>. Следовательно, используя Теорему № 2:
<math>\begin{cases} f(x,y)=1
\\
g(x,y)=5 \end{cases} </math> или <math>\begin{cases} \sqrt{(x-2y+1)^{2}+1}=1
\\ \sqrt{(3x-y-2)^{2}+25}=5
\end{cases} </math>
Возведя оба уравнения в квадрат, получим
<math>\begin{cases} (x-2y+1)^{2}=0
\\
(3x-y-2)^{2}=0 \end{cases} </math>, упрощая далее <math>\begin{cases} x-2y+1=0
\\ 3x-y-2=0 \end{cases}</math>
Единственное решение этой системы <math>(1;1)</math>
Ответ: <math>(1;1)</math>
Графический подход
В некоторых случаях построение графика функции позволяет оценить возможные пути решения уравнения, количество корней или их приблизительное значение.
Примечания
Ссылки