PROBLEMAS RESUELTOS DE MATEMÁTICAS

SUPERIORES (FASCÍCULO 2)

FERNANDO REVILLA JIMÉNEZ

Resumen. Cada fascı́culo de estos Problemas resueltos de matemáticas

superiores consta de 50 problemas resueltos. Pueden considerarse como
anexos a mis libros Problemas resueltos de álgebra y Problemas resueltos
de análisis matemático.

Índice
51. La rosa de cuatro pétalos es un conjunto algebraico 2
52. Imágenes inversas de conjuntos compactos 3
53. Derivabilidad de una función compleja como suma de dos series 3
54. Existencia de ceros en el disco unidad 4
55. Unidades en el anillo de las series formales A[[X]] 5
56. Producto de Cauchy de series igual a la unidad 6
57. El anillo de las funciones continuas no es noetheriano 6
58. X = {(t, t) : t ∈ R \ {1}} no es cerrado con la topologı́a de
Zariski 7
59. Funciones cumpliendo f 0 (λx) = f 0 (x) sin x + f (x) cos x 7
60. Lema de Gauss 8
61. Criterio de Eisenstein 9
62. Todo grupo de orden 4 es abeliano 9
63. Wronskiano 10
64. Iteraciones de Picard 11
65. Afijos formando un triángulo rectángulo isósceles 13
66. La función de Thomae es integrable Riemann en [0, 1] 13
67. Ideal generado por un subconjunto de un anillo 15
68. Caracterización de anillos noetherianos 15
69. Polinomio de Motzkin 16
70. Recı́proco del teorema del valor medio 17
71. R dominio de integridad y no cuerpo, implica R[x] no es dominio
de ideales principales 17
72. n5 − n es divisible por 30 18
73. Matriz de Gram y dependencia √ lineal
√ 18
74. Generador de la extensión Q( 2, 3) 19
75. Cardinal de un cuerpo finito 19
76. Funciones monótonas, crecientes y decrecientes 19
77. Funciones de variación acotada 21
1
2 FERNANDO REVILLA JIMÉNEZ

78. Variación total de una función 24

79. Diferencia de funciones crecientes 26
80. Funciones holomorfas en un disco 27
81. Ecuación diferencial de la ley de absorción de Lambert 28
82. Derivada de un determinante 28
83. Cambio de referencia en el espacio afı́n 30
84. Cardinales infinitos: elementos no regulares 32
85. Distancia de un plano y de una curva al origen 33
86. Grupo de Klein y sus automorfismos 35
sin z
87. Singularidades y residuos de f (z) = 3 36
z + z2 − z − 1
e1/z
88. Singularidades y residuos de f (z) = 36
z−1
1
89. Singularidad y residuo en el origen de f (z) = 2
37
Z 2π 2 + z − 2 cosh z
dθ
90. Integral 38
0 a + b cos θ + c sin θ
∞
X n
91. Suma de la serie n
39
2 (n + 1)
√ n=1
92. Cuerpo Q( 5, i) 40
93. Puntos de inflexión de una familia de curvas 42
94. Menor subanillo que contiene a un conjunto 43
95. Ecuación diferencial transformable en exacta por simplificación 44
96. Sensibilidad a condiciones iniciales en métricas equivalentes 44
97. Factorización en C[x] de p(x) = (x + 1)n + (x − 1)n 46
98. Grupos topológicos 46
99. Convergencia de una serie según parámetro 48
100. Lı́mite de una sucesión recurrente aplicando el criterio de Stolz 48

51. La rosa de cuatro pétalos es un conjunto algebraico

La rosa de cuatro pétalos P ⊂ R2 de define mediante la ecuación polar
ρ = sin 2θ. Usar coordenadas polares para demostrar que
P = V (x2 + y 2 )3 − 4x2 y 2 ,

lo cual probará que P es un conjunto algebraico.

SOLUCIÓN. Sea (x, y) ∈ P con x = ρ cos θ, y = ρ sin θ. Entonces,
(x2 + y 2 )3 − 4x2 y 2 = ρ6 − 4ρ4 cos2 θ sin2 θ = ρ6 − ρ4 (2 cos θ sin θ)2

= ρ6 − ρ4 (sin 2θ)2 = ρ6 − ρ4 ρ2 = 0.
Por tanto, P ⊂ V (x2 + y 2 )2 − 4x2 y 2 .


 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 3

Sea ahora (x, y) un punto que satisface (x2 + y 2 )3 − 4x2 y 2 = 0 y sean (ρ, θ)
las coordenadas polares del punto. Tenemos que demostrar que (x, y) ∈ P.
Sustituyendo x = ρ cos θ e y = ρ sin θ,
ρ6 − 4ρ4 cos2 θ sin2 θ = 0. (1)
Claramente, (0, 0) ∈ P por tanto podemos suponer en (1) que ρ 6= 0 con lo
cual (1) se reduce a ρ2 = sin2 2θ. Esto implica que ρ = sin 2θ en cuyo caso
(x, y) ∈ P o bien que ρ = − sin 2θ. Ahora bien, en este último caso podemos
escribir ρ = sin[2(−θ)]. Pero la reflexión (ρ, θ) → (ρ, −θ) envı́a (x.y) a un
punto de la rosa de cuatro pétalos y esta se transforma en sı́ misma por esta
reflexión, en consecuencia también en este caso (x, y) ∈ P. Concluimos pues
que la rosa de cuatro pétalos es un conjunto algebraico. 

52. Imágenes inversas de conjuntos compactos

Sean X e Y espacios topológicos y f : X → Y continua.
(a) Demostrar que si X es compacto e Y es de Hausdorff entonces, las
imágenes inversas de conjuntos compactos son conjuntos compactos.
(b) Demostrar que la propiedad del apartado anterior no es cierta en general
si se suprime la condición de ser Y de Hausdorff.
SOLUCIÓN. (a) Sea K ⊂ Y compacto. Al ser Y Hausdorff, K es cerrado y
por ser f continua, f −1 (K) es cerrado. Pero todo subconjunto cerrado de
un compacto es compacto, i.e. f −1 (K) ⊂ X es compacto.

(b) Consideremos X = Y = [0, 1], X con la topologı́a usual, Y con la

topologı́a
T = {∅, Y, (1/2, 1]} ,
y la aplicación f = id : X → Y. Como X es cerrado y acotado en R, es
compacto. El espacio Y no es Hausdorff pues por ejemplo, 0 y 1 no tienen
entornos disjuntos. Las imágenes inversas por id de los elementos de T son
respectivamente ∅,Y ,(1/2, 1] que son abiertos en X, en consecuencia id es
continua. El conjunto K = (1/2, 1] es claramente compacto en Y pues todo
recubrimiento por abiertos de K es finito.
Por último, id−1 (K) = (−1/2, 1] no es compacto en X pues no es cerrado
con la topologı́a usual. 

53. Derivabilidad de una función compleja como suma de dos

series
Se considera la función compleja de variable compleja definida en forma de
suma de series:
∞   ∞
X z n X 1
f (z) = + .
3 zn
n=0 n=1
(a) Determinar su dominio Ω de definición.
(b) Estudiar la derivabilidad de f en Ω.
4 FERNANDO REVILLA JIMÉNEZ
P∞
(c) Justificar que se puede escribir f (z) = n=0 an (z − 2)n en el disco
D(2, 1) y determinar los coeficientes an .
SOLUCIÓN. (a) Usando el teorema relativo a la serie geométrica
∞  
X z n 1 3
= = = (|z| < 3) ,
3 |{z} 1 − z/3 3−z
n=0 |z/3|<1
∞ ∞
X 1 1X 1 1 1 1
n
= n
= = = (1 < |z|) .
z z z |{z} z 1 − 1/z z−1
n=1 n=0 |1/z|<1
El dominio de definición es por tanto la corona abierta Ω = {z ∈ C : 1 <
|z| < 3}.

(b) La función f es
3 1 2z
f : Ω → C, f (z) = + =
3−z z−1 (3 − z)(z − 1)
es decir, es racional y no se anula en Ω, en consecuencia es derivable en su
dominio.

(c) Efectuando el cambio u = z − 2 obtenemos

+∞ +∞ +∞
3 1 X
n
X
n n
X
f (z) = + = 3 u + (−1) u = [3 + (−1)n ] (z−2)n .
1 − u 1 + u |{z} |{z}
|u|<1 n=0 n=0 |z−2|<1 n=0

54. Existencia de ceros en el disco unidad

Sea Ω ⊂ C abierto que contiene a D siendo D el disco unidad. Sea f ∈ H(Ω)
tal que |f (z)| > 2 para todo |z| = 1 y f (0) = 1. Demostrar que f tiene algún
cero en D,
(a) Usando el teorema del módulo máximo.
(b) Usando el teorema del valor medio de Gauss.
SOLUCIÓN. (a) Si f (z) no tiene ceros en D, la función g(z) = 1/f (z) es ho-
lomorfa en D. Al ser holomorfa en Ω ⊃ ∂(D), es continua en ∂(D), con
f (z) 6= 0 en ∂(D), luego g(z) = 1/f (z) es continua en ∂(D).

Se verifican por tanto las hipótesis del principio del módulo máximo para g
en D, lo cual implica que el máximo de |g(z)| = |1/f (z)| se alcanza en ∂(D).
Pero esto es absurdo pues
1
|g(0)| = 1 > = |g(z)| ∀z ∈ ∂(D).
2
Concluimos que f ha de tener ceros en el disco unidad.
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 5

(b) Si f no tiene ceros en el disco unidad, g(z) = 1/f (z) cumple las hipótesis
del teorema del valor medio de Gauss en γ ≡ |z| = 1, por tanto
Z 2π
1
g(0) = g(eit ) dt.
2π 0
Tomando módulos
1  2π
Z 
it
 1 1 1
1 = |g(0)| = g(e ) dt ≤ · · 2π = ,
2π 0 |{z} 2π 2 2
|g(eit |<1/2

lo cual es absurdo. 

55. Unidades en el anillo de las series formales A[[X]]

Sea A unP
anillo conmutativo y unitario y A[[X]] el anillo de las series formales
S(X) = n≥0 an X n con coeficientes an ∈ A. Demostrar que
X
S(X) = an X n es unidad en A[[X]] ⇔ a0 es unidad en A.
n≥0

⇒) Si S(X) = n≥0 an X n es una unidad de A[[X]], entonces

P
SOLUCIÓN.
existe T (X) = n≥0 an X n tal que
P

n
!
X X X
S(X) · T (X) = an−k bk X n = 1 + 0X n
n≥0 k=0 n≥1

lo cual implica que a0 b0 = 1, luego a0 es unidad en A.

⇐) Sea S(X) = n≥0 an X n ∈ A[[X]] una serie formal tal que a0 es unidad
P

en A. Construyamos otra serie formal T (X) = n≥0 bn X n ∈ A[[X]] tal que

P

S(X) · T (X) = 1, es decir tal que

n
X
a0 b0 = 1, y cn = an−k bk = 0 si n ≥ 1. (∗)
k=0

Como a0 es unidad, b0 = a−1 0 . Supongamos ahora que hemos elegido con-

venientemente los coeficientes bn para 0 ≤ n ≤ m. Entonces, cm+1 ha de
verificar
m+1
X m
X
0 = cm+1 = am+1−k bk = a0 bm+1 + am+1−k bk .
k=0 k=0

Pero dado que a0 es unidad basta elegir bm+1 = −a−1

Pm
0 k=0 am+1−k bk . Que-
da pues connstruida T (X) tal que S(X) · T (X) = 1. 
6 FERNANDO REVILLA JIMÉNEZ

56. Producto de Cauchy de series igual a la unidad

Usando el producto de Cauchy de series, demostrar que
+∞ n +∞
! !
X x X (−x)n
· = 1.
n! n!
n=0 n=0
Dar una obvia interpretación de la igualdad anterior.
SOLUCIÓN. Aplicando el criterio de D’Alembert a ambas series para x 6= 0,
 n+1   
 :   = lı́m |x| = 0 < 1,
 x   n! 
lı́m 
n→+∞ (n + 1)!   xn  n→+∞ n + 1
n+1
   
 = lı́m |x| = 0 < 1,
 (−x)   n! 
lı́m  :
n
n→+∞ (n + 1)!   (−x)  n→+∞ n + 1
lo cual implica que ambas series son absolutamente convergentes en R (para
x = 0 la convergencia absoluta es trivial). Aplicando el teorema del producto
de Cauchy de series,
+∞ n +∞
! ! +∞ n !
X x X (−x)n X X xn−k (−x)k
· = xn
n! n! (n − k)! k!
n=0 n=0 n=0 k=0
+∞ n   ! +∞ +∞
X 1 X n X 1 X
= xn−k (−x)k = (x + (−x))n = 1 + 0xn = 1.
n! k n!
n=0 k=0 n=0 n=1
Una obvia interpretación de la igualdad demostrada es que ex e−x = e0 = 1,
dado que según sabemos,
+∞ n
t
X t
e = ∀t ∈ R.
n!
n=0


57. El anillo de las funciones continuas no es noetheriano

Sea C(R) el anillo conmutativo y unitario de las funciones continuas de R
en R con las operaciones usuales suma y producto.
(a) Demostrar que para todo entero n ≥ 0, In = {f ∈ C(R) : f (x) = 0 si x ≥
n} es un ideal de C(R).
(b) Demostrar que la sucesión de ideales {In } no cumple la condición de
cadena ascendente. Concluir.
SOLUCIÓN.(a) La función nula 0 ∈ C(R) satisface 0(x) = 0 para todo x ≥ n
en consecuencia, 0 ∈ In para todo n ≥ 0. Para todo x ≥ n,
f, g ∈ In ⇒ (f − g)(x) = f (x) − g(x) = 0 − 0 = 0 ⇒ f − g ∈ In ,
h ∈ C(R), f ∈ In ⇒ (hf )(x) = h(x)f (x) = h(x)0 = 0 ⇒ hf ∈ In .
Concluimos que In es ideal de C(R).
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 7

(b) Veamos que se verifica

