2008 AIME I Problema 13

A continuación está la solución preparada profesionalmente para el Problema 13 del 2008 AIME I, de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 2008 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).

Conceptos:polinomiosistema de ecuacionesfactorización

Nivel de dificultad: 3160

13.

Sea p(x,y)=a0+a1x+a2y+a3x2+a4xy+a5y2+a6x3+a7x2y+a8xy2+a9y3. \begin{aligned} p(x, y) &= a_0 + a_1x + a_2y \\ &\quad {}+ a_3x^2 + a_4xy + a_5y^2 \\ &\quad {}+ a_6x^3 + a_7x^2y \\ &\quad {}+ a_8xy^2 + a_9y^3. \end{aligned} Supongamos que p(0,0)=p(1,0)=p(1,0)=p(0,1)=p(0,1)=p(1,1)=p(1,1)=p(2,2)=0. \begin{aligned} p(0, 0) &= p(1, 0) = p(-1, 0) \\ &= p(0, 1) = p(0, -1) \\ &= p(1, 1) = p(1, -1) \\ &= p(2, 2) = 0. \end{aligned}

Existe un punto (ac,bc)\left(\frac{a}{c}, \frac{b}{c}\right) para el cual p(ac,bc)=0p\left(\frac{a}{c}, \frac{b}{c}\right) = 0 para todos esos polinomios, donde a,a, b,b, y cc son enteros positivos, aa y cc son primos entre sí, y c>1.c \gt 1. Halla a+b+c.a + b + c.

Let p(x,y)=a0+a1x+a2y+a3x2+a4xy+a5y2+a6x3+a7x2y+a8xy2+a9y3. \begin{aligned} p(x, y) &= a_0 + a_1x + a_2y \\ &\quad {}+ a_3x^2 + a_4xy + a_5y^2 \\ &\quad {}+ a_6x^3 + a_7x^2y \\ &\quad {}+ a_8xy^2 + a_9y^3. \end{aligned} Suppose that p(0,0)=p(1,0)=p(1,0)=p(0,1)=p(0,1)=p(1,1)=p(1,1)=p(2,2)=0. \begin{aligned} p(0, 0) &= p(1, 0) = p(-1, 0) \\ &= p(0, 1) = p(0, -1) \\ &= p(1, 1) = p(1, -1) \\ &= p(2, 2) = 0. \end{aligned}

There is a point (ac,bc)\left(\frac{a}{c}, \frac{b}{c}\right) for which p(ac,bc)=0p\left(\frac{a}{c}, \frac{b}{c}\right) = 0 for all such polynomials, where a,a, b,b, and cc are positive integers, aa and cc are relatively prime, and c>1.c \gt 1. Find a+b+c.a + b + c.

Solución:

De p(0,0)=0p(0,0) = 0 obtenemos a0=0.a_0 = 0. Sumando y restando p(1,0)=p(1,0)=0p(1,0) = p(-1,0) = 0 se obtiene a3=0a_3 = 0 y a6=a1;a_6 = -a_1; de manera similar p(0,±1)=0p(0,\pm 1) = 0 dan a5=0a_5 = 0 y a9=a2.a_9 = -a_2. Luego p(1,1)=0p(1,1) = 0 y p(1,1)=0p(1,-1) = 0 se reducen a a4+a7+a8=0a_4 + a_7 + a_8 = 0 y a4a7+a8=0,-a_4 - a_7 + a_8 = 0, así que a8=0a_8 = 0 y a7=a4.a_7 = -a_4. Ahora p=a1(xx3)p = a_1(x - x^3) +a2(yy3)+ a_2(y - y^3) +a4(xyx2y),+ a_4(xy - x^2y), y p(2,2)=0p(2,2) = 0 da 6a16a24a4=0,-6a_1 - 6a_2 - 4a_4 = 0, es decir a4=32(a1+a2).a_4 = -\frac{3}{2}(a_1 + a_2).

