17 votos

% De polinomios $f$y $f'$ con todos raíces enteros distintos

Edit. Un re-fraseo gracias a un comentario de abajo:

Es cierto que, para todos los $n \in \mathbb{N}$, existe un grado de $n$ polinomio $f \in \mathbb{Z}[x]$ tanto $f$ $f'$ tiene todas sus raíces distintas enteros? (Si no, ¿cuál es el mínimo de $n$ a servir como un contraejemplo?)

El ejemplo a continuación para $n = 3$ usa $f$ con raíces $\{-9, 0, 24\}$ $f'$ con raíces $\{-18, -4\}$.

(Véase también la nota al final, y el vinculado arXiv papel).


Pregunta. Para todos los $n \in \mathbb{N}$: Es posible encontrar un polinomio en $\mathbb{Z}[x]$ $n$ diferentes $x$-intercepta, y todos sus puntos de inflexión, en el entramado de puntos?

Esto es claramente cierto al$n = 1$$n = 2$. Un poco de investigación en torno a $n = 3$ lleva a que, por ejemplo, el polinomio definido por:

$$f(x) = x^3 + 33x^2 + 216x = x(x+9)(x+24)$$

que ha $x$-intercepta en $(0,0)$, $(-9, 0)$, y $(-24, 0)$. Tomando la derivada, nos encontramos con que:

$$f'(x) = 3x^2 + 66x + 216 = 3(x+4)(x+18)$$

de modo que los puntos de inflexión de $f$ ocurren en$(-4, -400)$$(-18, 972)$.

Ni siquiera estoy seguro de si esto es cierto en la cuártica${^1}$ de los casos; sin embargo, esta pregunta se refiere a la más generales de configuración. En particular, es verdadera para todos los $n \in \mathbb{N}$ y si no, entonces ¿cuál es el mínimo de $n$ para los que no es posible?


$1$. Se Jagy amablemente resuelve $n=4$ desde el monic cuártica $f$ con el entero de las raíces $\{-7, -1, 1, 7\}$ conduce a una $f'$ con raíces $\{-5, 0, 5\}$. Este ejemplo también se encuentra como B5 en el papel aquí (PDF 22/24). El mismo papel tiene el cúbicos ejemplo de arriba, B1, e incluye un quintic ejemplo como B7:

$$f(x) = x(x-180)(x-285)(x-460)(x-780)$$

$$\text{ and }$$

$$f'(x) = 5(x-60)(x-230)(x-390)(x-684)$$

Los enlaces arXiv (inédito) manuscrito parece sugerir que este problema está abierta.

8voto

Meltemi Puntos 1730

El papel de arXiv publicada aquí (pdf) contiene una lista de referencias que se ha abordó este problema en el pasado y los ejemplos para $n=3$, $4$ y $5$ (que ya he incorporado en el OP).

Sin embargo, incluso en el caso de $n = 6$ aparece como abierto (cf. abra problema 6 en PDF 23/24) de 2004. Por lo tanto, parece ser que la pregunta aquí es abierto.

2voto

Stephan Aßmus Puntos 16

$$ x^4 - 50 x^2 + 49 = (x-1)(x+1)(x-7)(x+7) $$ $$ 4 x^3 - 100 x = 4x (x-5)(x+5) $$

0voto

Stephan Aßmus Puntos 16

Es probable que esto es imposible en el grado seis, con algunas muy predecible el comportamiento que podría, quizás, ser comprobable.

En primer lugar, dado distintas entero raíces de la sextic $f(x)$ $$ 0 < e < d < c < b < a, $$ parece que no podemos obtener tres entero raíces de la quintic $f'(x)$ si $a$ es incluso, mientras tanto $b+e = a$ $c + d = a.$ que equivale a decir que un entero simple traducir $$ f\left(x - \frac{a}{2} \right) = (x^2 - u^2)(x^2 - v^2)(x^2 - w^2). $$

