2021 AIME II Problema 15

A continuación está la solución preparada profesionalmente para el Problema 15 del 2021 AIME II, de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 2021 AIME II, o revisar la clave de respuestas.

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

Conceptos:funcióncuadrado perfectoparidad

Nivel de dificultad: 3160

15.

Sean f(n)f(n) y g(n)g(n) funciones que satisfacen f(n)={nif n is an integer1+f(n+1)otherwise\scriptsize f(n) = \begin{cases} \sqrt{n} & \text{if } \sqrt{n} \text{ is an integer} \\ 1 + f(n+1) & \text{otherwise} \end{cases} y g(n)={nif n is an integer2+g(n+2)otherwise\scriptsize g(n) = \begin{cases} \sqrt{n} & \text{if } \sqrt{n} \text{ is an integer} \\ 2 + g(n+2) & \text{otherwise} \end{cases} para enteros positivos nn. Halle el menor entero positivo nn tal que f(n)g(n)=47\frac{f(n)}{g(n)} = \frac{4}{7}.

Let f(n)f(n) and g(n)g(n) be functions satisfying f(n)={nif n is an integer1+f(n+1)otherwise\scriptsize f(n) = \begin{cases} \sqrt{n} & \text{if } \sqrt{n} \text{ is an integer} \\ 1 + f(n+1) & \text{otherwise} \end{cases} and g(n)={nif n is an integer2+g(n+2)otherwise\scriptsize g(n) = \begin{cases} \sqrt{n} & \text{if } \sqrt{n} \text{ is an integer} \\ 2 + g(n+2) & \text{otherwise} \end{cases} for positive integers n.n. Find the least positive integer nn such that f(n)g(n)=47.\frac{f(n)}{g(n)} = \frac{4}{7}.

Solución:

Sea kk el menor entero con k2nk^2 \ge n. La función ff sube de a un paso hasta el siguiente cuadrado perfecto, así que f(n)=k+(k2n)f(n) = k + (k^2 - n). La función gg sube en pasos de 22, preservando la paridad de su argumento, y j2j(mod2)j^2 \equiv j \pmod 2, así que g(n)=j+(j2n)g(n) = j + (j^2 - n), donde jj es el menor entero con j2nj^2 \ge n y jn(mod2)j \equiv n \pmod 2. Si kn(mod2)k \equiv n \pmod 2, entonces j=kj = k y la razón es 11; así que necesitamos k≢n(mod2)k \not\equiv n \pmod 2, en cuyo caso j=k+1j = k + 1 y g(n)f(n)=(k+1)2k2+1g(n) - f(n) = (k+1)^2 - k^2 + 1 =2k+2= 2k + 2.

Entonces 7f=4g=4f+4(2k+2)7f = 4g = 4f + 4(2k + 2) da f=8(k+1)3f = \frac{8(k+1)}{3}, así que k2(mod3)k \equiv 2 \pmod 3 y n=k2+k8(k+1)3,n = k^2 + k - \frac{8(k+1)}{3}, sujeto a (k1)2<nk2(k-1)^2 \lt n \le k^2 y n≢k(mod2)n \not\equiv k \pmod 2.

Para k=2,5,8,11k = 2, 5, 8, 11 la fórmula da n=2,14,48,100n = -2, 14, 48, 100, cada uno fallando n>(k1)2n \gt (k-1)^2; para k=14k = 14, n=170n = 170 está en el rango pero tiene la misma paridad que kk. Para k=17k = 17, n=289+1748=258n = 289 + 17 - 48 = 258, que satisface 256<258289256 \lt 258 \le 289 y es par mientras que kk es impar. En efecto, f(258)=17+31=48f(258) = 17 + 31 = 48 y g(258)=18+66=84g(258) = 18 + 66 = 84, con 4884=47\frac{48}{84} = \frac{4}{7}, así que el menor nn es 258258.

Let kk be the least integer with k2n.k^2 \ge n. The function ff climbs one step at a time to the next perfect square, so f(n)=k+(k2n).f(n) = k + (k^2 - n). The function gg climbs by 22s, preserving the parity of its argument, and j2j(mod2),j^2 \equiv j \pmod 2, so g(n)=j+(j2n)g(n) = j + (j^2 - n) where jj is the least integer with j2nj^2 \ge n and jn(mod2).j \equiv n \pmod 2. If kn(mod2)k \equiv n \pmod 2 then j=kj = k and the ratio is 1;1; so we need k≢n(mod2),k \not\equiv n \pmod 2, in which case j=k+1j = k + 1 and g(n)f(n)=(k+1)2k2+1g(n) - f(n) = (k+1)^2 - k^2 + 1 =2k+2.= 2k + 2.

Then 7f=4g=4f+4(2k+2)7f = 4g = 4f + 4(2k + 2) gives f=8(k+1)3,f = \frac{8(k+1)}{3}, so k2(mod3)k \equiv 2 \pmod 3 and n=k2+k8(k+1)3,n = k^2 + k - \frac{8(k+1)}{3}, subject to (k1)2<nk2(k-1)^2 \lt n \le k^2 and n≢k(mod2).n \not\equiv k \pmod 2.

For k=2,5,8,11k = 2, 5, 8, 11 the formula gives n=2,14,48,100,n = -2, 14, 48, 100, each failing n>(k1)2;n \gt (k-1)^2; for k=14,k = 14, n=170n = 170 is in range but has the same parity as k.k. For k=17,k = 17, n=289+1748=258,n = 289 + 17 - 48 = 258, which satisfies 256<258289256 \lt 258 \le 289 and is even while kk is odd. Indeed f(258)=17+31=48f(258) = 17 + 31 = 48 and g(258)=18+66=84,g(258) = 18 + 66 = 84, with 4884=47,\frac{48}{84} = \frac{4}{7}, so the least nn is 258.258.

← Problema 14#14Examen completo

El Problema 15 en otros años