I0 ⊆ I1 ⊆ . . . ⊆ In ⊆ In+1 ⊆ . . .
En efecto, si x ∈ In entonces f (x) = 0 para todo x ≥ n y por tanto f (x) = 0
para todo x ≥ n + 1 i.e. x ∈ In+1 . No se cumple la condición de cadena
ascendente pues la función continua
( x
−1+ si x < n + 1
f (x) = n+1
0 si x ≥ n + 1
pertenece a In+1 , sin embargo f (n) = (−1)/(n + 1) 6= 0, luego f ∈/ In . La
cadena {In } no se puede establizar. Concluimos que C(R) no es noetheriano.


58. X = {(t, t) : t ∈ R \ {1}} no es cerrado con la topologı́a de

Zariski
Demostrar que
X = {(t, t) : t ∈ R \ {1}}
no es cerrado en R2 con la topologı́a de Zariski.

SOLUCIÓN. Los conjuntos cerrados con la topologı́a de Zariski son exacta-

mente los conjuntos algebraicos. Veamos que X no es algebraico en R2 .
En efecto, si lo fuera existirian polinomios f1 , . . . , fm de R[x, y] tales que
X = V (f1 , . . . , fm ). Cualquier polinomio f ∈ hf1 , . . . , fm i anula a todo pun-
to de X, por tanto el polinomio g(t) := f (t, t) anula a todo R \ {1}.

Ahora bien, como R es cuerpo infinito, g es el polinomio nulo. En particular,

todo f ∈ hf1 , . . . , fm i satisface f (1, 1) = 0, es decir (1, 1) ∈ V (f1 , . . . , fm ).
Pero (1, 1) ∈
/ X (contradicción). 

59. Funciones cumpliendo f 0 (λx) = f 0 (x) sin x + f (x) cos x

Determinar todas las funciones derivables f : R → R que satisfacen la
ecuación
f 0 (λx) = f 0 (x) sin x + f (x) cos x ∀λ > 0.

SOLUCIÓN. Sea f una función que satisface la igualdad dada. Veamos condi-
ciones necesarias que ha de cumplir f. Sea x, y reales positivos. Para λ = 1
obtenemos
f 0 (x) = f 0 (x) cos x + f (x) sin x.
Existe µ > 0 tal que y = µx, por tanto
f 0 (y) = f 0 (µx) = f 0 (x) cos x + f (x) sin x = f 0 (x).
8 FERNANDO REVILLA JIMÉNEZ

Es decir, f es constante en (0, +∞) y por tanto f (x) = ax + C1 en (0, +∞).

El mismo razonamiento lo podemos hacer para x, y reales negativos, por
tanto f (x) = b + C2 en (−∞, 0). Al ser f continua en 0,
f (0) = lı́m f (x) = lı́m f (x) ⇒ f (0) = C1 = C2 .
x→0+ x→0−
Al ser f derivable en 0,

ah + C1 − C1
 f 0 (0+) = lı́m+ =a


h→0 h
⇒ a = b.
bh + C2 − C2
 f 0 (0−) = lı́m =b


h→0− h
En consecuencia, si una función f cumple la igualdad dada, ha de ser nece-
sariamente de la forma f (x) = ax + C1 . Sustituyendo en tal igualdad,
a = a sin x + (ax + C1 ) cos x.
Dando a x los valores 0 y π,
a = C1


a = −πa − C1 ,
lo cual implica que a = C1 = 0, luego la única posible solución de la ecuación
dada es la función nula, que evidentemente es solución. 

60. Lema de Gauss

SOLUCIÓN. Por reducción al absurdo, sea P (x) ∈ Z[x], se trata de demostrar
que
P (x) es reducible en Q[x] ⇒ P (x) es reducible en Z[x].
Si P es reducible en Q[x] entonces, P = P1 P2 con P1 , P2 ∈ Q[x], grad P1 > 1
y grad P2 > 1. Podemos multiplicar por un n natural tal que
 
nP = bl xl + bl−1 xl−1 + · · · + b0 cm xm + cm−1 xm−1 + · · · + c0


(∗)
con bi , ci ∈ Z. Sea n el menor natural tal que nP se puede descomponer en
Z[x]. Si n = 1 ya estarı́a demostrado. Sea n > 1 y p divisor primo de n,
entonces no todos los bi ni todos los ci son divisibles por p (pues n es mı́nimo).

Sean bi , cj tales que

p | b0 , p | b1 , . . . , p 6| bi , . . .
p | c0 , p | c1 , . . . , p 6| cj , . . .
ak xk . Igualando en (∗) los
P
(pudiera ocurrir i = 0, j = 0). Sea P (x) =
coeficientes de grado i + j,
nai+j = bi+j c0 + bi+j−1 c1 + · · · + bi cj + · · · + b0 ci+j
⇒ p | bi cj |{z}
⇒ p | bi ∨ p | cj
p primo
lo cual es una contradicción. Por tanto ha de ser n = 1, lo cual prueba el
Lema de Gauss. 
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 9

61. Criterio de Eisenstein

(a) Demostrar el criterio de Eisenstein:
Sea P (x) = an xn + an−1 xn−1 + · · · + a0 ∈ Z[x]. Supongamos que existe p
primo tal que
(i) p 6| an , p | an−1 , . . . , p | a0 .
(ii) p2 6| a0 .
Entonces, P (x) es irreducible en Q[x] (como consecuencia también lo es en
Z[x]).
(b) Demostrar que los polinomios P (x) = x5 − 2x + 6 y Q(x) = x7 − 12 son
irreducibles en Q[x]. Solución
SOLUCIÓN. (a) Por contradicción, si P (x) = an xn + an−1 xn−1 + · · · + a0 es
reducible en Q[x], por el lema de Gauss también es reducible en Z[x] :
  
P (x) = bl xl + al−1 xl−1 + · · · + b0 cm xl + cm−1 xm−1 + · · · + c0
con l − m = n, bi , ci ∈ Z. Igualando coeficientes del mismo grado:
a0 = b0 c0 , a1 = b1 c0 + b0 c1 , a2 = b2 c0 + b1 c1 + b0 c2 , . . . (1)
Por hipótesis p | a0 = b0 c0 y p2 6| a0 = b0 c0 , por tanto p | b0 o p | c0 pero no
a ambos. Supongamos que p | b0 y p 6| c0 . Entonces,
a1 = b1 c0 + b0 c1 ⇒
|{z} pa01 = b1 c0 + pb00 c1
p|a1 por hip.

⇒ b1 c0 = p a01 − b00 c1 |{z}

⇒ p | b1 .
p6|c0
De la igualdad a2 = b2 c0 + b1 c1 + b0 c2 deducimos de manera análoga que
p | b2 y de las restantes igualdades (1), que p | b3 , . . . p | bn . Esto implica que
p divide a todos los ai , que es una contradicción pues p no divide a an .

(b) Para el polinomio P (x) elijamos p = 2. Entonces,

(2 6| 1, 2 | 0, 2 | 0, 2 | 0, 2 | −2, 2 | 6) ∧ (22 6| 6)
por tanto, y de acuerdo con el criterio de Eisenstein, P (x) es irreducible en
Q[x]. Para el polinomio Q(x) elijamos p = 3. Entonces,
(3 6| 1, 3 | 0, 3 | 0, 3 | 0, 3 | 0, 3 | 0, 3 | 0, 3 | −12) ∧ (32 6| −12)
con lo cual también Q(x) es irreducible en Q[x]. 

62. Todo grupo de orden 4 es abeliano

Demostrar que todo grupo de orden 4 es abeliano.
SOLUCIÓN. Sea G un grupo de orden 4. Si G es cı́clico, ya está demostrado
pues sabemos que todo grupo cı́clico es abeliano. Supongamos que G no es
cı́clico y que a ∈ G. Como el orden de todo elemento en un grupo finito es
divisor del orden del grupo, o bien a es de orden 1 en cuyo caso a = e, o
bien es de orden 2, en cuyo caso a2 = e. Por tanto, en cualquier caso a2 = e
10 FERNANDO REVILLA JIMÉNEZ

para todo a ∈ G.

Sean ahora a, b ∈ G. Se verifica (ab)(ab) = e. Multiplicando por ba a la

derecha:
abab = e ⇒ ababba = ba ⇒ abaea = ba
⇒ abaa = ba ⇒ abe = ba ⇒ ab = ba,
es decir, G es abeliano. 

63. Wronskiano
Sea I un intervalo de la recta real y f1 , . . . , fn funciones derivables hasta
orden n − 1 en I. Se define el wronskiano de dichas funciones como
 
 f1 (x)
 0 f2 (x) · · · fn (x) 
0 0

 f1 (x) f2 (x) ··· fn (x) 
W (f1 , . . . , fn )(x) :=  .. .. .. ..  , x ∈ I.

 . . . . 
 (n−1) (n−1) (n−1)

f
1 (x) f 2 (x) · · · fn (x)
(a) Demostrar que si el wronkiano es distinto de cero en algún punto de I,
entonces las funciones f1 , . . . , fn son linealmente independientes en I.
(b) Aplicación: demostrar que las funciones f1 (x) = sin x, f2 (x) = x3
f3 (x) = 1 son linealmente independientes en R.
(c) Demostrar que el recı́proco del resultado del apartado (a) no es cier-
to. Para ello considérense las funciones en I = R dadas por g1 (x) = x3 ,
g2 (x) = |x|3 .
SOLUCIÓN. (a) Sea x0 ∈ I tal que W (f1 , . . . , fn )(x0 ) 6= 0. Veamos que las
funciones f1 , . . . , fn son linealmente independientes en I. En efecto,
λ1 f1 + λ2 f2 + · · · + λn fn = 0
⇒ λ1 f10 + λ2 f20 + · · · + λn fn0 = 0
⇒ λ1 f100 + λ2 f200 + · · · + λn fn00 = 0
...
(n−1) (n−1)
⇒ λ1 f1 + λ2 f2 + · · · + λn fn(n−1) = 0.
Sustituyendo x = x0 obtenemos el sistema lineal homogéneo
    
f1 (x0 ) f2 (x0 ) ··· fn (x0 ) λ1 0
 f10 (x0 ) f20 (x0 ) ··· fn0 (x0 )   λ2  0
.. .. .. ..   ..  =  ..  .
    
.

 . . .   .  .
(n−1) (n−1) (n−1)
f1 (x0 ) f2 (x0 ) ··· fn (x0 ) λn 0
El determinante de la matriz del sistema es W (f1 , . . . , fn )(x0 ) 6= 0, lo cual
implica que λ1 = . . . = λn = 0, es decir f1 , . . . , fn son linealmente indepen-
dientes en I.
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 11

(b) El wronskiano es
 
 sin x x3 1
 
W (f1 , f2 )(x) =  cos x 3x2 0 = 3x(2 cos x + x sin x).
− sin x 6x 0

Tenemos W (f1 , f2 )(π/2) = (3π/2) · (π/2) 6= 0, por tanto f1 , f2 , f3 son lineal-

mente independientes en R.

(c) Veamos que g1 (x) = x3 , g2 (x) = |x|3 son linealmente independientes en

I = R. Efectivamente, si λ1 g1 (x) + λg2 (x) = 0 y dando a x los valores 1 y
−1 obtenemos λ1 + λ2 = 0 y −λ1 + λ2 = 0, lo cual implica que λ1 = λ2 = 0.
Sin embargo, el wronskiano se anula en todo x real pues
 3 
x x3 
x ≥ 0 ⇒ W (g1 , g2 )(x) =  2 = 3x5 − 3x5 = 0.
3x 3x2 
 3 
x −x3 
x < 0 ⇒ W (g1 , g2 )(x) =  2
 = −3x5 + 3x5 = 0.
3x −3x2 


64. Iteraciones de Picard

(a) Verificar que se verifican las hipótesis del teorema de Picard para el
problema de valor inicial
y 0 = 2x(1 − y), y(0) = 2. (1)
(b) Resolver el problema (1) usando iteraciones de Picard.
(c) Verificar que la solución hallada es válida en I = (−∞, +∞).
SOLUCIÓN. a) Recordamos el teorema de Picard:
Sea f (x, y) una función definida en el rectángulo
R = (x, y) ∈ R2 : |x − x0 | ≤ a, |y − y0 | ≤ b ,

(a > 0, b > 0).
Supongamos que (i) f es continua en R (por tanto acotada en el compacto
R, es decir existe K > 0 tal que |f (x, y)| ≤ K para todo (x, y) ∈ R). (ii)
f es Lipschitziana en R, i.e. existe L > 0 tal que
|f (x, y1 ) − f (x, y2 )| ≤ L |y1 − y2 | , ∀(x, yi ) ∈ R.
Entonces, existe una única solución y = y(x) del problema de valor inicial
y 0 = f (x, y), y(x0 ) = y0 .

Veamos ahora que se verifican las hipótesis del teorema de Picard para el
sistema de valor inicial dado. La función f (x, y) = 2x(1 − y) es elemental
y está definida en todo R2 , luego es continua en R2 y por ende en todo
rectángulo del tipo
R = (x, y) ∈ R2 : |x| ≤ a, |y − 2| ≤ b , (a > 0, b > 0).

12 FERNANDO REVILLA JIMÉNEZ

Por otra parte, para todo (x, y1 ), (x, y2 ) puntos de R :

|f (x, y1 ) − f (x, y2 )| = |2x(1 − y1 ) − 2x(1 − y2 )| = 2 |x| |y2 − y1 |
≤ 2a |(y2 − 2) + (2 − y1 )| ≤ 2a (|y2 − 2| + |2 − y1 |) = 4ab = L,
es decir f es Lipschitziana en R. Concluimos que existe una única solución
y = y(x) del problema de valor inicial dado.

(b) Recordamos que las iteraciones de Picard yn (x) asociados al problema

de valor inicial y 0 = f (x, y), y(x0 ) = y0 son
Z x
y0 (x) = y0 , yn (x) = y0 + f (t, yn−1 (t)) dt.
x0
Tenemos que y0 (x) = 2, por tanto
Z x Z x
y1 (x) = 2 + f (t, 2) dt = 2 + 2t (1 − 2) dt = 2 − x2 ,
0 0
x x
x4
Z Z
2
2t t2 − 1 dt = 2 − x2 + ,



y2 (x) = 2 + f t, 2 − t dt = 2 +
2
Z0 x 0 Z x
f t, 2 − t2 + t4 /2 dt = 2 + 2t t2 − t4 /2 − 1 dt



y3 (x) = 2 +
0 0
x4 x6
= 2 − x2 + − ,
2 3!
Z x
f t, 2 − t2 + t4 /2 − t6 /3! dt


y4 (x) = 2 +
0
x
x4 x6 x8
Z
2t t2 − t4 /2 + t6 /3! − 1 dt = 2 − x2 +


=2+ − + .
0 2 3! 4!
Las iteraciones anteriores sugieren la fórmula general
x4 x6 x8 x2n
yn (x) = 2 − x2 + − + + · · · + (−1)n .
2 3! 4! n!
Efectivamente, la fórmula es cierta para n = 1, 2, 3, 4 y si si es cierta para
n, entonces Z x
yn+1 (x) = 2 + f (t, yn (t)) dt
0
Z x 
t4 t6 t8 t2n

=2+ 2t −1 + t2 − + − + · · · (−1)n+1 dt
0 2 3! 4! n!
x4 x6 x8 x10 x2(n+1)
= 2 − x2 + − + − + · · · + (−1)n+1 ,
2 3! 4! 5! (n + 1)!
luego la fórmula es cierta para n + 1. La solución del problema del valor
inicial es según sabemos el lı́mite de las iteraciones de Picard. Es decir,
x4 x6 x8 x2n
y(x) = lı́m yn (x) = 2 − x2 + − + + · · · + (−1)n + ···
n→+∞ 2 3! 4! n!
(−x2 ) (−x2 )2 (−x2 )3 (−x2 )4 (−x2 )n
 
