Loading [MathJax]/jax/element/mml/optable/MathOperators.js

5 votos

Problema de divisibilidad.

Encontrar todos los números naturales n1 tal que n2 no divide (n2)! . Intenté hacerlo suponiendo la factorización prima de n en términos de variable, pero no puedo zumbarlo, ¡por favor ayuda!

1 votos

No las he encontrado todas y estoy lejos de comprobarlo, pero tal vez ayude enumerar las que he encontrado para ver un patrón. En primer lugar, si n es primo, no puede dividir (n-2).

0 votos

Si n tiene una factorización de primos en la que cada primo tiene el exponente 1, entonces n debe ser menor que 2 veces el primo más grande + 2, porque si se supone que es mayor (n-2), tendría todos los factores primos dos veces en ellos y se podrían dividir

0 votos

Bueno, veamos. ¡Si n es compuesto y mayor que cuatro entonces todos los factores no triviales de n dividen a (n-2)! así que a menos que n = prime^2, ¡n divide a (n-2)! Así que para que n^2 no lo sea debe haber algunos factores de n que sólo aparezcan una vez en {1,...., n-2}. Tenemos que encontrar alguna forma de expresar y calcular eso.

2voto

Evan Trimboli Puntos 15857

En lo que debes centrarte es en la factorización primaria de (n2)! . Digamos que p1=2 , p2=3 , p3=5 y así sucesivamente hasta pπ(n2) (donde π(n2) te dice cuántos primos hay hasta n2 . Entonces la factorización de (n2)! es algo así: (n2)!=p1α1p2α2pπ(n2)απ(n2).

Claramente απ(n2)=1 . Los exponentes anteriores pueden ser mayores que 1, y ciertamente α1>1 para n>5 . Averiguar α2 , α3 se pone un poco difícil. Pero definitivamente αj=0 para todos j>π(n2) .

Lo que esto significa es que ningún cuadrado o cubo otra potencia superior de un primo mayor que n puede dividir (n2)! . Por ello, tampoco puede (n1)2 si n1 es primo. En cuanto a los números que tienen todos sus factores primos en común con (n2)! si alguno de los exponentes de su factorización supera un determinado umbral, su cuadrado no dividirá (n2)! .

Bueno, creo que puedes llevarlo desde aquí hasta el destino: si n es un primo, o dos veces primo, o igual a 8 o 9, entonces n^2 \nmid (n - 1)! (ver A178156 en el OEIS de Sloane).

1 votos

El 12 no es dos veces primo, pero el 12^2 divide el 10.

1 votos

Tienes toda la razón, @Agawa001. Algo en el fondo de mi mente me decía que hay una diferencia entre n \nmid (n - 2)! y n \nmid (n - 1)! . Pero cuando vi el comentario que fue marcado y eliminado, me encontré con que perdía el interés en la cuestión.

1 votos

La pregunta es bonita pero si el op pide unas condiciones concretas para que cualquier número al cuadrado divida el factorial de su menos 2, la pregunta puede arrastrar más intereses (incluido el mío), pero buen intento no obstante :)

2voto

Börge Puntos 491

Bien, probemos esto:

Creo que un número n con los factores primos \alpha_n y el exponente \beta_n una solución si y sólo si es menor que \max\{\alpha_n 2 \beta_n\} + 2

Prueba de concepto: n^2 tiene los mismos factores primos con doble exponente. (n - 2)! contiene el factor primo x exactamente \lfloor \frac{n - 2}{x} \rfloor tiempos. Por lo tanto, (n - 2)! es divisible por \alpha_n^{2 \beta_n} si n \geq \alpha_n 2 \beta_n + 2 .

2voto

Nourished Puntos 1

Bueno, la clave está en la factorización primaria. Supongamos que n = pqr, donde p < q son primos y r > 1 . Entonces p 2, q 3 y r 2 no necesariamente un primo. Por lo tanto, tenemos n2 np=pqrp5p>p , n2 nq=q(pr1)3q>q , n2 npr=pr(q1)2pr>pr , n2 nqr=qr(p1)qr .

Observe que p,q,pr,qr son todos distintos. Por lo tanto, su producto divide (n 2)! . Así, n^2 = p^2q^2r^2 divide (n 2)! en este caso. Concluimos que n = pq donde p,q son primos distintos o n = pk para algún primo p .

Caso 1. Supongamos que n = pq para algunos primos p,q, donde 2 < p < q . Entonces p 3 y q 5 . En este caso n2 > np=p(q1)4p , n2 > nq=q(p1)2q . Así, p,q,2p,2q son todos los números distintos del conjunto {1,2,3,... ,n 2}. Vemos que n^2 = p^2q^2 divide (n 2)! .

Concluimos que n = 2q para algún primo q 3 . Tenga en cuenta que n2=2q2<2q en este caso para que n^2 no divide (n2)! .

Caso 2. Supongamos que n = pk para algún primo p . Observamos que p,2p,3p,...(pk1 1)p todos se encuentran en el conjunto {1,2,3,... ,n 2} . Si pk1 1 2k, entonces hay al menos 2k múltiplos de p en el conjunto {1,2,3,... ,n 2}. Por lo tanto, n^2 = p^2k divide (n2)!. Así, pk1 1 < 2k. Si k 5 entonces pk1 1 2k1 1 2k , lo que se puede demostrar por una fácil inducción. Por lo tanto, k 4. Si k = 1 obtenemos n = p, un primo. Si k = 2, puis p1 < 4 para que p = 2 \ or \ 3 obtenemos n = 22 ,4 \ or n = 32 , 9 . Para k = 3 tenemos p^2 1 < 6 dando p = 2 ; n =23,8 en este caso. Finalmente, k = 4 da p^3 1 < 8 . De nuevo p = 2 y n = 24 , 16 . Sin embargo, n^2 = 28 divide 14! y por lo tanto no es una solución. Así, n = p,2p para algún primo p o n = 8,9 .

La respuesta habría sido más interesante y menos larga si op hubiera dado algunas condiciones adicionales. Pero, sin embargo, la pregunta era hermosa.

0 votos

Creo que en tu primer caso la línea 1 es la que quieres: "donde 2 \leq p < q . De lo contrario, tiene n = pq para 2 < p < q seguido, en el siguiente párrafo, por "Concluimos que n = 2q ..."

0 votos

No, he escrito exactamente lo que quería escribir

0 votos

Si n = pq para 2 < p < q y n = 2q puis p = 2 una contradicción inmediata.

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