PROGRAMA NACIONAL

DE ALTO RENDIMIENTO

ONEM 2019

1 Nivel 1
1. Martı́n querı́a sumar dos números naturales y por error agregó un dı́gito al final de uno de ellos. De-
bido a ese error Martı́n obtuvo 8888 en vez de 2019, que era el resultado correcto. Cuáles son los dos
números que querı́a sumar Martı́n?

S olu ci on :
Sean A y B los números de Martı́n y sea x el dı́gito que se agregó por error a A. Luego A + B = 2019
y 10A + x + B = 8888, restando estas expresiones nos queda 9A + x = 6869, y considerando el módulo
9 nos queda x 2 (mod 9). Como x es un dı́gito debe ocurrir x = 2. Luego

9A = 6867⇒ A = 763 ⇒ B = 1256.

2. En las casillas de un tablero de 3 × 4 se distribuyeron los números enteros del 1 al 12, sin repetir.
(a) Determine si es posible que el producto de los cuatro números de cualquier subtablero de 2 × 2
sea múltiplo de 80.
(b) Determine si es posible que el producto de los cuatro números de cualquier subtablero de 2 × 2
sea múltiplo de 720.
Solucion: Para la primera parte coloquemos los números como muestra la figura

1 12 3 7

4 5 8 10

6 2 9 11

Para la segunda parte consideremos 4 tableros de 2 × 2 con vértices los vértices del rectángulo de 3 × 4,
los puntos medios de los lados y el centro. Sean A, B, C, D los números escritos en la segunda fila,
luego el producto de los números de estos 4 tableros es 12!ABCD. Además este producto es múltiplo
de 7204 .

7204 | 12!ABCD ⇒ 216 × 54 × 38 | 210 × 35 × 52 × 7 × 11ABCD ⇒ 26 × 52 × 33 | ABCD

Como hay al menos dos factores 5 entre los números A, B, C, D, dos de ellos deben ser 5 y 10, además
hay tres factores 3, luego entre los dos números restantes uno debe ser 9 y el otro pertenecer a {3, 6, 12}.
Luego entre los cuatro números hay a lo más 3 factores 2, lo que contradice que sea divisible por 26 .
3. Sea ABC un triángulo. En el lado AB se escoge el punto D y en el lado AC se escoge el punto E del
AB
tal forma que AE = ED = DB y EC = CB = . Halle la medida del ángulo BAC.
2

1
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
S olu ci on :
Sea 2α = ∠BAC, luego ∠ADE = 2α y ∠DBA = ∠DEB = α, entonces ∠BEC = 3α = ∠EBC.
Prolongamos AB hasta un punto F tal que F B = BC = a, luego ∠BEC = 2α = ∠BCE. Por
√ tenemos que F C = F B.F A ⇒
2
dato AB√ = 2a y como los triángulos BF C y ACF son semejantes
F C = a 3. Luego el triángulo BF C es isósceles de lados a, a y a 3, luego los ángulos iguales de este
triángulo miden 30 y son iguales a 2α.

4. En el siguiente tablero algunas casillas son pintadas de rojo y algunas de azul, de tal forma que cada
casilla pintada tenga exactamente una casilla vecina pintada del otro color. Cuál es el mayor número
de casillas pintadas que puede haber en el tablero.
S olu ci on :
Lema 1: Toda cruz de 5 casillas con centro en alguna de las casillas sombreadas tiene al menos una
casilla sin pintar.

Lema 2: Cada una de las 4 fichas mostradas a continuación contiene al menos 2 casillas libres.

2
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
Asumiendo el lema 1 y 2 podemos partir el tablero de la siguiente forma

Luego tenemos por lo menos una casilla sin pintar en cada cruz y por lo menos dos casillas sin pintar en
cada una de las 4 fichas del lema 2, en total hay por lo menos 12 casillas sin pintar, como el tablero tiene 84
casillas hay a lo más 72 casillas pintadas.

