Encuentre la solución de x e y en la ecuación dada 16 ^ (x ^ 2-y) + 16 ^ (y ^ 2-x) = 1, donde x e y pertenecen a números reales? No use métodos de prueba y hit , sus valores generales?

Como todos sabemos, la media geométrica es menor o igual que la media aritmética y son iguales solo si los valores son iguales, es decir, [matemática] u + v \ ge \ sqrt {4uv} [/ matemática]

Aplicarlo a la parte izquierda

[matemáticas] 16 ^ {x ^ 2-y} + 16 ^ {y ^ 2-x} \ ge \ sqrt {4 \ cdot 16 ^ {x ^ 2-y + y ^ 2-x}} = 16 ^ { \ frac {1} {2} ((x- \ frac {1} {2}) ^ 2+ (y- \ frac {1} {2}) ^ 2- \ frac {1} {4} – \ frac {1} {4} + \ frac {1} {2})} = 16 ^ {\ frac {1} {2} ((x- \ frac {1} {2}) ^ 2+ (y- \ frac {1} {2}) ^ 2)} [/ matemáticas]

Como [matemáticas] (x- \ frac {1} {2}) ^ 2+ (y- \ frac {1} {2}) ^ 2 \ ge 0 \ mbox {y} (x- \ frac {1} { 2}) ^ 2+ (y- \ frac {1} {2}) ^ 2 = 0 \ Leftrightarrow x = y = \ frac {1} {2} [/ math]

[matemáticas] 16 ^ {\ frac {1} {2} ((x- \ frac {1} {2}) ^ 2+ (y- \ frac {1} {2}) ^ 2)} \ gt 1 \ forall (x; y) \ neq (\ frac {1} {2}; \ frac {1} {2}) [/ math]. Así [matemáticas] 16 ^ {x ^ 2-y} + 16 ^ {y ^ 2-x} \ gt 1 \ forall (x; y) \ neq (\ frac {1} {2}; \ frac {1} {2}) [/ matemáticas].

Lo único que queda es ver que [matemática] x = y = \ frac {1} {2} [/ matemática] satisface nuestra ecuación, lo que, por supuesto, hace.

[matemáticas] 16 ^ {x ^ 2 – y} + 16 ^ {y ^ 2 – x} = 1 [/ matemáticas]

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

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

[matemáticas] 16 ^ {{x ^ 2} + x} + 16 ^ {{y ^ 2} + y} = 16 ^ {x + y} [/ matemáticas]