Question

Halla el mayor número primo $p \lt 1000$ para el cual existe un número complejo $z$ que satisface

• la parte real y la parte imaginaria de $z$ son ambas enteras;

• $|z| = \sqrt{p},$ y

• existe un triángulo cuyas tres longitudes de lado son $p,$ la parte real de $z^3,$ y la parte imaginaria de $z^3.$

Find the largest prime number $p \lt 1000$ for which there exists a complex number $z$ satisfying

• the real and imaginary part of $z$ are both integers;

• $|z| = \sqrt{p},$ and

• there exists a triangle whose three side lengths are $p,$ the real part of $z^3,$ and the imaginary part of $z^3.$

Respuesta

Respuesta: 349

Conceptos:número complejo primo desigualdad triangular factorización

Nivel de dificultad: 3370

Pista pequeña:

Escribe $z = a + bi$ con $a^2 + b^2 = p;$ salvo signos e intercambio, el triángulo necesita $\bigl||\operatorname{Re} z^3| - |\operatorname{Im} z^3|\bigr| \lt p.$

Write $z = a + bi$ with $a^2 + b^2 = p;$ up to signs and swapping, the triangle needs $\bigl||\operatorname{Re} z^3| - |\operatorname{Im} z^3|\bigr| \lt p.$

Pista grande:

$\operatorname{Re} z^3 - \operatorname{Im} z^3$ $= (a + b)(a^2 + b^2 - 4ab),$ así que $4ab$ debe estar dentro de $\sqrt{p}$ de $p.$

$\operatorname{Re} z^3 - \operatorname{Im} z^3$ $= (a + b)(a^2 + b^2 - 4ab),$ so $4ab$ must be within $\sqrt{p}$ of $p.$

Solución:

Escribe $z = a + bi$ con $a^2 + b^2 = p.$ El primo $p = 2$ sí cumple: para $z = -1 + i$ tenemos $z^3 = 2 + 2i,$ pero no puede ser la mayor respuesta. Por lo tanto, considera un primo impar $p,$ de modo que $p \equiv 1 \pmod 4$ y el par $\{|a|, |b|\}$ queda determinado de manera única. Reemplazar $z$ por $\pm z,$ $\pm\bar{z},$ $\pm iz,$ o $\pm i\bar{z}$ solo cambia los signos de las partes real e imaginaria de $z^3$ o las intercambia, así que podemos tomar $a \gt b \gt 0,$ y las dos longitudes de lado candidatas son $|\operatorname{Re} z^3|$ y $|\operatorname{Im} z^3|.$ Al desarrollar $z^3 = (a^3 - 3ab^2) + (3a^2b - b^3)i$ y factorizar, obtenemos $\begin{aligned} &\operatorname{Re} z^3 + \operatorname{Im} z^3 \\ &\quad = (a - b)(p + 4ab), \qquad \\ &\operatorname{Re} z^3 - \operatorname{Im} z^3 \\ &\quad = (a + b)(p - 4ab). \end{aligned}$ El triángulo existe exactamente cuando $\bigl||\operatorname{Re}| - |\operatorname{Im}|\bigr| \lt p$ $\lt |\operatorname{Re}| + |\operatorname{Im}|,$ y esas dos cantidades son, en algún orden, los valores absolutos anteriores. Como $a \gt b$ obliga a $(a - b)(p + 4ab) \gt p,$ toda la condición se reduce a $(a + b)\,|p - 4ab| \lt p.$

