s Universidad de Antioquia • Semilleros de Matemáticas • 2018

ca
LÓGICA MATEMÁTICA

ti
má
te
SEMILLEROS DE
Ma
MATEMÁTICAS
de
o
ut

Luis Fernando Echeverri D.

Edwin Zarrazola R.
it

Pedro Hernández R.
Cristhian Zuluaga H.
st

Alejandro Piedrahita H.
In

Instituto de Matemáticas
Universidad de Antioquia
 s
SEMILLERO DE MATEMÁTICAS - LÓGICA MATEMÁTICA

ca
Tercera edición: 2018

©Universidad de Antioquia
©Semilleros de Matemáticas

ti
Diseño y diagramación original en LATEX:
Paulo Mora Noguera
e-mail: prmora@outlook.com

má
Actualización de diseño y diagramación en LATEX:
Alejandro Piedrahita H.
e-mail: alejandro.piedrahita@udea.edu.co

te
Todos los derechos reservados.
Esta publicación no puede ser reproducida, ni en todo ni en parte, por ningún medio inventado o
por inventarse, sin el permiso previo, por escrito, del Semillero de Matemáticas de la Universidad
de Antioquia. Ma
de
o

El Instituto de Matemáticas de la Universidad de Antioquia, a través del Semillero de Matemáticas,

ut

ofrece a estudiantes de enseñanza media y público en general los siguientes programas de extensión:

Semillero de Matemáticas grado 6° Razonamiento lógico I

Semillero de Matemáticas grado 7° Razonamiento lógico II
it

Semillero de Matemáticas grado 8°

Álgebra y trigonometrı́a
Semillero de Matemáticas grado 9°
Cálculo diferencial
Semillero de Matemáticas grado 10°
st

Información de contacto
Universidad de Antioquia
In

Ciudad Universitaria
Bloque 6 - Oficina 109
Teléfono: (574) 2195648
E-mail: semilleroscen@udea.edu.co
http://ciencias.udea.edu.co/semilleros/
 s
ca
6

ti
PROGRESIONES

má
te
Reseña Histórica

La aritmética es una de las disciplinas más

Ma
antiguas de las matemáticas, es utilizada en
todo el mundo en una gran variedad de ta-
reas que van desde actividades cotidianas de
1 1 1
1 2 4 8 conteo hasta avanzados cálculos numéricos.
La aritmética o “arte de contar” estudia los
de

números y las operaciones que podemos rea-

lizar con éstos.
1
1 1 1
2
+ 4
+ 8 El cuadrado de lado 1 unidad de la figura de
+ ··· =?
la izquierda se subdivide en rectángulos más
o

pequeños que no se superponen unos a otros,

de manera tal que el área del primero en uni-
ut

dades cuadradas es 2 , el área del segundo es 41 , el área del tercero es 18 y ası́

1

sucesivamente. De esta manera obtenemos una secuencia ordenada de núme-

ros
it

1 1 1 1 1
, , , , , ... (6.1)
2 4 8 6 32
A las secuencias ordenadas de números se les denominan sucesiones. La su-
cesión (6.1) tiene como primer término a 12 , como segundo término a 14 , etc.,
st

mientras que la sucesión

1 , 5 , 9 , 13 , 17 , . . . (6.2)
In

tiene como primer término a 1, como segundo término a 5, etc. Entre la

 LÓGICA
MATEMÁTICA

s
ca
gran variedad de sucesiones que se presentan frecuentemente en matemáticas,
existen dos tipos de sucesiones de gran utilidad debido a que sus términos se
generan por leyes de formación particularmente interesantes: las progresiones

ti
aritméticas y geométricas que son el tema de estudio de este taller.

má
OBJETIVO GENERAL
Estudiar algunos tipos de leyes de formación presentes en la solución de cierto

te
tipo de problemas matemáticos.

