1-10 - Impr Hasta PG 50 Incl

Hoja de Problemas n1 Algebra 1
1. Hallar un nmero cuadrado perfecto de cinco cifras sabiendo que el producto

de esas cinco cifras es 1568.
Solucin:
n2 = x1 104 + x2 103 + x3 102 + x4 10 + x5
Sea
sea
n = a 102 + b 10 + c
el nmero que buscamos y
la raz cuadrada del nmero que buscamos.
Entonces debe ocurrir que:

x1 104 + x2 103 + x3 102 + x4 10 + x5 =
= a2 104 + 2ab103 + (b2 + 2ac) 102 + 2bc10 + c2
Por otro lado sabemos que 1568 = 72 25 , entonces se tiene que n2 debe estar
formado por las siguientes posibles cifras:
1) 7, 7, 8, 4, 1
2) 7, 7, 8, 2, 2
3) 7, 7, 4, 4, 2
La opcin 2) no es posible porque un cuadrado no puede tener nunca como cifra de
las unidades un 7, un 8 o un 2.
Por otro lado la opcin 3) tampoco puede ser, pues la suma de sus cifras es 24, que
es dursible por 3, pero no por 9, por lo tanto no pueden formar un cuadrado perfecto.
Por lo tanto las cifras de n2 deben ser 7, 7, 8, 4, 1 y bajo estas condiciones se tiene
que x5 debe ser 1 o 4 y x4 debe ser par. Entonces se tiene que los posibles valores de n2
son:
17784
71784
77184
77841
78741
87741
74781
77481
47781
Pero de todos ellos el nico que es un cuadrado perfecto es:

77841 = (279)2
Entonces:
N2 = 77841
2. Encontrar un nmero abcd de 4 cifras en base 12, tal que es cuadrado

perfecto y adems los nmeros ab y cd son consecuentes en base 12.
Solucin:
Como bien nos dice el problema, se tiene que
1/7
ab + 1 = cd,
y por otro lado1000012) abcd < 10000012)

Pasando la desigualdad a base 10, se tiene que
1728 n2 < 20738
donde denotamos por n2 el nmero abcd pero en base 10.

Entonces tenemos que 42 n < 144
Por otro lado tenemos que
abab = abcd 1
a 123 + b 122 + a 12 + b = 145(12 + b) = n2 1

29 5 (12 + b) = (n 1)(n + 1).
Por lo tanto (n 1) o (n + 1) deben ser mltiplos de 29 y como 42 n < 144,
entonces:
Si n 1 es mltiplo de 29, y como (n 1)(n + 1) debe ser mltiplo de 5
entonces n = 59 n2 = 3481 = 202112) que verifica las condiciones.
Si n + 1 es mltiplo de 29 y como (n 1)(n + 1) debe ser mltiplo de 5
entonces n = 86 n2 = 7396 = 434412) que verifica las condiciones del problema.
Por lo tanto hay dos soluciones posibles para este problema:
n1 = 202112)
n2 = 434412)
3. En un sistema de numeracin cuya base se desconoce, dos nmeros se escriben

302 y 402. El producto de ambos nmeros es 75583 en el sistema de numeracin
de base 9. Hallar la base desconocida.
Solucin:
Tenemos que:
302n) 402n) = 755839)
Entonces pasndolo a base diez se tiene que:
(3 n2 + 2)(4 n2 + 2) = 7 94 + 5 93 + 5 92 + 8 9 + 3
(3n2 + 2)(4n2 + 2) = 50052
12n4 + 6n2 + 8n2 + 4 = 50052 12n4 + 14n2 50048 = 0
6n4 + 7n2 25024 = 0, haciendo n2 = m tenemos:
2/7
6m2 + 7m 25024 = 0 m =
7 49 + 600576
=
12
64
=
7 775
=
12
-651 6
lo rechazamos
n2 = 64 n1 = 8 o n2 = -8 que lo rechazamos la solucines n1 = 8

4. Demuestre que para todo nmero natural n, n 1, se tiene:
1 2 n ( 1) m +1
=
m
k =n +1 k
m =1
2n
Solucin:
2n
1 2 n (1) m +1
Sea = n / =
m
k = n +1 k
m =1
) 1?
2
k = 2
1
k=2
( 1)
m
m =1
2
m +1
(1)
( 1)
1 1
+
=1 =
1
2
2 2
2
) Supongamos cierto que n, es decir:
1 2 n ( 1) m +1
.
=
m
k =n +1 k
m =1
2n
1 2 n +2 (1) m +1
?
=
m
k =n + 2 k
m =1
2 n +2
Veamos si (n + 1),
2 n +2
2 n +2
2n
1
1
1
1
1
1
1
1
=
+
=
+
+
=
n + 1 n + 1 k =n + 2 k k =n +1 k n + 1 2n + 1 2 n + 2
k =n + 2 k
(1)
m
m =1
2n
=
=
m +1
1
2n
1
1
( 1) m +1 (1) 2 n + 2 ( 1) 2 n +3
2
+
+
=
+
+
=
2 n + 1 n + 1 n + 1 m =1 m
2n +1
2n + 2
(1) m +1
(n + 1)
m
m =1
2 n +2
=
3/7
5. Hallar un nmero de cinco cifras diferentes que sea igual a la suma de todos los
de tres cifras que se pueden obtener formando todas las variaciones ordinarias
de dichas cinco cifras tomadas de tres en tres.
Solucin:
Supongamos que
N = x1 x2 x3 x4 x5
no, no tendra cinco cifras.
es el nmero pedido con x1 0, porque si
Como con esas cinco cifras queremos formar nmeros de tres cifras se tiene que
hay
V5,3 = 60 posibilidades, de las cuales hay 12 que tienen una cifra determinada
en una posicin determinada.
Por tanto tenemos que:
12(x1 + x2 + x3 + x4 + x5 ) + 12(x1 + x2 + x3 + x4 + x5 ) 10 +
+ 12(x1 + x2 + x3 + x4 + x5 ) 100 = 1332(x1 + x2 + x3 + x4 + x5 )
y por lo tanto:
N = 1332(x1 + x2 + x3 + x4 + x5 )
Entonces N es mltiplo de 9 porque 1332 lo es, y utilizando el criterio de
divisibilidad del 9 se tiene que:
x1 + x2 + x3 + x4 + x5 = 9t
y dado que todas las cifras son distintas entre si, su suma estar entre:
1 + 2 + 3 + 4 + 5 = 15
y 5 + 6 + 7 + 8 + 9 = 35
15 x1 + x2 + x3 + x4 + x5 35
Por lo tanto los nicos valores posibles de t son
t=2
t = 3.
Si t = 2 entonces
N = 1332 9 2 = 23976, y como la suma de sus cifras
es 27 18 = 9 2 entonces contradice que
x1 + x2 + x3 + x4 + x5 = 9t
Este nmero no es el buscado.
Si
t=3
entonces
3 + 5 + 9 + 6 + 4 = 27 = 9 3
N = 1332 9 3 = 35964
entonces
N = 35964
y como
es la solucin del problema.
6. Dados los cdigos ordenados de cinco letras entre las ocho: A, B, C, D, E, F, G,

H (repetidas o no, se pide hallar:
a) Nmero total de cdigos.
b) 1) Nmero de ellos con una sola letra repetida dos veces. Ejemplo: ABACH.
4/7
2) Nmero de ellos con dos letras repetidas dos veces cada una. Ejemplo:
ABBCA.
3) Nmero de ellos con una letra repetida tres veces. Ejemplo: ABAAE.
4) Nmero de ellos con una letra repetida tres veces y otra dos. Ejemplo:
AABAB.
5) Nmero de ellos con una letra repetida cuatro veces.
6) Nmero de ellos con una letra repetida cinco veces.
7) Nmero de los que no estn comprendidos en los grupos anteriores.
8) Supuestas ordenadas las letras alfabticamente, calcular el nmero de
cdigos formados por cinco letras consecutivas en dicho orden. Ejemplo:
DGFHE.
c) Supuesto el orden lexicogrfico entre los cdigos, hallar el que corresponde
al 1729.
Solucin:
a) El nmero total de cdigos viene dado por las variaciones con repeticin de 8
elementos tomados de 5 en 5.
VR8,5 = 85 = 32768
b) 1) C5,2 8 V7,3 = 16800
2) C5,2 C3,2 C8,2 6 = 5040
3) C5,3 8 V7,2 = 3360
4) C5,3 8 7 = 560
5) C5,4 8 7 = 280
6) C5,5 8 = 8
7) Le restamos al total de cdigos posibles la suma de los anteriores:
32768 26048 = 6720
8) Elegidas cinco letras consecutivas el nmero de formas diferentes de
ordenarlas es
P5 = 5! = 120 y como hay cuatro formas diferentes de elegir
cinco letras consecutivas entre ocho, se tiene que:
4 120 = 480
c) Si definimos la aplicacin f = {A, B, C, D, E, F, G, H} {0, 1, 2, 3, 4, 5, 6, 7}
dada por:
f(A) = 0, f(B) = 1, f(C) =2, f(D) = 3, f(E) = 4, f(F) = 5, f(G) = 6, f(G) = 7.
El orden lexicogrfico de los cdigos coincide con el orden de los nmeros en base a 8,
por ejemplo: el 00000 corresponde a AAAAA entonces la posicin 1729 en verdad es el
nmero 1728 segn nuestra aplicacin, es decir
1728 = 033008) = ADDAA.
Entonces la solucin es ADDAA
7. Dos mujeres y tres hombres suben a un ascensor en la planta baja de un
edificio de seis pisos. Averiguar de cuantas maneras se pueden bajar del
5/7
ascensor, sabiendo que en un mismo piso no pueden bajar personar de distinto

sexo.
Solucin:
Hay que tener en cuenta dos posibilidades a la hora de contar, y es que las mujeres
se pueden bajar en la misma planta o en distintas plantas.
Si las mujeres se bajan, las dos, en la misma planta tenemos cinco formas
diferentes de que se bajen, ya que como se suben en la planta baja, se pueden bajar en
cualquiera de las otras cinco plantas. Para cada una de las cinco formas de bajarse las
3 + 4 1
6!
mujeres hay
=
= 20
formas de bajarse los hombres, que son las
3 3!3!
combinaciones con repeticin de 4 elementos tomados de 3 en 3.
5
= 10
2
Si las mujeres se bajan en pisos distintos se tiene que hay
formas
3 + 3 1
= 10 formas diferentes de
3
bajarse, combinaciones con repeticin de 3 elementos tomados de 3 en 3.
diferentes de bajarse, y los hombres tendrn
Por lo tanto:
N = 5 20 + 10 10 = 200 El resultado es
N = 200
8. Determinar el nmero mximo de puntos de interseccin de las diagonales de

un polgono convexo de n lados:
a)Contenidos en el interior de aquel.
b) Situados en su exterior.
Solucin:
a) Cada cuatro vrtices distintos del polgono definen dos diagonales que se cortan
en un punto de interseccin interior. Entonces:
n
Pi =
4
b) Para poder calcular los puntos exteriores de interseccin entre las diagonales,
vamos a calcular los puntos de interseccin totales entre las diagonales y luego
restaremos las interiores, obtenemos as los puntos de interseccin exteriores entre las
diagonales.
Como tenemos n vrtices y n lados, entonces tenemos
6/7
n
n( n 3)
n =
2
2
Diagonales distintas (que no son los lados del tringulo). Como en cada vrtice
n 3
concurren
n - 3 diagonales, tenemos por lo tanto que hay
2
diagonales que se cortan en cada vrtice. Como cada dos diagonales hay un punto de
interseccin se tiene que:
n (n 3 n 3 n( n 3)( n 2 7n + 14)
PT = 2 n
=
2
8
2
Entonces tenemos los puntos exteriores de interseccin entre las diagonales vienen
dados por:
n( n 3)( n 2 7 n + 14) n n( n 3)( n 4)( n 5)
Pe = PT Pi =
=
8
12
4
Entonces las soluciones son:
n
a) Pi =
4
b) Pe =
n( n 3)( n 4)( n 5)
12
7/7
Hoja de Problemas n2 Algebra II
9. Hallar un nmero de cuatro cifras que sea igual al cubo de la suma de las
cifras.
Solucin:
Sea x1 x2 x3 x4 el nmero buscado con x1 0 ya que si no, no seria de cuatro cifras.
Tenemos que
x1 x2 x3 x4 = (x1 + x2 + x3 + x4 )3
y como
1000 x1 x2 x3 x4 < 10000 1000 (x1 + x2 + x3 + x4 )3 < 10000

10 (x1 + x2 + x3 + x4 ) 21
Como todo nmero se puede escribir de la forma
3n 1, 3n o 3n + 1, entonces
el cubo de dicho nmero, es decir, x1 x2 x3 x4 se puede escribir de la forma 9K 1,
9K,
9K + 1, y aplicando el criterio de divisibilidad del 9, se tiene que
x1 + x2 + x3 + x4
es de la forma
9K 1, 9K o 9K + 1,
es decir, que
x1 + x2 + x3 +x4
tiene que ser el 10, el 17, el 18 o el 19. Entonces:
103 = 1000 13 Este nmero no es solucin.
173 = 4913 = (4 + 9 + 1 + 3)3 = 173 Es solucin del problema.
183 = 5832 = (5 + 8+ 3 + 2)3 = 183 Es solucin del problema.
193 = 6859 (6 + 8 + 5 + 9)3 = 283 Este nmero no es solucin.
La solucin del problema es:
n1 = 4913 n2 = 5832
10. Hallar en el sistema de base 9 un nmero formado por tres cifras significativas,
tal que transportado al sistema de base 13 se escriba con las tres mismas cifras.
Solucin:
Sea N el nmero buscado, como tiene las tres mismas cifras significativas en
base 9 y en base 13 se tiene que
132 N < 93 169 N 728,
o lo que es lo
mismo
10013) N 44013).
Supongamos que
que
N = x1 x2 x3
entonces por lo dicho anteriormente se tiene

13)
1 x1 4, 0 x2 8 y 0 x3 8.
Entonces:
a) Si N = x1 x2 x3 169x1 + 13x2 + x3 = 81x1 + 9x2 + x3
9)
88x1 + 4x2 = 0 que no tiene solucin.
1/8
b) Si N = x1 x3 x2 169x1 + 13x2 + x3 = 81x1 + 9x3 + x2

9)
88x1 + 12x2 = 8x3 pero 8x3 64 < 88x1 + 12x2

No tiene solucin.
c) 160x1 = 68x2 40x1 = 17x2 pero 40x1 con 1 x1 4 no es mltiplo de 17
No tiene solucin.
d) Si N = x2 x3 x1 9 ) 169x1 + 13x2 + x3 = 81x2 + 9x3 + x1
42x1 = 17x2 + 2x3 donde x2 ha de ser par:
para x1 = 1 42 = 17x2 + 2x3 con x2 = 2 y x3 = 4
para x1 = 2 84 = 17x2 + 2x3 x2 = 4 y x3 = 8
para x1 = 3 126 = 17x2 + 2x3 que no tiene solucin
para x1 = 4 168 = 17x2 + 2x3 que no tiene solucin.
e) Si N = x3 x1 x2 9 ) 169x1 + 13x2 + x3 = 81x3 + 9x1 + x2
160x1 + 12x2 = 80x3 40x1 + 3x2 = 20x3 3x2 = 20(x3 2x1 )
x3 2x1 tiene que ser mltiplo de 3
tenemos:
x1 = 1, x2 = 0, x3 = 2
x1 = 2, x2 = 0, x3 = 4
x1 = 3, x2 = 0, x3 = 6
x1 = 4, x2 = 0, x3 = 8
porque si x3 2x1 3 x2 > 8
f) Si N = x3 x2 x1 9 ) 169x1 + 13x2 + x3 = 81x3 + 9x2 + x1
168x1 + 4x2 = 80x3 42x1 + x2 = 20x3 x2 tiene que ser par, es decir,
x2 = 2(10x3 21x1 ), pero como 1 x1 4 10x3 21x1 es mayor que 6
No hay solucin.
Las soluciones son:
Base 9
Base 13
214
124
482
248
210
102
420
204
2/8
630
306
840
408
11. Probar que 11n 4n es mltiplo de 7.

