Nose

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 5

Matemáticas: Enseñanza Universitaria

ISSN: 0120-6788
reviserm@univalle.edu.co
Escuela Regional de Matemáticas
Colombia

Ortega Palencia, Pedro; Cabarcas Urriola, Héctor


Problemas y soluciones
Matemáticas: Enseñanza Universitaria, vol. XI, núm. 1-2, diciembre, 2003, pp. 135-138
Escuela Regional de Matemáticas
Cali, Colombia

Disponible en: http://www.redalyc.org/articulo.oa?id=46811210

Cómo citar el artículo


Número completo
Sistema de Información Científica
Más información del artículo Red de Revistas Científicas de América Latina, el Caribe, España y Portugal
Página de la revista en redalyc.org Proyecto académico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto
Problemas y soluciones

En esta sección se publican problemas propuestos por los lectores de la revista.


Cuando las soluciones sean conocidas se solicita que sean enviadas junto con
los problemas. Las soluciones serán, en su momento, objeto de publicación.
Pueden remitir sus problemas a la dirección de la Revista por cualquiera de las
vías disponibles o directamente al profesor Yu Takeuchi, editor de la sección a
la Carrera 30, No. 39–31, Apto. 203, Bogotá, Colombia.

Problema 5.98 Vol. VII, No. 1, Mayo (1998). Propuesto por


Yu Takeuchi. Demostrar que:

i ) Existen dos valores de a > 0 que satisfacen la igualdad

(aa )a = a( aa ).

ii ) Dado a > 0, existen a lo más dos valores de b > 0 que satisfacen la


igualdad
ab = b a

Como solución a la parte ii) de este problema hemos recibido la si-


guiente nota.

Existencia de raices no triviales de la ecuación


xy − y x = 0, x, y ∈ R+

Pedro Ortega Palencia Héctor Cabarcas Urriola

En esta nota se establecen condiciones para la existencia de soluciones


reales positivas no triviales x, y (x 6= y) de la ecuación x y − y x = 0.
Además se demuestra la existencia y unicidad de soluciones enteras po-
sitivas para la correspondiente ecuación diofantica. Adicionalmente se da
un criterio que permite establecer la relación de orden que surge entre las
potencias de dos números reales positivos que no conmutan bajo expo-
nenciación. Las herramientas utilizadas son algunos métodos del cálculo
elemental y de la teoría de números elemental.
136 Problemas y Soluciones

Soluciones reales positivas. Considérese la ecuación

xy − y x = 0, x 6= y (4)

o, en forma equivalente,
1 1
x x − y y = 0, x 6= y (5)

La segunda forma sugiere introducir la función f : (0, +∞] −→ R + dada


1
por f (x) = x x . Esta función es derivable en (0, +∞) y para todo x en
dicho intervalo se tiene
1
0 xx
f (x) = 2 (1 − ln x) (6)
x
De (6) se deduce lo siguiente:

i) El único punto crítico de f es x = e.

ii) f 0 > 0 en (0, e), luego f es estrictamente creciente en este intervalo.

iii) f 0 < 0 en (e, +∞) luego f es estrictamente decreciente en dicho


intervalo.

Por el criterio de la primera derivada, x = e es un máximo absoluto de


1 1
f , es decir, e e > x x para todo x > 0, x 6= e.
De otro lado
1 1
lim x x = 0 y lim x x = 1
x→0+ x→+∞

Con la información anterior se puede bosquejar la gráfica de f

Sea a ∈ R+ , a 6= e. Puede ocurrir:


Problemas y Soluciones 137

1 1
a) 0 < a 6 1. Entonces 0 < a a 6 1 y f alcanza el valor a a una sola
1
vez. Esto es, f (x) = a a solo para x = a.
1 1
b) 1 < a < e. Entonces 1 < a a < e e . Como f es estrictamente
creciente en (1, e), el único x en (1, e) tal que f (x) = a 1/a es x = a.
1 1 1
De otro lado f (e) = e e , f (+∞) = 1 y 1 < a a < e e . Entonces por el
1
teorema del valor intermedio existe b en (0, +∞) tal que f (b) = a a .
Por ser f estrictamente decreciente en (e, +∞) este b es único. Es
1 1
decir, existe un único b 6= a tal que b b = a a .
1 1
c) a > e. Nuevamente f (+∞) = 1 < a a < e e = f (e). Un razona-
1
miento análogo prueba que f toma el valor a a una única vez en
(1, e) y una única vez en (e, +∞).

