¿Cuál es el valor mínimo de | z + (1 / z) | si | z |> = 3?

Tenga en cuenta que [math] | z_1 – z_2 | [/ math] es la distancia entre [math] z_1 [/ math] y [math] z_2 [/ math].

Suponga que los valores absolutos de [matemática] z_1 [/ matemática] y [matemática] z_2 [/ matemática] son ​​fijos, como por ejemplo, [matemática] r_1 [/ matemática] y [matemática] r_2 [/ matemática] (respectivamente). Entonces [matemáticas] z_1 [/ matemáticas] y [matemáticas] z_2 [/ matemáticas] se encuentran en los círculos [matemáticas] | z_1 | = r_1 [/ matemáticas] y [matemáticas] | z_2 | = r_2 [/ matemáticas]. La distancia entre [matemática] z_1 [/ matemática] y [matemática] z_2 [/ matemática] es mínima si ambos puntos se encuentran en un vector de radio común. Y esta distancia mínima es entonces la diferencia entre los radios, [math] | r_1 – r_2 | [/ math].

Podemos escribir [matemáticas] | z + 1 / z | [/ matemáticas] como [matemáticas] | z – (-1 / z) | [/ matemáticas]. Deje [matemáticas] | z | = a \ ge 3 [/ matemáticas]. Entonces [matemáticas] | -1 / z | = 1 / a \ le 1/3 [/ matemáticas]. Por lo tanto, [matemáticas] z [/ matemáticas] y [matemáticas] -1 / z [/ matemáticas] se encuentran en los círculos [matemáticas] | z | = a [/ matemáticas] y [matemáticas] | -1 / z | = 1 / a [/ matemáticas].

¿Es posible encontrar una [matemática] z [/ matemática] tal que [matemática] -1 / z [/ matemática] también se encuentre en la misma línea que une [matemática] 0 [/ matemática] a [matemática] z [/ matemática ]? Suponga que [math] z [/ math] es puramente imaginario, digamos [math] z = iy [/ math], con [math] y> 0 [/ math]. Entonces [math] -1 / z = -1 / iy = i / y [/ math], que también es puramente imaginario, con [math] 1 / y> 0 [/ math]. Por lo tanto, la distancia entre [matemática] z [/ matemática] y [matemática] -1 / z [/ matemática] es mínima si [matemática] y – 1 / y [/ matemática] es mínima, con la condición de que [matemática] y \ ge 3 [/ math].

La derivada de [matemática] y – 1 / y [/ matemática] es [matemática] 1 + 1 / y ^ 2 [/ matemática], que es positiva, lo que implica que [matemática] y – 1 / y [/ matemática] es una función creciente (ignorando discontinuidades). Por lo tanto, es mínimo si [math] y [/ math] es lo más pequeño posible, es decir, si [math] y = 3 [/ math] (dada la condición).

Por lo tanto, [math] | z + 1 / z | [/ math] tiene un valor mínimo [math] 8/3 [/ math], para [math] z = 3i [/ math].

Considere que z es 3.000 … con un 1 al final de la cadena infinita de dígitos, entonces sería aproximadamente 3.333333 …