Demostraremos el lema 1 por el método del absurdo. Todas las cruces mencionadas del lema cumplen que 2
de sus casillas pertenecen al borde del tablero. Supongamos que las cinco casillas están coloreadas. Entonces
la casilla central de la cruz tiene 4 vecinas coloreadas. Sin pérdida de generalidad digamos que la casilla
central fue ro ja, entonces tiene una vecina azul y 3 vecinas ro jas. De las dos casillas que están en el borde
a lo más una es azul, luego al menos una de ellas (quizás las dos) debe ser ro ja. Nos queda alguna de las
siguientes figuras

Donde no sabemos el color de las casillas de verde y morado, pueden ser ro jas, azules o quizás no estar pin-
tadas. Fijémonos en las casillas del borde con una X, ellas están pintadas de color ro jo y tienen exactamente
dos vecinas, una de rojo (la casilla central de la cruz) y una de verde, luego la casilla verde en verdad tenı́a
que ser azul. Como esta casilla verde tiene dos vecinas ro jas esto es una contradicción. (Toda casilla azul
tiene exactamente una vecina roja, no puede tener 2 vecinas rojas)

Ahora probaremos el lema 2. Como cada una de estas 4 fichas contiene 2 cruces del lema 1, tenemos que
hay por lo menos una casilla libre. Por absurdo nuevamente supongamos que hay exactamente una casilla
libre, luego esta casilla libre está en la intersección de las 2 cruces (hay 2 casillas en esta intersección), de
lo contrario habrı́an 2 casillas libres. Tenemos alguno de los siguientes casos, aquı́ tenemos que la casilla

3
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO

en blanco está sin colorear y cada una de las casillas de amarillo está necesariamente coloreada, ya sea de
rojo o de azul. Sin pérdida de generalidad asumamos el primer caso. Tenemos que las 2 casillas amarillas
superiores están en el borde del tablero. Y en la parte inferior tenemos una tablero de 2 × 2 totalmente
pintado .Este tablero o bien tiene todas sus casillas del mismo color, o bien 2 son rojas y 2 son azules, pues
si tuviese 1 azul y 3 rojas (o 1 roja y 3 azules), la casilla azul (roja) tendrı́a 2 vecinas rojas (azules) lo cual
no puede ocurrir por condición del problema. Además por la misma razón en el segundo caso, casillas del
mismo color están en la misma fila o columna, no pueden estar en la diagonal. Luego nos quedan 3 casos

En el primer caso debajo de la casilla blanca tenemos una casilla roja con 2 vecinas rojas, luego su tercera
vecina debe ser azul.

Luego dicha casilla azul tiene una casilla vecina roja, luego su otra vecina (la casilla de verde) en verdad
debió ser azul. Pero esta casilla (la de verde) tiene una vecina sin pintar y la otra vecina azul, luego no
puede ser azul, lo cual es absurdo.

En el segundo caso, la casilla azul en el centro tiene una vecina roja y una vecina azul, luego sus otras dos
vecinas deben ser azules. Nos queda

Luego la casilla verde tiene dos vecinas azules y ninguna otra vecina, luego ya sea roja o azul, esta casilla
no cumple las condiciones del problema. El mismo argumento podemos usar para el tercer caso. Lo que
termina la prueba del lema 2.

4
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO

En la siguiente figura mostramos un ejemplo de un tablero que cumple las condiciones del problema con 72
casillas pintadas.