OBJETIVOS ESPECÍFICOS Ma
Estudiar el concepto de sucesión.
90
Comprender los patrones de formación presentes en las progresiones aritméti-
cas.
de

Comprender los patrones de formación presentes en las progresiones geométri-

cas.

INTRODUCCIÓN
o

Definición 6.1 (Sucesión).

ut

Una sucesión es una secuencia ordenada de números

a1 , a2 , . . . , an , an+1 , . . . (6.3)
it

El primer término de la sucesión es a1 , el segundo es a2 , el término

n–ésimo es an , etc.
st

Ejemplo 6.1. .
Progresiones

a. La sucesión 1, 3, 5, . . . tiene como término n–ésimo an = 2n + 1.

In

b. La sucesión 2, 4, 8, . . . tiene como término n–ésimo an = 2n .

c. La sucesión −1, 1, −1, . . . tiene como término n–ésimo an = (−1)n .

 SEMILLEROS de
MATEMÁTICAS

s
d. La sucesión 1, 12 , 31 , . . . tiene como término n–ésimo an = n1 .

ca
Existe una clase especial de sucesiones llamadas progresiones que estudiare-
mos a continuación.

ti
PROGRESIONES ARITMÉTICAS

má
Definición 6.2 (Progresión aritmética).
Una progresión aritmética es una sucesión de números

te
a1 , a2 , . . . , an , . . . (6.4)

tal que la diferencia de dos términos sucesivos cualesquiera es constante,

denomina diferencia común.

Ma
es decir, an − an−1 = d para todo n = 1, 2, . . . A la constante d se le
91
Ejemplo 6.2. . La sucesión 3, 6, 9, 12, 15, 18, . . . es una progresión aritmética
en la cual el primer término es 3 y la diferencia común es 3.
de

Observación 6.1. Por la definición 6.7, la progresión aritmética (6.4) la

podemos escribir

a1 , a2 = a1 + d, a3 = a1 + 2d, a4 = a1 + 3d, . . . , an = a1 + (n − 1)d, . . . (6.5)

y por tanto, el término n–ésimo está dado por an = a1 + (n − 1)d.

o

Actividad 6.1. .
ut

a. Halla el término 12 de la progresión aritmética 10, 7, 4, . . .

b. Si el cuarto término de una progresión aritmética es 14 y el noveno es 34,

it

encuentre el primer término.

Propiedad 6.1.
st

En una progresión aritmética con un número finito de términos

Progresiones

a1 , a2 , . . . , an (6.6)
In

la suma de los términos equidistantes de los extremos a1 y an es igual a

la suma de los extremos.
 LÓGICA
MATEMÁTICA

s
Ejemplo 6.3. En la progresión aritmética 3, 7, 11, 15, 19, 23, 27, 31 se tiene

ca
que
3 + 31 = 34, 7 + 27 = 34, 11 + 23 = 34 y 15 + 19 = 34.

ti
SUMA DE LOS TÉRMINOS DE UNA PROGRESIÓN
ARITMÉTICA

má
Si denotamos por Sn a la suma de los primeros n términos de una progresión
aritmética
a1 , a2 , . . . , an , . . . (6.7)

te
entonces

Sn = a1 + a2 +···+ an−1 + an
+ Sn = an + an−1 +···+
Ma a2 + a1
2Sn = (a1 + an ) + (a2 + an−1 ) + · · · + (an−1 + a2 ) + (an + a1 )
92
Por la propiedad 6.1,

(a1 + an ) = (a2 + an−1 ) = · · · = (an−1 + a2 ) = (an + a1 )

de

por lo cual

2Sn = (a1 + an ) + (a1 + an ) + · · · + (a1 + an ) + (a1 + an ) = n(a1 + an )

| {z }
n veces
o

y por tanto
n(a1 + an )
Sn = a1 + a2 + · · · + an = (6.8)
ut

2
Actividad 6.2. Utilice un procedimiento como el anterior para demostrar
que si la progresión aritmética (6.7) tiene diferencia común d, entonces la
it