====================================

     a     b     c     d     e
    16    13    11     5     3     Crit  :       1     8    15   total   3
    26    24    15    11     2     Crit  :       6    13    20   total   3
    30    23    22     8     7     Crit  :       2    15    28   total   3
    32    26    22    10     6     Crit  :       2    16    30   total   3
    38    32    28    10     6     Crit  :       8    19    30   total   3
    42    37    26    16     5     Crit  :       2    21    40   total   3
    46    45    24    22     1     Crit  :      10    23    36   total   3
    48    39    33    15     9     Crit  :       3    24    45   total   3
    52    48    30    22     4     Crit  :      12    26    40   total   3
    60    46    44    16    14     Crit  :       4    30    56   total   3
    62    44    32    30    18     Crit  :      22    31    40   total   3
    64    52    44    20    12     Crit  :       4    32    60   total   3
    70    59    46    24    11     Crit  :       4    35    66   total   3
    74    52    42    32    22     Crit  :      26    37    48   total   3
    74    63    48    26    11     Crit  :      18    37    56   total   3
    76    64    56    20    12     Crit  :      16    38    60   total   3
    78    64    44    34    14     Crit  :      22    39    56   total   3
    78    72    45    33     6     Crit  :      18    39    60   total   3
    80    65    55    25    15     Crit  :       5    40    75   total   3
    80    73    47    33     7     Crit  :       3    40    77   total   3
    82    70    44    38    12     Crit  :      22    41    60   total   3
    84    74    52    32    10     Crit  :       4    42    80   total   3
    86    66    52    34    20     Crit  :      26    43    60   total   3
    86    75    56    30    11     Crit  :      20    43    66   total   3
    90    69    66    24    21     Crit  :       6    45    84   total   3
    92    90    48    44     2     Crit  :      20    46    72   total   3
    96    78    66    30    18     Crit  :       6    48    90   total   3
    96    83    61    35    13     Crit  :       5    48    91   total   3
   104    96    60    44     8     Crit  :      24    52    80   total   3

=================

Segundo, una vez que nos centramos en $$ (x^2 - p^2)(x^2 - q^2)(x^2 - r^2), $$ el equipo piensa que sólo podemos factor de la derivada cuando no es una repetición, $p = q$ o $q = r.$

