En las ecuaciones [matemáticas] y = 2 ^ x [/ matemáticas] y [matemáticas] y = x ^ 2 + n [/ matemáticas], ¿qué valor de n hará que las dos curvas sean tangentes entre sí?

Edición 1: Edición después de que Luke Hammer señaló que puede haber tres soluciones cuando estas dos curvas se resuelven juntas. El siguiente gráfico lo representa bien:

Aquí, la curva azul es [matemática] y = x ^ 2 [/ matemática] y la curva roja es [matemática] y = 2 ^ x [/ matemática].

Para tal caso, podemos entender que puede haber dos puntos de tangencia entre estas dos curvas. El primero estará cerca de 0 cuando la curva azul se desplace hacia arriba (n> 0). El segundo será en algún lugar entre 2 y 4 o cerca de 3, cuando la curva azul se desplace hacia abajo (n <0).

Como entendemos, las pendientes serán iguales en ese punto y así tenemos,

[matemáticas] ln (2) * 2 ^ x – 2x = 0 [/ matemáticas] ———— (1)

Según mi conocimiento, no hay forma directa de resolver esta ecuación. Pero he encontrado un truco siempre útil para soluciones aproximadas.

Veamos qué obtenemos cuando expandimos [matemáticas] 2 ^ x [/ matemáticas]:

[matemáticas] ln (2) * [1 + x * ln (2) + \ frac {(x * ln (2)) ^ 2} {2} + \ frac {(x * ln (2)) ^ 3} {6} +…] – 2x = 0 [/ matemáticas]

Para valores de x cercanos a cero, podemos ignorar fácilmente una mayor potencia de x, específicamente [matemática] x ^ 3 [/ matemática] en adelante. Sin embargo, esto no será cierto si | x | tiene mayor valor Nuestra solución se encuentra cerca de cero, que se puede encontrar de esta manera. Entonces, tendremos,

[matemáticas] ln (2) * [1 + x * ln (2) + \ frac {(x * ln (2)) ^ 2} {2}] – 2x = 0 [/ matemáticas]

Esta es una ecuación cuadrática, y resolver esto da, x = 0.48 o 8.64

Obviamente, 0.48 es el valor que nos interesa.

Nuestro próximo valor se encuentra cerca de 3 y para eso esta aproximación no funciona directamente y con razón da un resultado incorrecto. Pero hay otro truco para superarlo. Tengamos [math] x = 3 + t [/ math] en la ecuación 1. En tal caso, t estará cerca de 0. Y tendremos:

[matemáticas] ln (2) * 2 ^ {t + 3} – 2 (t + 3) = 0 [/ matemáticas]

o, [matemáticas] 4 * ln (2) * 2 ^ t – t – 3 = 0 [/ matemáticas]

Nuevamente expandiendo [matemática] 2 ^ t [/ matemática] e ignorando una mayor potencia de t, obtenemos una ecuación cuadrática como:

[matemáticas] 2 * (ln (2)) ^ 3 * t ^ 2 + (4 * (ln (2)) ^ 2 – 1) t + (4 * ln (2) – 3) = 0 [/ matemáticas]

Resolviendo esto obtenemos, t = 0.214 o 1.598

Nuevamente, estamos interesados ​​en el primer valor 0.214, dándonos x = 3.214

Podemos verificar estos dos valores de x ( 0.48 y 3.214 ) en la ecuación (1). Obtenemos LHS como 0.0067 y 0.0039, que están muy cerca de 0.

Ahora en estos puntos, se encuentran dos curvas originales. Entonces,

[matemáticas] x ^ 2 – 2 ^ x + n = 0 [/ matemáticas]

o [matemáticas] n = 2 ^ x – x ^ 2 [/ matemáticas]

o,

n = 1.164 o -1.051


La respuesta a continuación es incorrecta, ya que supuse que las curvas anteriores se cruzan solo en 2 puntos máximos.

Por geometría, podemos entender que después de resolver estas dos curvas podemos dar 0 o 1 o 2 soluciones reales basadas en el valor de n.