Solucin:
Sea A = {n/11n 4n = 7k}
) 1A?
11 4 = 7 1A
) Supongamos cierto que nA, es decir:
Veamos si
11n 4n = 7k
n + 1A, 11n+1 4n+1 = 7k1 ?
11n+1 4n+1 = 11 11n 4 4n = (7 + 4) 11n 4 4n =

= 7 11n + 4 11n 4 4n = 7 11n + 4(11n 4n ) =
= 7 11n + 4 7k = 7(11n + 4k) = 7k n + 1 + 1A
A=
12. Los coeficientes de los trminos tn , tn+1 , tn+2 que ocupan los lugares n, n+1, n+2
en el desarrollo de (a + b)14 estn en progresin aritmtica. Calcular n sabiendo
que es menor que 7.
Solucin:
El desarrollo del binomio de Newton para (a + b)14 es (a + b)14 =
14 j 14 j
a b
j
j= 0
14
Entonces las posiciones n, n + 1 y n + 2 las ocupan los trminos:

14 n 1 15n
tn =
a b
n 1
14
; t n +1 = a n b14 n
n
14 n +1 13 n
; t n + 2 =
a b
n + 1
y como los coeficientes estn en progresin aritmtica, se tiene que:

14 14 14 14

=

n n 1 n + 1 n
14!
14!
14!
14!
n!(14 n )! ( n 1)(15 n)! ( n + 1)! (13 n )! n! (14 n)!
pero multiplicando por
(n 1)! (13 n)!

14!
nos queda:
1
1
1
1
n(14 n) (14 n)(15 n) n( n + 1) n(14 n )

3/8
(n + 1)(15-n) n(n + 1) = (14 n)(15 n) (n + 1)(15 n)
9
n2 14n + 45 = 0 n =
14 196 180 14 4
=
=
2
2
5
pero como n < 7 n = 5
13. Se colocan al azar n bolas en n urnas. Calcular las probabilidades siguientes:

a) de que las n urnas queden ocupadas
b) de que quede una sola urna vaca
Solucin:
a) El nmero de cosas favorables es n! que son las n formas diferentes de colocar n
bolas en n urnas (permutaciones sin repeticin de n elementos).
Entonces:
n!
P= n
n
b) El nmero de cosas posibles es nn que es el nmero de variaciones con repeticin
de n elementos tomados de n en n.
El nmero de cosas favorables viene dado por:
Primero elegimos que urnas vamos a dejar vaca entre las n que hay y esto es
n
= n .
1
Segundo elegimos que urna va a tener dos bolas, porque las dems van a tener
n 1
una, y esto es
= n 1.
n
Tercero elegimos que dos bolas de las n que hay vamos a situar en la urna que
n n( n 1)
tendr dos bolas, esto es,
=
.
2
2
Y por ltimo situemos las (n 2) bolas restantes en las (n 2) urnas restantes
(n 2)!
Entonces las cosas favorables son:
n (n 1)
4/8
n (n 1)
( n 2)!
2
Entonces la probabilidad es:
P=
n( n 1)
n( n 1)
( n 2)! ( n 1) 2 (n 2)!
2
=
nn
2n n 2
Soluciones:
a) P =
b) P =
n!
nn
( n 1) 2 (n 2)!
2n n 2
14. En un armario hay n pares de zapatos distintos, es decir, cada par es diferente
de los restantes pares. Se toman r zapatos al azar. Se pide la probabilidad de
que entre los zapatos elegidos aparezcan exactamente h pares.
Solucin:
2n
El nmero de casos posibles es que son el nmero de combinaciones de 2n
r
elementos tomados de r en r.
El nmero de casos favorables viene dado por:
n

h
En segundo lugar debemos elegir entre los (n h) pares que quedan los r 2h de
n h
los cuales vamos a sacar un zapato de cada uno, esto es:
r 2h
2
Y por ltimo, hay formas de elegir un zapato de las dos que hay en cada par,
1
de manera que nunca elijamos un par completo.
Primero elegimos h pares entre los n que hay, esto es:
n n h
n =
2
casos favorables.
n r 2h
Entonces la probabilidad viene dada por:
Entonces hay
n n h

2
n r 2h
P=
2n

r
5/8
15. Resolver en 9 7 el sistema:

x 2y + 5z = 2
3x + y 2 z = 1
5 x + 4 y + z = 5
Solucin:
1 2 5 2
1 2
x 2 y + 5z = 2
5 2
0 7 17 5
3x + y 2 z = 1 3 1 2 1
F2' = F2 3 F1
5 4
5 x + 4 y + z = 5
1 5 F3 '=F3 5 F1 0 14 24 5
1 2 5 2
1 2 5 2
x 2 y + 5z = 2
0 0 4 2
0 0 4 2
F '3 = F3 F2
4z = 2
0 0 4 2
0 0 0 0
z = 4 x 2y + 20=2 x = 2y 18 x = 2y + 3
x = 2y + 3
z = 4
con y97
16. Demostrar que siendo n un nmero entero, la expresin

n5 5n 3 + 4n
n+2
siempre es divisible por 24.
Solucin:
Sea
xn =
n5 5n 3 + 4n
n+2
Vamos a intentar factorizar el numerador ya que, si uno de los factores fuese el

propio (n + 2) podramos simplificar la expresin.
n5 5n3 + 4n = n(n4 5n2 + 4) = n(n2 4)(n2 1) = n(n 2)(n + 2)(n 1)(n + 1)
entonces xn = (n 2)(n 1) n(n + 1).
6/8
Como queremos demostrar que xn es divisible por 24 = 8 3, es suficiente que

demostremos que xn es divisible por 8 y por 3.
xn ser divisible por ocho, porque como tenemos que xn es un producto de 4
nmero consecutivos, entonces como mnimo dos de ellos son pares, y como cada
cuatro nmeros hay uno que es divisible por 4 entonces uno de ellos ser divisible por 4
y el otro al ser par por 2, entonces xn es divisible por 8.
xn es divisible por 3 porque cada tres nmeros consecutivos hay uno que es
divisible por 3 xn es divisible por 3.
xn es divisible por 24.
17. a) Sea x un nmero racional, qu condicin debe cumplir para que existan y
1 1
sean distintos
x, x, , ?.
x x
b) Sean x e y dos nmeros racionales que cumplen la condicin del apartado a),
1 1
y adems las siguientes:
x < y, < . Indicar que nmeros son positivos
x y
del conjunto.
1 1
1 1
H = x, x , , , y, y , ,
x x
y y
c) Si adems se cumple y = MaxH,
1
< x, ordenar de menor a mayor los
x
nmeros del conjunto HU{0, -1,1}.

Solucin:
a) Para que x y x sean distintos, como x = - x 2x = 0 x = 0 debe ocurrir que
1
x {0}. Pero por otro lado se tiene que si x = x 2 = 1 x = 1 x { 1,0,1} y
x
1
1
como x y x la solucin de este apartado es:
x
x
x { 1,0,1}
b) Como x < y y adems
1
1
<
x e y tienen distinto signo, ya que si no
x
y
1 1
< . En concreto x < 0 < y Se tiene que los elementos positivos del
y x
conjunto H (que los denotaremos como el conjunto H+ ) sern:
x<y
H+ = {- x,
7/8
1
1
, y, }
x
y
1
1
< x con x< 0, se tiene que x > -1 y por lo tanto
< -1 y adems
x
x
1
1
y = MaxH y > 1
< 1. Pero al ser y = MaxH y > . Por lo tanto, el orden
x
y
de los elementos es:
1
1
1
1
- y<
< -1 < x < < 0 < < - x < 1 < - < - y
x
x
y
y
c) Como
8/8
Hojas de Problemas Algebra III
18. a) Demostrar que si n es par, los nmeros naturales n2 1 y 3n + 1 son primos

entre si.
b) Demostrar que si n = 30m, entonces la cantidad de nmeros enteros positivos
distintos de cero que no son mayores que m y que no se dividen por ninguno de
los nmeros 6, 10, 15 es igual a 22m.
Solucin:
a) Supongamos que a es un divisor primo de n2 1, entonces a divide a n 1 o a
n + 1. En caso de que divida a n 1 entonces divide a 3n 3, pero si divide a n + 1
entonces tambin divide a 3n + 3.
Supongamos que divide tambin a 3n + 1, entonces divide a (3n + 1)(3n 3)=4 o
divide a (3n + 3) (3n + 1) = 2, entonces a = 2.
Pero como 3n + 1 y n2 1 son impares (por ser n par), entonces
dividirlos, entonces son primos entre si.
a = 2, no puede
b) Como hay 30m enteros positivos no mayores que n y se cumple que:

n 30m
=
= 5m mltiplos de 6 no mayores que n
6
6
n 30m
hay
=
10
10
n 30m
hay
=
15
15
hay
n
=m
30
mltiplos de 30 no mayores de n que los hemos contado como mltiplos de 6, 10 y 15.
Pero como 30 es en mcd de 6 y 10, de 6 y 15 y de 10 y 15 hay
El nmero de enteros positivos buscado es:

30m (5m + 3m + 2m m m) = 22m
La solucin es:
22m
19. Un nmero tiene 24 divisores, su mitad tiene 18 divisores y su triple 28

divisores. Hallar el nmero.
Solucin:
Supongamos que n = 2 a1 3a 2 n3a 3 .... n5a 5
n3 ,, n3 primos.
Entonces se tiene que como:
1/8
es el nmero buscado, con 2, 3,
n
= 2 a1 1 3a 2 n3a 3 ... n5a 5
2
3n = 2 a1 3a 2 +1 n3a 3 ... n5a 5
Se verifica que:
24 = (a1 + 1)( a2 + 1) ... ( a5 + 1)
18 = a1 ( a 2 +1) ... ( a5 + 1)
28 = ( a + 1)( a + 2) ... ( a + 1)
1
2
5
Dividiendo la 1 ecuacin por la 2 ecuacin tenemos:
24 a1 + 1
=
a1 = 3
18
a1
Dividiendo la 3 ecuacin por la 2 ecuacin tenemos:
28 a2 + 2
=
a2 = 5
18 a 2 + 1
Como tenemos que 24 = (3 + 1)(5 + 19 entonces a3 = a4 =.= a5 = 0
n = 23 35 = 1944 n = 1944
20. Cuntas cifras tiene el menor nmero natural que cumple que, cuando la
primera cifra de la izquierda se coloca en el ltimo lugar de al derecha, el
nmero que resulta es una vez y media el nmero inicial?.
Solucin:
Si llamamos m al nmero de cifras, nm a la primera cifra y N al nmero que queda
despus de haber suprimido la primera cifra. Entonces.
10N + nm =
3
(
nm 10 m 1 + N )
2
nm(3 10m 1 2) = 17N.

Entonces 3 10m 1 2 debe ser mltiplo de 17 pues el nmero 17 es primo
3 10m 1 2 0(17) 3 10m 1 2(17) 3 10m 20(17) 3 10m 3(17)
10m 1(17) m 16 por el teorema de Fermat.
Como 10 y 17 son primos entre si, y el indicador de 17 es 16, el menor nmero que
verifica la periodicidad de los restos potenciales tiene que ser un divisor de 16.
2/8
Entonces como.
101 -7 (17)
102 -2 (17)
104 4 (17)
106 -1 (17)
El nmero buscado es el propio 16.

Entonces la cifra que buscamos tiene 16 cifras.
21. Demostrar que 33n+3 26n 27 es mltiplo de 169 para todo n entero positivo.
Solucin:
Sea xn = 33n+3 26n 27.
1) Efectivamente si n = 1 entonces x1 = 36 26 27 = 676 = 4 169
entonces xn es mltiplo de 169 para n = 1.
2) Si demostramos que xn+1 xn (169)
entonces aplicando el principio de
induccin tendremos que la propiedad se verifica n9+. Demostrar que xn+1 xn
(169) es lo mismo que comprobar que xn+1 xn 0(169).
Xn+1 xn = 33(n+1) + 3 26(n + 1) 27 33n+3 + 26n + 27 =
= 33n+3 33 26n 26n 26 27 33n+3 + 26n + 27 = (33 1)33n+1 26 =
= 26(33n+3 1) = 26((33 )n+1 1) = 26(27n+1 1) = {Aplicando la frmula del
polinomio ciclotmico} = 26(27 1)(27n + 27n-1 + .. + 27 + 1) =
= 262 (27n + 27n-1 + + 27 + 1) = 676 (27n + 27n-1 + . + 27 + 1) =
= 169 4 (27n + 27n+1 + . + 27 + 1) = 0(169) xn+1 xn (169)
Entonces por el principio de induccin 33n+3 26n 27
n9 .
es mltiplo de 169
22. Probar que si m y n son enteros primos entre si, y a y b enteros cualesquiera,
existe un entero x tal que
x a(m) y x = b(n)
Solucin:
Como m y n son enteros primos entre si, tenemos entonces, utilizando la identidad
de Bezout que:
1 = m + n
3/8
Pero multiplicando esta expresin por b a se tiene que:

b a = (b a) m + (b a)n
b + (a b) n = a + (b a) m
Definimos x como este nmero, es decir.
x = b + (a b)n que es lo mismo que
x = a + (b a) m porque son iguales,
y como se ve, se verifica que:
x a(m) y x b(n)
23. Sea Q(K) = {xy-1 K; x, y Z(K), y 0}, a los elementos de este subconjunto se
les llama racionales del cuerpo K. Demostrar que:
a) Q(K) es un subcuerpo de K.
b) Demostrar que es el menor subcuerpo de K.
Solucin:
Tomaremos los elementos de Q(K) como xy-1 =
a) i)
x
, que nos ser ms cmodo.
y
a c ad bc
=
con b 0 y d 0 y como se cumple que ad, bc y bd (K)
b d
bd
ad bc
Q(k ) .
bd
ii)
a c = ac con b 0 y d 0 y como ac y bd Z(K) ac Q(K ).

bd
b d bd
a

iii) b
c

d
ad
ad
con b 0, c 0 y d 0 y como ad y bc Q(K)
Q(K )
bc
bc
Q(K) es un subcuerpo de K
b) Sea K un subcuerpo cualquiera de K, entonces como 1 K (por ser un

subcuerpo de K) y si x K x+ 1 K (por propiedad aditiva), entonces por el
principio de induccin N(K) K. Es evidente tambin que O K(por ser un
subcuerpo de K) y si x K (- x) K entonces Z(K) K. Y por la propia
definicin de Q(K) podemos decir que Q(K) K
4/8
Q(K) es el menor subcuerpo de K.
24. Demostrar que