5
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
2 Nivel 2
1. Sea ABCDEF un hexágono regular, C1 la circunferencia de diámetro AF y C2 la circunferencia de
centro E y radio EF . Las circunferencias C1 y C2 se intersectan en los puntos F y P , y además, AP
intersecta a ED en Q. Determine en qué relación están las longitudes de los segmentos DQ y QE.
S olu ci on :
Prolongamos AP y F E que se cortan en X. Luego P E = F E = EX = L, sea QE = a y en el triángulo
AF X trazamos QR paralelo a AF con R en F X. Tenemos que QRE es equilátero , luego RX = L − a.
Aplicando relaciones de semejanza para los triángulos QRX y AF X
L−a 2L
= ⇒ L = 3a
a L
QD
Como DE = L = 3a, entonces QD = 2a, por lo tanto = 2.
QE
2. Alejandro tiene 60 caramelos y los divide en cuatro grupos de al menos un caramelo cada uno. Luego
Carlos elige uno de los grupos. Después, de los tres grupos que quedan, Alejandro elige dos. Finalmente
Carlos se queda con el grupo restante. Determine cuántos caramelos como máximo, Alejandro puede
asegurar obtener.
S olu ci on :
Sea k la cantidad de caramelos que puede asegurar Alejandro. Luego cada ca ja tiene a lo más 59 − k
caramelos, pues si alguna caja tuviera 60−k o más caramelos, Carlos eligirı́a dicha ca ja y en su segundo
movimiento tomarı́a por lo menos un caramelo más, con lo que tendrı́a por lo menos 61 − k caramelos,
esto es Alejandro tendrı́a en este caso a lo más k − 1 caramelos. Luego en dos ca jas hay a lo más
2(59 − k) caramelos, pero Alejandro siempre puede asegurar k caramelos, entonces
k ≤ 2(59 − k ⇒ k ≤ 39
Considerando la repartición 1, 19, 20, 20, Carlos a lo más puede tomar 20 caramelos en su primera
jugada con lo cual Alejandro puede asegurar 39 caramelos.
3. Para cada entero positivo n encuentre todas las soluciones reales del siguiente sistema:
2xn = y(x2 + 1)
2y n = z(y 2 + 1)
2z n = x(z 2 + 1)
S olu ci on :
Si alguna de las variales es 0, entonces todas las demás son 0. Luego (0, 0, 0) es solución para todo n
y podemos asumir que todas las variables son no nulas.

Si n = 1 nos queda
2x = y(x2 + 1)
2y = z(y 2 + 1)
2z = x(z 2 + 1)
Multiplicando y cancelando nos queda (x2 + 1)(y 2 + 1)(z 2 + 1) = 8. Además como las expresiones
x2 + 1, y 2 + 1, z 2 + 1 son positivas entonces x, y, z tienen el mismo signp y como (x, y, z ) es solución si
y sólo si (−x, −y, −z ) es solución podemos asumir x, y, z > 0, luego
2x = y(x2 + 1) ≥ y(2x) ⇒ 1 ≥ y

6
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
Análogamente 1 ≥ z y 1 ≥ x, entonces (x2 + 1)(y 2 + 1)(z 2 + 1) ≤ 8 y como se da la igualdad se dieron
todas las igualdades, es decir (1, 1, 1) y (−1, −1, −1) son todas las soluciones en este caso.

Si n ≥ 3 es impar, similar a lo anterior x, y, z tienen el mismo signo y además (x, y, z ) es solución si

y sólo si (−x, −y, −z ) es solución. Luego podemos asumir x, y, z > 0. Definamos la función f en los
reales positivos como
2tn
f (t) = 2
t +1
Luego
t2 (n − 2) + n
f (t) = 2tn−1 >0
(t2 + 1)2
Luego la función es estrictamente creciente. Entonces si x < y tenemos

f (x) < f (y)⇒ y < z ⇒ f (y) < f (z) ⇒ z < x

Nos queda x < y < z < x lo cual es absurdo. Análogamente x > y nos lleva a un contradicción. Luego
x = y = z, nos queda resolver f (x) = x.

2xn
= x ⇒ 2xn−1 = x2 + 1 ≥ 2x ⇒ xn−2 ≥ 1 ⇒ x ≥ 1
x2 + 1
Luego xn−1 ≥ x2 y xn−1 ≥ 1, al sumar estas dos desigualdades se da la igualdad, luego se deben
cumplir las igualdades, esto es x = 1. En conclusión para n ≥ 3 impar las soluciones son (1, 1, 1) y
(−1, −1, −1).
Para n = 2, como los números son no nulos, x2 + 1 y x2 son positivos, luego y y todas las demás
variables son positivas. Multiplicando las ecuaciones nos queda

8x2 y 2 z 2 = xyz(x2 + 1)(y 2 + 1)(z 2 + 1) ⇒ 8xyz = (x2 + 1)(y 2 + 1)(z 2 + 1) ≥ (2x)(2y)(2z)

Luego todas las igualdades se cumplen y nos queda (x, y, z) = (1, 1, 1)

Para n ≥ 4 par, similarmente concluimos que los números son positivos. Definimos la función en los
reales positivos
2tn
f (t) = 2
t +1
Como f (t) > 0 para todo t > 0, f es estrictamente creciente. Procedemos como en el caso impar y
concluimos x = y = z, luego las soluciones de f (x) = x son como en el caso n impar. La única solución
es x = 1.

En concluión:

Si n es par las soluciones son (0,0,0), (1,1,1).

Si n es impar las soluciones son (0,0,0), (1,1,1) y (-1,-1,-1).

4. Se escogen 5000 números del conjunto {1, 2, . . . , 10000} tales que entre los números escogidos no hay
uno que divida a otro. Determine el menor valor que puede tomar uno de los números escogidos.
S olu ci on :

7
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
Dividamos el conjunto de impares I = {1, 3, 5, . . . , 9999} (este conjunto tiene 5000 elementos) de la
manera siguiente
I0 = {1}
I1 = {3}
I2 = {5, 7 . . . , 13}
I3 = {15, 17, . . . , 41}
I4 = {43, 45, . . . , 123}
I5 = {125, 127, . . . , 369}
I6 = {371, 373, . . . , 1111}
I7 = {1113, 1115, . . . , 3333}
I8 = {3335, 3337, . . . , 9999}
Notemos que para todo impar i ≤ 3333 se cumple que i ∈ Ik ⇒ 3i ∈ Ik+1 . Además Ik < Ik+1 , esto es
todo elemento de Ik es menor que todo elemento de Ik+1 . Usaremos la siguiente notación para todo
entero positivo m y todo conjunto A
mA = {mx; para todo x ∈ A}

Con esta notación tenemos 3Ik ⊂ Ik+1 . Luego consideremos la siguiente unión de conjuntos
28 I0 ∪ 27 I1 ∪ 26 I2 ∪ . . . ∪ 2I7 ∪ I8
Todos los elementos de este conjunto son distintos, pues la representación de todo número como pro-
ducto de una potencia de 2 por un impar es única, y además son menores que 10000. Veamos que
ninguno es múltiplo de otro. Sean a1 = 2α1 i1 ∈ 2α1 I8−α1 y a2 = 2α2 i2 ∈ 2α2 I8−α2 tal que a1 | a2 .
Luego α1 ≤ α2 y i1 | i2 . Si α1 < α2 entonces I8−α1 > I8−α2 , esto es todo elemento de I8−α1 es mayor
que todo elemento de I8−α2 , en particular i1 > i2 , luego i1 no puede dividir a i2 . Si α1 = α2 , entonces
i1 | i2 , como deben ser distintos pues a1 = a2 , tenemos que 3i1 ≤ i2 , entonces i2 ∈ / I8−α1 y también
i2 ∈ I8−α1 , lo cual es absurdo. En dicho conjunto de 5000 elementos el menor de ellos es 28 = 256.

Como observamos anteriormente, cada número natural se puede representar de manera única como el
producto de una potencia de 2 por un impar, esto es cada número tiene definidas de manera única dos
coordenadas, la mayor potencia de 2 que lo divide y el impar que acompaña. Luego los números del 1
al 10000 se pueden distribuir de manera única en la siguiente tabla.

Las casillas sombreadas representan los 5000 números elegidos para nuestro ejemplo.

8
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
Sea mk la cantidad de elementos de Ik , como entre todos ellos son los impares menores que 10000 nos
queda m0 + m1 + . . . m8 = 5000. Al escoger los 5000 números de la tabla, notamos que no podemos
elegir más de 1 número de la columna I0 , pues si tomamos dos potencias de 2, una de ellas será múltiplo
de la otra. Luego en la columna correspondiente a I0 a lo más podemos escoger un número (m0 = 1).
De manera similar en la columna correspondiente a Ik podemos escoger a lo más mk números, pues
si hubiese más de mk números entonces habrı́a dos números con la misma coordenada impar en filas
distintas, luego uno será múltiplo de otro. Como hemos elegido m0 + m1 + . . . + m8 = 5000 números
esto quiere decir que hemos elegido exactamente 1 número de la columna I0 , m1 números de la columna
I1 , . . ., m8 números de la columna I8 .

Tenemos m8 números elegidos en la columna que corresponde a I8 , luego cada número de I8 aparece
exactamente una vez como coordenada impar de estos m8 números. Como 38 I0 ⊂ 37 I1 ⊂ . . . 3I7 ⊂ I8 ,
todos los números de I0 , I1 , . . . , I7 son divisores de los m8 números elegidos, luego no pueden estar
entre los 5000 números elegidos. Colorearemos de ro jo las casillas correspondientes a estos números,
es en la primera fila coloreamos las columnas de I0 hasta I7 lo que indica que los números ubicados
ahı́ no pueden aparecer entre los números elegidos.

Tenemos m7 números elegidos en la columna que corresponde a I7 , todos ellos pares, pues los términos
impares de esa columna están de ro jo. Como 2 × 37 I0 ⊂ 2 × 36 I1 ⊂ . . . 2 × 3I6 ⊂ 2I7 , aquellos números
de las columnas I0 , I1 , . . . , I6 que tengan exactamente un divisor 2 están en la segunda fila y serán
divisores de los m7 números elegidos. Luego los colorearemos de ro jo indicndo que no pueden ser
elegidos. Procediendo de esta manera con los demás números elegidos nos queda que las siguientes
casillas están coloreadas de ro jo

Luego de los números que podemos elegir, aquellos que están en casillas no coloreadas, el menor posible
es 256 y un ejemplo de como elegir los 5000 números usando 256 se dio al inicio. (Tomando todos los
números de la diagonal izquierda)

9
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
3 Nivel 3
1. Determine para qué números enteros n ≥ 3 es posible encontrar números enteros positivos a1 < a2 <
· · · < an tales que a11 + a12 + · · · + a1n = 1 y a1 a2 · · · an es un cuadrado perfecto.
Solución:

Para n = 3 podemos tomar a1 = 2, a2 = 3, a3 = 6.

Para n = 4 podemos tomar a1 = 2, a2 = 4, a3 = 6, a6 = 12.
Consideremos que es posible para un número n ≥ 3 encontrar los números a1 < a2 < · · · < an con
dicha propiedad. Quitemos el número an y agregaremos los números 2an < 3an < 6an . Como
1 1 1 1
= + +
an 2an 3an 6an
La suma de las inversas de los nuevos números seguirá siendo 1. Además el nuevo producto es igual
al inicial multipicado por 36a2n . Luego el producto sigue siendo cuadrado perfecto. Luego si el número
n cumple la propiedad, entonces el número n + 2 también. Por inducción todos los números n ≥ 3
stisfacen la propiedad.

2. Halle todos los números reales k que tienen la siguiente propiedad: Para cualesquiera números reales
no nulos a y b se cumple que al menos uno de los siguientes números:
5 6
a, b, 2
+ 3
a b
es menor o igual que k.
S olu ci on :

Probaremos que todos los números k ≥ 2 satifacen la propiedad. Sean a y b no nulos, si alguno de ellos
es menor o igual que k(k ≥ 2) entonces se cumple la propiedad, de lo contrario si ambos son mayores
que k, entonces
5 6 5 6 5 6
2
+ 3 < 2 + 3 ≤ 2 + 3 =2
a b k k 2 2
Ahora probaremos que todos los números k < 2 no cumplen la propiedad. Si k ≤ 0 basta tomar
cualesquiera a y b positivos. Si 0 < k < 2, tomamos los números a = b = 2, ninguno de ellos es menor
o igual que k y el número a52 + b63 = 2 tampoco, por lo que k no cumple la propiedad.

3. En el trapecio ABCD, la base AB es menor que la base CD. El punto K se escoge de tal forma que
AK es paralelo a BC y BK es paralelo a AD. Los puntos P y Q se escogen en los rayos AK y BK
respectivamente, de tal forma que ∠ADP = ∠BCK y ∠BCQ = ∠ADK.

(a) Demuestre que las rectas AD, BC y P Q pasan por un mismo punto.
(b) Suponga que las circunferencias circunscritas de los triángulos AP D y BCQ se intersectan en dos
puntos, demuestre que uno de esos puntos pertenece a la recta P Q.
S olu ci on :
Los triángulos ADP y BKC son semejantes pues por las paralelas el ángulo en A coincide con el
ángulo en B . Además por condición ∠ADP = ∠BCK . Análogamente los triángulos ADK y BCQ
son semejantes. Como ADK y ADP comparten un lado y BKC y BCQ también, entonces la razón
de semejanza es la misma y sea r dicha razón. Si KP = a y AK = b, entonces KQ = ar y QB = br.

10
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
Sea T el punto de corte de P Q y AB . En el triángulo AKB aplicamos el teorema de Menelao para los
puntos colineales P, Q, T , entonces
AT BQ KP AT a+b
= 1⇒ =
BT KQ AP BT b

Sea R el punto de corte de DA y CB y sea T el punto de corte de P R y AB. Tenemos que ARBK
es un paralelogramo, luego RB = AK = b, como los triángulos RT B y P T A son semejantes tenemos
que
AT AP a+b
= =
BT RB b
Luego T y T deben coincidir, lo cual implica que P, Q, R son colineales.

La recta P Q corta a la circunferencia circunscrita a BQC en dos puntos, uno de los cuales es Q, sea
W el otro punto. Entonces por el teorema de la secante

RB.RC = RQ.RW

Si AD = c, por la semejanza BC = cr. Luego si AR = d, por Thales RB = dr, por lo anterior

RQ.RW = d(c + d)r2

Por el paralelogramo ARBK tenemos AR = BK = d y AK = RB = b = dr. Como QB = QK+KB ⇒

br = ar + d ⇒ d = r(b − a), reemplanzando d nos queda b = r2 (b − a), luego

RP BK (b − a)r
RP.RW = RQ.RW. = d(c + d)r2 = d(c + d)r2 = d(c + d) = RA.RD
RQ BQ br
Luego W pertenece al circuncı́rculo de AP D pues se cumple el teorema de la secante.
4. Un tablero que tiene algunas de sus casillas pintadas de negro es llamado aceptable si no hay cuatro
casillas negras que forman un subtablero de 2 × 2. Halle el mayor número real λ tal que para todo
entero positivo n se cumple la siguiente propiedad: si un tablero de n × n es aceptable y tiene menos de
λn2 casillas negras, entonces se puede pintar de negro una casilla adicional de tal forma que el tablero
siga siendo aceptable.
S olu ci on :
Consideremos un tablero cuadriculado infinito y pintemos en cada fila 2 casillas de negro y de blanco
de manera alternada tal como muestra la figura.

11
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
Tomemos un tablero de n×n en esta cuadricula infinita. El tablero será aceptable pues en la cuadrı́cula
infinita no hay un tablero de 2 × 2 pintado de negro. Además si pintamos de negro alguna casilla del
interior siempre se forma un tablero de 2 × 2, luego si pintamos una casilla del interior el tablero deja
2
de ser aceptable. Si n es par el tablero tiene n2 casillas pintadas de negro y si n es impar el tablero
2 2
tiene n 2+1 o n 2−1 casillas pintadas de negro. En cualquier caso tenemos un tablero aceptable con a lo
2
más n 2+1 casillas pintadas de negro. En este tablero, aún podemos pintar algunas casillas del borde
(no necesariamente todas) y seguir obteniendo un tablero aceptable. En total tenemos 4n − 4 casillas
en el borde, pitando algunas de ellas obtendremos un tablero aceptable en el cual no se pueden pintar
2
más casillas. Finalmente tenemos un tablero de n × n en el cual se han pintado a lo más n 2+1 + 4n − 4
casillas de negro, el cual cumple que si pintamos alguna casilla más el tablero deja de ser aceptable.

Sabemos que
n2 + 1
+ 4n − 4 1
limn ∞ 2 =
n 2 2
Si λ > 12 , existe n entero positivo suficientemente grande tal que
n2 + 1
+ 4n − 4 n2 + 1
2 <λ⇒ + 4n − 4 < λn2
n 2 2
Luego tenemos un tablero aceptable en el que se han pintado menos de λn2 casillas al cual no se le pueden
pintar más casillas. Esto contradice la propiedad, por lo tanto λ ≤ 12 . Ahora probaremos que λ = 12 cumple
las condiciones del problema. Haremos la prueba por inducción, supongamos que para todo k < n se cumple
2
que si un tablero aceptable de k × k tiene menos k2 casillas pintadas, entonces es posible pintar una casilla
adicional y el tablero seguirá siendo aceptable.

Lema 1: Si una ficha de 2 × 1 o de 1 × 2 con una casilla en una esquina del tablero tiene sus dos casillas
sin pintar entonces podemos pintar esta esquina y el tablero seguirá siendo aceptable. LLamaremos a estas
fichas de tipo 1.

Lema 2:Si una ficha de 2 × 1 o de 1 × 2 con una casilla en el borde y la otra en el interior del tablero tiene
sus dos casillas sin pintar podemos pintar la del borde, en este caso varı́an dos tableros de 2 × 2 pero estos
contienen a la ficha, por lo tanto el tablero sigue siendo aceptable. Llamaremos a estas fichas de tipo 2.

Sea n ≥ 5 y supongamos que tenemos un tablero de n × n. Cubramos el borde del tablero con fichas de tipo
1 y 2 como muestra la figura.

Tenemos 4 fichas de tipo 1 y 4(n−3) fichas de tipo 2, si alguna de estas fichas estuviese totalmente de blanco,
por los lemas anteriores podemos pintar una casilla de esta ficha (la de la esquina o la del borde según sea

12
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO
de tipo 1 o de tipo 2) y el tablero seguirá siendo aceptable.

En caso contrario, si todas las fichas tienen al menos una casilla negra cada una, tenemos al menos 4(n − 2)
2
fichas negras en la parte externa. Como tenemos menos de n2 fichas negras en total, en la parte central
tendremos menos de
n2 (n − 4)2
− 4(n − 2) =
2 2
casillas negras pintadas. Por hipótesis inductiva, podemos encontrar una casilla sin pintar y pintarla y el
tablero seguirá siendo aceptable. Podemos aplicar la hipótesis inductiva pues si el tablero grande es aceptable
entonces el tablero de (n − 4) × (n − 4) también será aceptable. Para terminar la inducción basta resolver
los primeros 4 casos. Los casos n = 1 y n = 2 son triviales.

Si n = 4 podemos realizar la siguiente división

Tenemos 4 fichas de tipo 1 y 4 fichas de tipo 2, en total 8 fichas. Por condición del problema tenemos menos
2
de 42 = 8 fichas pintadas. Luego una ficha está totalmente sin pintar, por los lemas 1 y 2 es posible pintar
una casilla adicional.

Si n = 3 podemos escoger cualquier esquina digamos la superior izquierda y realizar la siguiente división

Tenemos 3 fichas de tipo 1 y 1 ficha de tipo 2. Por condición del problema tenemos menos de 92 casillas
pintamos. Es decir tenemos a lo más 4 pintadas. Si alguna ficha estuviese vacá podemos aplicar los lemas 1
y 2, de lo contrario si cada ficha tuvo al menos una casilla negra, entonces la casilla de la esquina superior
izquierda está sin pintar. Podemos hacer los mismo con las demás esquinas y concluir que todas las esquinas
están sin pintar. Ahora realizando el siguiente coloreo

13
 PROGRAMA NACIONAL
DE ALTO RENDIMIENTO

Concluimos que la casilla central también debe estar sin colorear. Luego las 4 del borde debieron ser las
casillas coloreadas, el tablero nos queda

En este tablero podemos pintar cualquier casilla y el tablero seguirá siendo aceptable.

14