2017 AIME I Problema 12

Intenta el Problema 12 del 2017 AIME I a continuación y luego compara tu respuesta con la solución preparada profesionalmente de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 2017 AIME I, o revisar la clave de respuestas.

Todos los problemas se usan con el permiso legal oficial de la Mathematical Association of America (MAA).

12.

Llamamos a un conjunto SS libre de productos si no existen a,a, b,b, c∈Sc \in S (no necesariamente distintos) tales que ab=c.ab = c. Por ejemplo, el conjunto vacío y el conjunto {16,20}\{16, 20\} son libres de productos, mientras que los conjuntos {4,16}\{4, 16\} y {2,8,16}\{2, 8, 16\} no son libres de productos. Halla el número de subconjuntos libres de productos del conjunto {1,2,3,4,5,6,7,8,9,10}.\{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}.
Call a set SS product-free if there do not exist a,a, b,b, c∈Sc \in S (not necessarily distinct) such that ab=c.ab = c. For example, the empty set and the set {16,20}\{16, 20\} are product-free, whereas the sets {4,16}\{4, 16\} and {2,8,16}\{2, 8, 16\} are not product-free. Find the number of product-free subsets of the set {1,2,3,4,5,6,7,8,9,10}.\{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}.
Respuesta: 252
Conceptos:subconjuntosanálisis por casos
Nivel de dificultad: 3060
Pista pequeña:
11 nunca puede aparecer (ya que 1⋅1=11 \cdot 1 = 1), y si el elemento más pequeño es al menos 4,4, todo producto de dos elementos supera 1010
11 can never appear (since 1⋅1=11 \cdot 1 = 1), and if the least element is at least 4,4, every product of two elements exceeds 1010
Pista grande:
Con elemento más pequeño 22 o 3,3, solo importan unos pocos conflictos: 2⋅2=4,2 \cdot 2 = 4, 2⋅3=6,2 \cdot 3 = 6, 2⋅5=10,2 \cdot 5 = 10, y 3⋅3=9.3 \cdot 3 = 9. Trata {3,6,9}\{3, 6, 9\} y {5,10}\{5, 10\} por separado.
With least element 22 or 3,3, only a few conflicts matter: 2⋅2=4,2 \cdot 2 = 4, 2⋅3=6,2 \cdot 3 = 6, 2⋅5=10,2 \cdot 5 = 10, and 3⋅3=9.3 \cdot 3 = 9. Handle {3,6,9}\{3, 6, 9\} and {5,10}\{5, 10\} separately.
Solución:
Como 1⋅1=1,1 \cdot 1 = 1, ningún conjunto libre de productos contiene a 1.1. Separa según el elemento más pequeño t.t. Si t≥4,t \ge 4, todo producto de dos elementos es al menos 16>10,16 \gt 10, así que todo subconjunto de {4,5,…,10}\{4, 5, \ldots, 10\} sirve: 27=1282^7 = 128 subconjuntos, incluyendo el conjunto vacío.
Si t=2:t = 2: entonces 4∉S4 \notin S (pues 2⋅2=42 \cdot 2 = 4), mientras que 77 y 88 no tienen restricción (22 opciones cada uno). Entre {3,6,9},\{3, 6, 9\}, las restricciones 2⋅3=62 \cdot 3 = 6 y 3⋅3=93 \cdot 3 = 9 dejan exactamente ∅,\varnothing, {3},\{3\}, {6},\{6\}, {9},\{9\}, {6,9}\{6, 9\}, es decir, 55 opciones. Entre {5,10},\{5, 10\}, la restricción 2⋅5=102 \cdot 5 = 10 deja 33 opciones. Eso da 2⋅2⋅5⋅3=602 \cdot 2 \cdot 5 \cdot 3 = 60 conjuntos. Si t=3:t = 3: entonces 9∉S9 \notin S (pues 3⋅3=93 \cdot 3 = 9), y se puede añadir cualquier subconjunto de {4,5,6,7,8,10}\{4, 5, 6, 7, 8, 10\} ya que todos los demás productos superan 10:10: 26=642^6 = 64 conjuntos.
En total hay 128+60+64=252128 + 60 + 64 = 252 subconjuntos libres de productos.
Since 1⋅1=1,1 \cdot 1 = 1, no product-free set contains 1.1. Split by the least element t.t. If t≥4,t \ge 4, any product of two elements is at least 16>10,16 \gt 10, so every subset of {4,5,…,10}\{4, 5, \ldots, 10\} works: 27=1282^7 = 128 subsets, including the empty set.
If t=2:t = 2: then 4∉S4 \notin S (as 2⋅2=42 \cdot 2 = 4), while 77 and 88 are unrestricted (22 choices each). Among {3,6,9},\{3, 6, 9\}, the constraints 2⋅3=62 \cdot 3 = 6 and 3⋅3=93 \cdot 3 = 9 leave exactly ∅,\varnothing, {3},\{3\}, {6},\{6\}, {9},\{9\}, {6,9}\{6, 9\} — 55 choices. Among {5,10},\{5, 10\}, the constraint 2⋅5=102 \cdot 5 = 10 leaves 33 choices. That gives 2⋅2⋅5⋅3=602 \cdot 2 \cdot 5 \cdot 3 = 60 sets. If t=3:t = 3: then 9∉S9 \notin S (as 3⋅3=93 \cdot 3 = 9), and any subset of {4,5,6,7,8,10}\{4, 5, 6, 7, 8, 10\} may be added since all other products exceed 10:10: 26=642^6 = 64 sets.
In total there are 128+60+64=252128 + 60 + 64 = 252 product-free subsets.
Problema 11#11
Examen completo

El Problema 12 en otros años