aritmtica.
2 , 3, 5 no pueden ser trminos de una progresin
Solucin:
Supongamos que si son trminos de una progresin aritmtica de diferencia d,
entonces existen trminos m y n tales que m 0, n 0 con:
3 2 = md
5 3 = nd
Por lo tanto, podemos asegurar que:

3 2 md m
=
= Q y que
n
5 3 nd
5 3 nd
n
=
= Q
3 2 md m
3 2
=
5 3
(
(
3 2
5 3
)(
)(
5+ 3
15 + 3 10 6
=
Q
2
5+ 3
5 3
=
3 2
(
(
5 3
3 2
)(
)(
3+ 2
= 15 + 10 3 6 Q
3+ 2
( 15 +
)
)
)
)
)(
10 6 y 15 10 6 Q, entonces su diferencia es un n racional
2 10 Q (contradiccin)
geomtrica.
2 , 3, 5 no son trminos de una progresin
25. Demostrar que para todo nmero natural n, el nmero dado por
An = (n5 n)(n4 + n2 6 es divisible por 210.
Solucin:
Como tenemos que:
An = (n5 n)(n4 + n2 6) = n(n4 1)(n4 + n2 6) = n(n2 1)(n2 + 1)(n4 + n2 6)
= n(n 1)(n + 1)(n2 + 1)(n2 + 3)(n2 2).
Adems tenemos que
2, 3, 5, 7.
210 = 2 3 5 7, bastar ver que An es divisible por
Es divisible por 2 y por 3 puesto que n 1, n y n + 1 son tres nmeros

consecutivos uno o dos de ellos son pares y uno de ellos es mltiplo de 3, ya que
5/8
cada dos nmeros consecutivos uno es par y cada tres nmeros consecutivos uno es
mltiplo de 3.
Es divisible por 5 puesto que:
a) Si n = 5p, ya est
b) Si n 5p utilizando el teorema de Fermat n4 1 es mltiplo de 5.
Es divisible por 7 puesto que:
a) Si n = 7p, ya est
b) Si n = 7p + 1 n2 1 = (7p + 1)2 1= 49p2 + 14p + 1 1 =
= 7(7p2 + 2p) que es mltiplo de 7.
c) Si n = 7p + 2 n2 + 3 = (7p + 2)2 + 3 = 49p2 + 28p + 4 + 3 =
= 7(7p2 + 4p + 1) que es mltiplo de 7.
d) Si n = 7p + 3 (n2 2) = (7p + 3)2 2 = 49p2 + 42p + 9 2 =
e) Si n = 7p + 4 (n2 2) = (7p + 4)2 2 = 49p2 + 56p + 16 2 =
f) Si n = 7p + 5 (n2 + 3) = (7p + 5)2 + 3 = 49p2 + 70p + 25 + 3 =
g) Si n = 7p + 6 (n2 1) = (7p + 6)2 1= 49p2 + 84p + 36 1 =
Luego An es divisible por 2, 3, 5, 7 An es divisible por 210.
26. a) Demostrar que para todo nmero natural n y p (con p < n y n 0) el nmero
p 2
n
n
An = (n + 1) - ni
es decir, por np.
i
i= 0
b) Demostrar que para todo nmero natural n y p (con p < n y n 0) el nmero
p 2
n
n
Bn = p ( p 1) n ni es divisible por (pn 1)p.
i =0 i
Solucin:
6/8
a) Tenemos que demostrar que:

n i
n 0 n p . Entonces:
i =0 i
p 2
(n + 1)n
( )
p 2
p 2
n
n
n
n
n
n
( n + 1) n n i = ni ni = ni =
i =0 i
i =0 i
i =0 i
i = p 1 i
n p 1 n p n p +1
n
=
n + n +
n + ..... + n n =
p 1
p
p + 1
n
=
n
n p +1 n n
n!
n p 1 + n p +
n + n =
( p 1)! (n p + 1)!
p
p + 1
n
p 1 p n p n p +1
n
=
n + n +
n + ...... + n n =
n
p
p + 1
n
n
p 1
p 2
n n
n n p
n
n
p
n + ..... + n
=n
+ +
(n + 1) n i 0 n p
n
i= o i
p p + 1
n
( )
p 2
n
(n + 1)n n i es divisible por np .
i =0 i
b) Sea a = p n 1 a p = p n 1
(a + 1)a = p n 1 + 1 = p na = p n ( p
a
1 )
p 2
p 2
p 2
n
n
n
n
(a + 1)a n i = p n ( p 1 ) ni (a + 1)a n i = Bn
i =0 i
i =0 i
i= 0 i
p 2
n
n
Y por el apartado a) tenemos que Bn es divisible por a p p ( p 1 )n n i es
i =0 i
n
p
divisible por (p 1) .
27. a) Demostrar que existen infinitos nmeros de la forma An = 10n + 3 que son
compuestos.
b) Hallar el menor nmero natural A tal que, dividido por 2 da de resto 1,
dividido por 3 da de resto 2, dividido por 4 da de resto 3, dividido por 5 da de
7/8
resto 4, dividido por 6 da de resto 5, dividido por 7 da de resto 6, dividido por 8

da de resto 7 y dividido por 9 da de resto 8.
Solucin:
a) Vamos a demostrar que existen infinitos An compuestos viendo que existen
infinitos An que son divisibles por 7. Sea n = 6K + 4:
An = 10 n + 3(7 ) An 106 K + 4 + 3(7 )
An 10 4 10 6 K + 3(7) An 3 4 (10 6 ) + 3(7 )
K
An 81 (106 ) + 3(7 ) y como 106 1(7) por el teorema de Fermat

K
A n 4 1K + 3(7 ) An 4 + 3(7 ) An 0(7)

An es divisible por 7. Si n = 6K + 4
An = 106K+4 + 3 K
K.
es divisible por 7 y por lo tanto es compuesto de
b) Como al dividir A por 2 queda resto 1 A + 1 es divisible por 2.

Como al dividir A por 3 queda resto 2 A + 1 es divisible por 3.
Como buscamos el menor valor de A que verifique estas condiciones
A + 1 = m.c.m (2, 3, 4, 5, 6, 7, 8, 9) = 2520
A = 2519
8/8
Hoja de Problemas n 4 Algebra IV
28. Hallar un nmero entero A que no tenga mas factores primos que 2, 5 y 7,
sabiendo adems que 5 tiene divisores ms que A y que 8 tiene 18 divisores
mas que A. Calcular tambin la suma de todos los divisores de A.
Solucin:
a) Como no tiene mas factores primos que 2, 5 y 7 A = 2 5b 7c entonces
5A = 2 5b+1 7c y 8A = 2+3 5b 7c
Utilizando la frmula que nos proporciona el nmero de divisores se tiene que:
(a + 1)(b + 2)(c + 1) = (a + 1)(b + 1)(c + 1) + 8
(a + 4)(b + 1)(c + 1) = (a + 1)(b + 1)(c + 1) + 18

(a + 1)(b + 1 + 1)(c + 1) = (a + 1)(b + 1)(c + 1) + 8
(a + 1 + 3)(b + 1)(c + 1) = (a + 1)(b + 1)(c + 1) + 18

(a + 1)(b + 1)(c + 1) + (a + 1)(c + 1) = (a + 1)(b + 1)(c + 1) + 8
(a + 1)(b + 1)(c + 1) + 3(b + 1)(c + 1) = (a + 1)(b + 1)(c + 1) + 18

(a + 1)(c + 1) = 8
( a + 1)(c + 1) = 18
(1) entonces dividiendo

3(b + 1)( c + 1) = 18 (b + 1)( c + 1) = 6
tenemos que:
a +1 4
= a = 4 1 y b = 3 1
b +1 3
que sustituyendo en (1) nos da que = 1 a = 3, b = 2, c = 1

A = 23 52 71 = 1400 A = 1400
b) Utilizando la frmula para la suma de divisores en teste problema tenemos que:
2 4 1 53 1 72 1
S=
+
+
= 15 31 8 = 3720
2 1 5 1 7 1
S = 3720
29. Demuestra que si K es un cuerpo de caracterstica p, siendo p primo, entonces

x, y K, se verifica:
(x + y)p = xp + yp
Solucin:
Tenemos que:
1/8
(x + y)p
p
p
p
p p 1 p p
= x p + x p 1 y + x p 2 y 2 + ..... +
xy + y
0
1
2
p 1
p
p p
Por un lado tenemos que = = 1 , pero por otro lado si 1 K < p y si e =
0 p
p
elemento unidad, entonces como K! = p ( p 1)( p 2) ...... ( p K + 1) se obtiene
K
que:
p
e = p ( p 1)( p 2 ) ...... ( p K + 1)e = 0
K
( K! e)
Como K!e = e(2e)(3e) (Ke) y he 0 si 1 h < p

p
K!e = 0 e = 0
K
Por lo tanto (x + y) p = xp + yp
30. Dado un subconjunto A de la recta real 3 , se dice que un punto x

3 es un
punto de condensacin de A si cualquier entorno de x contiene una infinidad no
numerable de puntos de A.
Se pide:
a) Demostrar que cualquier subconjunto no numerable de 3 admite como
mnimo un punto de condensacin.
b) Si P simboliza el conjunto de todos los puntos de condensacin de un
subconjunto A de 3 , demuestre que P es un cerrado de 3 .
Solucin:
a) Sea A un conjunto de 3 no numerable, y supongamos un intervalo cerrado y
acotado I = [-n, n] A.
Supongamos que A no tienen puntos de condensacin x[-n, n] (x) tal
que
U(x)A es como mucho numerable.
Como esto ocurre xI existe una familia {U(x) :xI} de entornos
abiertos que recubres a I, y como I es compacto existe un subrecubrimiento finito
U(x1 ),.U(xr) cuya unin es I.
r
IA = U (U ( x j ) A) que es como mucho numerable, porque es la unin finita

j =1
de conjunto como mucho numerable.
2/8
Como A = U ([ n, n] A) es a lo ms numerable, por si la unin numerable de

nN
conjuntos a los ms numerables A es numerable (contradiccin).

A tiene como mnimo un punto de condensacin.
b) Vamos a demostrar viendo que 3 - P es un abierto.
Sea x P ( x ) abierto tal que U(x)A es a lo sumo numerable. Entonces si
yU(x), como U(x) es un entorno de y que es a lo sumo numerable yP, que es el
conjunto de los puntos de condensacin U(x)a = si
xP 3 - P es un
abierto de 3 P es un cerrado de 3.
31. Demostrar que todo conjunto B de nmeros reales con un solo punto de
acumulacin es numerable.
Solucin:
Sea A = B {p} donde p es un punto de acumulacin, en concreto, el nico punto
de acumulacin de B.
Como el espacio topolgico (3, T) con T la topologa usual es Hausdorff
xB con x p se tiene que x es un punto aislado C es un conjunto de puntos
aislados.
Como (3,T) verifica el 2 Axioma de numerabilidad (C, Tc) tambin verifica
Existe una base numerable de Tc los elementos de C que son subconjuntos unitarios
y abiertos de Tc son elementos de dicha base C es numerable.
Se tiene que:
Si pB B = C que es numerable
Si p B B = C{p} que ser numerable porque C es numerable y p es un
elemento.
Entonces B es un conjunto numerable.
32. Demostrar que para dos nmeros reales x<1, y<0, existe un nico nmero
entero n tal que xn-1 y<xn .
Solucin: supongamos por reduccin al absurdo que no existe ningn entero n
tal que y<xn . Esto significa que y>xn nZ y es cota superior del conjunto
M={xn R: nZ}. Sea el supremo de M (ya que al estar acotado superiormente tiene
3/8
supremo). como x>1
es menor que
no es cota superior de M pZ /
x
x
< x p <xp+1 no es cota superior (contradiccin) nZ / y<xn .

x
Anlogamente podemos demostrar que existe un entero p tal que xp <y con p<n
evidentemente (por ser x>1). Entonces tomando la sucesin finita xp , xp+1 ,..., xn-1 , xn y
comparando trmino a trmino con y podremos encontrar uin entero m tal que p<mn
de modo que: xm-1y< xm.
33. Sean a,a,b,b nmeros racionales y un nmero irracional. Probar que el
a
b
nmero (a +b) / (a +b) es racional sii
= .
a b
a + b
es racional r(a+b)=(a+b) (a-ra) =
a + b
=rb-b entonces como rb-b es un nmero racional y a-ra tambin es racional (a-a)=
rbb
= 0, porque si a-ra0 (a-ra)Q, (rb-b)Q y tendramos que =
Q
a ra
a
(contradiccin) entonces efectivamente a-ra=0 y en consecuencia rb-b=0 r=
y
a
b
a
b
r=
=
b
a b
Solucin: "" Como r =
a
a
b
Q sea r=
r= y por lo tanto a=ra y b=rb. Por lo
a
a
b
a + b ra + rb r ( a + b)
a + b
=
=
= rQ
Q
a + b
a + b
a + b
a + b
"" Como
34. Comprobar que es racional el nmero: r = 3 20 + 14 2 + 3 20 14 2

Solucin: Sean x= 3 20 + 14 2 e y = 3 20 14 2 entonces haciendo:
(x+y)3 =x3 +3x2 y+3xy2 +y3 =
=( 3 20 + 14 2 )3 +3xy(x+y)+ ( 3 20 14 2 )3 =
= 20+14 2 +3 3 20 + 14 2
20 14 2 r+20-14 2 =
= 40+3 3 ( 20 + 14 2 )( 20 14 2 ) r = 40+3 3 400 392 r = 40+6r
4/8
tanto:
r3 = 40+6r r3 -6r-40 = 0.
Haciendo Ruffini tenemos:
1
0 -6 -40
4
1
16 40
4 10 0
r = 4
r3 -6r-40 = (r-4)(r2 +4r+10) = 0 2
con r2 +4r+10=0
r + 4r + 10 = 0
r=
4 16 40
que no tiene solucin real la nica solucin real de la ecuacin es
2
r=4 que es racional 3 20 + 14 2 + 3 20 14 2 =4Q.

35. Demustrese que la recta racional es un subespacio de la recta real.
Solucin: Demostraremos que la base BQ, subordinada por la base B de R y la
base B de Q son equivalentes.
Sea x(a,b)QBQ con a,bR entonces p,qR tales que (p,q)(a,b) con x(p,q)B.
Recprocamente, sea y(p,q)B con p,qQ entonces y(p,q)=(p,q)QBQ.
Con lo cual queda demostrado que la recta racional es un subespacio de la recta real.
36. Si el dividendo est aproximado por defecto y el divisor por exceso demostrar
que el cociente est aproximado por defecto y su error relativo es menor que
la suma de los errores relativos del dividendo y el divisor.
Resolucin:
Sea A el dividendo y A el divisor. El cociente aproximado ser:
absoluto es:
A A E A( A+ E) A( A E) AE+ A E AE+ AE
=
=
<
A A+ E
A( A+ E)
A( A+ E)
A 2
5/8
A E
y el error
A+ E
A
, el primer miembro representa el error relativo
A
del cociente , y el segundo miembro viene dado por:
Si dividimos ambos miembros por
AE+ AE A AE+ AE E E
=
= +
A 2
A
AA
A A
Por lo tanto, podemos concluir que el error relativo del cociente es menor que la suma
de los errores relativos.
37. El error relativo de la raz de un nmero aproximado por defecto es menor