Todo lo anterior se puede resumir en:


Proposición 1. Si a > 1, a 6= e existe un único real b 6= a tal que a b = ba .1
Proposición 2. i) Si 0 < a < b < e entonces a b < ba . ii) Si e < a < b
entonces ab > ba .
Queda una cuestión aún por resolver: si 1 < a < e < b, ¿cómo es a b
con respecto a ba ?
Para responder esta pregunta se procede como sigue.
1 1
Se busca el único x > e tal que a a = x x . Ahora si x < b entonces
1 1 1 1
x x > b b y por tanto a a > b b , de donde ab > ba . Si x > b entonces
1 1 1
b b > x x = a a de donde ba > ab .
1 1
Si a > 1, a 6= e, existe un único b > 1 tal que a a = b b y a 6= b.
Obsérvese que 0 < a1 < 1 y 0 < 1b < 1, luego 11 = 11 , entonces
aa bb
1 1
( a1 ) a = ( 1b ) b . Esto se resume en la siguiente proposición.
1
Proposición 3. Si 0 < x < 1, x 6= e existe un único y, 0 < y < 1 tal que
xx = y y , x 6= y.

Soluciones enteras positivas Si se restringen los valores de x e y al


conjunto Z+ de los enteros positivos se obtiene la ecuación diofántica

mn − n m = 0 (7)

Si m, n son tales que 0 < m < n < e por la proposición(1) m n < nm . De


otro lado, si e < m < n entonces mn > nm . Luego si (7) tiene solución
1
Problema propuesto por Yu Takeuchi en la revista Matemática: Enseñanza Uni-
versitaria, Vol. VII No. 1, Mayo de 1998.
138 Problemas y Soluciones

debe tenerse o < m < e < n. Pero esto implica que m = 1 ó m = 2. Un


cálculo sencillo prueba que m 6= 1, de donde m = 2. Sustituyendo en (7)
resulta

n2 = 2 n , n > 2, (8)

Lo que implica que el único factor primo de n es 2, y n = 2 k con k > 1.


k
Luego (2k )2 = 22 lo cual conduce a 2k = 2k, k > 1. Pero 2k > 2k para
k > 2 y de esto 1 < k < 3, es decir k = 2 y por tanto, n = 4.
Hasta ahora se ha encontrado una pareja solución en Z + , m = 2 y
n = 4. La unicidad de m está implícita en el argumento anterior y la
unicidad de n se sigue de la unicidad de k.

Referencias

[1] T. M. Apostol. Calculus. Vol I, Editorial Reverté S.A, 1998.

[2] T. M. Apostol. Introducción a la Teoría Analítica de Números. Editorial


Reverté S.A, Barcelona, 1980.

[3] Garrett Birkhoff y Saunders Maclane. Algebra Moderna. Editorial Vicens-


Vives, Barcelona, 1963.

[4] Richard Courant y Fritz John. Introducción al Cálculo y al Análisis


Matemático. Vol.I, Editorial Limusa-Wiley S.A, México, 1971.

[5] K. Chandrasekharan. Introduction to Analytic Number Theory. Springer-


Verlag, New York inc, 1968.

[6] Carl Friedrich Gauss. Disquisitiones Aritmeticae. Academia Colombiana


de Ciencias Exactas, Físicas y Naturales. Santa fé de Bogotá, D.C, 1995.

[7] Serge Lang. Introducción al Análisis Matemático. Addison-Wesley


Iberoamericana, 1990.

[8] Serge Lang. Cálculo I. Fondo Educativo Interamericano, S.A, 1976.

[9] Matemáticas: Enseñanza Universitaria. Vol VII, mayo de 1998, sección de


Problemas propuestos.

[10] James Shokley. Introduction to Number Theory. Holt. Rinehart and Wis-
ton, inc, 1967.

Dirección del autor: Pedro Ortega Palencia. pedrootegaco@yahoo.com — Héc-


tor Cabarcas Urriola. hecjo10@hotmail.com

También podría gustarte