Además, dado que las dos curvas se encuentran en el punto tangente, deben resolverse para dar una solución única.

Por lo tanto, [matemáticas] x ^ 2 – 2 ^ x + n = 0 [/ matemáticas] debería tener una solución única ……… .. (1)

Ahora en el punto tangente, las pendientes de la tangente de las curvas originales también serán las mismas. La pendiente de la tangente para la primera curva es ln (2) * 2 ^ x. Para la segunda curva es 2x.

Entonces, [matemáticas] ln (2) * 2 ^ x = 2x [/ matemáticas]

=> [matemáticas] 2 ^ x = \ frac {2x} {ln (2)} [/ matemáticas] en el punto de la tangente.

Poniendo esto en (1) da,

[matemáticas] x ^ 2 – \ frac {2x} {ln (2)} + n = 0 [/ matemáticas] que tiene una solución única.

Entonces, el discriminante de esta ecuación será cero:

[matemáticas] \ frac {4} {[ln (2)] ^ 2} = 4n [/ matemáticas]

=> [matemáticas] n = \ frac {1} {[ln (2)] ^ 2} [/ matemáticas]

Dos curvas comparten una línea tangente común donde sus pendientes coinciden.

[matemáticas] y = 2 ^ x \ implica y ‘= 2 ^ x \ ln 2 [/ matemáticas]

[matemáticas] y = x ^ 2 + n \ implica y ‘= 2x [/ matemáticas]


[matemáticas] 2 ^ x \ ln 2 = 2x [/ matemáticas]

[matemáticas] \ implica \ dfrac {x} {2 ^ x} = \ dfrac {\ ln 2} {2} [/ matemáticas]

[matemáticas] \ implica xe ^ {x \ ln 2} = \ dfrac {\ ln 2} {2} [/ matemáticas]

[matemáticas] \ implica x \ ln 2e ^ {x \ ln 2} = \ dfrac {(\ ln 2) ^ 2} {2} [/ matemáticas]

[matemáticas] \ implica x \ ln 2 = W_n \ left (\ dfrac {(\ ln 2) ^ 2} {2} \ right) [/ math]

[matemáticas] \ implica x = \ dfrac {W_n \ left (\ dfrac {(\ ln 2) ^ 2} {2} \ right)} {\ ln 2} [/ math]

[matemáticas] \ implica x = 0.48509, 3.21243 [/ matemáticas]

donde [math] n \ in \ Z [/ math] y [math] W_n (x) [/ math] es la función Lambert W.


[matemáticas] y = 2 ^ x [/ matemáticas]

[matemáticas] \ implica y = 1.3997, 9.2691 [/ matemáticas]

Poner [matemáticas] (x, y) = (0.48509,1.3997) [/ matemáticas]

[matemáticas] y = x ^ 2 + n [/ matemáticas]

[matemática] \ implica n = yx ^ 2 = 1.3997- (0.485091) ^ 2 = \ en caja {1.164386722} [/ matemática]

Poner [matemáticas] (x, y) = (3.21243,9.2691) [/ matemáticas]

[matemáticas] y = x ^ 2 + n [/ matemáticas]

[math] \ implica n = yx ^ 2 = 9.2691- (3.21243) ^ 2 = \ boxed {-1.023606505} [/ math]

La exploración gráfica muestra que hay dos soluciones. Podemos encontrarlos igualando primero los gradientes y resolviendo para x, luego restando para encontrar n = 2 ^ x – x ^ 2.

La ecuación de los gradientes da la ecuación ln (2) .2 ^ x – 2x = 0. La resolución numérica (por ejemplo, utilizando el método de Newton) da

x = 0.48508964, y por lo tanto n = 1.1643609; y

x = 3.2124325, y por lo tanto n = -1.05062.

No sé cómo encontrar una solución analítica, pero por problemas similares parece poco probable que exista.

Como ambas funciones no son lineales, ningún valor para el valor de n hará que una función polinómica de segundo grado sea una tangente lineal. Aunque ambas funciones pueden compartir una tangente común. Ahí es donde el primer diferencial de ambas funciones se vuelve igual.