suma Sn de los primeros n términos se puede calcular también por medio de

la fórmula
n
Sn = a1 + a2 + · · · + an = [2a1 + (n − 1)d] (6.9)
2
st

Actividad 6.3. Halla suma de los 20 primeros términos de la progresión

Progresiones

aritmética −5, −1, 3, 7, . . .

In

PROGRESIONES GEOMÉTRICAS
 SEMILLEROS de
MATEMÁTICAS

s
ca
Definición 6.3 (Progresión geométrica).
Una progresión geométrica es una sucesión de números

ti
a1 , a2 , . . . , an , . . . (6.10)

tal que el cociente de dos términos consecutivos cualesquiera es constante,

es decir, an+1
an = r para todo n = 1, 2, . . . A la constante r se le denomina

má
razón.

Ejemplo 6.4. La sucesión 4, 12, 36, 108, 324, 972, . . . es una progresión geométri-

te
ca de razón r = 3.

Observación 6.2. Por la definición 6.3, la progresión geométrica (6.10) la

podemos escribir como
Ma 93
a1 , a2 = a1 r, a3 = a1 r2 , a4 = a1 r3 , . . . , an = a1 rn−1 , . . . (6.11)

y por tanto, el término n–ésimo está dado por an = a1 rn−1

de

Actividad 6.4. .
a. Determina el quinto término de una progresión geométrica de razón r = 3,
cuyo primer término es 2.

b. Si en una progresión geométrica el octavo término es 32 y el quinto término

o

es 4, halla los cuatro primeros términos.

ut

Si denotamos por Sn a la suma de los primeros n términos de una progresión

geométrica
a1 , a1 r , a1 r2 , a1 r3 , . . . , a1 rn−1 , . . .
it

entonces

Sn = a1 + a1 r + a1 r2 + · · · + a1 rn−1 + a1 rn
st

− rSn = − a1 r − a1 r2 − · · · − a1 rn−1 − a1 rn − a1 rn+1

Progresiones

Sn − rSn = a1 + 0 + 0 +···+ 0 + 0 − a1 rn+1

In

por lo cual

Sn − rSn = a1 − a1 rn+1 =⇒ Sn (1 − r) = a1 1 − rn+1

 LÓGICA
MATEMÁTICA

s
y por tanto

ca
a1 (1 − rn )
Sn = a1 + a1 r + a1 r2 + · · · + a1 rn−1 = , (6.12)
1−r

ti
con r 6= 1.

Actividad 6.5. Halle la suma de los 7 primeros términos de la progresión

geométrica 5, −10, 20, . . .

má
SUMATORIA Y PRODUCTORIA

te
Cuando una suma de términos sigue una ley general de formación, el resul-
tado lo podemos representar de manera simplificada mediante la notación
P
sumatoria .

94
Ejemplo 6.5.
Ma 5
X
1+2+3+4+5= i
i=1
Este resultado quiere decir que le damos a i los valores consecutivos desde 1
de

hasta 5 y se suman los resultados. El número escrito en la parte inferior del

P
sı́mbolo de sumatoria se llama lı́mite inferior de la sumatoria y al número
escrito en la parte superior se llama lı́mite superior de la sumatoria.

Ejemplo 6.6.
o

7
X
xi = x1 + x2 + x3 + x4 + x5 + x6 + x7
ut

i=1

Ejemplo 6.7. Si a1 , a2 , . . . , an , . . . son los términos de una progresión

aritmética, entonces
it

n
X n(a1 + an )
a1 + a2 + · · · + an = ai =
2
i=1
st

Ejemplo 6.8. Si a1 , a2 , . . . , an , . . . son los términos de una progresión

Progresiones

geométrica de razón r, entonces

n
a1 (1 − rn )
In

X
a1 + a2 + · · · + an = ai =
1−r
i=1
 SEMILLEROS de