que el error relativo de el nmero aproximado, dividido por el ndice de la
raz.
Resolucin:
Sea A-E el valor aproximado de A, entonces el error absoluto cometido al aproximar
A , por ejemplo, es ms grande que 5(A-E)4 E.
5
( A ) =A y el error
5
Si tomamos la raz quinta de A elevada a % se tiene que

absoluto es ms grande que:
5(5 A E ) 4 E
donde E1 es el error absoluto cometido cuando aproximamos por defecto a

A E , por lo tanto:
E> 55 ( A E ) 4 E1 E1 <
y como el error relativo
E
55 ( A E ) 4
A con
E1
E
<
55 A E 5( A E )
E1
E
es
ms
pequeo
que
se tiene que:
5
5( A E )
A
E1
E
<
5
A 5( A E )
38. Demostrar que la sucesin definida por x n +1 = 1 1 x n con 0<x1 <1, es
convergente. Calcular su lmite. Calcular el limn
xn +1
xn
Resolucin:
Vamos a demostrar lo primero que xn es una sucesin que est acotada entre 0 y
6/8
1. La demostracin de que est acotada la haremos por induccin.

Sea A={nN / 0<xn <1}.
i) 1A?
Como 0<x1 <1 1A
ii) Supongamos que nA, 0<xn <1. Veamos si (n+1)A, 0<xn+1 <1?
Como 0<xn <1 0<1-xn <1 0< 1 xn <1 0<1- 1 xn <1 0<xn+1 <1
(n+1)A.
Entonces A=N.
Por lo tanto xn es una sucesin que est acotada entre 0 y 1. Vamos a demostrar
ahora que xn es decreciente n.
Sea A={nN / xn+1 <xn }
i)
1A?
x2 <x1 1- 1 x1 <x1 1-x1 < 1 x1 es cierto pues como 1-x1 (0,1)

1 x1 >1-x1 1A.
ii)
Supongamos que es cierto que nA, xn+1 <xn . Veamos que (n+1)A,
xn+2 <xn+1 ?.
Como xn+1 <xn -xn <-xn+1 1- xn <1-xn+1 1 x n < 1 xn +1
1 x n +1 < 1 x n 1 1 x n +1 < 1 1 x n xn+2 <xn+1 (n+1)A
A=N xn es decreciente nN.
Como xn es decreciente y est acotada inferiormente por 0 xn es convergente.
Ya que xn es convergente, se cumple pues que:
limnxn = limnxn+1 = L.
Entonces:
L=1- 1 L 1 L =1-L (1-L) = (1-L)2 (1-L)-(1-L)2 = 0
7/8
(1-L)(1-1+L) = 0 L(1-L) = 0 L=0 L=1 pero L1 porque 0<x1 <1, y xn

es decreciente L=0.
lim n
lim n
1 1 xn 0
(1 1 x n )(1 + 1 x n )
xn +1
= lim n
= = lim n
=
xn
xn
x n (1 + 1 xn )
0
12 1 x n
xn (1 + 1 x n )
lim n =
= lim n
1 1 + xn
xn
= lim n
=
x n (1 + 1 x n )
x n (1 + 1 x n )
1
1
1
=
=
1 + 1 xn 1 + 1 2
8/8
Hojas de Problemas n 5 lgebra V
39. Comprobar que la serie n =1

+
n2
es convergente, y en caso de serlo, calcular su
2n
suma.
Resolucin:
Para comprobar su convergencia aplicaremos el criterio del cociente:
lim n
( n + 1) 2
n 2 2n 1
+ 2 + 2
2
n2 + 2n +1
2 n +1 = lim
n
n
n =
= lim n =
n
n2
2n 2
2n 2
2n
n2
= lim n =
1+
2 1
+
n n 2 = 1 < 1 por lo tanto la serie es convergente.
2
2
Vamos a sumar la serie:

+
n
n
n2
j2
j2
=
lim
=
lim
S
donde
S
=
n
n
n
n
n
j
j
n =1 2
j =1 2
j =1 2
Sn =
1 4
9 16 25
n2
+ 2 + 2 + 4 + 5 + ... + n
2 2
3
2
2
2
1
1
4
9 16
(n 1) 2 n 2
Sn =
+
+
+
+
...
+
+ n
2
22 32 24 25
2n
2
Restando:
1
1 3
5
7
9
2n 1 n 2
S n = + 2 + 3 + 4 + 5 + ... +
+ n +1
2
2 2
2
2
2
2n
2
1
Sn =
4
1
3
5
7
2n 3 2n 1 n 2
+
+
+
+ ... +
+ n +1 + n + 2
22 23 2 4 25
2n
2
2
1
1 2
2
2
2
2 ( n 1) 2
n2
Sn =
+ 2 + 3 + 4 + 5 + ... + n +
4
2 2
2
2
2
2
2 n +1
2n +2
1
1 1
1
1
1 ( n 1) 2
n2
Sn =
+ 2 2 + 3 + 4 + ... + n +
4
2 2
2
2
2
2 n +1
2 n+ 2
1
1
n +1
1
1 4 2
Sn =
+2
4
2 1 1
2
1
1
n +1
S n = 2 + 8 4 2
1
( n 1) 2
n2
+
2 n +1
2 n+ 2
( n 1) 2
n2
+
2 n +1
2 n +2
1 (n 1) 2
n2
1
1
S= limnSn = limn 2+16 n +1 +
= 2 + 16 = 6
n +1
n+ 2
2
2
4
4 2
40. Hallar cuntos nmeros menores que 1000 son primos con 29 y 13. Hallar
tambin la suma de los nmeros no primos con 29 y 13 menores que 1000.
Resolucin:
Como hay 999 nmeros menores que 1000, vamos a ver cules de ellos
no son primos con 13 y 29.
Como 13 y 29 son primos entre s, vamos a calcular el mnimo comn mltiplo
de 13 y 29, que es: 377, que como es menor que 1000 hay que descontarlo . Pero
23777=754, que tambin es menor que 1000, y habr que descontarlo. Y para
terminar tenemos 3377 = 1131 que es mayor que 1000.
Entonces hay 997 nmero menores que 1000 y primos con 29 y 13.
Por otro lado, la suma de los no primos con 29 y 13 menores que 1000 es
377+754=1131.
41. Calcular la arista del menor cubo en el que se pueden acoplar sin dejar
espacios vacos un nmero entero de ortoedros iguales cuyas dimensiones
expresadas en cm son C5,2 , P3 y el mdulo de 8+6i. Cuntos ortoedros pueden
acoplarse?
Resolucin:
Calcularemos primero las dimensiones de los ortoedros:
C5,2 =
5!
= 10
3! 2!
P3 =3! = 6.
64 + 36 = 10
18+6i =
Buscaremos ahora quin es el mnimo comn mltiplo de estos valores.

10 = 25
6 = 23 m.c.m.(10,6) = 30
10 = 25
Por lo tanto la arista del menor cubo ser de 30 cm. El nmero de
ortoedros vendr dado por:
30 30 30
= 353 = 45 se podrn acoplar 45 ortoedros.
10 6 10
42. Hallar el exponente de 3 en 2121.

Resolucin:
Si dividimos sucesivamente el 2121 por 3, tenemos que:
2121
021
77
17
25
Por lo tanto el exponente de 3 en 2121 es: 77+25+8+2=112.

La solucin es 112.
43. Hallar la ltima cifra en la que acaba el nmero 45932 .
Resolucin:
Veamos cules son los restos potenciales de 4 mdulo 10, para intentar
establecer, en caso de que sea posible, una recurrencia en dichos restos.
40 = 1 (mod 10)
41 = 1 (mod 10)
42 = 1 (mod 10)
43 = 1 (mod 10)
44 = 1 (mod 10)
45 = 1 (mod 10)
46 = 1 (mod 10)
Como podemos observar cuando el exponente del 4 es par el resto

mdulo 10 es 6, pero si el exponenete es impar el resto mdulo 10 es 4. Como el
exponente en este problema es 5932 = 22966 que es par se tiene que la ltima
cifra en la que acaba el nmero 45932 es el 6.
44. Encontrar el criterio de divisibilidad por 5 en base 12, y aplicrselo al nmero

12x7512 hallando x para que sea divisible por 5.
Resolucin:
Tomando los restos potenciales de 12 mdulo 5, se tiene que:
120 = 1 (mod 10)
121 = 1 (mod 10)
122 = 1 (mod 10)
123 = 1 (mod 10)
124 = 1 (mod 10)
Entonces si tomamos un nmero N= abcde12) es divisible por 5 e+2d0
c-2b+a = . Aplicando el caso 12x7512) es divisible por 5
5&
0
5+14-x-4+1 = 16-x = 5& x=1 x=6.
5&
45. Hallar cuntos nmeros menores que 1342 son primos con 19 y 53. Hallar
tambin la suma de los nmeros no primos con 19 y 53 menores que 1342.
Resolucin:
Como sabemos, hay 1341 nmeros menores que 1342. Las que no son
primos on 19 y 53 a la vez, son aquellos que sean mltiplos de m.c.m.(19,53) =
1007. Como 1007<1342 y no es pirmo con 19 y 53, habr que descontarlo.
Por lo tanto, nmeros menores que 1342 primos con 19 y 53 hay 1340.
La suma de los nmeros no primos 19 y 53 y que sean menores que 1342 es
1007, porque slo hay ese.
46. Al nmero natural m0 no cuadrado perfecto, se le suma su exce3so sobre el

mximo cuadrado en l contenido y se obtiene el nmero m1 . Operando de
modo anlogo con m1 , resulta el nmero m2 , y as sucesivamente.
Demostrar que la sucesin m1 ,m2 ,m3 ,... es indefinida, es decir, no contiene
ningn cuadrado.
Solucin:
Sea m0 el nmero antes expuesto, entonces:

n2 <m0 <(n+1)2 m1 =m0 +(m0 -n2 )+2n+1 = n2 +4n+2<(n+2)2
Como m1 = 2m0 -n2 dado que 2m0 es par m1 ser par o impar dependiendo
de que n2 sea par o impar respectivamente. m1 tiene la misma paridad que n2 m1
tiene distinta paridad que (n+1)2 m1 no es de la forma (n+1)2 m1 no es un
cuadrado perfecto. Y reiterando el proceso se tiene que mi no es cuadrado perfecto
iN.
47. En una provincia espaola el nmero correspondiente a la ltima matrcula de

vehculos concedido hasta esta fecha es el 46000. Hllese el nmero de vehculos
cuyos nmeros de matrcula son capicuas de cinco cifras.
Solucin:
Como los nmeros capicas son de la forma abcba una vez fijadas las tres
primeras cifras las otras dos vienen obligadas, por lo tanot bastar con estudiar las
posibilidades que tenemos con las tres primeras, es decir:
V10,3 =103 =1000
pero:
a) Hay que descontar los que empiezan por x>4 (5,6,7,8 y 9) o por 0, es decir:
5V10,2 =6100=1000
b) Las que tienen por primera cifra un 4 y por segunda un 6,7,8 9.
4V10,1 =40.
Entonces las solucin es: 1000-600-40 = 360
N=360.
Hoja de Problemas n 6
48.
a) De cuntas maneras se pueden repartir n bolas idnticas en urnas de
manera que r urnas prefijadas estn vacas?

b) De cuntas maneras distintas se pueden repartir n bolas idnticas en k
urnas de manera que una urna prefijada contenga r bolas (r
n)?
Resolucin:
a) Habr tantas configuraciones como maneras distintas de repartir todas las
bolas en k-r urnas. Por lo tanto habr
n + k r 1
k r 1
b) Para construir estas configuraciones tomamos r bolas y las colocamos en la
urna prefijada. Luego, las restantes n-r bolas se repartirn, de todas las maneras
posibles, entre las n-1 urnas que quedan. Por lo tanto, habr
n + k r 2
k 2
49. Discutir y resolver el siguiente sistema de ecuaciones (Andaluca 98):

ax + y + z = 1
x + ay + z = 1
x + y + az = 1
Resolucin:
Aplicando el mtodo de Gauss, vamos a triangularizar superiormente la matriz
de coeficientes ampliada:
1
a
1
1 1 a | 1
1
1 a 1 | 1 F2 = F2 F1 // F3 = F3 aF1 0 a 1 1 a | 0 F3 = F3 + F2
a 1 1 | 1
0 1 a 1 a2 1 a
1
a
1
1
0 a 1
1 a | 0
0
0
2 a 2 1 a
Los valores conflictivos del sistema son:

a-1=0 a=1
1/6
2-a-a2 =0 a =
1 1 + 8 1 3 1
=
=
2
2 2 a = 2
Caso 1: a=1
1 1 1 1
0 0 0 | 0
0 0 0 0
x+y+z=1
Rg ( A) = 1
Rg ( A | B ) = 1
S .C.I . (2 parmetros ).
n de incgnitas = 3
z=1-x-y
x,yR
Caso 2: a=-2
1 1 2 1
0 3 3 | 0
0 0
0 3
Rg ( A) = 2
Sistema Incompatible.
Rg ( A | B) = 3
Caso 3: a1 y az
1
a
1
1
1 a
| 0
0 a 1
0
0
(1 a)( a + 2) 1 a
Rg ( A) = 3
Rg ( A | B ) = 3
S.C.D.
n de incgnitas = 3
x + y + az = 1
( a 1) y + (1 a ) z = 0 y z = 0 y = z y =
a+2
1
(1 a)( a + 2) z = (1 a ) z = a + 2
x+y+az=1 x+
x=
1
1
1
a
+a
=1 x =1
a+ 2
a+2
a +2 a+ 2
a + 2 1 a
1
x=
a+2
a+2
2/6
50. Calcular el valor del determinante:

1+ x
1
1...
1
1+ x
1
1...
1
1
1 + x 1...
1
1+ x 1+ x
1...
1
D= 1
1 1 + x... 1 = {F1 = F1 + ... + Fn } = 1 + x
1
1 + x... 1 =
...
...
...
...
...
...
...
...
1
1
1 1+ x
1+ x
1
1 1+ x
1
1
1...
1
1 1
1 1+ x
1...
1
0 x
(1 + x) = 1
1
1 + x... 1 = {Fi = Fi F1 , i > 1} = (1 + x ) 0 0
... ...
...
...
... ...
1
1
1 1+ x
0 0
1...
0...
x...
...
0
1
0
0 = (1 + x) x n 1
...
x
D=(1+x)xn-1
51. Sea G el grupo cclico infinito generado por x. Sea Y={y=x12a+30b+42c; a,b,c
Z}.
Llamemos H al subgrupo cclico de G generado por x6 . Probar que H=Y.
Resolucin:
() Es fcil ver que como yY y=x12a+30b+42c=(x6 )2a+5b+7c yH
Por lo tanto, se tiene que YH.
() Como el m.c.d.(2,5)=1, es decir, 2 y 5 son pirmos entre s entonces