Como $a+b\gt\sqrt{a^2+b^2}=\sqrt p,$ esto requiere $\Delta=|p-4ab|\lt\sqrt p.$ La cota $p=a^2+b^2\lt1000$ da $1\le b\lt a\le31;$ además, $b \le 21,$ porque $b \ge 22$ obligaría a $a \ge 23$ y $p \ge 22^2 + 23^2 \gt 1000.$ Al sustituir $p=a^2+b^2$ en $(a^2+b^2-4ab)^2\lt a^2+b^2$ y comprobar estos enteros acotados se obtiene la lista completa de valores posibles $\begin{aligned} p \in \{&10,17,53,68,130,153, \\ &212,241,272,349,386,520, \\ &565,725,778,905,964\}. \end{aligned}$ Solo cuatro valores de esta lista son primos, en $\begin{aligned} (a,b,p,\Delta)&=(4,1,17,1), \\ &\quad (7,2,53,3), \\ &\quad (15,4,241,1), \\ &\quad (18,5,349,11). \end{aligned}$ Los valores correspondientes de $(a+b)\Delta$ son $5,27,19,253,$ respectivamente, todos menores que $p,$ así que los cuatro también satisfacen la desigualdad triangular completa. Por tanto, el mayor primo posible es $349.$

En efecto, para $z = 18 + 5i$ obtenemos $z^3 = 4482 + 4735i,$ y las longitudes $349,$ $4482,$ $4735$ forman un triángulo válido. La respuesta es $349.$

Write $z = a + bi$ with $a^2 + b^2 = p.$ The prime $p = 2$ does qualify: for $z = -1 + i$ we have $z^3 = 2 + 2i,$ but it cannot be the largest answer. Hence consider an odd prime $p,$ so $p \equiv 1 \pmod 4$ and the pair $\{|a|, |b|\}$ is unique. Replacing $z$ by $\pm z,$ $\pm\bar{z},$ $\pm iz,$ $\pm i\bar{z}$ only changes the real and imaginary parts of $z^3$ by signs and swaps, so we may take $a \gt b \gt 0,$ and the two candidate side lengths are $|\operatorname{Re} z^3|$ and $|\operatorname{Im} z^3|.$ Expanding $z^3 = (a^3 - 3ab^2) + (3a^2b - b^3)i$ and factoring, $\begin{aligned} &\operatorname{Re} z^3 + \operatorname{Im} z^3 \\ &\quad = (a - b)(p + 4ab), \qquad \\ &\operatorname{Re} z^3 - \operatorname{Im} z^3 \\ &\quad = (a + b)(p - 4ab). \end{aligned}$ The triangle exists exactly when $\bigl||\operatorname{Re}| - |\operatorname{Im}|\bigr| \lt p$ $\lt |\operatorname{Re}| + |\operatorname{Im}|,$ and those two quantities are, in some order, the absolute values above. Since $a \gt b$ forces $(a - b)(p + 4ab) \gt p,$ the whole condition reduces to $(a + b)\,|p - 4ab| \lt p.$

Because $a+b\gt\sqrt{a^2+b^2}=\sqrt p,$ this requires $\Delta=|p-4ab|\lt\sqrt p.$ The bound $p=a^2+b^2\lt1000$ gives $1\le b\lt a\le31;$ moreover $b \le 21,$ because $b \ge 22$ would force $a \ge 23$ and $p \ge 22^2 + 23^2 \gt 1000.$ Substituting $p=a^2+b^2$ into $(a^2+b^2-4ab)^2\lt a^2+b^2$ and checking these bounded integers gives the complete list of possible values $\begin{aligned} p \in \{&10,17,53,68,130,153, \\ &212,241,272,349,386,520, \\ &565,725,778,905,964\}. \end{aligned}$ Only four values in this list are prime, at $\begin{aligned} (a,b,p,\Delta)&=(4,1,17,1), \\ &\quad (7,2,53,3), \\ &\quad (15,4,241,1), \\ &\quad (18,5,349,11). \end{aligned}$ The corresponding values of $(a+b)\Delta$ are $5,27,19,253,$ respectively, all below $p,$ so all four also pass the full triangle inequality. Thus the largest possible prime is $349.$

Indeed for $z = 18 + 5i$ we get $z^3 = 4482 + 4735i,$ and the lengths $349,$ $4482,$ $4735$ form a valid triangle. The answer is $349.$

2023 AIME I Problema 15

Respuesta: 349

Nivel de dificultad: 3370

Pista pequeña:

Pista grande:

Solución:

El Problema 15 en otros años