===============================

 for(int r = 1; r <= 50; ++r){
 for(int q = 1; q <= r; ++q){
 for(int p = 1; p <= q; ++p){
   mpz_class s2 = p * p + q * q + r * r;
   mpz_class s4 = q * q * r * r  +  r * r * p * p  + p * p * q * q;
   mpz_class d = s2 * s2 - 3 * s4;
  if( s2 % 3 == 0 && s4 % 3 == 0 && mp_SquareQ(d)  &&  mp_SquareQ(3 * s4)   )


     p     q     r
     1     1     1    s2: 3 =  3  s4: 3 =  3  d: 0 =  
     2     2     2    s2: 12 =  2^2 3  s4: 48 =  2^4 3  d: 0 =  
     3     3     3    s2: 27 =  3^3  s4: 243 =  3^5  d: 0 =  
     4     4     4    s2: 48 =  2^4 3  s4: 768 =  2^8 3  d: 0 =  
     1     5     5    +++   s2: 51 =  3 17  s4: 675 =  3^3 5^2  d: 576 =  2^6 3^2
     5     5     5    s2: 75 =  3 5^2  s4: 1875 =  3 5^4  d: 0 =  
     6     6     6    s2: 108 =  2^2 3^3  s4: 3888 =  2^4 3^5  d: 0 =  
     7     7     7    s2: 147 =  3 7^2  s4: 7203 =  3 7^4  d: 0 =  
     8     8     8    s2: 192 =  2^6 3  s4: 12288 =  2^12 3  d: 0 =  
     9     9     9    s2: 243 =  3^5  s4: 19683 =  3^9  d: 0 =  
     2    10    10    +++   s2: 204 =  2^2 3 17  s4: 10800 =  2^4 3^3 5^2  d: 9216 =  2^10 3^2
    10    10    10    s2: 300 =  2^2 3 5^2  s4: 30000 =  2^4 3 5^4  d: 0 =  
     1     1    11    +++   s2: 123 =  3 41  s4: 243 =  3^5  d: 14400 =  2^6 3^2 5^2
    11    11    11    s2: 363 =  3 11^2  s4: 43923 =  3 11^4  d: 0 =  
    12    12    12    s2: 432 =  2^4 3^3  s4: 62208 =  2^8 3^5  d: 0 =  
     5     5    13    +++   s2: 219 =  3 73  s4: 9075 =  3 5^2 11^2  d: 20736 =  2^8 3^4
    13    13    13    s2: 507 =  3 13^2  s4: 85683 =  3 13^4  d: 0 =  
    14    14    14    s2: 588 =  2^2 3 7^2  s4: 115248 =  2^4 3 7^4  d: 0 =  
     3    15    15    +++   s2: 459 =  3^3 17  s4: 54675 =  3^7 5^2  d: 46656 =  2^6 3^6
    15    15    15    s2: 675 =  3^3 5^2  s4: 151875 =  3^5 5^4  d: 0 =  
    16    16    16    s2: 768 =  2^8 3  s4: 196608 =  2^16 3  d: 0 =  
    17    17    17    s2: 867 =  3 17^2  s4: 250563 =  3 17^4  d: 0 =  
    18    18    18    s2: 972 =  2^2 3^5  s4: 314928 =  2^4 3^9  d: 0 =  
     1    19    19    +++   s2: 723 =  3 241  s4: 131043 =  3 11^2 19^2  d: 129600 =  2^6 3^4 5^2
    19    19    19    s2: 1083 =  3 19^2  s4: 390963 =  3 19^4  d: 0 =  
     4    20    20    +++   s2: 816 =  2^4 3 17  s4: 172800 =  2^8 3^3 5^2  d: 147456 =  2^14 3^2
    20    20    20    s2: 1200 =  2^4 3 5^2  s4: 480000 =  2^8 3 5^4  d: 0 =  
    21    21    21    s2: 1323 =  3^3 7^2  s4: 583443 =  3^5 7^4  d: 0 =  
     2     2    22    +++   s2: 492 =  2^2 3 41  s4: 3888 =  2^4 3^5  d: 230400 =  2^10 3^2 5^2
    22    22    22    s2: 1452 =  2^2 3 11^2  s4: 702768 =  2^4 3 11^4  d: 0 =  
     5     5    23    +++   s2: 579 =  3 193  s4: 27075 =  3 5^2 19^2  d: 254016 =  2^6 3^4 7^2
    13    23    23    +++   s2: 1227 =  3 409  s4: 458643 =  3 17^2 23^2  d: 129600 =  2^6 3^4 5^2
    23    23    23    s2: 1587 =  3 23^2  s4: 839523 =  3 23^4  d: 0 =  
    24    24    24    s2: 1728 =  2^6 3^3  s4: 995328 =  2^12 3^5  d: 0 =  
     5    25    25    +++   s2: 1275 =  3 5^2 17  s4: 421875 =  3^3 5^6  d: 360000 =  2^6 3^2 5^4
    11    25    25    +++   s2: 1371 =  3 457  s4: 541875 =  3 5^4 17^2  d: 254016 =  2^6 3^4 7^2
    25    25    25    s2: 1875 =  3 5^4  s4: 1171875 =  3 5^8  d: 0 =  
    10    10    26    +++   s2: 876 =  2^2 3 73  s4: 145200 =  2^4 3 5^2 11^2  d: 331776 =  2^12 3^4
    26    26    26    s2: 2028 =  2^2 3 13^2  s4: 1370928 =  2^4 3 13^4  d: 0 =  
    27    27    27    s2: 2187 =  3^7  s4: 1594323 =  3^13  d: 0 =  
    28    28    28    s2: 2352 =  2^4 3 7^2  s4: 1843968 =  2^8 3 7^4  d: 0 =  
    11    29    29    +++   s2: 1803 =  3 601  s4: 910803 =  3 19^2 29^2  d: 518400 =  2^8 3^4 5^2
    29    29    29    s2: 2523 =  3 29^2  s4: 2121843 =  3 29^4  d: 0 =  
     p     q     r

===============================

-2voto

Rémy Bourgoin Puntos 859

Tratar de trabajar hacia atrás: encontrar un entero polinomio $F$ de grado $n-1$ con todas las raíces del número entero, tal que su primitiva tiene raíces distintas de $n$. Una forma de verificar esto buscando %#% cambios de signo de #%. Aquíde ejemplo $n$, a editar cuando encontrar una solución general.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X