Квант

53

А. Звонкин

Аnaliz
помогает алгебре

Довольно часто алгебраическую задачу удается решить, подыскав и исследовав методами анализа кakyонибудь подходящую вспомогательную функцию. С таким задачи мы познакомимся на этом занятии математического кружака.

Пример 1. Сколько корней имеет уравнение
x3−3x=a2x^3 - 3x = a^2 (1)

Решение. Как известно, существует формула для решения кубнеского уравнения («Квант», 1976, № 9). Однако эта формула очень громоздка. Нельзя ли найти число корней уравнения, не решая его?

Используя произвольную, нарисуем график функции y=x3−3xy = x^3 - 3x (рис. 1a). На том же чертеже нарисуем график функции y=ay = a, то есть горизонтальный прямую (на рисунке 16 изображено сразу несколько таких прямых — для разных значений aa). Количество корней уравнения (1) есть просто количество точек пересечения нашего графика и прямой*). Сразу

*) То, что прямая действительно пересекает график так, как показано на чертеже, вытекает из п. 84 учебника «Алгебра и начала анализа 10». Действительно, функция x→x3−3xx \rightarrow x^3 - 3x непрерывна и monotonна на каждом из промежутков ]−∞,−1]] -\infty, -1], [−1,1][-1, 1], [1,+∞][1, +\infty]; следовательно, ее множество значений на каждом из этих промежутков — промежуток; поэтому, например, для любого a∈[−2;2]a \in [-2; 2] существует такое x0∈[−1;1]x_0 \in [-1; 1], что f(x0)=af(x_0) = a, причем, ввиду monotonности функции ff на отрезке [−1;1][-1; 1], такое x0x_0 единственно. В последующих примерах читатель легко проверет подобное рассужение сам.

Рис. 1.

54

Рис. 2.

Рис. 3.

не менее вместе axa^x подставим xx, получим x=1ln⁡ax = \frac{1}{\ln a}. Полученное значение xx подставляем в первое уравнение:
a1ln⁡a=1ln⁡a;a^{\frac{1}{\ln a}} = \frac{1}{\ln a};
логарифмируем и преобразуем:
1ln⁡a⋅ln⁡a=ln⁡(1ln⁡a)⇔1=−ln⁡(ln⁡a)⇔ln⁡a=1e⇔a=e1e.\frac{1}{\ln a} \cdot \ln a = \ln \left( \frac{1}{\ln a} \right) \Leftrightarrow 1 = -\ln (\ln a) \Leftrightarrow \ln a = \frac{1}{e} \Leftrightarrow a = e^{\frac{1}{e}}.
Итак, a0=e1ea_0 = e^{\frac{1}{e}}.

Задача 3. Сколько корней имеет уравнение
ax=log⁡ax?a^x = \log_a x?
Указание ∗*). На рисунке 3 изобра-
*) См. также статью А. Егорова в «Кванте»
№ 10 за 1977 г., с. 37.

жены пять случаев взаимного расположения графиков y=axy = a^x и y=log⁡axy = \log_a x. Для удобства пунктиром изображена также прямая y=xy = x. Функции axa^x и log⁡ax\log_a x взимно образны, поэтому их графики симметрины относительно этой прямой. Вам остается лишь найти значения a1a_1 и a2a_2.

Заметим, кстати, что рисунок 3 изображен на обложке учебника «Алгебра 8» (при a=10a = 10). Особенно интересным нам кажется случай, изображенный на рисунке 3d. Такая картина получается, например, при a=116a = \frac{1}{16}.

Уражениее. Для a=116a = \frac{1}{16} найдите координаты точек пересечения.

Пример 3. При каких значениях aa существует такое положительное bb, что уравнение
x2+a=2b⋅ln⁡xx^2 + a = 2b \cdot \ln x
имеет единственный корень?

55

Решение. Как всегда, начнем с картины. На рисунке 4 изображены три случая взаимного расположения графиков y=x2+ay=x^2+a и y=2b⋅ln⁡xy=2b\cdot \ln x (для b>0b>0). Ясно, что уравнение (3) имеет единственный корень тогда и только тогда, когда эти графики касаются (рис. 46). В точке касания совпадает не только значения симых функций f(x)=x2+af(x)=x^2+a и g(x)=2b⋅ln⁡xg(x)=2b\cdot \ln x, но и значения их произвольных f′(x)=2xf'(x)=2x и g′(x)=2bxg'(x)=\frac{2b}{x}. Получилась система:

{x2+a=2b⋅ln⁡x2x=2bx\begin{cases} x^2+a=2b\cdot \ln x \\ 2x=\frac{2b}{x} \end{cases}

Из второго уравнения этой системы находится x=±bx=\pm \sqrt{b} (напомним, что по предположению b>0b>0). Значение x=−bx=-\sqrt{b} системе не удовлетворяет, так как ln⁡x\ln x при x=−bx=-\sqrt{b} не определяет. Подставляя полученное значение xx в первое уравнение, получаем a=b⋅ln⁡b−ba=b\cdot \ln b-b. (4)

Таким образом, графики y=x2+ay=x^2+a и y=2b⋅ln⁡xy=2b\cdot \ln x касаются, если и только если выполнен условие (4); при этом касание проинсходит в точке с абсциссой x=bx=\sqrt{b}.

Задача свелась к выяснению следующого вопроса: при каких значениях aa существует максиме bb, что выполняется равенство a=b⋅ln⁡b−ba=b\cdot \ln b-b? Еще одна, эквивалентная, формулировка: найти множество значений функции f(b)=b⋅ln⁡b−bf(b)=b\cdot \ln b-b.

Контрольный вопрос: почему мы опустили требование положительного bb?

На координатной плоскости ObaOba нарушем график функции b→b⋅ln⁡b−bb \rightarrow b\cdot \ln b-b (рис. 5). Тепер ответ на поставленный вопрос «почти ясен»: нужно значение bb существует при a≥a0a\geq a_0 (значений может быть и два!). Значение a0a_0 находится уравнения f′(b)=0f'(b)=0. Поскольку f′(b)=ln⁡bf'(b)=\ln b, b0=1b_0=1.

Таким образом, a0=f(b0)=−1a_0=f(b_0)=-1.

Контрольный вопрос. Как видно из рисунка 5, если aa принадлежит интервалу [−1,0][-1, 0], то ему соответствует два значения bb. Что это означает для графиков y=x2+ay=x^2+a и y=2b⋅ln⁡xy=2b\cdot \ln x? Нарисуйте.

Иногда значение количества корней помещает решить уравнение. Например, если известно, что некоторое уравнение имеетровно один

56

корень, можно попробовать просто угадать его.

Прием 4. Решить уравнение
cos⁡x=1−x22.\cos x = 1 - \frac{x^2}{2}.

Решение е. Один из корней этого уравнения легко угадается: x=0x = 0. Есть ли еще корни? Обратимся к графику (рис. 6). Вблизи точки x=0x = 0 графики функции y=cos⁡xy = \cos x и y=1−x22y = 1 - \frac{x^2}{2} так похожи друг на друга, что без дополнительного исследования невозможно получить, какой из рисунков, ба или 66, — правильный. Попробуем доказать, что для всех x≠0x \neq 0 справедливо уравнение cos⁡x>1−x22\cos x > 1 - \frac{x^2}{2} (то есть равенство невозможно).

Пусть f(x)=cos⁡x−1+x22f(x) = \cos x - 1 + \frac{x^2}{2}.

Эта функция четна, (т. е. f(x)=f(−x)f(x) = f(-x)), поэтому рассмотрим только положительные значения xx. Поскольку f(0)=0f(0) = 0, для доказательства уравнения f(x)>0f(x) > 0 при x>0x > 0 достаточно установить, что ff возвращана при x=0x = 0, достаточно установить, что f′(x)>0f'(x) > 0 при x>0x > 0 («Алгебра и начала анализа 9», п. 54). Поскольку f′(x)=x−sin⁡xf'(x) = x - \sin x, уравнение f′(x)>0f'(x) > 0 равносильно уравнению sin⁡x<x\sin x < x, которое при x>0x > 0 оченьindo*).

Последикий пример, который мы рассмотрим, касается обобщения уравнения между средним геометрическим и средним аргументческим. Легко доказать, что при x>0x > 0, y>0y > 0 имеет место xy≤x+y2\sqrt{x y} \leq \frac{x + y}{2}, причем уравнение достигается тогда и только тогда, когда x=yx = y. Запишем это уравнение в таком виде:
12⋅12≤12x+12y.\frac{1}{2} \cdot \frac{1}{2} \leq \frac{1}{2} x + \frac{1}{2} y.

Напращиваем следующее обобщение:

Прием 5. Пусть положительные числа aa и bb максимы, что a+b=1a + b = 1. Доказать, что для всех x>0x > 0,

y>0справедливо уравнениеy > 0 \quad \text{справедливо уравнение}
xayb≤ax+by,x^a y^b \leq ax + by,
(5)

причем уравнение достигается тогда и только тогда, когда t=1t = 1. Это доказательство мы оставим в виде упражнения читателю. (Указан ие. Функция at−ta+1−aat - t^a + 1 - a при t=1t = 1 имеет минимум).

Задание и

  1. Сколько корней имеет уравнение
    a) ex=axe^x = ax?
    b) 3x4+4x3−36x2=a3x^4 + 4x^3 - 36x^2 = a?
    b) xln⁡x=a\frac{x}{\ln x} = a?

  2. Решить (одно уравнение с двумя неизвестными):

a) 1x+2x=3y(1−ln⁡y)\frac{1}{x} + 2\sqrt{x} = 3y (1 - \ln y);
b) ln⁡xx=ecos⁡y\frac{\ln x}{x} = e^{\cos y};
b) 4x+1=2x+1sin⁡y4^x + 1 = 2^{x+1} \sin y.
6. Нарисовать на плоскости (p,q)(p, q) множество значений (p,q)(p, q), при которых уравнения
a) x3=3p2x+qx^3 = 3p^2x + q;
b) px=xq(x>0)p^x = x^q (x > 0) имеют 0, 1, 2, … решения относительно xx.
7. Решить уравнение
a) ln⁡x=x−1\ln x = x - 1
b) (x−1)ex+x2−3x+2=0(x - 1)e^x + x^2 - 3x + 2 = 0
b) sin⁡x=x−16x3\sin x = x - \frac{1}{6}x^3.

  1. Определить (без помощью таблицы), какое число больше eπe^\pi или πe\pi^e.