aplicando la identidad de Beront tenemos que existen u y vZ tales que 1=2u+5v, por
lo tanto:
nZ tenemos que n=2nu+5nv y en concreto 6n=12nu+30nv+420 x6n Y,
entonces HY. Entonces H=Y.
52. Sea G un grupo. Probar que la aplicacin fa : G
G difinida por:
x
fa (x) = axa-1 x
G y a
G es un automorfismo.
Sea F el conjunto de todos los automorfismos anteriores. Estudiar la estructura
que confiere a dicho conjunto la ley de composicin de aplicaciones.
Resolucin:
3/6
A)
1) Como x,yG, fa(sy) = a(xy)a-1 = a(xa -1ay)a-1 = (axa -1)(aya -1) = fa (x) fa(y)
fa es un homomorfismo.
2) xG (fa-1fa)(x) = fa-1(axa-1) = a-1axa-1a = x
(fafa-1)(x) = fa(fa-1(x)) = fa (a-1xa) = aa-1xaa1 = x
fa tiene inverso
fa es un automorfismo
b)
1) fb fa(x) = fb (axa -1) = baxa -1b-1 = bax(ba)-1 = fba(x) xG fbfa = fba

2) Como la composicin de aplicaciones ya es asociativa, en este caso tambin
lo es.
3) Si eG es el elemento neutro de G fe es el elemento neutro de (F,), pues
faF fefa = fea = fa y fafe=fae = fa.
4) Por lo visto anteriormente fa tiene anteriormente inverso, que es fa-1.
(F,) es un grupo.
53.
Sea Q[x] el conjunto de los polinomios de una indeterminada con
coeficientes racionales. Demostrar:

a) Siendo xm -1, xn -1, dos polinomios de Q[x] tales que: m.c.d.(m,n) = d, se
verifica m.c.d.(xm -1, xn -1) = xd-1.
b) Que no existe ningn polinomio p de Q[x] tal que p
0, p
1 y que la
funcin polinmica p(x) cumpla p(x+y)=p(x)p(y) x,y
Q.
Resolucin:
a)
Las races en los complejos de xm-1 y xn -1 son las races m-simas y n-simas de
la unidad.
Los ceros o races comunes de xm-1 y xn -1 son los ceros del m.c.d.( xm-1, xn -1),
es decir, las races d-simas de la unidad donde d=m.c.d.(m,n), esto viene basado en e
teorema de Beront con d=am+bn y rm=1 y rn =1 rd=ram+bn =1 m.c.d.(xm-1, xn -1) =
= xd-1.
4/6
b)
Si tomamos x=y p(zx) = (p(x))2 xQ.
Si p(x) es de grado d p(2x) es de grado d (p(x))2 de grado 2d d=2d d=0.

Como d=0 p(x)=c p(x+y) = d = p(x)p(y) = d2 d=d2 d(d-1) = 0
d = 0
p = 0 o p =1.
d = 1
54.
Sea U=(ui j) la matriz cuadrada de orden n donde ui j=1 para todo (i,j). Sea
F={A
Rn,n , AU=UA= (A)U, (A)
R}. Prubese:
1) F es un subespacio de Rn,n .
2) Si A
F y existe A-1, entonces A-1 F y (A)
0. Relacionar (A) y (A-1).
3) Si A, B
F, entonces AB
F. Calcular (AB).
n
4) A
F
i =1
ij
= a ij = ( A) (i , j )
j =1
5) La aplicacin A
(A) es una forma lineal.
Resolucin:
1) F0 pues la matriz nula est en F.
Si tomamos A,BF y ,R, entonces:
(A+B)U = AU+BU = UA+UB = U(A+B)
(A+B)U = (A)U+(B)U = ((A)+ (B))U
A,BF y ,R A+B F con (A+B) = (A)+ (B). Entonces F es
un subespacio vectorial de Rn,n .
2)
Sea AF y sea A-1, que existe.

AU = UA = (A)U U = A-1UA = (A)A-1U (A)0 puesto que si (A)=0
U sera nula.
Entonces U =
1
1
AU =
UA .
( A)
( A)
AU = UA A-1AUA-1 = A-1UAA-1 UA-1 = A-1U

1
1
UA-1 =
UA A 1 =
U
( A)
( A)
A-1U = UA-1 =
1
1
U y ( A 1 ) =
( A)
( A)
5/6
3)
AU = UA = (A)U
AU = UA = ( A)U
ABU = AUB = ( B ) AU ABU = UAB = (B)(A)U
BU = UB = ( B)U
A,BF y (AB)= (A)(B)
4)
5)
AU = (A)U
j =1
i 01
aij = a ij = ( A) i, j {1,..., n}
Sea f: FR aplicacin: f(A+B) = (A+B) = (A)+ (B) f es una
forma lineal.
6/6
Hoja de Problemas lgebra VII
55. Supongamos que la funcin g est definida y es derivable en [0,1]. Supongamos

que g(0)<0<g(1), 0<a
g(x)
b donde a y b son constantes. Probar que existe una
constante M tal que la solucin de la ecuacin g(x)=0 se puede econtrar aplicando
el algoritmo de iteracin a la funcin f(x)=x+Mg(x), para qu valores de M la
sucesin definida por xn+1 =f(xn ) converge cuadrticamente a la solucin de
g(x)=0?
a)
|f(x)| = |1+Mg(x)|<1
-1<1+mg(x)<1 -2<Mg(x)<0
2
2
2
2
<M<0 como
g (x )
a
g ( x)
b
2
< M <0
b
x0 =2
f(0)=Mg(0)>0
f(1)=Mg(1)<0
f(x)=1+Mg(x)0 M
1
1
1
1
1
como
M
g( x)
a
g( x) b
b
1
M < 0 para que f sea Lipschitziana de [0,1][0,1] con constante de
b
Lipschitz M
b)
Debe cumplir que:

con f()=; f(x)=0
f(x)=1+Mg(x) = 0
M =
1
g(x )
56. Mostrar que la funcin F(x)=x-e -x satisface las condiciones de convergencia

global del mtodo de Newton en el intervalo [0,1]. Resuelve la ecuacin F(x)=0
comenzando en x0 =05.
i) F(a)F(b)<0
F(0)= 0 -e0 =-1
F(0)F(1)<0
F(1) = 1-e-1= 1 -
1/8
1
= 0632120558
e
F(0)F(1) = (-1)0632120558= -06321...

ii) F(x)0 x[a,b]
F(x)0 x[0,1]
F(x)=1+e-x = 1+
1
1
1
como 1>0 y x >0 1+ x >0 x[0,1]
x
e
e
e
F(x)0 x[0,1]
iii) F(x) x[a,b] F(x)0 x[a,b]
F(x) = e-x=
1
1
como x >0 xR F(x)<0 x[0,1]
x
e
e
iv) Si c es el extremo del intervalo [a,b] donde |F(x)| es menor entonces
F (c )
ba
F (c)
F(x)=1+1/e donde F(x) es menor es para x=1 con F(1) = 1+1/e. Entonces c=1
F (1)
1 e
1 0
F(1)
1 + e 1
1
1
1
1
e =
e = e 1 1 Si
1
1
e +1
e +1
1+
e
e
1
F(x)=x-e-x
F(x)=1+e-x
x0 =05
F ( x0 )
05 e 0 5
x1 =x0 =05= 0566311003
F( x 0 )
1 + e 0 5
x2 =0567143
x3 =0567143
La x[0,1] / F(x)=0 es x=0567143
57. Calcular
con nueve cifras decimales exactas.
Utilizaremos F(x)=x2 - en [1,3].

Veremos que cumple las condiciones del Teorema global de Newton.
i) F(1)=1-<0, F(3)=9->0 F(1)F(3)<0
ii) F(x)=2x
F(x)0 x[1,3]
2/8
iii) F(x)=2 0 x[1,3]

iv) c=1
F (1)
1
=
= 107079 2
F(1)
2
Sea x0 =2
x1 =1785398163
x2 =1772500775
x3 =1772453852
x4 =1772453851
x5 =1772453851
=1772453851
Hay que calcular el error:
|xn -|
Ln
1
| x 0 x1 |< 10 q f(x)= ( x + )
1 L
2
x
|f(x)<1 [15,2]
x0 =2
x1 =1783 n=18 habr que afinar decimales exactas
f(x)=
1 1
2 2 x2
L=f(2)
58. Determinar el nico cero positivo del polinomio p(x)=x3 +x2 -x-1 por el mtodo
de Newton.
Cogemos F(x) = x3 +x2 -x-1 en [15,25].
i) F(15)=-1375<0
F(25)=5875>0
F(15)F(25)<0
ii) F(x)=3x2 -2x-1
F(x)0 x[15,25]
F(15) = 275 y es creciente.
iii) F(x)=6x-2 >0 x[15,25]
3/8
F (15)
1375 1375
=
=
<1
F(15)
275
275
Sea x0 =2
x1 =1857142857
x2 =1839544513
x3 =1839286810
x4 =1839286755
x5 =1839286757
Su raz positiva es x=1839286757
59. Supongamos que y est definido por la frmula y= z + z + z + ... donde
z
(0,+
). a) Busca un mtodo iterativo para calcular y determinando para que
valores la iteracin converge. b) Calcular y.
a)
f(x)= z + x
x0 =0
x1 =f(0)= z
x2 =f(x1 )= z + z
.
.
.
xn =f(xn-1)= z + z + z + ... limn fn (x)
f(x)=
f(0)=
1
decreciente
2 z+x
1
2 z
f(x)<f(0)<1
1
2 z
f:[0,+) [0,+)
<1
L=
1
<
2
1
2 z
z+x =x
x2 =z+x
4/8
z z>
1
4
x2 -x-z
x=
1 1 + 4z
1 + 1 + 4z
y=
2
2
b)
y= z + x
y=x
-z
z<
1
4
f:[a,+)[a,+)
f(x)<f(a)<1 f(a)=
1
2 a+ z
1
1
< a + z z < a y x0 [a,+)
4
4
xn = z + z + ... + x0 y
porque el punto fijo es nico.
60. Probar que la ecuacin x=1-tg-1(x) tiene solucin . Encontrar un ijtervalo [a,b]
que contenga a tal que para cualquier x0 [a,b], la iteracin xm+1 =1+tg-1(xm ) m
0 tienda hacia x. Calcular las primeras iteradas y ver la rapidez de convergencia.
x=1+arctg(x)
1) Tiene solucin?
Sea f(x)=1+arctg(x)-x, cojamos [1,3]:
f(1)=07854
f(3)-07509
como f es continua en [1,3] y se tiene que f(1)f(3)<0, aplicando el teorema de
Bolzano c[1,3] tal que f(c)=0 f(c)=1+arctgc-c = 0 c = 1+ arctg c
5/8
2) Para el intervalo [1,3] tenemos que si f(xn )=1+tg-1(xn ) se cumple que

f:[1,3][1,3] y [1,3] contiene c / f(c)=c y adems f(x)=
f(x)=
1
y se cumple que:
1 + x2
1
<1 x[1,3]f es lipschitziana (contractura)x0 [1,3] xm+1 =1+tg-1(xm)
1 + x2
m 0 tiende hacia c.
61. Probar que el grupo simtrico Sm puede obtenerse a partir del ciclo de m
elementos y de una transposicin.
Solucin:
1 2 3.... m 1 m
Sea el ciclo C =
y consideremos la transposicin
2 3 4.... m 1
1 2
T=
; el ciclo inverso C-1 que operado con C nos da la identidad es:
2 1
1 2 3.... m
C-1 =
. Vamos a considerar las sustituciones obtenidas mediante el
m 1 2.... m 1
producto C-h. T Ch siendo h un exponenete que puede tomar valores entre 0 y m-1. As
por ejemplo para h=0, resulta la misma T, ya que C0 =identidad. Para h=1 tendremos:
m 1 2 1 2 3.... m 1 m
1 2 3....
m 1 2.... m 1 2 1 2 3 4.... m 1
1 m
Es una transposicin
ya que todos los elementos permanecen
m 1
invariantes excepto esos dos.
121m
m 1 2 1
Vamos a generalizarlo para una potencia cualquiera.
2
3....
m 1 m h + 1 m h + 2.... m 1 m
1
Ch =
1
2.......
h 1 h
1 + h 2 + h 3 + h.... m
1
2
3....
h h + 1 h + 2 h + 3... m
C-h=
2
3... m h
m h + 1 m h + 2 m h + 3.... m 1
6/8
El producto C-h T Ch mantiene invariantes todos los elementos excepto el mh+1 y el m-h+2. En efecto:
m-h+1 1 2 m-h+2
m-h+2 2 1 m-h+1
Es decir, haciendo h=2 obtenemos la transposicin:
m 1
m
m
m 1
m 1 m 2
3 2
Haciendo h = 3 tendremos
. Para el valor h=m-1 resulta
.
m 2 m 1
2 3
Es decir, tendresmos el conjunto de transposiciones:
(2,1); (1,m); (m,m-1); .....................(5,4); (4,3); (3,2)
Recordemos que segn un teorema toda sustitucin de un grupo simtrico Sm puede
escribirse como producto de transposiciones. Por otra parte, una transposicin
cualquiera (a,b) puede expresarse mediante un producto de transposiciones del conjunto
anterior:
Supongamos a>b
(a,b) = (a,a-1) (a-1,a-2)(a-2,a-3)...(b+2,b+1), (b+1,b) (b+1,b+2)...(a-2,a-1) (a-1,a)
En efecto:
a a-1 a-2 ... b+2 b+1 b+1 b
a-1 a a-1 ...................................................
a-2 a-1 a-2 ....................................................
.................................................................................
b+2 b+3 b+2
b+1 b+2 b+1
b b+1 b+2 .................. a-2 a-1 a
Resumiendo una sustitucin cualquiera puede expresarse como producto de
transposiciones y stas, a su vez, vienen dadas como productos de trasnposiciones del
conjunto anterior.
7/8
62. En el conjunto P de los nmeros enteros pares se definen dos operaciones: una
de ellas es la adicin ordinaria y la otra hace corresponder a dos elementos x, y, el
elemento producto xy/2. Demostrar que P tiene estructura de anillo.
Solucin:
Veamos que el conjunto P con la adicin ordinaria es un subgrupo del grupo
aditivo de los enteros.
Bastar comprobar que si xP, yP entonces:
x*y-1P. En efecto:
Si
x P x = 2K
-1
-1
x*y = 2k+(-2h) = 2(k-h), luego x*y P.
y P y = 2h
Por consiguiente P respecto a la primera operacin tiene estructura de grupo, que
adems es abeliano ya que la adicin ordinaria es conmutativa.

La segunda operacin definida en P es cerrada; basta observar que si x=2, y=2
tambin x y= xy/2 es mltiplo de dos.
Se verifica la propiedad asociativa:
x (y z)= x (yz/2) =
y z
2 = xyz
2
4
xy
z
xyz
(x y) z = (xy/2 z) = 2 =
2
4
Es fcil ver que se cumplo la propiedad distributiva a derecha e izquierda, puesto
que: x (y*z) = x (y+z) =
x( y + z )
2
(x y)*(x z) = xy/2+xz/2 =
x( y + z )
2
Anlogamente se comprobara a la derecha:

(y*z) x= (y x)*(z x)
8/8
Hoja de Problemas lgebra VIII
63. Dados tres vectores cualesquiera del espacio ordinario de la geometra clsica
de tres dimensiones, demostrar que la condicin necesaria y suficiente para que
sean linealmente independientes es que no sea nulo su producto mixto.
Solucin:
Sean los vectores
a=(x1 y1 z1 ); b=(x2 y2 z2 ); c= (x3 y3 z3 )
La independencia lineal exige:
1 a+2 b+3 c=0 1 =2 =3 =0. Expresando las igualdades escalares:
1 x1 + 2 x 2 + 3 x3 = 0
1 y1 + 2 y 2 + 3 y 3 = 0
1 z1 + 2 z 2 + 3 z 3 = 0
La condicin necesaria y suficiente para que un sistema homogneo tenga
soluciones diferentes de la impropia, es decir, soluciones distintas de 1 =2 =3 =0 es que
el determinante
x1
x2
x3
y1
z1
y2
z2
y3 = 0
z3
Por consiguiente, si dicho determinante es diferente de cero, la igualdad

