Давным-давно мне задали задачу: 2 в степени Х=4Х и сказали: решишь - поступишь в УПИ (Свердловск) Я решил (за два дня). Ответов 4. 1. Х=4 2,3,4? Подсказка: Попробуйте(для начала) понять сколько методов решения уравнений сущест...

Сначала определим, сколько действительных корней вообще может иметь данное уравнение. Рассмотрим функцию [latex] f(x) = 2^x - 4x . [/latex] Её производная [latex] f'_x (x) = 2^x \ln{2} - 4 . [/latex] Найдём её ноли. [latex] f'_x (x) = 0 [/latex] ; [latex] 2^x \ln{2} - 4 = 0 [/latex] ; [latex] 2^x \ln{2} = 4 [/latex] ; [latex] 2^x = 4/\ln{2} [/latex] ; [latex] x = \log_2{ ( 4/\ln{2} ) } [/latex] ; [latex] x = \log_2{4} - \log_2{ \ln{2} } [/latex] ; [latex] x = 2 - \frac{ \ln{ \ln{2} } }{ \ln{2} } \approx 2 - [-0.528766] = 2.528766 [/latex] ; При [latex] x < 2 - \frac{ \ln{ \ln{2} } }{ \ln{2} } , [/latex] например при [latex] x = 0 : : : f'_x (x) < 0 [/latex] ; При [latex] x > 2 - \frac{ \ln{ \ln{2} } }{ \ln{2} } , [/latex] например при [latex] x = 5 : : : f'_x (x) > 0 [/latex] ; При [latex] x = 0 [/latex] функция [latex] f(x) = 2^0 - 4 \cdot 0 = 1 - 0 = 1 > 0 [/latex] ; При [latex] x = 2 [/latex] функция [latex] f(x) = 2^2 - 4 \cdot 2 = 4 - 8 = -4 < 0 [/latex] ; При [latex] x = 5 [/latex] функция [latex] f(x) = 2^5 - 4 \cdot 5 = 32 - 20 = 12 > 0 [/latex] ; А это значит, что до точки [latex] x = 2 - \frac{ \ln{ \ln{2} } }{ \ln{2} } [/latex] функция [latex] f(x) [/latex] строго убывает, причём переходя от положительных при [latex] x = 0 [/latex] значений к отрицательным, а значит имеет до указанной точки ровно один корень. А далее от точки [latex] x = 2 - \frac{ \ln{ \ln{2} } }{ \ln{2} } [/latex] функция [latex] f(x) [/latex] строго возрастает, причём переходя от отрицательных значений к положительным при [latex] x = 5 , [/latex] а значит, имеет после указанной точки ровно ещё один корень. Таким образом, заданное уравнение имеет РОВНО ДВА действительных корня. Найдём их. Во-первых, у уравнения есть очевидный корень [latex] x_1 = 4 , [/latex] заявленный и в приведённом условии. Далее порассуждаем практически: x=0) [latex] 2^0 > 4 \cdot 0 [/latex] ; x=1) [latex] 2^1 < 4 \cdot 1 [/latex] ; x=2) [latex] 2^2 < 4 \cdot 2 [/latex] ; x=3) [latex] 2^3 < 4 \cdot 3 [/latex] ; x=4) [latex] 2^4 = 4 \cdot 4 [/latex] ; x=5) [latex] 2^5 > 4 \cdot 5 [/latex] ; При [latex] x > 4 , [/latex] производная [latex] (2^x)'_x = 2^x \ln{2} > 2^4 \ln{\sqrt{e}} = 8 [/latex] больше производной [latex] (4x)'_x = 4 [/latex], т.е. дальше левая часть уравнения, растёт быстрее, чем правая, а значит, других корней при [latex] x > 4 [/latex] быть не может. При [latex] x < 0 , [/latex] левая часть уравнения положительна, а правая отрицательна, так что других корней при [latex] x < 0 [/latex] быть не может. Однако, как видно из оценок (x=0) и (x=1) уравнение явно имеет решение на [latex] x \in (0,1) [/latex], так как при сравнении двух непрерывных функций на этом интервале меняется знак. Предположим, что второе решение рационально. Тогда слева мы будем иметь арифметический корень некоторой степени из двойки, возведённой в некоторую другую несократимую и меньшую степень, т.е. если [latex] x = \frac{p}{q} , [/latex] где [latex] \{ p < q \} \in N , [/latex] то: [latex] 2^x = 2^\frac{p}{q} = (\sqrt[q]2)^p < 2 . [/latex] Это число, очевидно иррационально, что легко доказать от обратного методом Евклида. Однако справа должно быть рациональное число [latex] 4 \cdot \frac{p}{q} = \frac{4p}{q} , [/latex] а значит, мы пришли к противоречию. Таким образом, второе решение иррационально. Если, тем не менее, такой корень должен быть найден, то нам придётся привлечь некоторые не очень сложные знания из высшей математики, поскольку иначе данная задача не может быть решена. В высшей математике используется множество дополнительных функций. Одна из них, функция Ламберта [latex] x = W(t) , [/latex] по определению дающая решение, т.е. являющаяся обратной, к функции [latex] t = xe^x . [/latex] Функция вводится аналогично, скажем, функции [latex] x = arctg(t) , [/latex] являющейся решением уравнения [latex] t = tg{x} , [/latex] но в отличие от арктангенса, функция Ламберта используется намного реже в прикладных задачах (в основном в задачах теплопроводности), и поэтому – менее широко известна. Функция вводится на расширенной комплексной плоскости, т.е. алгебраически, а не арифметически, а значит по определению, может быть многозначной, и является таковой при отрицательных значениях аргумента [latex] t , [/latex] хотя нам достаточно будет знать лишь её действительные значения, которых при отрицательных аргументах всегда два. Вид действительных ветвей функции Ламберта представлен на приложенном изображении. Преобразуем наше уравнение к функции Ламберта: [latex] 2^x = 4x [/latex] ; [latex] (\frac{1}{2})^x = \frac{1}{4} \cdot \frac{1}{x} [/latex] ; [latex] x \cdot e^{ x \ln{ \frac{1}{2} } } = \frac{1}{4} [/latex] ; [latex] - x \ln{2} \cdot e^{ - x \ln{2} } = - \frac{ \ln{2} }{4} [/latex] ; Обозначим: [latex] y = - x \ln{2} , [/latex] тогда: [latex] y e^y = t = - \frac{ \ln{2} }{4} , [/latex] отсюда через функцию Ламберта: [latex] y = W(t) = W( -\frac{ \ln{2} }{4} ) , [/latex] [latex] x = - \frac{y}{ \ln{2} } = - \frac{ W( -\frac{ \ln{2} }{4} ) }{ \ln{2} } [/latex] ; [[[ Продолжение на изображении. Лимит сервиса 5000 символов не позволяет дописать решение. ]]]