Si [matemáticas] a \ ne b [/ matemáticas] y [matemáticas] a + b = 1 [/ matemáticas], entonces ¿cuál es el valor más bajo de [matemáticas] a ^ {-1} + b ^ {-1} [ /matemáticas] ?

Voy a suponer que está buscando el número positivo más pequeño. Si es así, si [math] a \ ne b [/ math], no hay algo llamado el valor más bajo, ya que también puede encontrar otro valor que es un poco más bajo.

Como los números suman 1, tomemos

[matemáticas] a = \ frac {1 + x} {2} [/ matemáticas] y

[matemáticas] b = \ frac {1-x} {2} [/ matemáticas].

Se puede ver que [matemáticas] a + b = 1 [/ matemáticas]. Entonces, [matemáticas] a ^ {- 1} + b ^ {- 1} [/ matemáticas] viene dado por

[matemáticas] \ frac {2} {1 + x} + \ frac {2} {1-x} [/ matemáticas]

Tomando el MCM como denominador común y simplificando, obtenemos

[matemáticas] \ frac {2} {1-x ^ 2} [/ matemáticas].

Cuanto más cerca [matemática] x [/ matemática] sea [matemática] 1 [/ matemática], menor será el denominador y mayor será el valor. El denominador (positivo) más grande se produce para [matemáticas] x = 0 [/ matemáticas] o [matemáticas] a = b [/ matemáticas]. Esto es cuando la función está en su valor positivo más pequeño. Si [math] x \ ne 0 [/ math] es decir [math] a \ ne b [/ math], entonces es como preguntar cuál es el siguiente más pequeño después de [math] 0 [/ math]. Creo que estaría de acuerdo en que no existe tal número.

* A2A

Como no se especifica nada sobre la naturaleza de [matemáticas] a, b [/ matemáticas], soy libre de usar lo que quiera.

Método 1: desigualdad media aritmética media-armónica

[matemáticas] \ text {Considerando} a, b> 0 \, \ text {usando} AM \ ge HM \\\ begin {align} \ dfrac {a + b} 2 & \ ge \ dfrac2 {\ dfrac1a + \ dfrac1b} \ \\ dfrac12 & \ ge \ dfrac2 {\ dfrac1a + \ dfrac1b} \\\ dfrac2 {\ dfrac1a + \ dfrac1b} & \ le \ dfrac12 \\\ dfrac {\ dfrac1a + \ dfrac1b} 2 & \ ge2 \\\ dfrac1a + \ dfrac1a + \ dfrac1a + \ dfrac1a + \ dfrac1a + \ d \\\ hline \ text {Since} a & \ neq b, \ text {tenemos} \\\ dfrac1a + \ dfrac1b & \ in (4, \ infty) \ end {align} \ tag * {} [/ math]


Método 2: uso del cálculo

[matemáticas] \ begin {align} f (a, b) & = \ dfrac1a + \ dfrac1b \\ f (a) & = \ dfrac1a + \ dfrac1 {1-a} \\ f ‘(a) & = 0 \\ – \ dfrac1 {a ^ 2} + \ dfrac1 {(1-a) ^ 2} & = 0 \\ – (1-a) ^ 2 + a ^ 2 & = 0 \\ – 1 + 2a-a ^ 2 + a ^ 2 & = 0 \\ 2a & = 1 \\ a & = \ dfrac12 \\ b & = \ dfrac12, \ qquad [\ porque a + b = 1] \\\ text {Since} & a \ neq b \\\ text {Por lo tanto } \ dfrac1a + \ dfrac1b & \ text {no se puede determinar} \ end {align} \ tag * {} [/ math]


Método 3: usar multiplicadores de Lagrange

[matemáticas] \ begin {align} & \ begin {cases} \ text {Optimize} f (a, b) = \ dfrac1a + \ dfrac1b \\\ text {Con respecto a la restricción} \\ S = a + b-1 \\ a, b> 0 \ end {cases} \\\ hline & f_a = – \ dfrac1 {a ^ 2} \ qquad f_b = – \ dfrac1 {b ^ 2} \\ & S_a = 1 \ qquad \ qquad S_b = 1 \\\ hline & \ text {Usando multiplicadores de Lagrange …} \\ & – \ dfrac1 {a ^ 2} = – \ dfrac1 {b ^ 2} = \ lambda \\ & \ qquad \ dfrac1 {a ^ 2} – \ dfrac1 {b ^ 2} = 0 \\ & \ qquad \ left (\ dfrac1a + \ dfrac1b \ right) \ left (\ dfrac1a- \ dfrac1b \ right) = 0 \\ & \ qquad \ boxed {\ dfrac1a + \ dfrac1b = 0 } \ end {align} \ tag * {} [/ math]

Esto es posible cuando [math] a = -b \ qquad \ forall a, b \ in \ R \ setminus \ left \ {0 \ right \} [/ math]

Pero como [math] a + b = 1 [/ math], nuevamente, este método no nos da el valor óptimo para [math] a ^ {- 1} + b ^ {- 1} [/ math]

Y si resolvemos el otro factor [math] \ dfrac1a- \ dfrac1b = 0 [/ math], obtenemos [math] a = b [/ math], violando nuevamente la condición de que [math] a \ neq b [/ matemáticas]

déjame cambiar (a, b) a (x, y)

f (x, y) = 1 / x + 1 / y = (x + y) / (xy) = 1 / (xy), x ≠ y. → x, y ≠ ½

f (x) = 1 / x (1-x) = 1 / g (x)

g (x) = x (1-x)

g (máx.) = g (½) = ¼

f (min) = 1 / g (max) = 1 / ¼ = 4

More Interesting

Cómo probar [math] gcd [/ math] con descomposición de factores primos y cómo muestro que [math] gcd (m, n) = \ prod_ {p \ in \ mathbb {P}} p ^ {min (v_ { n} (p), v_ {n} (p))} [/ math] usando descomposición de factores

¿Qué es un polinomio de Bernstein?

¿Qué es la topología de internet?

¿Soy el único que piensa que muchos de los argumentos de Simulación de Nick Bostrom son matemáticos de largo alcance, adivinanzas y muy engañosos?

Cómo representar el siguiente número binario en notación exponencial (23,415)

¿Cuáles son las versiones de la teoría de conjuntos?

¿Por qué es que un conjunto finito no vacío es un conjunto cerrado?

¿Cuál es el significado físico de la notación de corchetes?

¿Es correcto decir [math] \ emptyset \ subseteq \ {\ emptyset \} [/ math]?

¿Qué significa una densidad de 1 en el teorema de densidad de Lebesgue?

Cómo explicar el argumento diagonal de Cantor a alguien en términos simples

En matemáticas, ¿cuál es el 'Iff' más sorprendente que existe?

¿Cómo son las matemáticas en contabilidad?

¿Cuál es la suma de los cubos de las raíces de [matemáticas] y = 2x ^ 4 + 3x ^ 3 + x ^ 2 - 2x - 2 [/ matemáticas]

Localización de anillos: ¿Cómo demuestro que el Ringmorphism [math] \ lambda_S: R \ to R_S, \ a \ mapsto a / s [/ math] induce una biyección entre los conjuntos [math] \ text {Spec} (R_S) [/ matemáticas] y los ideales primarios en [matemáticas] R [/ matemáticas] disjuntos de [matemáticas] S [/ matemáticas]?