Paso a paso. Suponga que una solución es racional [matemática] x_ {0} = \ frac {p} {q} [/ matemática] [matemática] p [/ matemática] y [matemática] q [/ matemática] es relativamente primo
[matemáticas] 2 ^ {\ frac {p} {q}} = 2 \ frac {p} {q} [/ matemáticas]
[matemáticas] q2 ^ {\ frac {p} {q}} = 2p [/ matemáticas]
A la derecha hay un número entero y esto es posible solo si [math] q [/ math] realmente divide [math] p [/ math] ya que [math] \ sqrt [q] {2} [/ math] nunca es racional .
- ¿Qué se entiende por ecuación cuadrática?
- ¿Cuál es la prueba de la fórmula sridhacharya de la ecuación cuadrática?
- ¿Cuál es la ecuación de la línea recta que pasa por el centro del círculo 2x ^ 2 + 2y ^ 2 + 4y + 1 = 0 y perpendicular a la línea recta y = x + 5?
- Si tengo conocimiento de Álgebra 1 y quiero poder resolver ecuaciones diferenciales, ¿dónde debo comenzar y cómo debo continuar?
- ¿Cuál es la ecuación matemática más elegante?
Entonces no hay soluciones puramente racionales. Probemos soluciones enteras entonces.
[matemáticas] 2 ^ {p} = 2p [/ matemáticas]
Suponga que p es par. De
[matemáticas] 2 ^ {2 ^ mk} = 2 ^ {m + 1} k [/ matemáticas]
vemos que debe ser [matemática] p = 2 ^ m [/ matemática] ya que [matemática] k [/ matemática] debe ser [matemática] 1 [/ matemática]. Llegamos a
[matemáticas] 2 ^ {2 ^ m} = 2 ^ {m + 1} [/ matemáticas]
o
[matemáticas] 2 ^ m = m + 1 [/ matemáticas]
Esto puede tener solo un número finito de soluciones porque [matemática] 2 ^ x [/ matemática] crece más rápido que [matemática] x [/ matemática]
ya [matemáticas] 2 ^ 3 = 8> 4 [/ matemáticas]
Reemplazar tantas veces como queramos
[matemáticas] 2 ^ {2 ^ {2 ^ {2 ^ {m} -1} -1} -1} = m + 1 [/ matemáticas]
vemos que [matemática] 2 ^ {m} -1 [/ matemática], con [matemática] m> 0 [/ matemática], no puede ser mayor que [matemática] 1 [/ matemática] de lo contrario tendríamos un crecimiento infinito dependiendo en el número de niveles en la expansión. A partir de ahí [matemática] m = 1 [/ matemática] si [matemática] p [/ matemática] es par, lo que da [matemática] p = 2 [/ matemática].
Para [math] p [/ math] impar tenemos
[matemáticas] 2 ^ {2m + 1} = 2 (2m + 1) [/ matemáticas]
que es posible solo si [matemática] 2m + 1 = 1 [/ matemática] dando otra solución [matemática] m = 0 [/ matemática] que es [matemática] p = 1 [/ matemática]
Que estas son solo soluciones reales posibles proviene del hecho de que la primera derivada
[matemáticas] f ‘(x) = ln (2) 2 ^ x-2 [/ matemáticas]
tiene solo un cero y tiene una función monotónicamente creciente, lo que significa que [math] f (x) [/ math] tiene un mínimo, por lo que puede tener como máximo dos ceros reales. Como hemos encontrado ambos, la situación es clara. (Normalmente, ampliaríamos aquí la aproximación para este cero, pero no hay necesidad de hacerlo aquí).
Otras soluciones son complejas y se dan en forma de función Lambert W
[matemáticas] \ displaystyle – \ frac {W_ {n} (- \ frac {\ ln (2)} {2})} {\ ln (2)} [/ matemáticas]
y no hay mucho que decir sobre ellos.