vectorial 1 a+2 b+3 c=0 slo se cumple cuando 1 =2 =3 =0; pero dicho determinante
es la expresin del producto mixto de dichos vectores a,b,c.
64. Demustrese que el conjunto C={(x,y,z,-x): x,y
R} con una operacin suma
definida as:
(x,y,y,-x)+(w,z,z,-w) = [x+w,y+z,y+z, -(x+w)] y con el producto por un
escalar k
R definido por:
k(x,y,y,-x)=(kx,ky,ky,-kx)
constituye
un
espacio
vectorial
de
dos
dimensiones.
Solucin:
Demostremos que C es un subespacio del espacio vectorial R4 . Para ello basta
comprobar el carcter cerrado respecto a la suma de vectores y respecto al producto por
un escalar.
1/11
En efecto:
(x,y,y,-x)+(w,z,z,-w) = [x+w,y+z,y+z,-(x+w)]C
k(x,y,y,-x) = (kx,ky,ky,-kx)C
Una base de dicho espacio vectorial est formada por los vectores (0,1,1,0) y
(1,0,0,-1).
1) Son linealmente independientes. Es obvio, ya que ninguno de ellos puede
obtenerse multiplicando el otro por un escalar.
2) Adems, cualquier vector de C puede expresarse como una combinacin de
estos dos:
(x,y,y,-x) = x(1,o,o,-1)+y(0,1,1,0)
Como todas las bases de un espacio tienen el mismo nmero de vectores, queda
demostrado que la dimensin es dos.
65. Sea A un anillo conmutativo y con uno, NA su nilradical. Demostrar que las
condiciones siguientes son equivalentes:
i) A tiene un nico idel primo.
ii) Todo elemento de A es unidad o est en NA (es decir, es nilpotente).
iii) A/ NA es un cuerpo.
Solucin:
i) ii)
Sea xA, si x es unidad ya est demostrado, si no es unidad entonces (x) es un
ideal propio, luego est contenido en un ideal maximal y por tanto en un ideal primo,
como solo existe un ideal primo, P, se sigue que
xPi = P, Pi primo x NA,
y en consecuencia x es nilpotente.
Obsrvese que la interseccin de todos los ideales primos de un anillo es el
nilradical.
ii) iii)
Sea x+ NA 0 entonces x NA
x no es nilpotente
x es unidad
y + NA = (x+ NA)-1,
2/11
entonces A/ NA es un cuerpo.
iii) i)
Supongamos que A tiene ms de un ideal primo, sean P y Q dos ideales primos distintos
de A, entonces existe un xA que est en uno de ellos y no en el otro.
Sea xP, xQ, entonces x NA =Pi, Pi primo, luego
x+ NA 0
x + NA es una unidad en A/ NA
x+ NA / (x+ NA)(y+ NA) = 1 + NA.
xy-1 NA
xy-1P
1P, pues xP
luego P=A, contradiccin.

66. Resolver la ecuacin x2 +2y2 =z2 en el anillo de los nmeros enteros.
Solucin:
* Sea d el mximo comn divisor de x e y, es decir, d=m.c.d.(x,y), entonces
x=dx1 , y=dy1
y sustituyendo en la ecuacin dada, resulta:
d2 x2 1 +2d2 y2 1 =z2
es decir
d2 (x2 1 +2y2 1 )=z2
de donde se sigue que d es un divisor de z, y por tanto, z=dz1 . Sustituyendo en la

ecuacin anterior resulta:
d2 (x2 1 +2y2 1 )=d2 z2 1
x2 1 +2y2 1 )=z2 1
(1)
La ecuacin dada y la ecuacin (1) son de la misma forma, y las soluciones de ambas
son proporcionales, es decir, si (a,b,c) es una solucin de (1) la terna (da,db,dc) es una
solucin de la dada.
Por tanto, supondremos que m.c.d.(x,y,z) = 1, m.c.d.(x,y) = 1, y tambin que m.c.d.(x,z)
= 1 y m.c.d.(y,z)=1.
* De lo anterior se deduce que x es un nmero impar. Puesto que 2y2 es par, z2 es impar
y, por tanto, z es impar.
3/11
* De la ecuacin dada se sigue que:

2y2 = z2 -x2 = (z+x)(z-x),
(2)
Puesto que x y z son impares, los nmeros z+x y z-x son pares. Veamos adems que el
mximo comn divisor de z+x y z-x es 2. En efecto si d es su mximo comn divisor se
tiene:
z+x = da, z-x = db
con a y b nmeros primos entre s. De estas relaciones se obtienen:
2z = d(a+b)
2y = d(a-b)
Puesto que m.c.d.(x,z) = 1 se sigue que m.c.d.(2z,2y) = 2 y por tanto, d=2. De la
ecuacin (2) y teniendo en cuenta el resultado anterior, deducimos que:
1
1
( z + x ) ( z x) es impar.
2
2
Por tanto, son primos entre s los nmeros
z+x y
1
(z x )
2
z-x
1
(z + x ) .
2
los nmeros
y
En el primer caso de la igualdad,

z x
y2 =(z+x)
2
se deduce que y2 es un cuadrado que
z + x = n 2
(3)
z x = 2m 2
y de la segunda posibilidad tenemos que:
z x = n 2
(4)
z + x = 2m2
siendo m y n nmeros enteros, m impar.
i) Del sistema (3) y de la ecuacin (2) obtenemos:
* z=
1 2
1
( n + 2m 2 ), x = ( n 2 2 m 2 ), y = nm, ( 5)
2
2
ii) Del sistema (4) y de la ecuacin (2) obtenemos:
4/11
1 2
1
( n + 2m 2 ), x = ( 2m 2 n 2 ), y = nm, ( 6)
2
2
Las frmulas (5) y (6) pueden reunirse en la siguiente:

1
1
* x = ( n 2 2m 2 ), z = ( n 2 + 2 m 2 ), y = nm, ( 7)
2
2
con m, como ya hemos dicho, impar. Ms an, para que x y z sean nmeros enteros, los
parntesis de (7) deben ser nmeros pares, lo que implica que n debe ser para ya que
2m2 lo es.
* Poniendo n=2u y m=v, las frmulas generales que dan las soluciones de la ecuacin
dada, suponiendo que x,y,z son enteros positivos sin divisor comn mayor que 1, son:
* x=(u2 -2v2 ), y=2uv, z=u2 +2v2 ,
(8)
siendo u y v nmeros enteros positivos primos entre s y v impar.

Por tanto, las frmulas (8) dan todas las soluciones de la ecuacin dada en nmeros
enteros positivos y primos entre s, para ello basta elegir a y b de mod que x sea
positivo. Por otra parte, estas ecuaciones satisfacen, como puede comprobarse
sustituyendo la ecuacin dada.
Finalmente sealemos que las restantes soluciones se obtienen a partir de stas
multiplicando por un nmero cualquiera entero d o poniendo signos arbitrariamente.
67. Dada la ecuacin x2 +y2 =z2 , (1), se pide:

a) Resolver dicha ecuacin en el anillo de los enteros.
b) A cada solucin s(a,b,c) encontrada se le asocia el nmero complejo
w=
a + bi
. Probar que la multiplicacin en el conjunto de los nmeros complejos
c
as construidos subordina en el conjunto de soluciones enteras de la ecuacin una

ley interna. Estudiar las propiedades de esta ley.
Solucin:
a) Para nmeros enteros positivos, se trata evidentemente de valores que verifican el
teorema de Pitgoras. Por eso cada terna que verifica la ecuacin se dice que est
formada por nmeros pitagricos.
5/11
* Sea d el mximo comn divisor de x e y, es decir, d=m.c.d.(x,y), entonces

x=dx1 , y=dy1
y sustituyendo en la ecuacin pitagrica, resulta:
d2 x2 1 +d2 y2 1 =z2
es decir
d2 (x2 1 +y2 1 )=z2
de donde se sigue que d es un divisor de z, y por tanto, z=dz1 . Sustituyendo en la

ecuacin anterior resulta:
d2 x2 1 +d2 y2 1 =d2 z2 1
x2 1 +y2 1 =z2 1
(2),
La ecuacin (2) es tambin de la misma forma que la dada, y las soluciones de amas son
proporcionales, es decir, si (a,b,c) es una solucin de (2), (da,db,dc) es una solucin de
(1).
Por tanto, para resolver la ecuacin (1) es suficiente limitarse al caso en que los valores
x e y son primos entre s, es decir, m.c.d.(x,y)=1.
* Si m.c.d.(x,y)=1 entonces al menos uno de los nmeros es impar; sin perder

generalidad podemos suponer que es, por ejemplo, x. De la ecuacin (1) se tiene:
x2 =z2 -y2 =(z+y)(z-y)
Sea d1 =m.c.d.(z+y,z-y) entonces podemos escribir que
z+y=d1 a, z-y=d1 b, m.c.d.(a,b)=1
luego x2 =abd2 1 , (3).
Puesto que los nmeros a y b son primos entre s, la ecuacin anterior es cierta si a y b
son cuadrados perfectos, es decir,
a=m2 y b=n2
Sustituyendo estos valores en la ecuacin (3) obtenemos:
x2 =m2 n2 d2 1 ,
es decir
x=mnd 1
(4)
De las relaciones
z + y = ad1 = m 2 d 1
z y = bd1 = n 2 d1
se obtiene:
2z=(m2 +n2 )d1

2y=(m2 -n2 )d1
(5)
y de aqu
6/11
z=
1 2
(m + n 2 )d 1
2
(6)
y=
1 2
( m n 2 ) d1
2
(7)
Es evidente que los nmeros m,n y d1 son impares ya que x=mnd1 es un nmero impar,
segn hemos supuesto. Ms an, d1 =1, ya que en caso contrario d1 sera un divisor de x e
y, basta tener en cuenta las relaciones (4) y (5), ya que en (5) d1 dividira a y por no ser
d1 par. Contradiccin con la hiptesis de que x e y son primos entre s.
Puesto que d1 =1, las relaciones (4), (6) y (7) se reducen a:
y=
x=mn,
1 2
( m n 2 ) d1
2
z=
1 2
( m + n 2 ) d 1 , (m>n), (8)
2
siendo m y n nmeros impares y primos entre s. Estas frmulas nos permiten obtener
todas las ternas de nmeros enteros positivos sin divisores comunes, y que verifican la
ecuacin pitagrica (1).
Ejemplos:
*Si n=1 y m=3 se tiene la terna clsica: (3,4,5)
*Si n=1 y m=5 se obtiene la terna: (5, 12, 13).
*Si n=3 y m=5 se obtiene la terna: (15,8,17).
Las soluciones que se derivan de las frmulas (8) son aquellas que no tienen divisores
comunes; las restantes se obtienen a partir de estas multiplicando por un entero
arbitrario d o poniendo arbitrariamente signos a x,y,z.
b) Sea (a,b,c) una solucin de la ecuacin pitagrica, entonces el nmero complejo

asociado es: w=
a + bi
.
c
Para que este cociente tenga sentido c debe ser evidentemente distinto de cero, luego la
solucin nula (0,0,0) de la ecuacin pitagrica no tiene asociado ningn nmero
complejo.
Por otra parte, es tambin evidente que dos soluciones proporcionales tienen el mismo
nmero complejo por imagen, es decir, la aplicacin de S*=S-{0,0,0} en C no es
inyectiva.
Teniendo en cuenta que
(a,b,c)
a + bi
c
7/11
(d,e,f)
d + ei
f
y que,
a + bi d + ei
( ad be ) + ( ae + bd ) i
=
c
f
cf
se puede definir formalmente una operacin de SxS en S de la siguiente forma,
obviando las dificultades anteriores:
(a,b,c)*(c,d,e) = (ad-be, ae+bd, cf)
a) * es una operacin interna.

En efecto,
(ad-be)2 +(ae+bd)2 =a2 d2 + b2 e2 + a2 e2 + b2 d2 - 2abde + 2abde =
=(a2 +b2 )(d2 +e2 )
=c2 f2 =(cf)2
b) * es asociativa por serlo la multiplicacin en C.
c) * es conmutativa por serlo la multiplicacin en C.
d) * tiene elemento neutro y es la terna (1,0,1).

En efecto,
(a,b,c) * (1,0,1) = (a,b,c)
e) * no tiene elemento inverso.

En efecto, si (x,y,z) es el elemento inverso de (a,b,c) se tiene:
(a,b,c)*(x,y,z) = (ax-by, ay+bx, cz) = (1,0,1)
de donde cz=1, ecuacin que no tiene solucin en Z si |c|1.
Por tanto, (S,*) es un semigrupo conmutativo y con unidad.
b) Hemos visto que dos soluciones proporcionales dan lugar al mismo nmero
complejo, se tiene as la siguiente relacin de equivalencia en el conjunto de solucioes
S*:
(a,b,c) R (d,e,f) (d,e,f) = (ta, tb,tc)
Designaremos por [(a,b,c)] la clase de equivalencia y por T el conjunto cociente S*/R.
La operacin * en T viene definida por:
[(a,b,c)]*[(d,e,f)] = [(ad-be, ae+bd,cf)]
8/11
Ahora la aplicacin de T en C es evidentemente inyectiva. Operar, por tanto, en T, es lo

mismo que operar en C.
Veamos ahora las propiedades que verifica esta operacin en T.
i) * es una operacin interna por lo visto en b)
ii) * es asociativa por serlo la multiplicacin en C.
iii) * es conmutativa por serlo la multiplicacin en C.
iv) * tienen elemento neutro y es [(1,0,1)].
v) * tiene elemento inverso.
En efecto, si [(x,y,z)] es elemento inverso de [(a,b,c)] se tiene que cumplir que:
[(a,b,c)]*[(x,y,z)] = [(ax-by,ay+bx,cz)] = [(1,0,1)]
La ecuacin ay+bx = 0 tiene solucin tomando y=-b, x=a.
Por tanto para que (a,-b,z) sea una terna pitagrica, hemos de tomar z=c. Se tiene
as que:
[(a,b,c)]*[(a,-b,c)] = [(a2 +b2 ,0,c2 )] = [c2 (1,0,1)] = [(1,0,1)]
Por tanto, (T,*) es un grupo conmutativo.
68. Determinar un nmero entre 400 y 500 tal que al dividirlo por 6 se obtenga de
resto 5, y al dividirlo por 11 el resto es 2.
Solucin:
Si A es el nmero que verifica las condiciones dadas se tiene que cumplir:
A = 6x + 5
A = 11 y + 2
(1)
(2)
por tanto, 6x+5=11y+2

de donde 6x+3 = 11y
y de aqu
6x+3 mod 11
es decir,
2x+1 mod 11
Si x =5 entonces 25+1 0 mod 11

luego,
x=5+11t
Sustituyendo este valor en la ecuacin (1) resulta que:

A=35+66t
*Para t=0 se tiene A=35 que no cumple las condiciones.
9/11
*Para t=1 se tiene A = 101, tampoco cumple las condiciones.

