Practico2 2022
Practico2 2022
Practico2 2022
Perı́odo 2022-II
Práctico 2
Ej. 1 Decir cuáles de los siguientes subconjuntos X de R son inductivos. Justificar.
1. X = N ∪ { 21 }. 3. X ⊆ N, X ̸= N, X infinito con 1 ∈ X.
2. X ⊆ N, X ̸= N y X infinito. 4. X = {1} ∪ {2} ∪ {x ∈ R : x ≥ 3}.
Ej. 2 Demostrar las propiedades de la potenciación de números reales; es decir, dado m ∈ N fijo, probar
que para todo n ∈ N y para todo x e y en R se cumple:
Ej. 3 Calcular/transformar en una expresión equivalente con menos términos (no es necesario hacer in-
ducción):
n n
1. 2n+1 − 2n 2. (22 )n + (2n )2 3. (22 + 1)(22 − 1) 4. −(−1)n+1
Inducción
Ej. 4 Sean {an }n∈N una sucesión de números reales positivos y P([[1, 3]]) el conjunto de partes del conjunto
{1, 2, 3}. Calcular las siguientes expresiones dando un resultado simplificado en aquellos casos donde sea
posible:
4
X 2022
X 3
Y 2022
Y
√ ak+1
1. ai 3. (aj+1 − aj ) 5. a5n+2 7.
i=1 j=2019 n=−1
ak
k=2019
X X 4
Y Y
2. 1 4. (k − 10) · a13 6. m · a7m+3 8. a19
B∈P([[1,3]]) 11≤k≤14 m=1 B∈P([[1,3]])
!
X Y 1
9.
n
B∈P([[1,3]])\{∅} n∈B
Ej. 5 Para cada una de las siguientes sucesiones dar los tres primeros términos de la sucesión, la expresión
del término (k + 1)-ésimo, y mostrar, usando el principio de inducción, que cada una de las sucesiones
{an }n∈N es igual a la respectiva sucesión {bn }n∈N que le sigue:
1. a1 = 1, an = 3an−1 + 2, n ≥ 2 2
2n+1+(−1)n+1
8. bn = 4 ,n∈N
2. bn = 3 − 3n n−1
− 1, n ∈ N
n−1
X
3. a1 = 0, an = an−1 + (n − 1), n ≥ 2 9. a1 = 1, an = n + ai , n ≥ 2
i=1
(n−1)n
4. bn = , n∈N
2 10. bn = 2n − 1, n ∈ N
n
5. a1 = 1, an = 2 − an−1 , n ≥ 2 n−1
X
2n+1
+(−1) n 11. a1 = 1, an = 1 + i · ai , n ≥ 2
6. bn = ,n∈N
3 i=1
√
7. a1 = 1, an = ( an−1 − n)2 , n ≥ 2 12. bn = n!, n ∈ N
Ej. 6 Hallar una fórmula explı́cita (no recursiva) para el término general de las sucesiones {an }n∈N definidas a contin-
uación y probar su validez:
√ !
1. a1 = 1, an+1 = ( an + 1)2 , n ∈ N 1
n
X
2. a1 = 5, an+1 = 3an + 2 · 5n , n ∈ N 4. a1 = 12 , an+1 = 1− ai , n ∈ N
2
3. a1 = −5, an+1 = 2 · an − 3, n ∈ N i=1
Ej. 7 Demostrar por inducción que las siguientes igualdades se verifican para todo n ∈ N:
n
X n
X 2
a2n+3 − a n(n + 1)
1. a2k+1 = , a ̸= ±1 6. k3 =
a2 − 1 2
k=0 k=1
n
X n
X 1 1
2. (2k + 1) = (n + 1)2 7. =1−
k(k + 1) n+1
k=0 k=1
n n
X
X (−1)n (2n + 1) − 1
3. k
(−1) k = 8. k2k = (n − 1)2n+1 + 2
4 k=1
k=1
n n
X
X n(n + 1)(2n + 1) 3 n
4. k2 = 9. k3k = (3 (2n − 1) + 1)
6 4
k=1 k=1
n
X 2n
X n
n(n + 1) 1 X 1
5. (−1)k k 2 = (−1)n 10. (−1)k+1 =
2 k n+k
k=1 k=1 k=1
Ej. 8 Sea n ∈ N y sean x e y números reales. Demostrar los siguientes resultados, usando inducción solo en los casos que
considere necesario:
Ej. 9 Sea n un número natural. Probar las siguientes desigualdades usando el principio de inducción corrida e intentar
una segunda demostración sin usar inducción:
n
1. Si n > 2 entonces 5n − 1 < 57 n3 . X 1 1
2. Si n > 3 entonces 2n + 4 < n2 . 6. Si n ≥ 2 entonces <2−
k2 n
k=1
3. Si n > 5 entonces n2 + 3n + 5 < 2n n
X 1 √
4. Si n > 6 entonces 3n < n! 7. Si n ≥ 2 entonces √ > n
5. 2n ≤ 2n+1 − 2n−1 − 1 k=1
k
Práctico 2
Álgebra I
Ej. 10 (Opcional) Para cada una de las siguientes sucesiones recursivas {an }n∈N , usar inducción para verificar la de-
sigualdades dadas, y sin usar inducción deducir que son sucesiones estrictamente decrecientes:
4an
1. Sean a1 = 1 y an+1 = 3an +3 para todo n ∈ N. Entonces an > 13 , para todo n ∈ N.
√
2. Sean a1 = 6 y an+1 = 6 + an para todo n ∈ N. Entonces an > 3, para todo n ∈ N.
√
3. Sean a1 = 2 y an+1 = 21 an + a1n para todo n ∈ N. Entonces an > 2, para todo n ∈ N (Babilonia, Siglo XVII a.e.c)
Ej. 11 Sea n ∈ N y sean a, b1 , . . . , bn en R, con todos los bi ’s no nulos. Probar por inducción:
4. (Desigualdad triangular) |b1 + b2 + . . . + bn | ≤ |b1 | + |b2 | + . . . + |bn | y la igualdad se da si y solo si todos los b′i s
tienen el mismo signo.
5. (Media Aritmética v s. Media Geométrica I) Supongamos que todos los bi ’s son positivos y que el producto de todos
estos es igual a 1. Entonces b1 + b2 + . . . + bn ≥ n, donde la igualdad se da si y solo si b1 = b2 = . . . = bn = 1.
6. (Media Aritmética vs. Media Geométrica II) Supongamos que todos los bi ’s son positivos. Se define la media
aritmética de estos como
b1 + . . . + bn
MAn (b1 , . . . , bn ) =
n
y su media geométrica como p
MGn (b1 , . . . , bn ) = n b1 · . . . · bn
Demostrar que MAn (b1 , ..., bn ) ≥ MGn (b1 , ..., bn ), la igualdad se da si y solo si b1 = b2 = . . . = bn .
Ej. 12 Sea n un número entero. Probar, usando inducción(‡), las siguientes afirmaciones:
1. 7n − 1 es múltiplo de 6 4. 4n + 6n − 1 es múltiplo de 9
2. 3n + 7n − 2 es múltiplo de 8 5. n(n + 1) y n(3n + 1) son múltiplos de 2
3. 5n − 2n − 3n es múltiplo de 6 6. n(n2 + 5) es múltiplo de 6
‡ Cuando desarrollemos más herramientas en el curso, podremos probar estos resultados de forma más sencilla.
Práctico 2
Álgebra I
Ej. 13 Sea n ∈ N, con n ≥ 2, y sean A, B1 , B2 , . . . , Bn subconjuntos de un conjunto referencial U. Probar:
1. A \ (B1 ∩ B2 ∩ . . . ∩ Bn ) = (A \ B1 ) ∪ (A \ B2 ) ∪ . . . ∪ (A \ Bn ).
2. (B1 ∪ B2 ∪ . . . ∪ Bn )c = B1c ∩ B2c ∩ . . . ∩ Bnc .
3. B1 ∪ B2 ∪ . . . ∪ Bn = ∅ si y solo si B1 = B2 = . . . = Bn = ∅.
Ej. 14 Para cada una de las siguientes sucesiones definidas por recurrencia, escribir los primeros diez términos de la
sucesión, proponer una fórmula explı́cita y mostrar su validez:
1. a1 = 1, a2 = 2, an = 2an−1 − an−2 con n ≥ 3.
Ej. 15 (Opcional) Sea {un }n∈N una sucesión de números reales definida por recurrencia:
x2 + αx + β = 0
llamada ecuación caracterı́stica de la sucesión. Sean p y q las dos soluciones de dicha ecuación y supongamos que son
números reales no nulos y distintos. Usar inducción fuerte para demostrar que una fórmula explı́cita de la sucesión es
un = apn + bq n ,
donde
a = (K1 q 2 − K2 q)/(pq(q − p))
b = −(K1 p2 − K2 p)/(pq(q − p))
[Hint: Para verificar que la fómula vale para n = 1 y n = 2 se necesitan los valores explı́citos de a y b. En el paso inductivo
no hace falta usar los valores de a y b dados, solo necesita usar que p y q son soluciones de la ecuación x2 + αx + β = 0;
y ası́ p2 = −αp − β y q 2 = −αq − β.]
Ej. 16 La fórmula dada para cada una de las siguientes sucesiones definidas por recurrencia fue obtenida usando el
Ejercicio 15. De la misma manera como en el mencionado ejercicio, hacer/repetir la demostración de la respectiva
fórmula usando inducción fuerte:
1. Si u1 = 5, u2 = 13 y un = 5un−1 − 6un−2 , con n ≥ 3, entonces uk = 2k + 3k , ∀k ∈ N.
Ej. 17 (Opcional) Para cada una de las siguientes sucesiones {an }n∈N , demostrar la respectiva afirmación:
√ √
1. Para todo n ∈ N, n número impar, an = (2 + 3)n + (2 − 3)n es un número entero múltiplo de 4.
2. Si a1 = 2, a2 = 3 y an = 2an−1 + 3an−2 con n ≥ 3, entonces ak es un múltiplo de 3 para todo k ≥ 2.
√
3. Si a1 = 1, a2 = 2 y an = an−1 + (n − 1)an−2 con n ≥ 3, entonces ak > k!k para todo k ≥ 4.
4. Si a1 = 1, a2 = 1 y an = an−1 + an−2 − n + 4 con n ≥ 3, entonces ak ≥ k para todo k ≥ 3.
Práctico 2
Álgebra I
Ej. 18
[A. Boyd 1972: “Gossip problem”] Hay un grupo de n amigos y cada uno sabe un
chisme que ningún otro conoce. Entre ellos, conversan mucho por teléfono y cuando
dos de ellos chusmean, entonces se comparten todos los chismes que cada uno sabe
hasta ese momento. Demostrar que si n ≥ 4 entonces con 2n − 4 llamadas telefónicas
es posible que todos los amigos se enteren de todos los chismes (de hecho, puede
demostrarse que 2n − 4 es el mı́nimo número de conversaciones necesarias para este
fin)
(1948) Norman Rockwell: The Gossips
Ej. 19 (Opcional) Un polı́gono de n lados es una figura geométrica plana determinada por n puntos distintos, ciclı́camente
ordenados, llamados vértices, tal que cada terna de puntos consecutivos son no colineales, y un conjunto de segmentos
que unen cada par de puntos consecutivos llamados lados.
El polı́gono se dice simple si todo par de lados no consecutivos del polı́gono no se intersecan. Cuando el polı́gono es
simple puede demostrarse que dicha figura separa el plano (euclı́deo) en dos regiones: una acotada por el polı́gono y
otra no acotada, llamadas respectivamente el interior y el exterior del polı́gono (Teorema de la Curva de Jordan
[poligonal])
Se define por diagonal de un polı́gono a cualquier segmento que una dos vértices no consecutivos. Cuando el polı́gono
es simple podemos hablar de las diagonales interiores del polı́gono: son aquellas diagonales que están contenidas en el
interior del polı́gono; descartando los extremos de la diagonal, y también se puede definir la noción de ángulos interiores.
Las dos primeras figuras son ejemplos de polı́gonos simples y las dos restantes son polı́gonos no simples.
Un teorema muy conocido sobre polı́gonos afirma que todo polı́gono simple con más de tres lados tiene al menos una
diagonal interior. La ventaja de tener una diagonal interior, es que está divide al polı́gono simple en dos polı́gonos simples
con una menor cantidad de lados. Usar este hecho para demostrar: Sea P un polı́gono simple de n lados, entonces:
Ej. 20 Imaginemos la siguiente situación. A un salón vacı́o ingresan n personas, una por vez. Cada vez que ingresa
una persona, saluda con un apretón de manos a las personas que ya se encontraban dentro. Llamemos an a la cantidad
acumulada de apretones de mano que se dieron cuando la n-ésima persona terminó de saludar.
1. ¿Cuántos nuevos apretones de mano se efectúan cuando entra al salón una persona más?
2. Expresar an+1 en términos de an .
3. Deducir una fórmula para an y demostrarla por inducción.
Práctico 2
Álgebra I
Ej. 21 (Opcional) [G. Pólya 1954] Sea P (n) la fórmula “En cualquier conjunto de n chicas, todas tienen ojos del mismo
color” y considerar la siguiente demostración por inducción de que P (n) es verdadera para todo natural n.
c1 , c2 , · · · , ck , ck+1 .
• El conjunto A = {c1 , c2 , · · · , ck } tiene k chicas y, por lo tanto, todas deben tener el mismo color de ojos (digamos
marrón).
• Similarmente, el conjunto B = {c2 , c3 , · · · , ck+1 } también tiene k chicas y, por lo tanto, todas deben tener el mismo
color de ojos.
• Los conjuntos A y B tienen miembros en común (concretamente, las chicas c2 , c3 , · · · , ck ) y por lo tanto todas las
chicas del conjunto B también tienen ojos de color marrón.
• Ası́ pues, todas las k + 1 chicas originales tienen ojos del mismo color.
3. Por el principio de inducción, P (n) es verdadera para todo natural n.
Ej. 22 (Opcional) Dado n ∈ N, recordar que denotaremos por [[1, n]] al conjunto de los números naturales desde el 1
hasta n. Si P([[1, n]]) es el conjunto de partes de [[1, n]], demostrar que
!
X Y 1
= n.
a
A∈P([[1,n]])\{∅} a∈A
π
Ej. 23 Demostrar que en todo triángulo, debe haber un ángulo que mide por lo menos 3 y otro que mide como máximo
π
3
Ej. 24 Tres muy buenas amigas se han juntado a tomar mate. Cada una ha aportado algo de dinero y entre las tres
tienen $2022 pesos.
1. Mostrar que alguna de ellas debió aportar por lo menos $674 pesos, y las que menos dieron, no dieron más de $674
pesos.
2. Probar que deben haber dos amigas cuyos aportes suman como mı́nimo $1348 pesos.
[Hint: Piense en las dos amigas que más aportaron y cuanto pudo haber aportado la amiga restante]
Ej. 25 Sea (a, b) ⊆ R un intervalo abierto. Mostrar que debe existir un intervalo abierto (c, d) ⊆ (a, b) tal que (c, d) no
tiene números enteros.
Práctico 2
Álgebra I
Versión para imprimir
1. Decir cuáles de los siguientes subconjuntos X de R son inductivos. Justificar.
2. Demostrar las propiedades de la potenciación de números reales; es decir, dado m ∈ N fijo, probar que para todo n ∈ N y para
todo x e y en R se cumple:
3. Calcular/transformar en una expresión equivalente con menos términos (no es necesario hacer inducción):
n n
(a) 2n+1 − 2n (b) (22 )n + (2n )2 (c) (22 + 1)(22 − 1) (d) −(−1)n+1
4. Sean {an }n∈N una sucesión de números reales positivos y P([[1, 3]]) el conjunto de partes del conjunto {1, 2, 3}. Calcular las
siguientes expresiones dando un resultado simplificado en aquellos casos donde sea posible:
4
X 2022
X 3
Y 2022
Y
√ ak+1
(a) ai (c) (aj+1 − aj ) (e) a5n+2 (g)
i=1 j=2019 n=−1
ak
k=2019
X X 4
Y Y
(b) 1 (d) (k − 10) · a13 (f) m · a7m+3 (h) a19
B∈P([[1,3]]) 11≤k≤14 m=1 B∈P([[1,3]])
!
X Y 1
(i)
n
B∈P([[1,3]])\{∅} n∈B
5. Para cada una de las siguientes sucesiones dar los tres primeros términos de la sucesión, la expresión del término (k + 1)-ésimo,
y mostrar, usando el principio de inducción, que cada una de las sucesiones {an }n∈N es igual a la respectiva sucesión {bn }n∈N
que le sigue:
2
(a) a1 = 1, an = 3an−1 + 2, n ≥ 2 2n+1+(−1)n+1
(h) bn = 4 ,n∈N
(b) bn = 3 − 3 n n−1
− 1, n ∈ N n−1
X
(c) a1 = 0, an = an−1 + (n − 1), n ≥ 2 (i) a1 = 1, an = n + ai , n ≥ 2
i=1
(n−1)n
(d) bn = 2 , n∈N (j) bn = 2n − 1, n ∈ N
n
(e) a1 = 1, an = 2 − an−1 , n ≥ 2 n−1
X
2n+1
+(−1) n (k) a1 = 1, an = 1 + i · ai , n ≥ 2
(f) bn = ,n∈N
3 i=1
√
(g) a1 = 1, an = ( an−1 − n)2 , n ≥ 2 (l) bn = n!, n ∈ N
6. Hallar una fórmula explı́cita (no recursiva) para el término general de las sucesiones {an }n∈N definidas a continuación y probar
su validez:
√ n
!
(a) a1 = 1, an+1 = ( an + 1)2 , n ∈ N 1 X
(b) a1 = 5, an+1 = 3an + 2 · 5n , n ∈ N (d) a1 = 12 , an+1 = 1− ai , n ∈ N
2 i=1
(c) a1 = −5, an+1 = 2 · an − 3, n ∈ N
7. Demostrar por inducción que las siguientes igualdades se verifican para todo n ∈ N:
n
X n
X 2
a2n+3 − a n(n + 1)
(a) a2k+1 = , a ̸= ±1 (f) k3 =
a2 − 1 2
k=0 k=1
n
X Xn
1 1
(b) (2k + 1) = (n + 1)2 (g) =1−
k(k + 1) n+1
k=0 k=1
n Xn
X n
(−1) (2n + 1) − 1
(c) (−1)k k = (h) k2k = (n − 1)2n+1 + 2
4 k=1
k=1
n Xn
X n(n + 1)(2n + 1) 3 n
(d) k2 = (i) k3k = (3 (2n − 1) + 1)
6 4
k=1 k=1
n
X 2n
X n
n(n + 1) 1 X 1
(e) (−1)k k 2 = (−1)n (j) (−1)k+1 =
2 k n+k
k=1 k=1 k=1
8. Sea n ∈ N y sean x e y números reales. Demostrar los siguientes resultados, usando inducción solo en los casos que considere
necesario:
(a) Si x e y son números reales no negativos y n ≥ 2 entonces x < y si y solo si xn < y n .
(b) x es un real negativo si y solo si x2n+1 es un real negativo.
(c) x2n+1 = y 2n+1 si y solo si x = y.
(d) x2n = y 2n si y solo si x2 = y 2 , equivalentemente x = y o x = −y.
9. Sea n un número natural. Probar las siguientes desigualdades usando el principio de inducción corrida e intentar una segunda
demostración sin usar inducción:
Xn
(a) Si n > 2 entonces 5n − 1 < 75 n3 . 1 1
(f) Si n ≥ 2 entonces <2−
(b) Si n > 3 entonces 2n + 4 < n2 . k 2 n
k=1
(c) Si n > 5 entonces n2 + 3n + 5 < 2n Xn
1 √
(d) Si n > 6 entonces 3n < n! (g) Si n ≥ 2 entonces √ > n
(e) 2n ≤ 2n+1 − 2n−1 − 1 k=1
k
10. (Opcional) Para cada una de las siguientes sucesiones recursivas {an }n∈N , usar inducción para verificar la desigualdades dadas,
y sin usar inducción deducir que son sucesiones estrictamente decrecientes:
4an
(a) Sean a1 = 1 y an+1 = 3an +3 para todo n ∈ N. Entonces an > 31 , para todo n ∈ N.
√
(b) Sean a1 = 6 y an+1 = 6 + an para todo n ∈ N. Entonces an > 3, para todo n ∈ N.
√
(c) Sean a1 = 2 y an+1 = 1
2 an + a1n para todo n ∈ N. Entonces an > 2, para todo n ∈ N (Babilonia, Siglo XVII a.e.c)
11. Sea n ∈ N y sean a, b1 , . . . , bn en R, con todos los bi ’s no nulos. Probar por inducción:
12. Sea n un número entero. Probar, usando inducción(‡), las siguientes afirmaciones:
‡ Cuando desarrollemos más herramientas en el curso, podremos probar estos resultados de forma más sencilla.
(a) A \ (B1 ∩ B2 ∩ . . . ∩ Bn ) = (A \ B1 ) ∪ (A \ B2 ) ∪ . . . ∪ (A \ Bn ).
(b) (B ∪ B ∪ . . . ∪ B )c = B c ∩ B c ∩ . . . ∩ B c .
1 2 n 1 2 n
(c) B1 ∪ B2 ∪ . . . ∪ Bn = ∅ si y solo si B1 = B2 = . . . = Bn = ∅.
14. Para cada una de las siguientes sucesiones definidas por recurrencia, escribir los primeros diez términos de la sucesión, proponer
una fórmula explı́cita y mostrar su validez:
15. (Opcional) Sea {un }n∈N una sucesión de números reales definida por recurrencia:
x2 + αx + β = 0
llamada ecuación caracterı́stica de la sucesión. Sean p y q las dos soluciones de dicha ecuación y supongamos que son números
reales no nulos y distintos. Usar inducción fuerte para demostrar que una fórmula explı́cita de la sucesión es
un = apn + bq n ,
donde
a = (K1 q 2 − K2 q)/(pq(q − p))
b = −(K1 p2 − K2 p)/(pq(q − p))
[Hint: Para verificar que la fómula vale para n = 1 y n = 2 se necesitan los valores explı́citos de a y b. En el paso inductivo
no hace falta usar los valores de a y b dados, solo necesita usar que p y q son soluciones de la ecuación x2 + αx + β = 0; y ası́
p2 = −αp − β y q 2 = −αq − β.]
16. La fórmula dada para cada una de las siguientes sucesiones definidas por recurrencia fue obtenida usando el Ejercicio 15. De
la misma manera como en el mencionado ejercicio, hacer/repetir la demostración de la respectiva fórmula usando inducción
fuerte:
√
(Φ) Esta sucesión recibe el nombre de sucesión de Fibonacci y el número 1+ 5 es llamado la divina proporción
2
17. (Opcional) Para cada una de las siguientes sucesiones {an }n∈N , demostrar la respectiva afirmación:
√ √
(a) Para todo n ∈ N, n número impar, an = (2 + 3)n + (2 − 3)n es un número entero múltiplo de 4.
(b) Si a1 = 2, a2 = 3 y an = 2an−1 + 3an−2 con n ≥ 3, entonces ak es un múltiplo de 3 para todo k ≥ 2.
√
(c) Si a1 = 1, a2 = 2 y an = an−1 + (n − 1)an−2 con n ≥ 3, entonces ak > k!k para todo k ≥ 4.
(d) Si a1 = 1, a2 = 1 y an = an−1 + an−2 − n + 4 con n ≥ 3, entonces ak ≥ k para todo k ≥ 3.
18. [A. Boyd 1972: “Gossip problem”] Hay un grupo de n amigos y cada uno sabe un chisme que ningún otro conoce. Entre ellos,
conversan mucho por teléfono y cuando dos de ellos chusmean, entonces se comparten todos los chismes que cada uno sabe
hasta ese momento. Demostrar que si n ≥ 4 entonces con 2n − 4 llamadas telefónicas es posible que todos los amigos se enteren
de todos los chismes (de hecho, puede demostrarse que 2n − 4 es el mı́nimo número de conversaciones necesarias para este fin)
19. (Opcional) Un polı́gono de n lados es una figura geométrica plana determinada por n puntos distintos, ciclı́camente ordenados,
llamados vértices, tal que cada terna de puntos consecutivos son no colineales, y un conjunto de segmentos que unen cada par
de puntos consecutivos llamados lados.
El polı́gono se dice simple si todo par de lados no consecutivos del polı́gono no se intersecan. Cuando el polı́gono es simple
puede demostrarse que dicha figura separa el plano (euclı́deo) en dos regiones: una acotada por el polı́gono y otra no acotada,
llamadas respectivamente el interior y el exterior del polı́gono (Teorema de la Curva de Jordan [poligonal])
Se define por diagonal de un polı́gono a cualquier segmento que una dos vértices no consecutivos. Cuando el polı́gono es
simple podemos hablar de las diagonales interiores del polı́gono: son aquellas diagonales que están contenidas en el interior del
polı́gono; descartando los extremos de la diagonal, y también se puede definir la noción de ángulos interiores.
Un teorema muy conocido sobre polı́gonos afirma que todo polı́gono simple con más de tres lados tiene al menos una diagonal
interior. La ventaja de tener una diagonal interior, es que está divide al polı́gono simple en dos polı́gonos simples con una
menor cantidad de lados. Usar este hecho para demostrar: Sea P un polı́gono simple de n lados, entonces:
20. Imaginemos la siguiente situación. A un salón vacı́o ingresan n personas, una por vez. Cada vez que ingresa una persona, saluda
con un apretón de manos a las personas que ya se encontraban dentro. Llamemos an a la cantidad acumulada de apretones de
mano que se dieron cuando la n-ésima persona terminó de saludar.
(a) ¿Cuántos nuevos apretones de mano se efectúan cuando entra al salón una persona más?
(b) Expresar an+1 en términos de an .
(c) Deducir una fórmula para an y demostrarla por inducción.
21. (Opcional) [G. Pólya 1954] Sea P (n) la fórmula “En cualquier conjunto de n chicas, todas tienen ojos del mismo color” y
considerar la siguiente demostración por inducción de que P (n) es verdadera para todo natural n.
c1 , c2 , · · · , ck , ck+1 .
• El conjunto A = {c1 , c2 , · · · , ck } tiene k chicas y, por lo tanto, todas deben tener el mismo color de ojos (digamos marrón).
• Similarmente, el conjunto B = {c2 , c3 , · · · , ck+1 } también tiene k chicas y, por lo tanto, todas deben tener el mismo color
de ojos.
• Los conjuntos A y B tienen miembros en común (concretamente, las chicas c2 , c3 , · · · , ck ) y por lo tanto todas las chicas
del conjunto B también tienen ojos de color marrón.
• Ası́ pues, todas las k + 1 chicas originales tienen ojos del mismo color.
(c) Por el principio de inducción, P (n) es verdadera para todo natural n.
π π
23. Demostrar que en todo triángulo, debe haber un ángulo que mide por lo menos 3 y otro que mide como máximo 3
24. Tres muy buenas amigas se han juntado a tomar mate. Cada una ha aportado algo de dinero y entre las tres tienen $2022
pesos.
(a) Mostrar que alguna de ellas debió aportar por lo menos $674 pesos, y las que menos dieron, no dieron más de $674 pesos.
(b) Probar que deben haber dos amigas cuyos aportes suman como mı́nimo $1348 pesos.
[Hint: Piense en las dos amigas que más aportaron y cuanto pudo haber aportado la amiga restante]
25. Sea (a, b) ⊆ R un intervalo abierto. Mostrar que debe existir un intervalo abierto (c, d) ⊆ (a, b) tal que (c, d) no tiene números
enteros.