PROBLEMA DEL MES, FEBRERO 2023, RSME
ANTONIO ROBERTO MARTÍNEZ FERNÁNDEZ
Alevı́n [A-031. Transformadores de números]. Tenemos dos pecu-
liares transformadores de números: I y P . Un número n que atraviese I
sale transformado en el n-ésimo impar. Por ejemplo: 2 → I → 3 (si entra
el 2 sale un 3, el 2º impar), 3 → I → 5 (si entra el 3 sale un 5, el 3º impar).
Un número n que atraviese P sale transformado en el n-ésimo par. Por
ejemplo: 2 → P → 4 (si entra el 2 sale el 4, el 2º impar), 3 → P → 6 (si
entra el 3 sale un 6, el 3º impar).
¿Qué número has de meter en un transformador y el resultado, a contin-
uación, en el otro para que salga al final 2022? ¿Y si al final queremos que
salga 2023?
Antonio Ledesma López (Club Matemático. Requena)
Solución: Como 2022 es el 1011º par, se tiene 1011 → P → 2022. Como
1011 es el 506º impar, tenemos que
506 → I → 1011 → P → 2022.
Por otro lado, como 2023 es el 1012º impar, se tiene que 1012 → I → 2023.
Al ser 1012 el 506º par, se tiene que
506 → P → 1012 → I → 2023.
Es decir, para obtener el 2022 hemos de meter el 506 en el transformador
I y el resultado en el transformador P . Para obtener el 2023 basta partir
del 506 e invertir el orden de los transformadores.
□
Infantil [I-031. Racional y positivo]. ¿Por qué número racional positivo
habrı́a que dividir las fracciones 10 8
9 y 7 para obtener dos números naturales
consecutivos?
Antonio Ledesma López (Club Matemático. Requena)
Date: 30 de enero de 2023.
1
2 ANTONIO ROBERTO MARTÍNEZ FERNÁNDEZ
a 10 a 8 a
Solución: Buscamos un número b ∈ Q+ tal que 9 : b =ny 7 : b = n+1
para algún n ∈ N. Ası́,
8b 10b 72b − 70b 2b
= + 1 =⇒ = = 1,
7a 9a 63a 63a
a 2
de donde b = 63 . En tal caso, los números naturales obtenidos serı́an
10 2 8 2
n= : = 7 · 5 = 35 y n+1= : = 9 · 4 = 36.
9 63 7 63
□
Cadete [C-031. Sucesión de números naturales]. Sea {an } una
sucesión de números enteros positivos, naturales, de la que sabemos que
an+m = an + am + nm y a3 = 6. ¿Qué vale a31 ? ¿Y an en general?
Antonio Ledesma López (Club Matemático. Requena)
Solución: De la ecuación del enunciado se tiene a2 = a1+1 = a1 + a1 + 1 =
2a1 + 1. Por otro lado,
6 = a3 = a2+1 = a2 + a1 + 2 = (2a1 + 1) + a1 + 2 = 3(a1 + 1),
de donde a1 + 1 = 2 y a1 = 1. Esto implica que a2 = 2 · 1 + 1 = 3. Además,
a4 = a3+1 = a3 + a1 + 3 = 6 + 1 + 3 = 10. Vemos que a2 se obtiene
sumando 2 a a1 , a3 se obtiene sumando 3 a a2 , y que a4 se obtiene sumando
4 a a3 . Esto nos conduce a conjeturar que, para cada n ∈ N, se tiene que
an = 1 + 2 + · · · + n (*).
Probemos esto por inducción en n. Si n = 1, se cumple la fórmula (*) ya
que a1 = 1. Supongamos que la fórmula (*) es válida para an . En tal caso,
se tiene que
an+1 = an + a1 + n = (1 + 2 + · · · + n) + 1 + n = 1 + 2 + · · · + n + (n + 1),
con lo que se cumple la fórmula (*) para n + 1. Por consiguiente,
n(n + 1)
an = 1 + 2 + · · · + n = .
2
31·32
En particular, tenemos que a31 = 2 = 496. □
Juvenil [J-031. Lujosa valoración]. Prueba con todo lujo de detalles
que si x − 7y + 3 = 0 con x ∈ (−3, 4), entonces:
p p √
x2 + y 2 + 6x + 9 + x2 + y 2 − 8x − 2y + 17 = 5 · 2.
Antonio Ledesma López (Club Matemático. Requena)
PROBLEMA DEL MES, FEBRERO 2023, RSME 3
Solución: Como x2 + y 2 + 6x + 9 = (x + 3)2 + y 2 y x2 + y 2 − 8x − 2y + 17 =
(x − 4)2 + (y − 1)2 , el miembro izquierdo de la expresión del enunciado, E,
vale
E = d(P, (−3, 0)) + d(P, (4, 1)),
con P = (x, y) y d(·, ·) la función distancia euclı́dea. Ahora bien, si x ∈
[−3, 4], la gráfica de la recta x − 7y + 3 = 0 es el segmento de recta que une
A = (−3, 0) con B = (4, 1).
Por consiguiente,
p √ √
E = d(P, A) + d(P, B) = d(A, B) = 72 + 12 = 50 = 5 2.
□
Júnior [Jn-031. Fácil de desigualdad]. Probar que para todo par (a, b)
de números reales positivos se cumple:
√ √
3
√
5
2 · a + 3 · b ≥ 5 · ab.
Antonio Ledesma López (Club Matemático. Requena)
Solución: Usando la desigualdad entre la media aritmética y la media
geométrica, MA ≥ MG, se tiene que
√ √ √ √ √ !
√ √3 a+ a+ 3b+ 3b+ 3b
q
5 √ √ 3
√ √ 3
√3
√5
2 a+3 b = 5 ≥5 a a b b b = 5 ab.
5
□
Sénior [S-031. Integral partı́a]. Calcula la siguiente integral:
Z +∞
{x}
dx,
0 m⌊x⌋
donde ⌊x⌋ y {x} son, respectivamente, la parte entera y decimal de x, m ≥ 2.
Manuel Vázquez Mourazos (IES Arcebispo Xelmı́rez I. Santiago de Compostela)
4 ANTONIO ROBERTO MARTÍNEZ FERNÁNDEZ
Solución: Usando que x = ⌊x⌋ + {x} para cada x ∈ R y partiendo la
integral en los subintervalos [0, 1], [1, 2], [2, 3], etc., tenemos que
Z +∞ Z 1 Z 2 Z 3 Z 4
{x} x x−1 x−2 x−3
⌊x⌋
dx = 0
dx + 1
dx + 3
dx + dx + . . .
0 m 0 m 1 m 2 m 3 m3
∞ Z j+1 ∞
X x−j 1X 1 1 1 m
= j
dx = j
= 1 = 2(m − 1)
m 2 m 2 1− m
j=0 | j {z } j=0
1 1
[(x−j)2 ]j+1 = 1j
mj 2 j 2m
P∞ 1
Observemos que la serie geométrica j=0 mj es convergente cuando su
1
razón, m , es menor que 1 en valor absoluto, cosa que se cumple ya que
m ≥ 2 > 1. Esto nos dice que la integral anterior es convergente y su valor
es el calculado, para cada m > 1. □
Antonio Roberto Martı́nez Fernández
CEA Mar Menor, Torre Pacheco