*Para t=2 se tiene A=167, tampoco vlida.
---------------------------------------------------------------------------------------------------------*Para t=6 se tiene A=35+396 = 431
*Para t=7 se tiene A = 35+462 = 497
que son las soluciones vlidas.
69. Dado el sistema de ecuaciones:

x 3 + y 3 + z 3 = 3
x + y + z = 3
hallar las soluciones enteras, es decir, resolverlo en Z.
Solucin:
x 3 + y 3 + z 3 = 3
El sistema
es equivalente a,
x + y + z = 3
( x + y )( x 2 xy + y 2 ) + (3 ( x + y )) 3 = 3
z = 3 ( x + y)
( x + y )(3( x + y ) ( 9 + xy)) = 8
de donde,
.
z = 3 ( x + y)
Teniendo en cuenta la primera ecuacin, las soluciones de x e y se obtienen resolviendo
los sistemas que resultan al descomponer 8 en producto de dos nmeros enteros de
todas las formas posibles e igualando cada uno de los factores del primer miembro a
dichos nmeros enteros. Los casos posibles son:
1)
x + y = 8
x + y = 8
3( x + y ) (9 + xy) = 1 XY = 34
2)
x + y = 8
x = 4
x + y = 8
3( x + y ) (9 + xy) = 1 xy = 16
y = 4
No tiene soluciones en Z.
Por tanto, la solucin del sistema es: x=4, y=4, z=-5.

3)
x + y = 4
x + y = 4
No tiene solucin en Z.
3( x + y ) (9 + xy) = 2 xy = 23
4)
x+y=4
x + y = 4
3( x + y ) (9 + xy) = 2 xy = 5
5)
x + y = 2
x + y = 2
3( x + y ) (9 + xy) = 4 xy = 19
No tiene soluciones en Z.
10/11
6)
x+y=2
x = 1
x + y = 2
3( x + y ) (9 + xy) = 4 xy = 1
y = 1
Por tanto la solucin del sistema es: x=y=z=1.

7)
x + y =1
x + y = 1
3( x + y ) (9 + xy) = 8 xy = 2
8)
x1 = 5 x2 = 4
x + y = 1
x + y = 1
3( x + y ) (9 + xy) = 8 xy = 20
y1 = 4 y 2 = 5
Por tanto las soluciones del sistema son: (-5,4,4,) (4,-5,4).
11/11
Hojas de Problemas lgebra IX

70. Sea A la familia de funciones fn:R+* R definidas por fn(x)=lognx, n
N (R+*={x
R:x>0}).
a) Estudiar su dependencia lineal en el R-espacio vectorial Aplic(R+*,R).
b) Hallar la dimensin y una base del subespacio que engendran.
Solucin:
a) Es log nx = log n +log x.
Si n m, fn y f m son linealmente independientes:
fn + f m = 0, ,R xR+*, log n x + log mx = 0
xR+*, (log n + log m)+(+)logx = 0 +=0 y log n + log m = 0 =-,
(log n - log m) = 0 ==0, al ser log n log m.
Si adems k es distinto de n y m, fk depende linealmente de fn y fm, pues para que sea fk =fn +f m,
,R se ha de verificar que xR+*:
log kx =log nx + log mx log k = log n + log m t 1 = + ,
por lo que basta tomar = 1- y =logk (log n - log m)-1.
En resumen, cualquier par de funciones de A son linealmente independientes y tres cualesquiera son
linealmente dependientes.
b) Por el apartado anterior es dim L(A) = 2 y si nm, {fn ,f m} es una base de L(A).
Adems L(A) = {f:R+*R | f(x) = +logx, ,R}, luego {id, log} es otra base de L(A)
(obsrvese que la funcin id(x) = x xR+* no est en A).
71. Sean a1 ,...,an R dos a dos distintos y Rn-1[x] el espacio vectorial de polinomios de grado menor
que n.
a) Encontrar la familia de polinomios de grado n-1, {p1 ,...,pn} caracterizada por pi (aj) = ij.
b) Probar que {p1 ,...,pn } es una base de Rn-1[x].
c) Hallar respecto de dicha base las coordenadas de q(x) = xn-1+xn-2+...+x+1.
Solucin:
a) Para ji aj es un cero de p i y al ser p i (ai ) = 1, necesariamente:
p i (x) =
1
( x a1 )...( x ai 1 )( x ai +1 )...( x a n )
(a i a1 )...( ai a i 1 )( ai + ai +1 )...( ai a n )
b) Por ser dim Rn-1[x]=n, bastar probar que {p 1 ,...,p n } es un sistema de generadores:
n
Cualquiera que sea q(x) Rn-1[x]=n es q(x) =
q(a ) p (x ), ya que ambos miembros son polinomios

i
i =1
de grado menor que n que coinciden en n puntos: a1 ,...,an ; luego son polinomios idnticos.
c) Segn el apartado anterior:
1/7
q(x) =
i =1
i =1
i =1
q(a i ) pi (x ), = (ain1 + ain2 + ... + a i + 1) p i (x ) =
ain 1
p ( x) ,
a j 1 i
ya que xn -1 = (x-1)(xn-1+xn-2+...+x+1).
a in 1
As, supuestos los ai1, i=1,...,n, las coordenadas de q(x) son
. Y si para algn i es ai =1,
a 1
i
i =1 ,..., n
la coordenada i-sima es ai n-1+ ain-2 +...+ ai +1 = 1n-1+ 1n-2+...+1+1 = n, permaneciendo las restantes.
72. Sea E=Rn [x] el R-espacio vectorial de los polinomios de grado menor o igual que n, siendo n
1.
Sean B = {1,x,x2 ,...,xn} y B={v0 , v1 ,..., vn } con vi = xi (1-x)n-1 para i=0,1,...,n.
a) Demostrar que B y B son bases de E.
b) Hallar las matrices de los cambios de base de B a B y de B a B.
Solucin:
a) Es inmediato demostrar que los elementos de B son linealmente independientes y que consituyen un
sitema generador de E.
Para ver que B es una base, teniendo en cuenta que el cardinal de B es n+1 = =dim E, basta ver
que los elementos de B son linealmente independientes. Vemoslo:
n n
n
v 0 = (1 x) n = 1 x + x 2 ... + ( 1) n x n
1 2
n
n 1 2 n 1 3
n 1 n
v1 = x(1 x) n 1 = x
x +
x ... + (1) n 1
x
1
2
n 1
n 2 3 n 2 4
n 2 n
v 2 = x 2 (1 x) n 2 = x 2
x +
x ... + ( 1) n 2
x
1
2
n 2
........................................ ........................................ ........................................
v n = xn
= xn
n k
Es decir: v = x ( 1)
k
r =0
n k r
x , k = 0,1,..., n
r
La matriz que expresa las coordenadas de los vectores de B respecto de B es:
2/7
1
0
0
n
1
0

1

n
n 1

1
2
1
M=
.
.
.
.
.
.
.
.
.
n
n
n 1
n
n 1
( 1) n 1
( 1) ( 1)
n
n 1
n 1
..........1
..........0
..........0
.
.
..........1
Evidentemente |M| = 1 0 B es un conjunto de vectores linealmente independientes.

b) La matriz del cambio de base de B a B es M.
La matriz del cambio de base de B a B ser M -1. Para la operacin de M -1 es muy cmodo hallar
directamente la expresin de cada xk respecto de los vi .
n k r
x (1 x) n k r =
r
r =0
n k
Para cada k{0,1,...,n} es x = x (1-x+x) = x
n k n k
n k r+ k
x (1 x ) n k r =
.
r
r v r+ k
r =0
r= 0
n k
As:
1
n

1
n
2

M -1 =
.
.
.
n

n
n 1
.
.
.
n 1
n 1
n 2
1
.
.
n 2
n 2
..........1
..........0
..........0
..........0
.
.
..........1
73. Sean V, W dos C-espacios vectoriales. Sea f un homomorfismo de V en W como R-espacios

vectoriales. Probar que f
Homc(V,W) sii f(iz)=i f(z) para todo z de V.
Solucin:
Si fHomC(V,W) entonces, por restriccin de la ley externa, es f HomC(V,W) y adems f(i z)
= i f(z).
3/7
Recprocamente, si fHomR(V,W) y f(i z)= i f(z), se tiene que:

f(z+w) = f(z)+f(w) para z,,wV
f((a+bi)z) = f(az+ibz) = f(az)+f(ibz) = f(az) + i f(bz) = af(z) + i b f(z) = (a+bi) f(z) para a+bi C y zV.
En consecuencia, fHomC(V,W).
74. Sea M2 el espacio vectorial sobre R de las matrices cuadradas de orden 2 con elementos en R.
Consideremos las aplicaciones:
a) f: M2 M2
b) g: M2 M2
a b pa
c d pc
pb
pd
a b pa
c d 0
0
pd
donde p es un cierto elemento fijo de R. Se pide demostrar que son endomorfismos Son
automorfismos?
Solucin:
a)
a b
a + a b + b pa + pa pb + pb
a b
= f
f
+
c + c d + d = pc + pc pd + pd =
c d

c d
pa
=
pc
pb
pa pb
+
=
pd
pc pd
a b
f
+
c d
a b
f

c d
cualesquiera
que
sean
a b a b
c d , c d M 2
,R y
Luego f es un endomorfismo. Es la homotecia de razn p, pues f(x) = px xM 2 .

Si p=0 f es el endomorfismo nulo. Por ello ni es inyectivo ni suprayectivo.
Si p0 f es automorfismo, pues:
f(x)=f(y) px=py x=y (por ser p0)
f-1(y)=
b)
a b
a + a b + b pa + pa
0
a b
= f
=
g
+
=
0
pd + pd
c d
c d
c + c d + d
pa
=
0
y
1
y para todo y M2 .
p
0
a b
a b
pa 0
+ g
+
= g
c d cualesquiera que sean ,R

pd
0
pd
c
d
a b a b
c d , c d M 2
As, g es un endomorfismo.
4/7
g nunca es inyectiva ya que
sobreyectiva, ya que
0 1 0 0
g
= 0 0 , luego g no es automorfismo. Adems, g no es
1
0

0 1
1 0 g ( M 2 ) .
75. Sea F(R,R) el R-espacio vectorial de todas las aplicaciones de R en R. Sea E el subespacio
vectorial engendrado por la funcin constante igual a 1 y las funciones x
senx, x
cosx.
Definimos las aplicaciones ,
: E
E como:
(f)(x) = f(
x ), =(f)(x)=f(x).
2
a) Demostrar que ,
son aplicaciones lineales.
b) Obtener y y comprobar que en este caso = - .
Solucin:
a)Veamos que (f) es un elemento de E, para todo fE.
En efecto: Sea f(x) = a+bsen(/2-x)+c cos(/2-x) = a+b cosx+c senx, luego (f)E.
Anlogamente:(f)(x)=f(x) = bcosx-csenx, que tambin pertenece a E.
*Veamos que es lineal:
Sean f(x) = a+bsenx+ccosx, g(x) = m+nsenx+pcosx y ,R. Se verifica:
(f+g)(x) = (f+g)(/2-x) = a +m+(b+n) cosx +(c+p)sen x = a +bcosx + +csen x + m+n
cosx+ psenx = a +bsen(/2-x)+c cos(/2-x)+ m+ nsen(/2-x) +p cos(/2-x) = (f)(x)+
(g)(x).
Luego (f+g) = (f)+(g) y End (E).
* Veamos que es lineal:
(f+g)(x) = (f+g)(x) = (b+n) cosx - (c+p) senx= b cosx - c sen x + n cosx - p senx =
f(x)+g(x) = (f)(x) + (g)(x).
As: (f+g) = (f)+(g) y End E.
b) ()(f) = [(f)] = (f) ()(f)(x) = f(/2-x).
()(f) = [(f)] ()(f)(x) = -f(/2-x).
Luego =.
76. Sea V un espacio vectorial de dimensin 2 y {u1 ,u2 } una base de V. Se consideran f,g EndV tales
que:
f(u1 )=u1 +u2 ,
g(u1 )=-2u1 + 2u2 .
5/7
f(u2 )=f(u1 ),
g(u2 )= u1 - u2 .
a) Demostrar que f y g conmutan.

b) Demostrar que son divisores de cero del anillo End V.
c) Es cierto que fn gm = g m fn cualesquiera que sean los nmeros naturales m, n?
Solucin:
a) Para ver que fg = gf, como son aplicaciones lineales, basta ver que los dos miembros
transforman del mismo modo los elementos de una base:
fg(u 1 ) = f(-2u 1 +2u 2 ) = -2(u 1 +2u 2 )+2(u 1 +2 u 2 ) = 0
gf(u 1 )= g(u 1 +2u 2 ) = -2u 1 +2u 2 +2(u 1 -u 2 ) = 0
fg(u 2 ) = f(-2u 1 +2u 2 ) = 0
gf(u 2 )= g(u 1 +2u 2 ) = -2u 1 +2u 2 +2u 1 -2u 2 ) = 0
b) Es evidente, pues segn el apartado anterior fg = gf = 0 (endomorfismo cero).

c) S es cierto. Lo demostraremos por induccin en dos etapas:
1 etapa: Sea n un natural; entonces gfn = fn g.
Por induccin sobre n:
* Para n=1 ya est probado (apartado a)).
* Supongamos que es cierto para n y demostrmoslo para n+1:
fn+1 g = f(fn g) = f(gfn ) = (fg)fn = (gf)fn = gfn+1 .
2 etapa: n natural, m natural, fn g m = g mfn . En efecto: consideramos n fijo y hacemos induccin en
m:
* Para m=1 es cierto (1 etapa).
* Supongamos que es cierto para m y lo probamos para m+1:
fn g m+1 =( fn g m)g = (g mfn ) g = g m(fn g m) = g m(gfn ) = (g mg)fn = g m+1 fn .
77. Sea V un espacio vectorial. Si f
EndV designemos por fn = f ... f ( n veces). Establecer las
relaciones siguientes:
1) Im f = Im f2 V=Im f + ker f.
2) Ker f = Ker f2 V = Im f Ker f = {0}.
3) V = Im f Ker f Im f=Imf 2 , Ker f = Ker f2 .
Solucin:
1) Sea xV; f(x) Im f = Im f2 yV tal que f(x) = f2 (y) f(x-f(y) = 0 z=x-f(y) ker f
x=f(y)+z Im f + Ker f.
6/7
Luego efectivamente VIm f + Ker f. Como el otro contenido es evidente, la igualdad V = Im f + Ker f es
cierta.
2) Sea xIm f Ker f; entonces existe y V tal que x=f(y), pero f(x) = 0 f2 (y) = 0 y Ker f2 = Ker
f f(y) = 0 x= 0.
Es decir, Im f Ker f = {0}.
3) Es la conjuncin de 1) y 2)
*Es evidente que Imf 2 Im f.
*Veamos que Im fImf2 :
xIm f yV tal que f(y) = x. Por ser V = Im f Ker f, existe uKer f, f(z)Im f tales que y
= f(z) + u.
Luego x = f(y) = f(f(z))+f(u) = f2 (z) xIm f2 .
As, de todo lo anterior se deduce que Im f2 = Im f.
*Tambin es evidente que Ker f Ker f2 , pues xKer f f(x) = 0 f2 (x) = f(0) = 0 xKer f2 .
Veamos que Ker f2 Ker f:
xKer f2 f2 (x)=0 f(f(x)) = 0 f(x) Ker f f(x) Ker fIm f = {0} ( por ser V= Ker f
Im f).
As xKer f.
En resumen: Ker f = Ker f2 . Esto completa la demostracin.
7/7
Hoja Problemas Anlisis I