Por lo tanto p=a1[xx332xy(1x)]+a2[yy332xy(1x)], \begin{aligned} p &= a_1\left[x - x^3 - \tfrac{3}{2}xy(1 - x)\right] \\ &\quad {}+ a_2\left[y - y^3 - \tfrac{3}{2}xy(1 - x)\right], \end{aligned} y un punto (r,s)(r, s) que es un cero para toda elección de a1,a2a_1, a_2 debe anular ambos corchetes. El primer corchete se factoriza como r(1r)(1+r32s),r(1 - r)\left(1 + r - \tfrac{3}{2}s\right), así que para un nuevo punto (con r0,1r \ne 0, 1) necesitamos s=23(r+1).s = \tfrac{2}{3}(r + 1). El segundo corchete es 12s(22s23r+3r2);\tfrac{1}{2}s(2 - 2s^2 - 3r + 3r^2); sustituyendo s2=49(r+1)2s^2 = \tfrac{4}{9}(r + 1)^2 convierte 22s23r+3r2=02 - 2s^2 - 3r + 3r^2 = 0 en 19r243r+109=0,\frac{19r^2 - 43r + 10}{9} = 0, cuyas raíces son r=2r = 2 y r=519.r = \frac{5}{19}.

La raíz r=2r = 2 reproduce el punto dado (2,2),(2, 2), así que el nuevo punto tiene r=519r = \frac{5}{19} y s=232419=1619.s = \frac{2}{3} \cdot \frac{24}{19} = \frac{16}{19}. Por lo tanto (a,b,c)=(5,16,19)(a, b, c) = (5, 16, 19) y a+b+c=40.a + b + c = 40.

From p(0,0)=0p(0,0) = 0 we get a0=0.a_0 = 0. Adding and subtracting p(1,0)=p(1,0)=0p(1,0) = p(-1,0) = 0 gives a3=0a_3 = 0 and a6=a1;a_6 = -a_1; similarly p(0,±1)=0p(0,\pm 1) = 0 give a5=0a_5 = 0 and a9=a2.a_9 = -a_2. Then p(1,1)=0p(1,1) = 0 and p(1,1)=0p(1,-1) = 0 reduce to a4+a7+a8=0a_4 + a_7 + a_8 = 0 and a4a7+a8=0,-a_4 - a_7 + a_8 = 0, so a8=0a_8 = 0 and a7=a4.a_7 = -a_4. Now p=a1(xx3)p = a_1(x - x^3) +a2(yy3)+ a_2(y - y^3) +a4(xyx2y),+ a_4(xy - x^2y), and p(2,2)=0p(2,2) = 0 gives 6a16a24a4=0,-6a_1 - 6a_2 - 4a_4 = 0, i.e. a4=32(a1+a2).a_4 = -\frac{3}{2}(a_1 + a_2).

Therefore p=a1[xx332xy(1x)]+a2[yy332xy(1x)], \begin{aligned} p &= a_1\left[x - x^3 - \tfrac{3}{2}xy(1 - x)\right] \\ &\quad {}+ a_2\left[y - y^3 - \tfrac{3}{2}xy(1 - x)\right], \end{aligned} and a point (r,s)(r, s) that is a zero for every choice of a1,a2a_1, a_2 must kill both brackets. The first bracket factors as r(1r)(1+r32s),r(1 - r)\left(1 + r - \tfrac{3}{2}s\right), so for a new point (with r0,1r \ne 0, 1) we need s=23(r+1).s = \tfrac{2}{3}(r + 1). The second bracket is 12s(22s23r+3r2);\tfrac{1}{2}s(2 - 2s^2 - 3r + 3r^2); substituting s2=49(r+1)2s^2 = \tfrac{4}{9}(r + 1)^2 turns 22s23r+3r2=02 - 2s^2 - 3r + 3r^2 = 0 into 19r243r+109=0,\frac{19r^2 - 43r + 10}{9} = 0, whose roots are r=2r = 2 and r=519.r = \frac{5}{19}.

The root r=2r = 2 reproduces the given point (2,2),(2, 2), so the new point has r=519r = \frac{5}{19} and s=232419=1619.s = \frac{2}{3} \cdot \frac{24}{19} = \frac{16}{19}. Thus (a,b,c)=(5,16,19)(a, b, c) = (5, 16, 19) and a+b+c=40.a + b + c = 40.

← Problema 12#12Examen completoProblema 14#14 →

El Problema 13 en otros años