MATEMÁTICAS

s
Actividad 6.6. .

ca
a. Escribe mediante el sı́mbolo de sumatoria x2 + x4 + x6 + x8 + x10 + x12
10
X
kx2k

ti
b. Desarrolla sumatoria
k=3

c. Escribe mediante el sı́mbolo de sumatoria la suma de las áreas de los

primeros n rectángulos de la figura que está al lado izquierdo de la reseña

má
histórica. ¿A qué valor se aproxima dicha suma a medida que n se hace
“grande”?

te
Cuando un producto de términos sigue una ley general de formación, el re-
sultado lo podemos representar de manera simplificada mediante la notación
Q
de productoria : Ma
n

95
Y
ai = a1 × a2 × · · · × an
i=1
P
De la misma manera como ocurre con el sı́mbolo de sumatoria , en una
productoria se le dan valores a i, enteros consecutivos, desde el valor indicado
de

Q
en la parte inferior del sı́mbolo de productoria , hasta el valor indicado en
la parte superior del mismo.

EJERCICIOS
o

[Problemas (1)–(14)]. A continuación 5. dn = (−3)n

ut

se da el término n–ésimo de una suce-

1 n


sión. Determine cuáles de estas suce- 6. xn = −2 4

siones son progresiones aritméticas y

7. yn = 3n − 2
it

cuáles son geométricas. Si es aritmé-

tica encuentre la diferencia común, si 8. un = 2 − 4n
es geométrica encuentre la razón.
2
2n+1
st

9. vn = 3
1. an = n + 3
Progresiones

10. tn = 12 n + 3
2. an = n
In

3. en = 2n 11. sn = 42n

n 3
4. cn = n − 2 12. pn = 2 − 4
 LÓGICA
MATEMÁTICA

s
√
13. qn = 3n/2

ca
29. a1 = 3; r = 2
3n+1 30. a1 = 23 ; r = 3
14. wn = 2n 2

[Problemas (31)–(34)]. A continua-

[Problemas (15)–(22)]. A continua-
ción se da el primer término a1 y la
diferencia común d de una progresión
aritmética. En cada uno de los casos,
ti
ción se da información sobre una pro-
gresión aritmética a1 , a1 , . . . Halle en
cada caso el término an de la progre-

má
encuentra el undécimo término de la sión.
progresión. 31. a8 = 4; a20 = 44

te
15. a1 = 3; d = 2 32. a9 = −5; a15 = 31
16. a1 = 0; d = 2 33. a12 = 4; a18 = 28

96
17. a1 = −5; d = 5
Ma
34. a14 = −1; a18 = −9

18. a1 = 21 ; d = −1 [Problemas (35)–(38)]. A continua-

ción se da información sobre una pro-
19. a1 = π; d = 2
gresión geométrica b1 , b1 , . . . Halle en
cada caso el término bn de la progre-
de

20. a1 = 4; d = −2
√ sión.
21. a1 = 3; d = 2
35. b6 = 243; r = −3
22. a1 = 23 ; d = 3
2 1
36. b2 = 7; r = 3
[Problemas (23)–(30)]. A continua-
o

ción se da el primer término a1 y la 37. b2 = 7; b4 = 1575

ut

razón r de una progresión geométrica. 38. b3 = 1 ; b6 = 1

3 81
En cada uno de los casos, encuentra
el undécimo término de la progresión. [Problemas (39)–(46)]. Realice cada
una de las operaciones indicadas.
it

23. a1 = 3; r = 2
39. 1 + 3 + 5 + · · · + 25
24. a1 = 0; r = 2 1 2 22 210
40. + + + ··· +
st

25. a1 = −5; r = 5 4 4 4 4
Progresiones

41. 2 + 4 + · · · + 40
26. a1 = 21 ; r = −1
42. 2 + 6 + 10 + · · · + 82
In