n =1
78.- Hallar
sen (a + nj ) = sen a + sen (a + j) + sen (a + 2 j ) + ... + sen (a + (n 1) j) .

j= 0
Solucin:
Como sabemos que senpsen q = 1/2 (cos(p-q)-cos(p+q)) entonces se tiene que:

1
2 j 1
2 j + 1
cos a +
u cos a +
u
2
2
2
=
u
2 sen
2
sen(a + uj )sen(u / 2 )
=
u
j= 0
j= 0
j= 0
2sen
2
2 j 1
2 j +1
cos a +
u cos a +
u
n 1
2
2
= (*)
=
u
j= 0
2sen
2
n 1
n 1
n 1
sen(a + uj ) =
1
1
Si j=0 cos a u cos a + u
2
2
1
3
Si j=1 cos a + u cos a + u
2
2
3
5
Si j=2 cos a u cos a + u
2
2
2n 5
2n 3
Si j=n-2 cos a +
u cos a +
u
2
2
2n 3
2n 1
Si j=n-1 cos a +
u cos a +
u
2
2
1
2n 1
cos a u cos a +
u
2
2
2n - 1
1
cos a - u - cos a +
u usando la igualdad cos p cos q
1
2
2
=
(*) =
p +q
pq
u
2
= 2 sen 2 sen 2
sen
1/8
n 1 n
2a 2 n 2 2n
2sen
+
u sen u sen a +
u sen u
1
2
4
4
2 4
=
=
u
u
2
sen
sen
2
2
n 1 n
sen a +
sen u
2 2
sen( a + uj ) =
n
j= 0
sen
2
n 1
79.- Hallar el volumen del slido generado al girar alrededor del eje OX, la regin
del plano que resulta de la interseccin del interior x2 +y2 =17x.
Resolucin:
Las dos circunferencias se cortan en 17=17x x=1, y para x=1 y2 =16
y=4 P1 (1,-4) y P2 (1,4).
El volumen pedido es la mitad del volumen de la esfera de radiio
17 es decir,
14
34
V1 = V1 = ( 17 ) 3 = 17 , ms del volumen resultante de girar entorno al eje ox
23
3
, menos el de 2 .
1
V2 = 0 17 x 2
) ( 17 x x ) dx = (17 x
2
17 x + x 2 ) dx =
x2
17
= (17 17 x) dx =17 (1 x ) dx = 17 x =
0
0
2 0
2
2/8
68 17 + 51 3
u
VT =
80.- Sea la funcin y=f(x) , definida en todo R, de modo que los incrementos
correspondientes de x e y son proporcionales de razn a en cualquier punto. Se
supone que adems y0 =f(x0 ) es conociedo. Calcular la expresin general de y=f(x).
Solucin:
Tengamos en cuenta que f(x) = f(x+h)-f(x) siendo x el incremento de la
variable x.
Por lo tanto:
f ( x ) f ( x + x ) f ( x )
=
= a para todo x.
x
x
De aqu se deduce que esta funcin es derivable en cualquier punto ya que su
derivada en x ser:
f(x)= limx0 f ( x + x ) f ( x ) = a
x
Adems si f(x)=a para todo x, la funcin es de la forma
f(x)= ax+m
falta, finalmente, calcular m. Para ello, obligamos a que y0 =f(x0 ):
y0 =f(x0 )=ax0 +m
es decir, m=y0 -ax0 =f(x0 )-ax0 . Por lo tanto la funcin es:
f(x) =ax+f(x0 )-ax0 , o bien
f(x)-f(x0 ) = a(x-x0 ).
81.- Separar las races de la ecuacin siguiente:
2x3 +3x2 -72x+12=0.
Solucin:
Sea f(x) = 2x3 +3x2 -72x+12.
f(x)= 6x2 +6x-72 = 6(x2 +x-12).
La ecuacin f(x)=0 tiene races x1 =-4, x2 =3. Puesto que f(-4) = 220 >0 y f(3) =-123 <0,
resulta que f(x) = 0 tiene una nica raz en el intervalo (-4,3). Adems f(0)=12>0, as
3/8
que dicha raz est en el intervalo (0,3). Por otra parte, f(6)>0 y f(3)<0, lo que nos
permite asegurar que existe una nica raz en el intervalo (3,6). Finalmente, f(-4)>0 y
f(-7)<0 as que la raz se encuentra en el intervalo (-7,-4).
82.- Aplicar el teorema de los incrementos finitos a la funcin f(x)=(x2 +9)1/2 en el
intervalo [0,4]. Aplicar la frmula de Cauchy a las funciones f(x)=senx, g(x)=cosx,
en el intervalo [
/4,3
/4]. En ambos casos se pide hallar el valor o valores del
"punto intermedio".
Solucin:
1) La frmula de los incrementos finitos se escribe en esete caso: f(4)- f(0)=f(c)(4-0).

Es decir: (16+9)1/2 -91/2 = f(c)4. De donde resulta f(c)=1/2. Busquemos el punto
c(0,4).
f(x) =
1 2
( x + 9)1 / 2 2 x =
2
Resolviendo la ecuacin
1
=
2
x
x2 + 9
x
x2 + 9
obtenemos c= 3 .
2) La frmula de Cacuhy es:

3

3
f f
sen
sen
4
4 = f (c) o bien
4
4 = cos c = cot gc
3
senc
3
g(c )
cos
cos
g g
4
4
4
4
de donde cotg c = 0 y c=/2.
83.- Un depsito est inicialmente lleno con 1000 litros de agua salada cuya
concentracin o salinidad es de dos gramos de sal por litro. Para reducir la
salinidad se hace entrar agua pura en el depsito a razn de 5 litros por minuto, al
tiempo que por un orificio el depsito evacua el mismo caudal. Determinar la
cantidad de sal contenida en el depsito en funcin del tiempo y calcular el tiempo
que debe transcurrir para que queden slo 200 gramos de sal.
Denotemos por S(t) a la funcin pedida, es decir, la cantidad de sal (en gramos) que
contiene el depsito en funcin del tiempo t(en minutos). La concentracin de sal en el
4/8
instante t vale S(t)/1000=10-3S(t) gr/litro. En el instante t+t la cantidad de sal ser

S(t+t) y por consiguiente los gramos de sal que han salido del depsito en el intervalo
de tiempo [t,t+t] son S(t)-S(t+t). Pero por otra parte sabemos que durante ese
intervalo de tiempo el depsito ha evacuado 5t litros de agua salada. Si el incremento
t es muy pequeo, la concentracin del agua del depsito puede considerarse constante
en el transcurso del intervalo de tiempo meniconado. El producto del agua que ha salido
5t por dicha concentracin 10-3S(t) nos dar tambin la cantida de sal desaparecida en
dicho intervalo de tiempo. Planteamos as la ecuacin:
S(t)-S(t+t)= 510-3S(t)t
esto es
S ( t + t ) S (t ) 1
=
S (t )
t
200
Tomando lmites cuando t0 obtendremos (supuesta derivable la funcin S)
S(t) = -S(t)/200
es decir
S(t ) 1
=
S (t ) 200
de modo que
d
1
log S (t ) =
dt
200
luego
S(t)=e-1/200 t +k
donde k es una constante a determinar. Para t=0 sabemos que S(0) = 2000 luego
ek =2000 y la funcin buscada es, por fin:
S(t)= 2000e-t/200.
Llamemos T al instante en el cual la sal que queda en el depsito son 200

gramos. Sustituyendo en la igualdad anterior, ser:
200=2000e-T/200
de donde se obtiene T=200log10 y como log10 = 2,30 resulta aproximadamente
T=460m = 7h 40m.
5/8
84.- Demostrar que todos los tringulos con la misma base y el mismo ngulo
opuesto, el issceles tiene rea mxima.
Probar que entre todos los tringulos inscritos en una circunferencia dada,
el equiltero tiene rea mxima.
Solucin:
Sean a y A fijos. El rea del tringulo es:
S=ah/2.
Ahora bien:
h=bsenC
A + B + C =
a
senA
sistema
h=
a
senA
de
b
senB
c
sen C
ecuaciones
senB sen C =
a
senA
que
nos
permite
deducir
sen C sen( A C ).
Sustituyendo en la expresin del rea resulta

S=
1 a2
senCsen ( A C)
2 senA
y buscamos el mximo de S en funcin de C :

S=
=
1 a2
[cos Csen( A C ) senC cos( A C) ] =
2 senA
1 a2
sen ( A 2C )
2 senA
La ecuacin S=0 es sen(-A-2C)=0, es decir, -A-2C=0 de donde C=
6/8
A
.
2
que
a2
Puesto que S=
cos( A 2C) , es sencillo comprobar que este valor de C
senA
corresponde a un mximo de S. Pero entonces, B=-A-C=
A
, es decir, B=C as
2
que, efectivamente, el tringulo que buscbamos es un tringulo issceles.
Segunda parte:
En el primer lugar, hemos de hacer notar que si consideramos los tringulos
inscritos en una circunferencia con un lado fijo, se verifica que el ngulo opuesto a
dicho lado tendr el mismo valor para todos ellos, ya que ser un ngulo inscrito a una
circunferencia abarcando un arco fijo.
Deducimos entonces de la primera parte que de todos los tringulos inscritos en
una misma circunferencia que tengan un lado fijo, el de mayor rea es el issceles .
Entonces, resulta evidente que:
Dado un tringulo cualquiera inscrito en una circunferencia fija o bien este
tringulo es issceles o bien puedo encontrar un issceles tambin inscrito en dicha
circunferencia, que tenga rea mayor que el tringulo inicial. (Basta para ello con tomar
como fijo uno de los lados del primer tringulo y aplicar el prrafo anterior). Nuestro
problema se reduce pues a demostrar que entre todos los tringulos issceles en una
circunferencia fija, el de rea mxima es el equiltero.
Calculemos el rea de este tringulo issceles en funcin de x.

A
S=bh/2.
h=r+x.
Para calcular b/2, tendremos en cuenta que el tringulo ABP es rectngulo en B,
as que b/2 es la altura relativa a la hipotenusa en dicho tringulo, cumplindose que:
7/8
r + x b / 2 b2
=
= ( r + x )( r x) = r 2 x 2
b/2 r x 4
es decir
b/2= r 2 x 2 .
Se obtiene finalmente:
b
S= h = ( r + x ) r 2 x 2
2
Calculemos el valor de x que hace mxima esta expresin:
S= r 2 x 2 + ( r + x )
x
r 2 x2
2 x 2 rx + r 2
r 2 x2
= (r 2 x )
r+x
rx
El valor x=r/2 anula S y adems hace negativa S, as que corresponde a un mximo.

Pero si x=r/2, se obtiene que b=2 r 2 x 2 =r 3 , es decir, el tringulo ABC es
equiltero.
En efecto:
AB = AC = ( r + x ) 2 + (b / 2) 2 = (3r / 2) 2 + ( r 3 / 2) 2 =
8/8
9r 2 + 3r 2
= r 3.
4

1-10 - Impr Hasta PG 50 Incl

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

1-10 - Impr Hasta PG 50 Incl

Hochgeladen von

Copyright:

Verfügbare Formate

Hoja de Problemas n1 Algebra 1

1. Hallar un nmero cuadrado perfecto de cinco cifras sabiendo que el producto

el nmero que buscamos y

la raz cuadrada del nmero que buscamos.

Entonces debe ocurrir que:

Pero de todos ellos el nico que es un cuadrado perfecto es:

2. Encontrar un nmero abcd de 4 cifras en base 12, tal que es cuadrado

y por otro lado1000012) abcd < 10000012)

1728 n2 < 20738

donde denotamos por n2 el nmero abcd pero en base 10.

a 123 + b 122 + a 12 + b = 145(12 + b) = n2 1

3. En un sistema de numeracin cuya base se desconoce, dos nmeros se escriben

n2 = 64 n1 = 8 o n2 = -8 que lo rechazamos la solucines n1 = 8

) Supongamos cierto que n, es decir:

es el nmero pedido con x1 0, porque si

6. Dados los cdigos ordenados de cinco letras entre las ocho: A, B, C, D, E, F, G,

ascensor, sabiendo que en un mismo piso no pueden bajar personar de distinto

Si las mujeres se bajan en pisos distintos se tiene que hay

8. Determinar el nmero mximo de puntos de interseccin de las diagonales de

Hoja de Problemas n2 Algebra II

1000 x1 x2 x3 x4 < 10000 1000 (x1 + x2 + x3 + x4 )3 < 10000

entonces por lo dicho anteriormente se tiene

88x1 + 4x2 = 0 que no tiene solucin.

b) Si N = x1 x3 x2 169x1 + 13x2 + x3 = 81x1 + 9x3 + x2

88x1 + 12x2 = 8x3 pero 8x3 64 < 88x1 + 12x2

11. Probar que 11n 4n es mltiplo de 7.

n + 1A, 11n+1 4n+1 = 7k1 ?

11n+1 4n+1 = 11 11n 4 4n = (7 + 4) 11n 4 4n =

Entonces las posiciones n, n + 1 y n + 2 las ocupan los trminos:

y como los coeficientes estn en progresin aritmtica, se tiene que:

n!(14 n )! ( n 1)(15 n)! ( n + 1)! (13 n )! n! (14 n)!

pero multiplicando por

(n 1)! (13 n)!

n(14 n) (14 n)(15 n) n( n + 1) n(14 n )

(n + 1)(15-n) n(n + 1) = (14 n)(15 n) (n + 1)(15 n)

pero como n < 7 n = 5

13. Se colocan al azar n bolas en n urnas. Calcular las probabilidades siguientes:

Entonces la probabilidad es:

15. Resolver en 9 7 el sistema:

16. Demostrar que siendo n un nmero entero, la expresin

Vamos a intentar factorizar el numerador ya que, si uno de los factores fuese el

Como queremos demostrar que xn es divisible por 24 = 8 3, es suficiente que

c) Si adems se cumple y = MaxH,

nmeros del conjunto HU{0, -1,1}.

Hojas de Problemas Algebra III

18. a) Demostrar que si n es par, los nmeros naturales n2 1 y 3n + 1 son primos

b) Como hay 30m enteros positivos no mayores que n y se cumple que:

El nmero de enteros positivos buscado es:

19. Un nmero tiene 24 divisores, su mitad tiene 18 divisores y su triple 28

es el nmero buscado, con 2, 3,

nm(3 10m 1 2) = 17N.

El nmero buscado es el propio 16.

Pero multiplicando esta expresin por b a se tiene que:

a c = ac con b 0 y d 0 y como ac y bd Z(K) ac Q(K ).

b) Sea K un subcuerpo cualquiera de K, entonces como 1 K (por ser un

Q(K) es el menor subcuerpo de K.

24. Demostrar que

2 , 3, 5 no pueden ser trminos de una progresin

Por lo tanto, podemos asegurar que:

10 6 y 15 10 6 Q, entonces su diferencia es un n racional

2 , 3, 5 no son trminos de una progresin

210 = 2 3 5 7, bastar ver que An es divisible por

Es divisible por 2 y por 3 puesto que n 1, n y n + 1 son tres nmeros