Cómo encontrar la solución de número natural para la ecuación [matemáticas] \ frac {x} {y} + \ frac {y} {z + 1} + \ frac {z} {x} = \ frac {5} {2} [/matemáticas]

Suponiendo que desea encontrar todas las soluciones de números naturales y demostrar que no existe otra solución:

Dado que todos los términos en el lado izquierdo son positivos, podemos aplicar la desigualdad de los medios aritméticos y geométricos para obtener
[matemáticas] \ frac {x} {y} + \ frac {y} {z + 1} + \ frac {z} {x} \ geq [/ matemáticas] [matemáticas] 3 \ sqrt [3] {\ frac { x} {y} \ frac {y} {z + 1} \ frac {z} {x}} [/ math] [math] = 3 \ sqrt [3] {\ frac {z} {z + 1}} [/matemáticas]

Si [math] a> b [/ math] son ​​enteros positivos, entonces tenemos
[matemáticas] 3 \ sqrt [3] {\ frac {a} {a + 1}}> 3 \ sqrt [3] {\ frac {b} {b + 1}} [/ matemáticas]
[matemáticas] \ iff \ frac {a} {a + 1}> \ frac {b} {b + 1} [/ matemáticas]
[matemáticas] \ iff a (b + 1)> b (a + 1) [/ matemáticas]
[matemáticas] \ iff a> b [/ matemáticas]

Como [math] 3 \ sqrt [3] {\ frac {2} {2 + 1}}> \ frac {5} {2} [/ math] para cualquier [math] z> 1 [/ math] tenemos [ matemáticas] \ frac {x} {y} + \ frac {y} {z + 1} + \ frac {z} {x} \ geq [/ matemáticas] [matemáticas] 3 \ sqrt [3] {\ frac {z } {z + 1}} [/ matemáticas] [matemáticas]> 5/2 [/ matemáticas]
entonces el único valor natural posible para [math] z [/ math] es [math] 1 [/ math]

Cuando [math] z [/ math] es igual a [math] 1 [/ math] la ecuación dada se convierte en [math] \ frac {5} {2} = \ frac {x} {y} + \ frac {y} {2} + \ frac {1} {x}> \ frac {y} {2} [/ math] de donde se deduce que [math] y \ leq 4 [/ math]

Si [math] y = 4 [/ math] entonces [math] \ frac {x} {4} + \ frac {1} {x} = \ frac {1} {2} [/ math] que no tiene un solución natural
Si [matemática] y = 3 [/ matemática] entonces [matemática] \ frac {x} {3} + \ frac {1} {x} = 1 [/ matemática] que no tiene una solución natural.
Si [matemática] y = 2 [/ matemática] entonces [matemática] \ frac {x} {2} + \ frac {1} {x} = \ frac {3} {2} [/ matemática] que nos da dos soluciones : [matemáticas] (x, y, z) = (1,2,1), (2,2,1) [/ matemáticas]
Si [matemática] y = 1 [/ matemática] entonces [matemática] x + \ frac {1} {x} = 2 [/ matemática] que nos da la solución [matemática] (x, y, z) = (1,1 , 1) [/ matemáticas]

Como hemos cubierto todos los casos posibles, no hay más soluciones en números naturales.

[matemáticas] \ frac {x} {y} + \ frac {y} {z + 1} + \ frac {z} {x} = \ frac {5} {2} ……… .. (1) [/ matemáticas]

(1) De AM [math] \ geq [/ math] GM principio

[matemáticas] \ frac {x} {y} + \ frac {y} {z + 1} + \ frac {z + 1} {x} \ geq 3 …………… .. (2) [/ matemáticas]

Restando (1 de (2)

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

es decir, [matemáticas] x \ leq 2 [/ matemáticas] ………………………………………………………… .. (3)

(2) Préstamo de Tomás Vaskevicius

[matemáticas] \ frac {x} {y} + \ frac {y} {z + 1} + \ frac {z} {x} \ geq 3 \ sqrt [3] {\ frac {x} {y} \ frac {y} {z + 1} \ frac {z} {x}} = 3 \ sqrt [3] {\ frac {z} {z + 1}} [/ math]

es decir, [matemáticas] (\ frac {5} {6}) ^ 3 \ geq \ frac {z} {z + 1} \ rightarrow \ frac {z} {z + 1} \ leq \ frac {125} {216} \ rightarrow z \ leq \ frac {119} {97} [/ math] es decir

[matemáticas] z = 1 …………………… (4) [/ matemáticas]

[matemáticas] \ subrayado {Caso I}: z = 1 x = 2 [/ matemáticas]

[matemáticas] \ frac {2} {y} + \ frac {y} {2} + \ frac {1} {2} = \ frac {5} {2} \ rightarrow y = 2 [/ matemáticas]

(2,2,1) es una solución

[matemáticas] \ subrayado {Caso II}: z = 1 x = 1 [/ matemáticas]

[matemáticas] \ frac {1} {y} + \ frac {y} {2} + \ frac {1} {1} = \ frac {5} {2} \ rightarrow y ^ 2–3y + 2 = 0 \ flecha derecha y = 1 o 2 [/ matemáticas]

Entonces (1,1,1) y (1,2,1) son las soluciones.

Combinando tenemos (2,2,1) (1,1,1) y (1,2,1) como conjunto de soluciones.

Puede hacerlo mediante el método de prueba y error.
5/2 puede simplificarse como 1 + 1 + 1/2, que puede escribirse además como (1/1) + (1/1 + 1) + (1/1)
Por lo tanto, los valores de las tres variables x, y y z se convierten en 1, que se convierte en una de las soluciones.

Inspección.
x = 2
y = 2
z = 1