27. a1 = π; r = 2 X40
43. (2i − 5)
28. a1 = 4; r = −2 i=1
 SEMILLEROS de
MATEMÁTICAS

s
3 32 33 312
 8

ca
6 18 3
44. + + + ··· + 46. 2 + + + ··· + 2
9 9 9 9 5 25 5
14
X
45. 2 · 3n−1

ti
n=1

PEQUEÑOS RETOS

má
1. La razón entre el área sombreada
y el área total de la figura es:

te
1
a) 4
Baldosin gris

Baldosin blanco
1
b) 3 Ma
c) 3
8 97
2
d) 5 3. En la figura anterior se muestra el
inicio de un mosaico que se está
2. Usando fósforos se están forman-
de

construyendo con baldosines blan-

do las figuras como las represen-
cos y grises. En el centro se formó
tadas en la secuencia. La cantidad
un cuadrado de cuatro baldosines
de fósforos (F ) depende del núme-
grises y su alrededor se fueron for-
ro de cuadrados (C) que se están
mando regiones intercalando los
formando:
o

dos colores.
ut

Si se continúa con este mosaico,

el número de baldosines necesarios
La expresión que determina el
para construir la quinta región for-
número de fósforos (F ) en función
it

mada por baldosines blancos:

de la cantidad de cuadrados (C)
que se están formando es:
a) 64
st

a) F = 3C + 1 b) 76
Progresiones

b) F = 4C − 1 c) 80
In

c) F = C + 3 d ) 100

d ) F = 4C − 3
 LÓGICA
MATEMÁTICA

s
Problemas (4)–(5)

ca
··· −4 −3 −2 −1 1 2 3 4 ···
1 1
2 2 3 4
3 5 6 7 8 9
4 10 11 12 13 14 15 16

ti
Fig. 1 Fig. 2 Fig. 3 Fig. 4 5 17 18 19 20 21 22 23 24 25
.. .. .. .. .. .. .. .. .. ..
. . . . . . . . . .

Las figuras anteriores se han construi-

do de acuerdo con una ley de forma- En la figura se ilustra una tabla que se

má
ción que puede identificarse. La tablaextiende indefinidamente hacia abajo
siguiente recoge la información obser-y hacia los lados. Cada número ubi-
vable ası́: cado en la región no sombreada de la

te
tabla está determinado por la fila y la
Figura 1 2 3 4
columna que ocupa. Por ejemplo, el
No. de triángulos 0 4 8 12
dos se encuentra en la fila dos, colum-

98
Ma
na −1. Diremos entonces que la coor-
4. El número total de triángulos que denadas del 2 son (2, −1). Las coor-
presenta la figura No. 10 construi- denadas del 8 por ejemplo son (3, 2).
da siguiendo la misma ley de for-
mación es:
6. Las coordenadas del número 50
de

a) 32 son:

b) 48 a) (8, −7)
c) 36 b) (8, −6)
d ) 40 c) (7, 6)
o

5. El área del menor cuadrado resul- d ) (7, 7)

ut

tante en la figura No. 6, construida 7. El número que corresponde a las

siguiendo la misma ley de forma- coordenadas (11, 8) es :
ción, con relación al área del cua-
it

drado inicial en la figura 1, es: a) 254

1 b) 315
a) 18
c) 102
st

1
b) 32
Progresiones

1 d ) 118
c) 64

d) 1 8. Acerca de las coordenadas (51,-52)

In

16
se puede afirmar con certeza que:

Problemas (6)-(8) a) No le corresponde un numero

 SEMILLEROS de
MATEMÁTICAS

s
b) Le corresponde el numero 2501 d ) Le corresponde un numero

ca
c) Le corresponde un numero par múltiplo de 3

ti
má
te
Ma 99
de
o
ut
it
st

Progresiones
In
Progresiones

100
In
st
LÓGICA
MATEMÁTICA

it
ut
o
de
Ma
te
má
ti
ca
s