=1+ 1+ + + + + ··· + + ···
1! 2! 3! 4! n!
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 13

2
= 1 + e−x .
2
(c) Si y(x) = 1 + e−x , se verifica y(0) = 2. Por otra parte, para todo x ∈ R
2
 2

y 0 (x) = −2xe−x = 2x −e−x = 2x (1 − y(x)) ,

lo cual implica que la solución es válida en I = (−∞, +∞).[ 

65. Afijos formando un triángulo rectángulo isósceles

Dada la ecuación z 2 − 8iz − 19 + 4i = 0 cuyas raı́ces son z1 y z2 , hallar los
complejos z3 tales que los afijos z1 , z2 , y z3 formen un triángulo rectángulo
isósceles. Considérese el vértice correspondiente al ángulo recto como el afijo
de la raı́z de mayor componente imaginaria.
SOLUCIÓN. Resolvamos la ecuación dada.
√
√
p
8i ± (8i)2 − 4(−19 + 4i) 8i ± 12 − 16i
z= = = 4i ± 3 − 4i.
2 2
Por otra parte,
√
3 − 4i = x + iy ⇔ 3 − 4i = (x + iy)2 ⇔ 3 − 4i = x2 − y 2 + 2xyi
(
x2 − y 2 = 3
⇔
2xy = −4.
Teniendo en cuenta que x, y son reales y resolviendo el sistema anterior
obtenemos (x, y) = (2, −1) y (x, y) = (−2, 1) y por tanto las raı́ces cuadradas
de 3 − 4i son 2 − i y 2 + i. Las raı́ces de la ecuación son por tanto
z1 = 4i + (2 − i) = 2 + 3i,
z2 = 4i + (−2 + i) = −2 + 5i.
El afijo de z2 es el vértice del ángulo recto, por tanto obtenemos un triángulo
rectángulo isósceles girando z1 ángulos de π/2 o −π/2 alrededor de z2 , es
decir
z3 = z2 + (z1 − z2 )eπi/2 = −2 + 5i + (4 − 2i)i = 9i,
z3 = z2 + (z1 − z2 )e−πi/2 = −2 + 5i + (4 − 2i)(−i) = −4 + i.


66. La función de Thomae es integrable Riemann en [0, 1]

Se define la función de Thomae como la función f : R → R tal que


 1 si x = 0
1 p
f (x) = si x is racional, x = , q > 0 y mcd (p, q) = 1

 q q
0 si x is irracional.


Demostrar que es integrable Riemann en [0, 1].

14 FERNANDO REVILLA JIMÉNEZ
R
SOLUCIÓN. Veamos que la integral inferior [0,1] f (x) dx es nula. En efecto,
para todo x ∈ [0, 1] se verifica f (x) ≥ 0 y para todo [a, b] ⊂ [0, 1] existe
x ∈ [a, b] tal que x ∈
/ Q, luego para todo [a, b] ⊂ [0, 1] es

m = ı́nf{f (x) : x ∈ [a, b]} = 0.

Esto implica que para toda partición P de [0, 1] se verifica I(P, f ) = 0 y por
tanto
Z
f (x) dx = sup{I(P, f ) : P ∈ P[0, 1]} = 0.
[0,1]
R
Veamos que la integral superior [0,1] f (x) dx es nula. Para demostrarlo,
consideremos para todo n entero positivo la función fn : [0, 1] → R


 1 si x = 0
1
 p
fn (x) = q si x is racional, x = q , q > 0, mcd (p, q) = 1, q < n
1

en caso contrario.


n
La función fn es integrable Riemann en [0, 1] porque es continua salvo en
un número finito de puntos. Para todo x irracional del intervalo [0, 1] se
verifica fn (x) = 1/n, luego I(P, fn ) = 1/n para toda partición P de [0, 1] y
en consecuencia
Z Z
f (x) dx = 1/n = f (x) dx.
[0,1] [0,1]

Además, para todo x ∈ [0, 1] y para todo n, fn (x) ≥ f (x), con lo cual
S(P, fn ) ≥ S(P, f ) para toda partición P de [0, 1]. Se deduce para todo n
que
Z
fn (x) dx = ı́nf{S(P, fn ) : P ∈ P[0, 1]}
[0,1]

Z
≥ ı́nf{S(P, f ) : P ∈ P[0, 1]} = f (x) dx.
[0,1]

Es deir, para todo n,

Z
1
0≤ f (x) dx ≤ ,
[0,1] n
R
y tomando lı́mites cuando n → +∞ queda [0,1] f (x) dx = 0. Concluimos
pues
R que la función f de Thomae es integrable Riemann en [0, 1] y que
[0,1] f (x) dx = 0. 
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 15

67. Ideal generado por un subconjunto de un anillo

Sea R un anillo conmutativo y unitario y S un subconjunto de R. Se define
nX o
hSi := ri si (suma finita) : ri ∈ R, si ∈ S .
(a) Demostrar que hSi es ideal de R.
(b) Demostrar que hSi es el menor de todos los ideales de R que contienen
a S. Al ideal hSi se le llama ideal generado por S.
SOLUCIÓN. (a) TenemosP0 = 0s para cualquier s ∈ S, luego 0 ∈ hSi. Si
ri si ∈ hSi e y = rj0 s0j ∈ hSi entonces,
P
x=
X X X X
x−y = ri si − rj0 s0j = ri si + (−rj0 )s0j ,
es una suma finita del tipo de las que pertenecen a hSi. Si r ∈ R y
que P
x = ri si ∈ hSi entonces,
X X
rx = r ri si = (rri )si ,
que es una suma finita del tipo de las que pertenecen a hSi.

(b) Todo elemento s ∈ S es de la forma s = 1s con 1 ∈ R, por tanto S ⊂ hSi.

Sea ahora I un ideal de R conteniendo al subconjunto S. Para elementos
cualesquiera r1 , . . . , rm de R y s1 , . . . , sm de S, se verifica
r1 s1 + · · · + rm sm ∈ I
por ser I ideal, luego hSi ⊂ I. 

68. Caracterización de anillos noetherianos

(a) Sea R un anillo conmutativo y unitario. Se dice que R cumple la condición
de cadena ascendente sii para toda cadena In de ideales de R
I1 ⊂ I2 ⊂ I3 ⊂ . . . ⊂ In ⊂ In+1 ⊂ . . .
existe un n0 natural tal que In = In0 para todo n ≥ n0 (i.e. la cadena se
estabiliza). Demostrar la siguiente caracterización
R es noetheriano ⇔ R cumple la condición de cadena ascendente.
(b) Aplicación: demostrar que el anillo C(R) de las funciones continuas de
R en R no es noetheriano.
SOLUCIÓN. (a) ⇒) Recordamos que un anillo conmutativo y unitario R se
dice que es noetheriano sii todo ideal de R está finitamente generado. De-
mostremos la caracterización propuesta. Sea I1 ⊂ I2 ⊂ I3 ⊂ . . . una Sn cadena
ascendente de ideales de R. Es inmediato comprobar que I = j=1 Ij es
ideal de R. Por hipótesis R está finitamente generado, por tanto existen
elementos g1 , . . . , gm de R tales que I = hg1 , . . . , gm i. Para 1 ≤ j ≤ m se
verifica gj ∈ Ikj para algún kj natural. Si
n0 = máx{kj : 1 ≤ j ≤ m},
16 FERNANDO REVILLA JIMÉNEZ

entonces g1 , . . . , gm ∈ In0 ya que Ikj ⊂ In0 . Entonces, para todo n ≥ n0 se

verifica
I = hg1 , . . . , gm i ⊂ In0 ⊂ In ⊂ I,
lo cual implica que In0 = In si n ≥ n0 .
⇐) Por reducción al absurdo. Si R no es noetheriano existe un ideal J de R
no está finitamente generado. Elijamos 0 6= f1 ∈ J y sea I1 = hf1 i. Como J
no está finitamente generado, I1 ( J y por tanto existe f2 ∈ J \ I1 tal que
I2 = hf1 , f2 i ( J. Repitiendo el proceso obtenemos una cadena de ideales

I1 ( I2 ( I3 ( . . . (Ik = hf1 , f2 , . . . fk i)

que no se estabiliza. Queda demostrada la caracterización.

(b) Ver el problema 57. 

69. Polinomio de Motzkin

Se llama polinomio de Motzkin al polinomio de R[X, Y ] :

s(X, Y ) = X 4 Y 2 + X 2 Y 4 − 3X 2 Y 2 + 1.

(1) Demostrar que s ≥ 0, es decir s(x, y) ≥ 0 para todo (x, y) ∈ R2 .

(2) s no es suma de cuadrados en R[X, Y ].

SOLUCIÓN. (1) Para a, b, c ≥ 0 sabemos que se verifica la de desigualdad

a+b+c √
3
≥ abc si a, b, c ≥ 0.
3
Elgiendo a = 1, b = x4 y 2 , c = x2 y 4 queda

1 + x4 y 2 + x2 y 3 p
≥ 3 x6 y 6 , o bien s(x, y) ≥ 0 para todo (x, y) ∈ R2
3
es decir, el polinomio de Motzkin
P es2 no negativo.
(2) Por contradicción. Si s = fi para ciertos polinomios fi ∈ R[X, Y ],
cada fi tiene a lo sumo grado 3 y por tanto es combinación lineal real de

1, X, Y, X 2 , XY, Y 2 , X 3 , X 2 Y, XY 2 , Y 3 .

Si X 3 aparece en algún fi , entonces X 6 aparecerı́a en s con coeficiente

positivo lo cual es absurdo. Esto implica que X 3 no aparece en ningún fi .
De manera análoga deducimos que Y 3 , X 2 , X, e Y no aparecen en ningún
fi . Es decir los polinomios fi son de la forma

fi = ai + bi XY + ci X 2 Y + di XY 2 .

b2i = −3 lo cual es una contradicción.

P
Pero entonces, 
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 17

70. Recı́proco del teorema del valor medio

Sea f : [a, b] → R continua en [a, b] y derivable en (a, b). Se considera el
siguiente enunciado:
f (y) − f (x)
∀c ∈ (a, b) ∃x, y ∈ [a, b] : f 0 (c) = . (E)
y−x
Nótese que se trata de una especie de recı́proco del teorema del valor medio.
Demostrar mediante un contraejemplo que en general (E) es falso.

SOLUCIÓN. Sea [a, b] conteniendo a 0 como punto interior y sea f : [a, b] → R

dada por f (t) = t3 . Tenemos f 0 (0) = 0 y para x 6= y en [a, b],

f (y) − f (x) y 3 − x3
= = y 2 + yx + x2 .
y−x x−y
Ahora bien,
√ √
2 2 −x ± −3x2 −x ± 3xi
y + yx + x = 0 ⇔ y = =
2 2
y la única solución real de la ecuación anterior se obtiene para x = y = 0.
f (y) − f (x)
Concluimos 6= 0 para todo x 6= y en [a, b] y por tanto, el
y−x
recı́proco (E) del teorema del valor medio es en general falso. 

71. R dominio de integridad y no cuerpo, implica R[x] no es

dominio de ideales principales
Sea R un dominio de integridad que no es un cuerpo. Demostrar que R[x]
no es un dominio de ideales principales.

SOLUCIÓN. Como R es dominio de integridad que no es un cuerpo, existe

0 6= c ∈ R tal que c no es invertible. Consideremos el ideal de R, dado por
I = hc, xi. Veamos por contradicción que I no es ideal principal.
En efecto si I es principal, existe d(x) ∈ I tal que I = hd(x)i y por tanto
c ∈ hd(x)i y x ∈ hd(x)i o de forma equivalente d(x) | c y d(x) | x. Dado que
d(x) | x, o bien d(x) es una unidad, o bien d(x) = ux con u unidad. Dado
que d(x) también divide a c, necesariamente d(x) es unidad y por tanto
I = R[x]. En consecuencia existen p(x), q(x) ∈ R[x] tales que

cp(x) + xq(x) = 1.

Como el grado de xq(x) es al menos 1, se verifica cp0 = 1 siendo p0 el término

constante de p(x). Es decir, c es unidad (contradicción). Concluimos que R[x]
no es dominio de ideales principales. 
18 FERNANDO REVILLA JIMÉNEZ

72. n5 − n es divisible por 30

Demostrar que para todo entero n, el número n5 − n es divisible por 30.

SOLUCIÓN. 

Podemos expresar n5 − n en la forma

n5 − n = n(n4 − 1) = n(n2 − 1)(n2 + 1) = (n − 1)n(n + 1)(n2 + 1).
Al menos uno de los tres enteros consecutivos n − 1, n, n + 1 es divisible por
2 y al menos uno entre 3, luego (n − 1)n(n + 1) es divisible por 6.
Por otra parte n2 + 1 es divisible por 5 sii n2 − 4 lo es. Pero n2 − 4 =
(n + 2)(n − 2), en consecuencia
(n − 1)n(n + 1)(n2 + 1) es divisible por 5

⇔ (n − 1)n(n + 1)(n + 2)(n − 2) es divisible por 5.

El último producto es el producto de cinco números consecutivos, luego es
divisible por 5. Concluimos pues que 30 | n5 − n para todo entero n.

73. Matriz de Gram y dependencia lineal

Sean f1 , f2 , . . . , fn : [a, b] → R continuas y
 
hf1 , f1 i hf1 , f2 i . . . hf1 , fn i
 hf2 , f1 i hf2 , f2 i . . . hf2 , fn i 
G[f1 , . . . , fn ] = det  ..
 
.. 
 . . 
hfn , f1 i hfn , f2 i . . . hfn , fn i
Z b
en donde hf, gi = f (x)g(x) dx. Demostrar que
a

{f1 , . . . , fn } es linealmente dependiente ⇔ G[f1 , . . . , fn ] = 0.

SOLUCIÓN. ⇐) Si {f1 , . . . , fn } fuera linealmente independiente, consideremos

el espacio vectorial E = L[f1 , . . . , fn ]. Entonces, {f1 , . . . , fn } es base de E
con lo cual, la matriz G = [hfi , fj i] es la matriz de Gram de un producto
escalar y por tanto G[f1 , . . . , fn ] = det G > 0 (absurdo).

⇒) Si {f1 , . . . , fn } es linealmente dependiente, podemos suponer sin pérdida

Pn−1
de generalidad que fn = i=1 λi fi . Sustituyendo, la última fila de la matriz
es "n−1 n−1 n−1
#
X X X
λi hfi , f1 i, λi hfi , f2 i, . . . , λi hfi , fn i, ,
i=1 i=1 i=1
es decir la última fila es combinación lineal de las restantes y por tanto
G[f1 , . . . , fn ] = 0. 
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 19
√ √
74. Generador de la extensión Q( 2, 3)
√ √ √ √
Demostrar que Q( 2 + 3) = Q( 2, 3).
√ √ √ √ √ √
SOLUCIÓN. (a) Q( 2 + 3) ⊆ Q( 2, 3). Dado que 2 y
√ √ √ √ √ √ 3 son elementos
de Q( 2, 3), también√lo es√ 2 + 3 y al ser Q( √2 + √3) el menor
√ cuer-
√
po que contiene a Q∪{ 2+ 3}, necesariamente Q( 2+ 3) ⊆ Q( 2, 3).
√ √ √ √
(b) Q( 2, 3) ⊆ Q( 2 + 3). Podemos expresar
√ √
√ √ −1 1 2− 3 √ √
( 2 + 3) = √ √ = = 3 − 2.
2+ 3 2−3
√ √ √ √ √ √ √ √
√ Q(√ 2+ 3) es cuerpo y 2+ 3 ∈ Q( 2+ 3), se verifica 3− 2 ∈
Como
Q( 2 + 3). Por otra parte
√ √ √ √ √ √ √
2 + 3 + 3 − 2 = 2 3 ∈ Q( 2 + 3),
√ √ √ √
lo cual implica√que 3√= (1/2)(2
√ 3) ∈ Q( √ √ 3). Análogamente
2 + √ √ se
demuestra que 2 ∈ Q( 2+ 3), con lo cual Q( 2, 3) ⊆ Q( 2+ 3). 

75. Cardinal de un cuerpo finito

(a) Sean K/k una extensión de cuerpos de grado [K : k] = n y card k = q.
Demostrar que card K = q n
(b) Sea K un cuerpo finito de caracterı́stica p. Demostrar que card K = pn
para un cierto natural n.
SOLUCIÓN. (a) Sea B = {α1 , . . . , αn } una base de K como espacio vectorial
sobre k. Si λ ∈ k, entonces λ se puede escribir de forma única como
λ = λ1 α1 + · · · + λn αn con λ1 , . . . , λn ∈ k.
Como cada λi puede ser uno de los q elementos de k, el número de elementos
de k es card k = q · . . . · q = q n .
| {z }
n
(b) Si K tiene caracterı́stica p, sabemos que existe un subcuerpo k de K que
es isomorfo a Zp . Pero la extensión K/k es finita, digamos de grado n. Por
el apartado anterior, card K = pn . 

76. Funciones monótonas, crecientes y decrecientes

1. Definir los conceptos de función creciente, decreciente, estrictamente cre-
ciente, estrictamente decreciente y monótona para una función real de va-
riable real.
2. Demostrar que la función f : [0, +∞) → R, f (x) = x3 es estrictamente
creciente.
3. Sea f : A ⊂ R → R una función. Demostrar que
f es creciente ⇔ −f es decreciente.
20 FERNANDO REVILLA JIMÉNEZ

4. Sea f : [a, b] → R creciente. Demostrar que para todo c ∈ (a, b) existen

f (c+) = lı́m f (x), f (c−) = lı́m f (x)
x→c+ x→c−

y además f (c−) ≤ f (c) ≤ f (c+). Demostrar que en los puntos extremos se

satisface f (a) ≤ f (a+) y f (b−) ≤ f (b).
Nota. Naturalmente, se obtiene un teorema análogo para funciones decre-
cientes usando el apartado tercero.
5. Sea f : A ⊂ R → R estrictamente creciente. Demostrar que existe la
aplicación inversa f −1 : f (A) → A y es estrictamente creciente.
Nota. Naturalmente, se obtiene un teorema análogo para funciones estricta-
mente decrecientes usando el apartado tercero.
6. Sea f : [a, b] → R una función creciente y la partición de [a, b] :
a = x0 < x1 < x2 < · · · < xn = b.
Demostrar la desigualdad
n−1
X
[f (xk +) − f (xk −)] ≤ f (b) − f (a).
k=1

7. Sea f : [a, b] → R monótona. Demostrar que el conjunto de los puntos de

discontinuidad de f es contable.
SOLUCIÓN. 1. Sea f : A ⊂ R → R una función. Se dice que f es creciente sii
para todo x1 , x2 ∈ A con x1 < x2 se verifica f (x1 ) ≤ f (x2 ), y se dice que es
decreciente sii para todo x1 , x2 ∈ A con x1 < x2 se verifica f (x1 ) ≥ f (x2 ).
Si las desigualdades anteriores se cambian por desigualdades estrictas se dice
que f es estrictamente creciente y estrictamente decreciente respectivamen-
te. Se dice que f es monótona si es creciente o decreciente.

2. Para 0 ≤ x1 < x2 tenemos

f (x2 ) − f (x1 ) x3 − x31 (x2 − x1 )(x22 + x2 x21 + x21 )
= 2 =
x2 − x1 x2 − x1 x2 − x1
= x22 + x2 x21 + x21 > 0.
Dado que x2 − x1 > 0, ha de ser f (x2 ) − f (x1 ) > 0 luego f (x1 ) < f (x2 ) y
por tanto f es estrictamente creciente.

3. Para x1 , x2 en A tenemos las equivalencias

f creciente ⇔ f (x1 ) ≤ f (x2 ) si x1 < x2 ⇔ −f (x1 ) ≥ −f (x2 ) si x1 < x2
⇔ (−f )(x1 ) ≥ (−f )(x2 ) si x1 < x2 ⇔ −f decreciente.
4. Sea B = {f (x) : a < x < c}. Al ser f creciente, B está acotado por f (c)
y por tanto existe M = sup B ≤ f (c). Veamos que existe f (c−) y es igual a
M. Tenemos que demostrar que para todo  > 0 existe un δ > 0 tal que
c − δ < x < c ⇒ |f (x) − M | < .
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 21

Sea  > 0. Al ser M = sup B, existe un elemento f (x1 ) de B tal que

M −  < f (x1 ) ≤ M. Dado que f es creciente, para todo x ∈ (x1 , c) se
verifica M −  < f (x) ≤ M, en consecuencia |f (x) − M | < . Basta entonces
elegir δ = c − x1 en (1). De manera análoga se demuestra que f (c) ≤ f (c+)
y las desigualdades en los extremos.

5. Como f es estrictamente creciente, es inyectiva, lo cual implica que

f : A → f (A) es biyectiva, es decir existe f −1 : f (A) → A. Veamos que
f −1 es estrictamente creciente. En efecto, para y1 , y2 ∈ f (A) con y1 < y2 ,
sean x1 , x2 ∈ A tales que x1 = f −1 (y1 ), x2 = f −1 (y2 ). No puede ser que
x1 ≥ x2 pues ocurrirı́a y1 = f (x1 ) ≥ f (x2 ) = y2 . Ha de ser necesariamente
x1 < x2 o equivalentemente f −1 (y1 ) < f −1 (y2 ), lo cual prueba que f −1 es
estrictamente creciente.

6. Para cada 1 ≤ k ≤ n − 1 sea yk ∈ (xk , xk+1 ) e y0 = a. Se verifica

f (xk +) ≤ f (yk ) y f (yk−1 ) ≤ f (xk −), lo cual implica que
f (xk +) − f (xk −) ≤ f (yk ) − f (yk−1 ).
Sumando las desigualdades de la derecha obtenemos f (yn−1 ) − f (a) ≤
Pn−1
f (b) − f (a) y por tanto, k=1 [f (xk +) − f (xk −)] ≤ f (b) − f (a).

7. Supongamos que f es creciente y sea c ∈ (a, b). Del apartado 4 deducimos

que f es discontinua en c si y sólo Si f (c+) − f (c−) > 0. Para todo m ≥ 1
entero, sea Am el conjunto de los puntos de discontinuidad c de f en (a, b)
que satisfacen f (c+) − f (c−) > 1/m. Si los puntos x1 < x2 < · · · < xn−1
pertenecen a Am , por el apartado anterior se verifica
n−1
≤ f (b) − f (a),
m
lo cual implica que Am ha de ser necesariamente
S finito. Pero el conjunto de
los puntos de discontinuidad de f en (a, b) es ∞m=1 Am y la unión contable
de conjuntos finitos es contable. Posiblemente en a o b existen puntos de
discontinuidad para f, luego en cualquier caso el conjuntos de los puntos de
discontinuidad de f en [a, b] es contable.
Si f es decreciente, se aplica el mismo razonamiento a la función creciente
−f. 

77. Funciones de variación acotada

1. Estudiar si las siguientes funciones son de variación acotada
(a) f : [a, b] → R, f (x) = x.

1
x cos si x 6= 0

(b) g : [0, 1] → R, g(x) = x
0 si x = 0.
22 FERNANDO REVILLA JIMÉNEZ

2. Demostrar que si f : [a, b] → R es monótona, entonces es de variación

acotada. √
3. Demostrar que f : [0, 1] → R, f (x) = 3 x es de variación acotada.
4. Sea f : [a, b] → R continua. Supongamos además que existe f 0 en (a, b) y
está acotada. Demostrar que f es de variación acotada en [a, b].
5. Demostrar que la siguiente función es de variación acotada

 2 1
x cos si x 6= 0
f : [0, 1] → R, f (x) = x
0 si x = 0.
6. Sea f : [a, b] → R de variación acotada, es decir nk=1 |∆fk | ≤ M para
P
toda partición de [a, b]. Demostrar que f está acotada en [a, b] por |f (a)|+M.
SOLUCIÓN. 1. Recordamos que si f : [a, b] → R es una función y P =
{x0 , x1 , . . . , xn } una partición de [a, b] escribimos ∆fk = f (xk ) − f (xk−1 )
para k = 1, 2, . . . , n, y se dice que f es de variación acotada en [a, b] sii
existe un número positivo M cumpliendo
Xn
|∆fk | ≤ M ∀P ∈ P[a, b].
k=1
(a) Para toda partición P = {a = x0 , x1 , . . . , xn = b} de [a, b] tenemos
n
X n
X n
X n
X
|∆fk | = |f (xk ) − f (xk−1 )| = |xk − xk−1 | = (xk −xk−1 ) = b−a.
k=1 k=1 k=1 k=1
Pn
Entonces, k=1 |∆fk | ≤ M con M = b − a para toda partición de [a, b]
luego f es de variación acotada.
(b) Elijamos la partición de [0, 1] :
1 1 1
x0 = 0 < < < . . . < < 1 = xn+1 .
nπ (n − 1)π π
Es decir,
1
x0 = 1, xk = (k = 1, 2, . . . , n), xn+1 = 1.
(n − k + 1)π
Entonces
n+1
X n+1
X
|∆gk | = |g(xk ) − g(xk−1 )|
k=1 k=1
n
X
= |g(x1 ) − g(0)| + |g(xk ) − g(xk−1 )| + |g(xn+1 ) − g(xn )|
k=2
n  
 cos nπ  cos(n − k + 1)π cos(n − k + 2)π  
+ cos 1 − cos π
 X 
= −0 + 
 (n − k + 1)π −
nπ (n − k + 2)π  π
k=2
n
(−1)n X  (−1)n−k+1 (−1)n−k+2 
 
1
= + − + cos 1 + .
nπ  (n − k + 1)π (n − k + 2)π  π
k=2
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 23

Dado que n − k + 1 y n − k + 2 tienen distinta paridad,

n+1 n n
X (−1)n X 1 X 1 1
|∆gk | = + + + cos 1 +
nπ (n − k + 1)π (n − k + 2)π π
k=1 k=2 k=2

(−1)n
   
1 1 1 1
= + cos 1 + + + + ... + 1
nπ π π n−1 n−2
(−1)n
   
1 1 1 1 1 1 1 1
+ + + ... + ≥ + 1 + + + ... .
π n n−1 2 nπ π 2 3 n
Usando que la serie armónica es divergente y tomando lı́mites cuando n →
+∞ queda
n+1
X 1
lı́m |∆gk | ≥ 0 + · (+∞) = +∞
n→+∞ π
k=1
lo cual prueba que g no es de variación acotada.

2. Si f es creciente, entonces para toda partición P = {x0 , x1 , . . . , xn } de

[a, b] se verifica f (xk ) − f (xk−1 ) ≥ 0 para k = 1, 2, . . . n y por tanto
n
X n
X n
X
|∆fk | = |f (xk ) − f (xk−1 )| = [f (xk )−f (xk−1 )] = f (b)−f (a) := M.
k=1 k=1 k=1
Análogo razonamiento si f es decreciente.
√
3. La función f (x) = 3 x es claramente monótona en [0, 1] (creciente en este
caso), luego es de variación acotada.

4. Como f 0 está acotada en (a, b), existe K ≥ 0 tal que |f 0 (x)| ≤ K para todo
x ∈ (a, b). Sea P = {x0 , x1 , . . . , xn } una partición de [a, b]. Por el teorema
del valor medio de Lagrange,
∆fk = f (xk ) − f (xk−1 ) = f 0 (ξk )(xk − xk−1 ) con ξk ∈ (xk−1 , xk ).
En consecuencia
Xn n
X n
X
 0 
|∆fk | = f (ξk ) ∆xk ≤ K ∆k = K(b − a) := M
k=1 k=1 k=1
y por tanto, f es de variación acotada en [a, b].

5. La función f es elemental en (0, 1] y por tanto continua en (0, 1]. Por otra
parte
1
lı́m f (x) = lı́m x2 cos = 0 = f (0),
x→0 + x→0 + x |{z}
acotada por infinitésimo
luego f es continua en [0, 1]. En (0, 1) tenemos
  
1 1 1 1 1
f 0 (x) = 2x cos + x2 − sin − 2 = 2x cos + sin ,
x x x x x
24 FERNANDO REVILLA JIMÉNEZ
   
f (x) ≤ 2x cos 1  + sin 1  ≤ 2 · 1 + 1 = 3,
 0     
 x   x
es decir f 0 está acotada en (0, 1). Como consecuencia del apartado anterior,
f es de variación acotada en [0, 1].

6. Sea x ∈ (a, b) y consideremos la partición P = {a, x, b}. Entonces,

|f (x) − f (a)| + |f (b) − f (x)| ≤ M.
Esto implica que |f (x) − f (a)| ≤ M. Ahora bien,
||f (x)| − |f (a)|| ≤ |f (x) − f (a)| ≤ M
⇒ |f (x)| − |f (a)| ≤ M ⇒ |f (x)| ≤ |f (a)| + M.
Por otra parte, |f (a)| ≤ |f (a)| + M trivialmente, y para la partición P =
{a, b} queda |f (b) − f (a)| ≤ M y por tanto |f (b)| ≤ |f (a)| + M. Es decir,
|f (x)| ≤ |f (a)| + M ∀x ∈ [a, b].


78. Variación total de una función

Sea f : [a, b] → R una función de variación P acotada. Para toda
P partición
P = {x0 , x1 , . . . , xn } de [a, b] denotamos por (P ) a la suma nk=1 |∆fk | .
Llamamos variación total de f en [a, b] al número
nX o
Vf (a, b) := sup (P ) : P ∈ P[a, b] .
1. Sea f : [a, b] → R una función. Demostrar que f es constante ⇔ Vf (a, b) =
0.
2. Sean f, g : [a, b] de variación acotada y designamos por Vf y Vg a Vf (a, b) y
Vg (a, b) respectivamente. Demostrar que que la suma, diferencia y producto
de f y g son de variación acotada y además
Vf +g ≤ Vf + Vg , Vf −g ≤ Vf + Vg , Vf g ≤ αVf + βVg ,
siendo α = sup{|g(x)| : x ∈ [a, b]} y β = sup{|f (x)| : x ∈ [a, b]}.
3. Se considera la función
(
x si x ∈ (0, 1]
f : [0, 1] → R, f (x) =
1 si x = 0.
Demostrar que es de variación acotada en [a, b] y que 1/f no lo es.
4. Sea f : [a, b] → R de variación acotada y tal que
0 < m ≤ |f (x)| ∀x ∈ [a, b].
Demostrar que g = 1/f es de variación acotada en [a, b] y además, Vg ≤
Vf /m2 .
5. Sea f : [a, b] → R de variación acotada y a < c < b. Demostrar que f es
de variación acotada en los intervalos [a, c] y [c, b], y además
Vf (a, b) = Vf (a, c) + Vf (c, b).
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 25

SOLUCIÓN. 1. ⇒) Si f (x) = c para todo x ∈ [a, b]. Para toda partición

P = {x0 , x1 , . . . , xn } de [a, b] se verifica
X n
X n
X n
X
(P ) = |∆fk | = |fk (x) − f (xk−1 )| = |c − c| = 0,
k=1 k=1 k=1

luego Vf (a, b) = sup {0} = 0

⇐) Si f no es constante, existen dos puntos x1 , x2 con a ≤ x1 < x2 ≤ b tales
que f (x1 ) 6= P
f (x2 ). Para cualquier partición P de [a, b] que contenga a x1 y
x2 , tenemos (P ) ≥ |f (x2 ) − f (x1 )| > 0 y por tanto Vf (a, b) > 0.

2. Para cada partición P = {x0 , x1 , . . . , xn } de [a, b] tenemos

 
|∆(f + g)k | = (f + g)(xk ) − (f + g)(xk−1) 
 
= f (xk ) + g(xk ) − f (xk−1) − g(xk−1 )
   
≤ f (xk ) − f (xk−1)  + g(xk ) − g(xk−1)  = |∆fk | + |∆gk | ,
de lo cual deducimos que Vf +g ≤ Vf + Vg y por tanto f + g es de variación
acotada en [a, b]. Por otra parte
 
|∆(f − g)k | = (f − g)(xk ) − (f − g)(xk−1) 
 
= f (xk ) − g(xk ) − f (xk−1) + g(xk−1 )
   
≤ f (xk ) − f (xk−1)  + g(xk ) − g(xk−1)  = |∆fk | + |∆gk | ,
lo cual implica que Vf −g ≤ Vf + Vg y por tanto f − g es de variación acotada
en [a, b]. Por último, dado que f y g son de variación acotada, están acotadas
y por tanto existen α y β y son finitos. Además, si h = f g
   
|∆hk | = (f g)(xk ) − (f g)(xk−1)  = f (xk )g(xk ) − f (xk−1) g(xk−1 )
  
= [f (xk )g(xk ) − f (xk−1 )g(xk )] + f (xk−1) g(xk ) − f (xk−1) g(xk−1 ) 
   
≤ |g(xk )| f (xk ) − f (xk−1) +|f (xk−1 )| g(xk ) − g(xk−1)  ≤ α |∆fk |+β |∆gk | ,
luego Vf g ≤ αVf + βVg y por tanto f g es de variación acotada en [a, b].

3. Para toda partición P = {x0 = 0, x1 , . . . , xn−1 , xn = 1}. de [0, 1] tenemos,

n
X
|∆fk | = |f (x1 ) − f (0)| + |f (x2 ) − f (x1 )| + |f (x3 ) − f (x2 )| + · · ·
k=1

+ |f (xn−1 ) − f (xn−2 )| + |f (1) − f (xn−1 )| = (1 − x1 ) + (x2 − x1 )

+(x3 − x2 ) + · · · + (xn−1 − xn−2 ) + (xn − xn−1 ) = 2 − 2x1 ≤ 2,
luego f es de variación acotada en [0, 1]. Por otra parte,

  1
1 1 si x ∈ (0, 1]
: [0, 1] → R, (x) = x
f f 1 si x = 0.
26 FERNANDO REVILLA JIMÉNEZ

Dado que 1/x → +∞ cuando x → 0+ , la función 1/f no está acotada en

[0, 1] y por tanto no es de variación acotada.

4. Para toda partición P = {x0 , x1 , . . . , xn } de [a, b] se verifica

   
 1 1   f (xk−1 ) − f (xk ) 
|∆gk | = |g(xk ) − g(xk−1 )| =   −  =  
f (xk ) f (xk−1 )   f (xk )f (xk−1 ) 
 
 f (xk−1 ) − f (xk )  |∆fk | Vf
=  = ≤ 2,
f (xk )f (xk−1 )  |f (xk )f (xk−1 )| m
lo cual prueba el resultado.

5. Veamos primeramente que la función f es de variación acotada en los

intervalos [a, c] y [c, b]. Sea P 0 una partición de [a, c] y P 00 una partición de
[c, d]. Entonces,
X
X 00
X 000

P0 + P = P ≤ Vf (a, b)
P 0 P 00
es decir, las sumas (P ) y (P ) están acotadas, luego f es de variación
acotada en los intervalos [a, c] y [c, b]. Usando la propiedad sup (A + B) =
sup A + sup B para subconjuntos no vacı́os de R obtenemos la desigualdad
Vf (a, c) + Vf (c, b) ≤ Vf (a, b).
Basta demostrar la desigualdad en el otro sentido. Sea P = {x0 , x1 , . . . , xn }
una partición de [a, b], y sea P 0 la partición de [a, b] obtenida al añadir a P el
punto c (podrı́a ocurrir P 0 = P ). Supongamos que c ∈ [xk−1 , xk ]. Entonces
|f (xk ) − f (xk−1 )| ≤ |f (xk ) − f (c)| + |f (c) − f (xk−1 )| ,
con lo cual (P ) ≤ (P 0 ). Los puntos de P 0 que están en [a, c] determinan
P P
una partición P1 de [a, b] y los que están en [c, d] una partición P2 de [c, d],
por tanto
X X X X
(P ) ≤ (P 0 ) = (P1 ) + (P2 ) ≤ Vf (a, c) + Vf (c, b).
P
Es decir, Vf (a, c) + Vf (c, b) es una cota superior de las sumas (P ), con lo
cual
Vf (a, b) ≤ Vf (a, c) + Vf (c, b).


79. Diferencia de funciones crecientes

1. Sea f : [a, b] → R de variación acotada. Definimos la función
(
Vf (a, x) si 0 < x ≤ b
V : [a, b] → R, V (x) =
0 si x=a
Demostrar que
(a) V es creciente en [a, b].
(b) V − f es creciente en [a, b].
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 27

2. Sea f : [a, b] → R una función. Demostrar que: f es de variación acotada

en [a, b] ⇔ f se puede expresar como diferencia de dos funciones crecientes.
SOLUCIÓN. 1. (a) Para a < x1 < x2 ≤ b, y usando conocidas propiedades de
las funciones de variación acotada,
Vf (a, x2 ) = Vf (a, x1 ) + Vf (x1 , x2 ) ⇒ V (x2 ) − V (x1 ) = Vf (x1 , x2 ) ≥ 0,
lo cual implica que V es creciente en [a, b].
(b) Llamemos H(x) = V (x) − f (x). entonces,
a ≤ x1 < x2 ≤ b ⇒ H(x2 ) − H(x1 ) = V (x2 ) − V (x1 ) − [f (x2 ) − f (x1 )]
= Vf (x1 , x2 ) − [f (x2 ) − f (x1 )] ≥ 0,
|{z}
f (x2 )−f (x1 )≤Vf (x1 ,x2 )
por tanto V − f es creciente

2. ⇒) Si f es de variación acotada en [a, b] podemos expresar f = V −(V −f ),

y por el apartado anterior V y V − f son crecientes.
⇐) Sea f = f1 − f2 en [a, b] con f1 y f2 crecientes. Sabemos que toda
función monótona es de variación acotada y que la diferencia de funciones
de variación acotada también lo es, de lo cual se deduce f que es de variación
acotada en [a, b]. 

80. Funciones holomorfas en un disco

Determinar todas las funciones holomorfas en el disco
D(1, 1) = {z ∈ C : |z − 1| < 1}
y que satisfacen en tal disco la condición
 
n 1
f =1− 2 ∀n ∈ N. (1)
n+1 2n + 2n + 1
SOLUCIÓN. Denotando zn = n/(n + 1),
   
 n   −1 
|zn − 1| = 
 − 1 = 
   < 1 ⇒ zn ∈ D(1, 1).
n+1 n + 1
Despejando n, tenemos n = zn /(1 − zn ). Entonces,
1
f (zn ) = 1 −  2  
zn zn
2 +2 +1
1 − zn 1 − zn
(1 − zn )2 (1 − zn )2 2zn
=1− = 1 − = .
2zn2 + 2zn (1 − zn ) + (1 − zn )2 1 + zn2 1 + zn2
La función f (z) = 2z/(1 + z 2 ) no es holomorfa exactamente en z = ±i ∈ /
D(1, 1), luego es holomorfa en D(1, 1) y satisface trivialmente la condición
(1). Veamos que es la única, para ello recordemos el siguiente teorema:
28 FERNANDO REVILLA JIMÉNEZ

Teorema. Sean f y g holomorfas en un dominio D tales que f (zn ) = g(zn )

sobre una sucesión de puntos distintos de D tales que existe l = lı́m zn ∈ D.
Entonces, f = g.

La sucesión de puntos distintos zn = n/(n+1) de D(1, 1) satisfacen lı́m zn =

1 ∈ D(1, 1), lo cual implica por el teorema anterior, que la única función
que satisface las hipótesis del problema es f (z) = 2z/(1 + z 2 ). 

81. Ecuación diferencial de la ley de absorción de Lambert

La ley de absorción de Lambert asegura que la tasa de absorción de luz
relativa a una profundidad x de un material translúcido es proporcional a
la intensidad I en tal profuncidad x. Es decir,
dI
= −kI (Ley de absorción de Lambert).
dx
Supongamos que la intensidad I a una profundidad de 30 pies es 4/9 de la
intensidad en la superficie. Encontrar la intensidad a 60 pies y a 120 pies.

SOLUCIÓN. Resolvamos la ecuación diferencial correspondiente:

dI dI
= −kI, = −kdx, log |I| = −kx + K, I = eK e−kx .
dx I
La solución general es por tanto I = Ce−kx . Para x = 0 obtenemos la
intensidad en la superficie
I0 = I(0) = C.
Por otra parte,
4 4 4
I(30) = I0 ⇔ I0 e−30k = I0 ⇔ e−30k =
9 9 9
4 log(9/4)
⇔ −30k = log ⇔k= .
9 30
Entonces,
2 16I0
I(60) = I0 e−2 log(9/4) = I0 e− log(9/4) = ,
81
4 44 I0
I(120) = I0 e−4 log(9/4) = I0 e− log(9/4) = .
94


82. Derivada de un determinante

Sea I un intervalo de la recta real. Se considera la matriz de orden n :
A(t) = [F1 (t), F2 (t), . . . , Fn (t)]
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 29

en donde
 
f1j (t)
 f2j (t) 
Fi (t) =  ..  ∀t ∈ I con las fij derivables en I.
 
 . 
fnj (t)
1. Demostrar que para todo t ∈ (a, b) se verifica
d
det A(t) = det F10 (t), F2 (t), . . . , Fn (t) + det F1 (t), F20 (t), . . . , Fn (t)
   
dt
+... + det F1 (t), F2 (t), . . . , Fn0 (t) .
 

2. Escribir explı́citamente la fórmula anterior de la derivada de un determi-

nante para A(t) = [fij (t)] .
3. Calcular la derivada de la función determinante
 √ 
 sin t t 
A : (0, +∞) → R, A(t) =  .
log t 1/t
SOLUCIÓN. 1. Por definición,
d det A(t + h) − det A(t)
det A(t) = lı́m
dt h→0 h
det [F1 (t + h), . . . , Fn (t + h)] − det [F1 (t), . . . , Fn (t)]
= lı́m .
h→0 h
Sumando y restando det [F1 (t), F2 (t + h), . . . , Fn (t + h)] ,
d
det A(t)
dt
det [F1 (t + h), F2 (t + h), . . . , Fn (t + h)] − det [F1 (t), F2 (t + h), . . . , Fn (t + h)]
= lı́m
h→0 h
det [F1 (t), F2 (t + h), . . . , Fn (t + h)] − det [F1 (t), . . . , Fn (t)]
+ lı́m .
h→0 h
d
det A(t)
dt
det [F1 (t + h), F2 (t + h), . . . , Fn (t + h)] − det [F1 (t), F2 (t + h), . . . , Fn (t + h)]
= lı́m
h→0 h
det [F1 (t), F2 (t + h), . . . , Fn (t + h)] − det [F1 (t), . . . , Fn (t)]
+ lı́m .
h→0 h
El primer sumando es
 
F1 (t + h) − F1 (t)
det lı́m , lı́m F2 (t + h), . . . , lı́m Fn (t + h)
h→0 h h→0 h→0
 0 
= det F1 (t), F2 (t), . . . , Fn (t) .
Ahora, sumamos y restamos al segundo sumando
det [F1 (t), F2 (t), F3 (t + h), . . . , Fn (t + h)] ,
30 FERNANDO REVILLA JIMÉNEZ

obteniendo el sumando
det F1 (t), F20 (t), F3 (t), . . . , Fn (t) .
 

Podemos reiterar el proceso hasta obtener

det F1 (t), F2 (t), . . . , Fn−1 (t), Fn0 (t) .
 

2. Tenemos  
 f11 (t) f12 (t) . . . f1n (t) 
 
 f21 (t) f22 (t) . . . f2n (t) 
det A(t) =  .. ..  ,
 
 . . 

fn1 (t) fn2 (t) . . . fnn (t)
por tanto la fórmula del apartado anterior se puede escribir en la forma
 
 f 0 (t) f12 (t) . . . f1n (t) 
 11
 f 0 (t) f22 (t) . . . f2n (t) 

d  21
det A(t) =  ..

.. 
dt  . . 
 0
fn1 (t) fn2 (t) . . . fnn (t)
   
 f11 (t) f 0 (t) . . . f1n (t)   f11 (t) f12 (t) . . . 0 (t) 
f1n
12
 f21 (t) f 0 (t) . . . f2n (t)  0 (t) 
   
 f21 (t) f22 (t) . . . f2n
22
+  .. ..  + . . . +  .. ..  .
   
 . .   . . 
0 (t) . . . f (t) 0 (t)
  
fn1 (t) fn2 nn fn1 (t) fn2 (t) . . . fnn
3. Usando la fórmula del apartado anterior,
 √   √ 
d cos t t   sin t 1/(2 t)
det A(t) =  + 
dt 1/t 1/t log t −1/t2 
1 √ sin t log t
= (cos t − t) − 2 − √ .
t t 2 t


83. Cambio de referencia en el espacio afı́n

1. Sean R = {O, B} y R0 = {O0 , B 0 } dos referencias en un espacio afı́n A de
dimensión n. Demostrar que se verifica
    
1 1 0 ... 0 1
 x1   a1 p11 . . . pn1   x0 
  1
 ..  =  .. (∗)
  
..   .. 
 .  . .  . 
xn an p1n . . . pnn x0n
en donde,
(x1 , . . . , xn )T son las coordenadas de M ∈ A en la referencia R,
(x01 , . . . , x0n )T las coordenadas del mismo M en la referencia R0 ,
(a1 , . . . , an )T son las coordenadas de O en la referencia R,
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 31
 
p11 . . . pn1
P =  ... ..  es la matriz de cambio de B a B 0 .

. 
p1n . . . pnn
A la ecuación (∗) se la llama ecuación matricial del cambio de referencia de
R a R0 .

2. En un espacio afı́n A de dimensión 2 se consideran las referencias afines

R = {O, e1 , e2 } y R0 = {O0 , e01 , e02 } tales que el vector de coordenadas de O0
en R es (2, −3)T y además
( 0
e1 = e1 + 4e2
e02 = 3e1 − e2 .
Escribir la ecuación matricial del cambio de referencia de R a R0 y hallar la
ecuación de una recta r en la referencia R0 , cuya ecuación en la referencia
R es 2x1 − x2 = 5.
SOLUCIÓN. 1. Para todo M ∈ A se verifica
−−→ −−→0 −−0−→
OM = OO + O M . (1)
Sean B = {e1 , . . . , en }, B 0 = {e01 , . . . , e0n }. Por definición de coordenadas en
una referencia afı́n y usando (1),
x1 e1 + · · · + xn en = a1 e1 + · · · + an en + x01 e01 + · · · + x0n e0n . (2)
La relación entre las bases B y B 0 es
 0
 e1 = p11 e1 + · · · + p1n en

...
 e0 = p e + · · · + p e .

n n1 1 nn n

Sustituyendo en (2) obtenemos

x1 e1 + · · · + xn en = a1 e1 + · · · + an en
+x01 (p11 e1
+ · · · + p1n en ) + · · · + x0n (pn1 e1 + · · · + pnn en ) .
Igualando coordenadas,
0 0

 x1 = a1 + p11 x1 + · · · + xn pn1

...
 x = a + p x0 + · · · + x0 p ,

n n 1n 1 n nn

relaciones que equivalen a la igualdad matricial (∗).

2. Según el apartado anterior, la ecuación matricial del cambio de referencia

de R a R0 es     
1 1 0 0 1
x1  =  2 1 3  x01  ,
x2 −3 4 −1 x02
32 FERNANDO REVILLA JIMÉNEZ

o equivalentemente
x1 = 2 + x01 + 3x02
(

x2 = −3 + 4x01 − x02 .
Sustituyendo en 2x1 −x2 = 5 obtenemos 2(2+x01 +3x02 )−(−3+4x01 −x02 ) = 5
o equivalentemente −2x01 + 7x02 + 2 = 0, que es la ecuación pedida. 

84. Cardinales infinitos: elementos no regulares

1. Se consideran los conjuntos X = {a}, Y = {b, c}, N y los cardinales
x = |X| , y = |Y | , z = |N| .
Demostrar que la aplicación f : X × N → Y × N
(b, p) si n = 2p es par

f (a, n) =
(c, p) si n = 2p + 1 es impar
es biyectiva. Concluir que z no es elemento regular para el producto.
2. Demostrar que la aplicación
2n si u = 0

f : N × {0, 1} → N, f (n, u) =
2n + 1 si u = 1
es biyectiva. Concluir que existen cardinales infinitos no regulares para la
suma.

SOLUCIÓN. 1. Inyectiva. Si n1 y n2 son naturales de distinta paridad, cla-

ramente no puede ocurrir f (a, n1 ) = f (a, n2 ) pues b 6= c. Si n1 = 2p1 y
n2 = 2p2 son pares,
f (a, n1 ) = f (a, n2 ) ⇒ (b, p1 ) = (b, p2 ) ⇒ p1 = p2

⇒ n1 = n2 ⇒ (a, n1 ) = (a, n2 ).
Análogo razonamiento si n1 y n2 son impares.
Sobreyectiva. Todo elemento de Y × N es de la forma (b, n) o (c, n) con n
natural. Pero
(b, n) = f (a, 2n), (c, n) = f (a, 2n + 1),
luego f es sobreyectiva. Tenemos pues que
xz = |X × N| = |Y × N| = yz
y sin embargo x 6= y, lo cual prueba que z es cardinal infinito y no regular
para el producto.

2. Inyectiva. Sean (n1 , u1 ) y (n2 , u2 ) elementos de N × {0, 1}. Si u1 6= u2 ,

claramente f (n1 , u1 ) 6= f (n2 , u2 ). Si u1 = u2 = 0,
f (n1 , u1 ) = f (n2 , u2 ) ⇒ 2n1 = 2n2 ⇒ n1 = n2 ⇒ (n1 , u1 ) = (n2 , u2 ).
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 33

Análogo razonamiento si u1 = u2 = 1.
Sobreyectiva. Si m ∈ N, o bien m = 2n, o bien m = 2n + 1 para algún n.
Pero
m = 2n = f (n, 0), m = 2n + 1 = f (n, 1)
luego f es sobreyectiva.
Llamemos x = |N| . Dado que
x = |N × {0}| = |N × {1}| , (N × {0}) ∩ (N × {1}) = ∅,
podemos escribir
x + x = |(N × {0}) ∪ (N × {1})| = |N × {0, 1}| =
|{z} x.
f biyectiva

Es decir, tenemos x + x = x + 0 y x 6= 0 lo cual implica que x es cardinal

infinito y no regular para la suma. 

85. Distancia de un plano y de una curva al origen

Usando técnicas de cálculo diferencial,
1. Calcular la mı́nima distancia del plano α : 2x − y + 2z = 2 al origen y el
punto en el que dicha distancia mı́nima se obtiene.
2. Calcular la mı́nima distancia del conjunto
A = {(x, y, z) : x2 + y 2 = 1, x + y + z = 1}
al origen y el punto en el que dicha distancia mı́nima se obtiene.
SOLUCIÓN. 1. Todo punto P del plano α se puede expresar en la forma P =
(λ, 2λ + 2µ − 2, µ) con λ, µ ∈ R. La función cuadrado de la distancia de P
al origen O es
f : R2 → R, f (λ, µ) = d2 (P, O) = λ2 + (2λ + 2µ − 2)2 + µ2 .
Hallemos los puntos crı́ticos de f.
 ∂f

 =0 
2λ + 2(2λ + 2µ − 2) · 2 = 0
∂λ ⇔
 ∂f = 0
 2(2λ + 2µ − 2) · 2 + 2µ = 0
∂µ
10λ + 8µ = 8 5λ + 4µ = 4 λ = 4/9
  
⇔ ⇔
8λ + 10µ = 8 4λ + 5µ = 4 µ = 4/9.
Por consideraciones geométricas, en (λ, µ) = (4/9, 4/9) obtenemos mı́nimo
absoluto para la función f y por tanto para la función d(P, O). Sustituyen-
do obtenemos el punto P0 = (4/9, −2/9, 4/9) del plano α para el cual la
distancia al origen es mı́nima, siendo esta distancia
s 
4 2
 2  2 r
−2 4 36 6 2
d(P0 , O) = + + = = = .
9 9 9 81 9 3
34 FERNANDO REVILLA JIMÉNEZ

2. Los puntos (x, y) del plano que satisfacen la condición x2 + y 2 = 1, son

exactamente los de la forma (cos t, sin t) con t ∈ [0, 2π], luego los puntos Q
de A son los de la forma
Q = (cos t, sin t, 1 − cos t − sin t) con t ∈ [0, 2π].
La función cuadrado de la distancia de Q al origen O es
g : [0, 2π] → R, g(t) = d2 (Q, O) = cos2 t + sin2 t + (1 − sin t − cos t)2

= 1 + 1 + sin2 t + cos2 t − 2 sin t − 2 cos t + 2 sin t cos t

= 3 − 2 sin t − 2 cos t + sin 2t.

Hallemos los puntos crı́ticos de g. Tenemos
g 0 (t) = 0 ⇔ −2 cos t + 2 sin t + 2 cos 2t = 0

⇔ − cos t + sin t + cos2 t − sin2 t = 0

⇔ − cos t + sin t + (cos t + sin t)(cos t − sin t) = 0

 cos t − sin t = 0


⇔ (cos t − sin t)(cos t + sin t − 1) = 0 ⇔ ∨

cos t + sin t − 1 = 0.


Por una parte tenemos en [0, 2π]:

cos t − sin t = 0 ⇔ sin t = cos t ⇔ t = π/4 ∨ t = 5π/4.
Por otra parte es claro que la condición cos t + sin t = 1 se verifica exclusi-
vamente en [0, 2π] para t = 0, o t = π/2 o t = 2π. Hallemos los valores de g
en los puntos crı́ticos del interior de [0, 2π] y en los extremos:
√ √
g(π/4) = 3 − 2 sin(π/4) − 2 cos(π/4) + sin(π/2) = 3 − 2 2 + 1 = 4 − 2 2,
√ √
g(5π/4) = 3−2 sin(5π/4)−2 cos(5π/4)+sin(5π/2) = 3+2 2+1 = 4+2 2,

g(π/2) = 3 − 2 sin(π/2) − 2 cos(π/2) + sin π = 3 − 2 − 0 + 0 = 1,

g(0) = 3 − 2 sin 0 − 2 cos 0 + sin 0 = 3 = g(2π).

El mı́nimo absoluto de g se obtiene por tanto en t = π/4. Sustituyendo,
obtenemos el punto Q0 de A para el cual el cuadrado de la distancia al
origen es mı́nima
 π π π π
Q0 = cos , sin , 1 − cos − sin = (0,1, 0),
2 2 2 2
√
y la distancia mı́nima es d(Q0 , O) = 02 + 12 + 02 = 1. 
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 35

86. Grupo de Klein y sus automorfismos

Se considera el grupo (Z2 × Z2 , +) .
(a) Demostrar que el simétrico de cada elemento coincide con el propio
elemento.
(b) Demostrar que (Z2 × Z2 , +) no es cı́clico.
(c) Denotemos K = Z2 × Z2 , e = (0, 0), a = (1, 0), b = (0, 1), c = (1, 1).
Escribir la tabla de K con notación multiplicativa. Al grupo (K, ·) se le
llama grupo de Klein.
Nota. Por supuesto que no hay diferencia entre (Z2 × Z2 , +) y (K, ·) salvo
la notación.
(d) Determinar todos los automorfismos del grupo de Klein.

SOLUCIÓN. (a) Tenemos Z2 × Z2 = {(0, 0), (1, 0), (0, 1), (1, 1)} y se cumple
(0, 0) + (0, 0) = (0, 0), (1, 0) + (1, 0) = (0, 0),

(0, 1) + (0, 1) = (0, 0), (1, 1) + (1, 1) = (1, 1),

lo cual implica que
−(0, 0) = (0, 0), −(1, 0) = (1, 0), −(0, 1) = (0, 1), −(1, 1) = (1, 1),
es decir el simétrico de cada elemento coincide con el propio elemento.

(b) El elemento neutro es de orden 1 y se cumple

(1, 0) + (1, 0) = (0, 0), (0, 1) + (0, 1) = (0, 0), (1, 1) + (1, 1) = (0, 0)
es decir, los restantes elementos son de orden 2, por tanto (Z2 × Z2 , +) no
es cı́clico.

(c) La tabla de Cayley de (K, +) es

· e a b c
e e a b c
a a e c b
b b c e a
c c b a e
(d) Si f : K → K es automorfismo necesariamente f (e) = e y al ser
{a, b, c} = {f (a), f (a), f (c)}
tenemos 6 posibles elecciones: las permutaciones de S3 . Por ejemplo, para la
permutación
 
a b c
a c b
obtenemos el posible automorfismo
f (e) = e, f (a) = a, f (b) = c, f (c) = b,
36 FERNANDO REVILLA JIMÉNEZ

es fácil verificar f (xy) = f (x)f (y) para todo x, y ∈ K y lo mismo para

cada permutación de S3 . En consecuencia, el grupo de los automorfismos
del grupo de Klein Aut(K), es isomorfo al grupo simétrico S3 . 

sin z
87. Singularidades y residuos de f (z) =
z3 + z2 − z − 1
Se considera la función
sin z
f (z) = .
z3
+ z2 − z − 1
Determinar sus singularidades, clasificarlas y hallar sus residuos.
SOLUCIÓN. La función no es analı́tica para z 3 + z 2 − z − 1 = 0. Descompo-
niendo obtenemos (z + 1)2 (z − 1) = 0, con lo cual los puntos singulares son
z = 1 y z = −1. Entonces,
sin 1 sin(−1)
lı́m f (z) = = ∞, lı́m f (z) = = ∞,
z→1 0 z→−1 0
por tanto son polos. Hallemos sus órdenes,
(z − 1) sin z sin z sin 1
lı́m f (z)(z − 1) = lı́m = lı́m = 6= 0,
z→1 z→1 (z + 1)2 (z − 1) z→1 (z + 1)2 4
(z + 1)2 sin z sin z sin(−1) sin 1
lı́m f (z)(z+1)2 = lı́m 2
= lı́m = = 6= 0,
z→−1 z→−1 (z + 1) (z − 1) z→−1 z − 1 −2 2
por tanto z = 1 es polo simple y z = −1 es polo doble. Hallemos sus residuos:
sin 1
Res [f, z = 1] = lı́m f (z)(z − 1) = .
z→1 4
sin z 0
 
1 2 0


Res [f, z = −1] = lı́m f (z)(z + 1) = lı́m
1! z→−1 z→−1 z − 1

(z − 1) cos z − sin z −2 cos(−1) − sin(−1) sin 1 − 2 cos 1

= lı́m = = .
z→−1 (z − 1)2 4 4


e1/z
88. Singularidades y residuos de f (z) =
z−1
Se considera la función
e1/z
.
f (z) =
z−1
Determinar sus singularidades, clasificarlas y hallar sus residuos.
SOLUCIÓN. La función no es analı́tica en z = 0 y en z = 1, y estas son por
tanto sus singularidades.
Caso z = 1. Tenemos lı́mz→1 f (z) = e/0 = ∞, es decir z = 1 es un polo, y
lı́m f (z)(z − 1) = lı́m e1/z = e 6= 0,
z→1 z→1
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 37

con lo cual es polo simple y además

Res [f, z = 1] = lı́m f (z)(z − 1) = e.
z→1
Caso z = 0. Consideremos x real. Tenemos
e1/x e1/x
lı́m f (x) = lı́m = 0, lı́m f (x) = lı́m = −∞.
x→0− x→0− x − 1 x→0+ x→0+ x − 1
Es decir, no existe lı́mz→0 f (z), luego z = 0 es singularidad esencial. Para
hallar el residuo de f en z = 0, desarrollamos f en serie de Laurent en un
entorno de 0. Tenemos para 0 < |z| < 1
 
1/z 1 1 1 1
−1 − z − z 2 − z 3 − · · ·


f (z) = e · = 1+ + 2
+ 3
+ ···
z−1 1!z 2!z 3!z
 
1 1 1 1 1
= ··· + − − − − ··· + · · · = · · · + (1 − e) + · · · ,
1! 2! 3! z z
Entonces
1
Res [f, z = 0] = coef = 1 − e.
z


89. Singularidad y residuo en el origen de

1
f (z) = 2
2 + z − 2 cosh z
Usando desarrollo en serie de Laurent, clasificar la singularidad en el origen
de la función
1
f (z) = 2
2 + z − 2 cosh z
y hallar su residuo en tal punto.
SOLUCIÓN. Claramente el denominador se anula en z = 0, por tanto presenta
una singularidad en dicho punto. El desarrollo en serie de la función coseno
hiperbólico es
z2 z4 z6
cosh z = 1 + + + + ··· ,
2! 4! 6!
y por tanto, para z 6= 0,
1 1
f (z) = 2 4 6
= 4 6 .
2z 8

2
z z z 2z 2z
2+z −2 1+ + + + ··· − − − − ···
2! 4! 6! 4! 6! 8!
Efectuando la división según potencias crecientes obtenemos para z 6= 0 un
desarrollo de Laurent del tipo
A−4 A−2
f (z) = 4 + 2 + A0 + A2 z 2 + · · · (A−4 6= 0).
z z
En consecuencia, la singularidad de f en el origen es un polo cuádruple y su
residuo es
1
Res [f, z = 0] = coef = 0.
z
38 FERNANDO REVILLA JIMÉNEZ


Z 2π
dθ
90. Integral
0 a + b cos θ + c sin θ
Demostrar que para a, b, c reales positivos con a2 > b2 + c2 se verifica
Z 2π
dθ 2π
=√ .
0 a + b cos θ + c sin θ a − b2 − c2
2

SOLUCIÓN. Efectuando el cambio z = eiθ obtenemos

dz = ieiθ dθ = izdθ,
eiθ + e−iθ z + 1/z z2 + 1
cos θ = = = ,
2 2 2z
eiθ − e−iθ z − 1/z z2 − 1
sin θ = = = .
2i 2i 2iz
Cuando θ recorre [0, 2π], z recorre la circunferencia |z| = 1 en sentido anti-
horario, por tanto
Z 2π Z
dθ dz/iz
I= = 2
0 a + b cos θ + c sin θ |z|=1 z +1 z2 − 1
a+b +c
2z 2iz
Z Z
1 dz/z dz
= =2 .
i |z|=1 2aiz + bi(z 2 + 1) + c(z 2 + 1) 2
|z|=1 (c + bi)z + 2aiz + bi − c
2iz
Los puntos singulares de la función integrando f son los que anulan al de-
nominador:
p
2 −2ai ± −4a2 − 4(c + bi)(bi − c)
(c + bi)z + 2aiz + bi − c = 0 ⇔ z =
2(c + bi)
p p
−2ai ± −4a2 + 4(b2 + c2 ) −2ai ± 4(b2 + c2 − a2 )
⇔z= ⇔z=
2(c + bi) 2(c + bi)
√ √
2
−2ai ± 2i a − b − c2 2 (−a ± a2 − b2 − c2 )i
⇔z= ⇔z=
2(c + bi) c + bi
√
2
−a ± a − b − c 2 2
⇔z= .
b − ci
Los puntos singulares (polos simples) son por tanto:
√ √
−a + a2 − b2 − c2 −a − a2 − b2 − c2
z1 = , z2 = .
b − ci b − ci
Veamos si pertenecen al interior geométrico de |z| = 1 :
 √ 
√
−a + a2 − b2 − c2 
 
a − a2 − b2 − c2
|z1 | < 1 ⇔ <1⇔ √ <1
|b − ci| b2 + c2
p p
⇔ a < a2 − b2 − c2 + b2 + c2
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 39
p p
⇔ a2 < a2 − b2 − c2 + b2 + c2 + 2 a2 − b2 − c2 b2 + c2
p p
⇔ 0 < 2 a2 − b2 − c2 b2 + c2 ,
y la última desigualdad es trivial. Por otra parte,
 √ 
√
−a − a2 − b2 − c2 
 
a + a2 − b2 − c2
|z2 | > 1 ⇔ >1⇔ √ >1
|b − ci| b2 + c2
p p
⇔ a > b2 + c2 − a2 − b2 − c2
p p
⇔ a2 > b2 + c2 + a2 − b2 − c2 − 2 a2 − b2 − c2 b2 + c2
p p
⇔ 0 > −2 b2 + c2 a2 − b2 − c2 ,
y la última desigualdad es trivial. El único polo en el interior geométrico de
|z| = 1 es por tanto z1 con lo cual
Z
dz
I=2 2
= 4πiRes [f, z = z1 ].
|z|=1 (c + bi)z + 2aiz + bi − c

Ahora bien,
z − z1 1 1
Res [f, z = z1 ] = lı́m = lı́m
z→z1 (c + bi)(z − z1 )(z − z2 ) (c + bi) z→z1 z1 − z2
1 1 1
= · √ = √ .
(c + bi) 2 a2 − b2 − c2 2i a − b2 − c2
2

b − ci
Entonces,
Z 2π
dθ 2π
I= =√ .
0 a + b cos θ + c sin θ a2 − b2 − c2

∞
X n
91. Suma de la serie
2n (n+ 1)
n=1
∞
X n
Dada la serie .
2n (n
+ 1)
n=1
(a) Demostrar que es convergente.
(b) Hallar su suma.
SOLUCIÓN. 
(a) La serie es de términos positivos. Aplicando el criterio de D’Alembert
2n (n + 1)
 
n+1 1 n 1 1
L = lı́m : = lı́m = · 1 = < 1,
n→+∞ 2n+1 (n + 2) n 2 n→+∞ n + 2 2 2
por tanto la serie es convergente.
40 FERNANDO REVILLA JIMÉNEZ

(b) Consideremos la función

∞
X n
f : (−1, 1) → R, f (x) = xn .
n+1
n=1

Se comprueba inmediatamente por el criterio de D’Alembert que la serie

funcional anterior es absolutamente convergente para |x| < 1, y por tanto f
está bien definida. La suma de la serie pedida será por tanto
∞  
X n 1
S= n
=f .
2 (n + 1) 2
n=1

Podemos escribir para x ∈ (−1, 1) y no nulo:

∞ ∞  ∞ ∞
1 X xn+1

X n n
X 1 X
f (x) = x = 1− xn = xn −
n+1 n+1 x n+1
n=1 n=1 n=1 n=1

∞ ∞
1 1 X xn+1 x 1 X xn+1
= −1− = − .
1−x x n+1 1−x x n+1
n=1 n=1
Llamemos
∞
X xn+1
g(x) = .
n+1
n=1
Aplicando el criterio de D’Alembert verificamos inmediatamente que g está de-
finida en (−1, 1) y al venir dada por una serie de potencias se puede derivar
término a término:
∞
X 1
g 0 (x) = xn = − 1.
1−x
n=1
Integrando, g(x) = − log |1 − x| − x + C. Para x = 0 obtenemos 0 = g(0) =
log 1 − 0 + C, con lo cual, C = 0. Queda para x ∈ (−1, 1) y no nulo
x 1
f (x) = − (− log |1 − x| − x).
1−x x
Entonces,
∞    
X n 1 1 1
S= =f = 1 − 2 − log − = 2(1 − log 2).
2n (n + 1) 2 2 2
n=1

√
92. Cuerpo Q( 5, i)
√
Denominemos
√ por Q( 5, i) al menor subcuerpo de C que contiene a Q ∪
{ 5, i}. Demostrar que
√ √ √
Q( 5, i) = {p + qi + r 5 + s 5i : p, q, r, s ∈ Q}.
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 41

SOLUCIÓN.Denominemos
√ √ por K al cuerpo pedido. Necesariamente K ha de
contener a 1, 5, i, 5i. Como también ha de contener a los racionales,
necesariamente,
√ √
K ⊃ K 0 = {α ∈ C : α = p + qi + r 5 + s 5i con p, q, r, s ∈ Q}.
√
Si demostramos que K 0 es cuerpo estará demostrado que K 0 = Q( 5, i).
Efectivamente,
√ √
1. Veamos que K 0 es subanillo de C. (a) α = 0√+ 0i + √ 0 5 + 0 5i ∈ K 0 ,
0 0 0 0
por
0
√ tanto0 √K 6= ∅. (b) Para todo α = p + qi + r 5 + s 5i y α = p + q i +
r 5 + s 5i tenemos
√ √
α − α0 = (p − p0 ) + (q − q 0 )i + (r − r0 ) 5 + (s − s0 ) 5i
con p − p0 , q − q 0 , r √
− r0 , s − 0
√ s racionales, por tanto α0 ∈ K 0 . (c) Para
√ α −0 √
0 0 0 0
todo α = p + qi + r 5 + s 5i y α = p + q i + r 5 + s 5i tenemos
√ √ √ √
αα0 = (p + qi + r 5 + s 5i)(p0 + q 0 i + r0 5 + s0 5i)
= (pp0 − qq 0 + 5rr0 − 5ss0 ) · 1 + (p0 q + pq 0 + 5sr0 + 5rs0 )i
√ √
+(p0 r − sq 0 + pr0 − qs0 ) 5 + (p0 s + rq 0 + qr0 + ps0 ) 5i,
√ √
y los coeficientes de 1, i, 5 y 5i son racionales, por tanto αα0 ∈ K 0 .
√ √
2. Veamos que todo α = p + qi + r 5 + s 5i ∈ K 0 no nulo tiene inverso en
K 0 . Para ello, probemos previamente que
α = 0 ⇔ (p, q, r, s) = (0, 0, 0, 0).
⇐) Esta implicación es trivial.
⇒) Tenemos igualando partes reales e imaginarias
√ √ √ √
p + qi + r 5 + s 5i = 0 ⇒ (p + r 5) + (q + s 5)i = 0
( √
p+r 5=0
⇒ √
q + s 5 = 0.
√
Si r =√0, entonces p = 0. Si r 6= 0 tendrı́amos 5 = −p/r lo cual es absurdo
pues 5 es irracional. Concluimos que p = r = 0. De manera análoga se
demuestra que q = s = 0.

Sea 0 6= α ∈ K 0 . Entonces,
√ √
1 1 (p + r 5) − (q + s 5)i
= √ √ = √ √
α (p + r 5) + (q + s 5)i (p + r 5)2 + (q + s 5)2
√ √
p + r 5 − qi − s 5i
= 2 √
(p + q 2 + 5r2 + 5s2 ) + 2(pr + qs) 5
| {z } | {z }
x y
√ √ √
(p + r 5 − qi − s 5i)(x − y 5)
= . (1)
x2 − 5y 2
42 FERNANDO REVILLA JIMÉNEZ

Tenemos que x, y ∈ Q y dado que (p, q, r, s) 6= (0, 0, 0, 0), se verifica x2√6= 0.

No puede ser x2 − 5y 2√= 0, pues en tal caso, x2 = 5y 2 6= 0 y x/y = 5 lo
cual es absurdo al ser 5 irracional. Es claro que operando y agrupando en
(1), obtenemos que 1/α es de la forma
1 √ √
= A + Bi + C 5 + D 5i con A, B, C, Q ∈ Q
α
lo cual demuestra que 1/α ∈ K 0 . 

93. Puntos de inflexión de una familia de curvas

x3 + a
Sea el conjunto de funciones fa (x) = , donde a ∈ R − {1}.
(x + 1)2
(a) Determinar las funciones de este conjunto cuya representación gráfica
admite un punto de inflexión en el cual la tangente es paralela al eje de
abscisas.
(b) Probar que todas las funciones de este conjunto tienen una ası́ntota
oblicua común, de la cual se pide la ecuación.
SOLUCIÓN. (a) Hallemos la derivada segunda de fa . Para todo x 6= −1 :
3x2 (x + 1)2 − 2(x + 1)(x3 + a) 3x2 (x + 1) − 2(x3 + a)
fa0 (x) = =
(x + 1)4 (x + 1)3
x3 + 3x2 − 2a
= ,
(x + 1)3
(3x2 + 6x)(x + 1)3 − 3(x + 1)2 (x3 + 3x2 − 2a)
fa00 (x) =
(x + 1)6
(3x2 + 6x)(x + 1) − 3(x3 + 3x2 − 2a) 6(x − a)
= = .
(x + 1)4 (x + 1)4
Los posibles puntos de inflexión se obtienen para los x tales que fa00 (x) = 0 es
decir para x = −a con a 6= 1. Para valores x < −a suficientemente próximos
a a, claramente fa00 (x) < 0 y para valores x > −a suficientemente próximos a
a, claramente fa00 (x) > 0. Cambia la concavidad, en consecuencia en x = −a
con a 6= 1 hay punto de inflexión para fa . En estos puntos de inflexión la
tangente es paralela al eje de abscisas sii fa0 (−a) = 0. Entonces,
−a3 + 3a2 − 2a −a(a − 1)(a − 2)
fa0 (−a) = 0 ⇔ =0⇔ =0
(−a + 1)3 (−a + 1)3
a(a − 2)
⇔ ⇔ a(a − 2) ⇔ a = 0 ∨ a = 2.
= 0 |{z}
(−a + 1)2
a6=1
Las funciones pedidas son por tanto f0 y f2 .

(b) Para todo a ∈ R − {1},

fa (x) x3 + a
m = lı́m = lı́m = 1,
x→∞ x x→∞ x(x + 1)2
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 43

x3 + a −2x2 − x + a
 
b = lı́m (fa (x) − mx) = lı́m −x = lı́m = −2,
x→∞ x→∞ (x + 1)2 x→∞ (x + 1)2
por tanto y = x − 2 es ası́ntota oblicua de fa para todo a ∈ R − {1}. 

94. Menor subanillo que contiene a un conjunto

Sean R un anillo y F una
T familia de subanillos de R.
1. Demostrar que R1 = S∈F S es subanillo de R.
2. Sea G un subconjunto de R y denotemos
\
R[G] = con C = {S subanillo de R : G ⊂ S}.
S∈C

Demostrar que R[G] es el menor subanillo de R respecto de la inclusión que

contiene a G.
3. Demostrar que R[G] está constituido por todos los elementos de R que
son sumas finitas de productos finitos de elementos de G ∪ (−G).

SOLUCIÓN. 1. Usamos el teorema de caracterización de subanillos. Como

0 ∈ S para todo S ∈ F deducimos que 0 ∈ R1 y por tanto R1 6= ∅. Si
a, b ∈ R1 entonces a, b ∈ S para todo S ∈ F y por tanto a − b ∈ S para todo
S ∈ F por ser S subanillo. Es decir, a − b ∈ R1 . Análogamente, si a, b ∈ R1
entonces a, b ∈ S para todo S ∈ F y por tanto ab ∈ S para todo S ∈ F por
ser S subanillo. Es decir, ab ∈ R1 .

2. Por el apartado anterior,

T R[G] es subanillo de R. Como G ⊂ S para todo
S ∈ C, tenemos G ⊂ S∈C = R[G]. Por otra parte, si T esTun subanillo de
R que contiene a G entonces T ∈ C y por tanto R[G] = S∈C S ⊂ T . La
propiedad queda demostrada.

3. Llamemos X al conjunto de los elementos de R que son sumas finitas de

productos finitos de elementos de G ∪ (−G) y veamos primeramente que X
es subanillo de R contiene a G. Es claro que G ⊂ X pues si x ∈ G, x es
suma finita de productos finitos de elementos de G ∪ (−G) (un sumando y
un factor: el x).
X es subanillo de R. En efecto, 0 es (según un conocido convenio) una suma
vacı́a y por tanto pertenece a P es decir, P 6= ∅. Denotemos G∪(−G) = {gi }
y sean a, b ∈ X, entonces
! !
X Y X Y
a= gi , b = gj con gi , gj0 ∈ G ∪ (−G),
0

finita finito finita finito

! !
X Y X Y
a−b= gi − gj0
finita finito finita finito
44 FERNANDO REVILLA JIMÉNEZ

Si g1 , . . . , gm ∈ G∪(−G) tenemos −(g1 g2 . . . gm = (−g1 )g2 . . . gm ∈ G∪(−G).

Por tanto
! !
X Y X Y
a−b= gi + gj con gi , gj0 ∈ G ∪ (−G)
00

finita finito finita finito

y por ser a − b suma finita de productos finitos de G ∪ (−G), pertenece a X.
Es claro que al aplicar la propiedad distributiva de R, ab es suma finita de
productos finitos de G ∪ (−G) y por tanto pertenece a X.
Como R[G] ⊂ X (por el apartado anterior), basta demostrar que X ⊂ R[G].
Pero esto es claro pues al ser G ⊂ X y G ⊂ R[G] (subanillo), el producto
finito de elementos de G está en R[G] y la suma finita de elementos de G
también está en R[G]. 

95. Ecuación diferencial transformable en exacta por

simplificación
Resolver la ecuación diferencial (xy + y log y)dx + (xy + x log x)dy = 0.
SOLUCIÓN. Fácilmente comprobamos que la ecuación no es diferencial exacta,
ahora bien dividiendo entre xy obtenemos la ecuación
   
log y log x
1+ dx + 1 + dy = 0.
x y
Se verifica Py = Qx = 1/(xy) y por tanto al ecuación se transforma en una
diferencial exacta. Busquemos u tal que ux = P y uy = Q. Tenemos
Z Z  
log y
ux = P ⇒ u = P dx = 1+ dx = x + (log y)(log x) + ϕ(y).
x
Usando uy = Q:
log x log x
1+ + ϕ0 (y) = ⇒ ϕ0 (y) = 0 ⇒ ϕ(y) = y + C.
y y
La solución general es por tanto
y + x + (log y)(log x) + C = 0.


96. Sensibilidad a condiciones iniciales en métricas

equivalentes
Sea (X, d) un espacio métrico sin puntos aislados. Esto asegura que to-
do entorno de cualquier x ∈ X contiene algún punto distinto de X. Sea
f : X → X una aplicación es decir, un sistema dinámico. Se dice que f es
sensible a condiciones iniciales si existe un η > 0 tal que para todo x ∈ X
y para todo  > 0 existe y ∈ X con d(x, y) <  tal que para algún N0
d (f n (x), f n (y)) > η. Al número η se le llama constante de sensibilidad del
sistema.
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 45

Sea ahora X = (1, +∞).

(a) Demostrar que D : X × X → R dada por D(x, y) = |log x − log y| define
una distancia en X.
(b) Demostrar que D es equivalente a la distancia usual en X: d(x, y) =
|x − y|.
(c) Demostrar que el sistema dinámico f : (X, d) → (X, d) dado por f (x) =
2x es sensible a condiciones iniciales.
(d) Demostrar que el sistema dinámico f : (X, D) → (X, D) dado por
f (x) = 2x no es sensible a condiciones iniciales. Concluir.
SOLUCIÓN. (a) Existe log t para todo t ∈ X y D(x, y) ≥ 0 para todo x, y ∈ X.
Tenemos D(x, y) = 0 ⇔ |log x − log y| = 0 ⇔ log x = log y ⇔ x = y. Para
todo x, y ∈ X se verifica D(x, y) = |log x − log y| = |log y − log x| = D(x, y).
Por último, para todo x, y, z ∈ X tenemos
D(x, y) = |(log x − log z) + (log z − log y)|
≤ |log x − log z| + |log z − log y| = D(x, z) + D(z, y).
Concluimos que D es distancia en X.

(b) Consideremos una bola BD (x, ) = {y ∈ X : |log x − log y| < } y vea-

mos que existe una bola Bd (x, δ) tal que Bd (x, δ) ⊂ BD (x, ). Efectivamente,
por ser log una función continua en x dado  > 0 existe δ > 0 tal que pa-
ra todo y que cumpla |x − y| < δ se verifica |log x − log y| < , es decir
D(x, y) < , luego para todo y ∈ Bd (x, δ) es y ∈ BD (x, ).

Recı́procamente, consideremos una bola Bd (x, ) y veamos que existe una

bola BD (x, δ) tal que BD (x, δ) ⊂ Bd (x, ). Efectivamente, como la función
exponencial es continua dado  un  > 0 existe un δ > 0 tal que si log y cumple
|log x − log y| < δ entonces elog x − elog y  = |x − y| < , es decir d(x, y) < 
siempre que D(x, y) < δ luego BD (x, δ) ⊂ Bd (x, ).

(c) Para todo x, y ∈ X tenemos

d (f n (x), f n (y)) = |2n x − 2n y| = 2n |x − y| |{z}
→ +∞
si x6=y

lo cual implica claramente que f es sensible a condiciones iniciales.

(d) Para todo x, y ∈ X tenemos

D (f n (x), f n (y)) = |log (2n x) − log (2n y)|
nx 
 
 2
= log n  = |log x − log y| = D(x, y)
2 y
lo cual implica claramente que f no es sensible a condiciones iniciales. Con-
cluimos por tanto que la sensibilidad a condiciones iniciales no se conserva
necesariamente por métricas equivalentes. 
46 FERNANDO REVILLA JIMÉNEZ

97. Factorización en C[x] de p(x) = (x + 1)n + (x − 1)n

Descomponer p(x) = (x + 1)n + (x − 1)n ∈ C[x] en factores lineales.
SOLUCIÓN.Hallemos las raı́ces complejas de p(x). Tenemos
x+1 n
 
n n
p(x) = 0 ⇔ (x + 1) + (x − 1) = 0 ⇔ = −1
x−1
x+1 √ √ π 2kπ
= n −1 = eπi = e( n + n )i = zk , (k = 0, 1, . . . , n − 1).
n
⇔
x−1
Despejando x obtenemos las raı́ces
π 2kπ
zk + 1 e( n + n )i + 1
xk = = π 2kπ .
zk − 1 e( n + n )i − 1
Llamando α = π/n + 2kπ/n tenemos
eαi + 1 e(−α/2)i eαi + 1 e(α/2)i + e(−α/2)i
xk = = · = .
eαi − 1 e(−α/2)i eαi − 1 e(α/2)i − e(−α/2)i
Por otra parte
α cos α2 e(α/2)i + e(−α/2)i e(α/2)i − e(−α/2)i
cot = α = :
2 sin 2 2 2i
 
1 α π kπ (2k + 1)π
⇒ xk = cot = −i cot + = − − i cot .
i 2 2n n 2n
Teniendo en cuenta que el coeficiente de mayor grado de p(x) es 2 queda
n−1
Y
n n
p(x) = (x + 1) + (x − 1) = 2 (x − xk )
k=0
Es decir,
n−1
Y 
n n (2k + 1)π
(x + 1) + (x − 1) = 2 x + i cot
2n
k=0

98. Grupos topológicos

Sea (G, ·) un grupo y T una topologı́a definida en G. Decimos que (G, ·, T )
es un grupo topológico si son continuas la aplicaciones
G × G → G, (x, y) → xy
G → G, x → x−1
en donde en G × G se considera la topologı́a producto. Es decir, han de ser
continuas la operación del grupo y la operación inversión. Abreviadamente
escribimos simplemente G para designar a un grupo topológico.
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 47

(a) Demostrar que todo grupo G es un grupo topológico con la topologı́a

discreta en G.
(b) Demostrar que todo subgrupo de un grupo topologico es un grupo to-
pológico con respecto a la topologı́a inducida.
(c) Sea (E, k·k) un espacio normado. Demostrar que el grupo aditivo (E, +)
es grupo topológico cuando en E se considera la topologı́a inducida por la
norma.
Nota. Caso particular importante es el grupo topológico aditivo Rn con la
topologı́a inducida por la distancia euclı́dea.
(d) Sea (GLn (R), ·) el grupo lineal de orden n, es decir
GLn (R) = {A ∈ Rn×n : A es invertible}
con la operación producto. Demostrar que GLn (R) es grupo topológico con
la topoloı́a inducida por la métrica
 1/2
Xn
d(A, B) =  |aij − bij |2  , A = [aij ], B = [bij ] ∈ GLn (R).
i,j=1

SOLUCIÓN. (a) Sabemos que el producto de una cantidad finita de espacios

topológicos discretos es discreto en la topologı́a producto. Esto implica tri-
vialmente la continuidad de la aplicación operación del grupo y de la ope-
ración tomar inversos.
(b) Si H es un subgrupo de un grupo topologı́co G, la restricción de la
multiplicación y la inversión a H son funciones continuas y como H es un
subespacio topológico con la topologı́a inducida tenemos que es un grupo
topológico.
(c) Demostremos que la aplicación E × E → E, dada por (x, y) → x + y es
uniformemente continua, con lo cual será continua. En efecto, sea  > 0 y
elijamos δ = /2. Entonces,
kx − x0 k < δ

⇒ (x + y) − (x0 + y 0 )

0
ky − y k < δ
 
≤ x − x0 + y − y 0 < + = .

2 2
Demostremos que para todo a ∈ K, la función E → E dada por x → ax
es uniformemente continua, con lo cual será continua en particular x →
(−1)x = −x. Si a = 0, el resultado es trivial. Si a 6= 0, sea  > 0. Entonces,
eligiendo δ = / |a| :
x − x0 < δ ⇒ ax − ax0 = |a| x − x0 < |a|  = .

|a|
Concluimos que E es grupo topológico.
2
(d) Podemos identificar Rn×n con Rn en la forma estándar
2
Rn×n → Rn , A = [aij ] → a = (a11 , . . . , a1n , . . . , an1 , . . . , ann ),
48 FERNANDO REVILLA JIMÉNEZ

2
con lo cual podemos considerar GLn (R) ⊂ Rn y la distancia dada es la
2
distancia euclidea en Rn , es decir
 1/2
X n
d(a, b) =  |aij − bij |2  .
i,j=1

En la operación producto ab intervienen sumas y productos de las variables

aij y bij y en a−1 , sumas, productos e inversos de números no nulos; que con
la distancia euclı́dea sabemos que son operaciones continuas. Concluimos
que las operaciones producto e inversión son continuas en GLn (R). 

99. Convergencia de una serie según parámetro

+∞   p
log cos 1  según el parámetro
X  
Analizar la convergencia de la serie  n 
n=1
p ∈ R.
SOLUCIÓN.Dado que 0 < 1/n < π/2 para todo n = 1, 2, . . ., se verifica
cos(1/n) > 0 y por tanto la serie está bien definida. Se verifica
log x 1/x
lı́m = lı́m = 1 ⇒ log x |{z}
∼ x − 1.
x→1 x−1 |{z} x→1 1
indet. 0/0 x→1

Tenemos por tanto

   
1 1 1 1
n → +∞ ⇒ → 0 ⇒ cos → 1 ⇒ log cos ∼ cos − 1.
n n n |{z} n
n→+∞

Por otra parte sabemos que 1 − cos x |{z}

∼ x2 /2 en consecuencia
x→0
 
1 1
cos − 1 |{z}
∼ − 2.
n 2n
n→+∞
En consecuencia la convergencia de la serie dada equivale a la convergencia
de la serie
+∞  +∞
 1 p

 = 1 1
X X
− .
 2n2  2 p n2p
n=1 n=1
Por el conocido teorema de las series de Riemann, la serie es convergente sii
2p > 1, es decir sii p > 1/2. 

100. Lı́mite de una sucesión recurrente aplicando el criterio

de Stolz
Se considera la sucesión an definida como
(
a1 = 1
√
an+1 = a1 + a2 + · · · + an .
 PROBLEMAS RESUELTOS DE MATEMÁTICAS SUPERIORES (FASCÍCULO 2) 49

an 1
Demostrar que lı́m = .
n→+∞ n 2
SOLUCIÓN. Elevando al cuadrado tenemos:
a2n+1 = (a1 + a2 + · · · + an−1 ) + an = a2n + an .
La sucesión es claramente creciente y de términos positivos, luego tiene lı́mite
L ∈ (0, +∞]. Si L es finito, tomando lı́mites en a2n+1 = a2n + an obtenemos
L2 = L2 +L y por tanto L = 0, lo cual es absurdo. En consecuencia lı́m an =
+∞. Por otra parte,
an+1 2
 
1
2 2
an+1 = an +an ⇒ = 1+ ⇒ (lı́m an )2 = 1+0 = 1 ⇒ lı́m an = 1.
an an
Además
a2n+1 = a2n + an ⇒ a2n+1 − a2n = an ⇒ (an+1 − an ) (an+1 + an ) = an
an 1
⇒ an+1 − an = ⇒ an+1 − an = an+1
an+1 + an +1
an
1 1
⇒ lı́m (an+1 − an ) = = .
1+1 2
Por último
1 an+1 − an an 1
= lı́m ⇒ lı́m = .
2 n→+∞ (n + 1) − n |{z} n→+∞ n 2
Crit. Stolz


c Problemas resueltos de matemáticas superiores por Fernando Re-

villa Jiménez se distribuye bajo la licencia Creative Commons Atri-
bución-NoComercial-SinDerivar 4.0 Internacional.

Más fascı́culos en http://www.fernandorevilla.es

Fernando Revilla. Jefe del Departamento de Matemáticas del IES Santa Teresa
de Jesús de la Comunidad de Madrid y Profesor de Métodos Matemáticos
de la Universidad Alfonso X El Sabio de Villanueva de la Cañada, Madrid
(Hasta el curso académico 2008-2009).
E-mail address: [email protected]