En el poder de escalado de FCF logarítmico: log_ (cf) (x; a; b) = log_b (x + a / log_b (x + a / log_b (x + ...))), b in (1, oo), x en (0, oo) y a en (0, oo). ¿Cómo se prueba que log_ (cf) ("trillón"; "trillón"; "trillón") = 1.204647904, casi?

En el poder de escalado de FCF logarítmico: log_ (cf) (x; a; b) = log_b (x + a / log_b (x + a / log_b (x + ...))), b in (1, oo), x en (0, oo) y a en (0, oo). ¿Cómo se prueba que log_ (cf) ("trillón"; "trillón"; "trillón") = 1.204647904, casi?
Anonim

Vocación # "trillón" = lambda # y sustituyendo en la fórmula principal.

con #C = 1.02464790434503850 # tenemos

#C = log_ {lambda} (lambda + lambda / C) # asi que

# lambda ^ C = (1 + 1 / C) lambda # y

# lambda ^ {C-1} = (1 + 1 / C) #

siguiendo con simplificaciones

#lambda = (1 + 1 / C) ^ {1 / (C-1} #

finalmente, calculando el valor de # lambda # da

# lambda = 1.0000000000000 * 10 ^ 12 #

Observamos también que

#lim_ {lambda-> oo} log_ {lambda} (lambda + lambda / C) = 1 # para #C> 0 #

Responder:

Esta es mi continuación a la agradable respuesta de Cesareo. Los gráficos para ln, eligiendo b = e y a = 1, podrían dilucidar la naturaleza de este FCF.

Explicación:

Gráfico de #y = log_ (cf) (x; 1; e) = ln (x + 1 / y) #:

No biyectivo para x> 0.

gráfica {x-2.7183 ^ y + 1 / y = 0 -10 10 -10 10}

Gráfica de y = #log_ (cf) (- x; 1; e) = ln (-x + 1 / y) #:

No biyectivo para x <0.

gráfica {-x-2.7183 ^ y + 1 / y = 0 -10 10 -10 10}

Gráfico combinado:

gráfico {(x-2.7183 ^ y + 1 / y) (- x-2.7183 ^ y + 1 / y) = 0 -10 10 -10 10}

Los dos se encuentran en (0, 0.567..). Vea la gráfica a continuación. Todos los graficos son

Se atribuye a la potencia de la facilidad gráfica socrática.

gráfica {x-2.7128 ^ (- y) + y = 0 -.05.05 0.55.59}

La respuesta a la pregunta es 1.02 … y Cesareo tiene razón.

Vea la revelación gráfica a continuación.

gráfico {x-y + 1 + 0.03619ln (1 + 1 / y) = 0 -. 1.1 1.01 1.04}