Haciendo un repaso de matemáticas discretas y estoy tratando de resolver el problema 1.6 del texto que se encuentra aquí: http://courses.csail.mit.edu/6.042/fall13/ch1-to-3.pdf - Creo que he conseguido las partes (a) y (b) correctamente, pero la (c) es un poco complicada para mí. Agradecería una revisión de a/b y una pista para c si es posible. Repaso aquí:
Para n = 40, el valor del polinomio $p(n)::=n^2 + n + 41$ no es primo, como se indica en la sección 1.1. Pero podríamos haber predicho, basándonos en principios generales, que ningún polinomio no constante puede generar sólo números primos.
En particular, dejemos que $q(n)$ sea un polinomio con coeficientes enteros, y sea $c::=q(0)$ sea el término constante de q.
(a) Verificar que $q(cm)$ es un múltiplo de c para todos los $m \in Z$
Prueba: Como q es un polinomio, será de la forma: $q(x) = a_nx^n+a_{n-1}x^{n-1} + ... + a_1x + c$
Si $x = cm$ Entonces, observe que cm estará dentro de cada término del polinomio, y como el término final es c, c puede ser factorizado fuera de cada término. Por lo tanto, q(cm) es un múltiplo de c para todo $m \in Z$ .
b) Demuestre que si q es no constante y c > 1, entonces como n abarca los enteros no negativos, $N$ hay infinitas $q(n) \in Z$ que no son primos.
Prueba: Continuando con el resultado encontrado en (a), es fácil ver que para todo $m \in Z$ habrá un número infinito de múltiplos de c que serán generados por q. Como c > 1, se garantiza que estos múltiplos no son primos.
c) Concluya que para todo polinomio no constante, q, debe existir un $n \in N$ tal que $q(n)$ no es primo. Pista: Sólo queda un caso fácil.
c = 0 es trivialmente fácil de demostrar utilizando la (b) anterior.
Supongo que el caso "fácil" se refiere a c = 1, pero en este caso no estoy seguro de cómo continuar, ya que el resultado de (a) y (b) no se aplican: No puedo usarlos ya que sumar 1 a cualquier número par puede hacer que sea primordial. Si el resultado de los términos sin incluir c es impar, entonces sumando 1 a ese resultado lo hace par y no es primo. Sin embargo, si los términos suman un número par, no veo la forma de utilizar los conocimientos que tengo hasta ahora para demostrar de forma concluyente que ese número + 1 NO será primo.
3 votos
Para $c=1$ Considera que $n=0$ . $q(0)=1$ que no es un primo.
0 votos
@peterwhy Creo que se está asumiendo que $n\ne 0$ .
0 votos
@NotNotLogical En la parte (b), $N$ se define por "entonces como $n$ se extiende sobre los enteros no negativos, $N$ ", y $0$ es un número entero no negativo.
1 votos
@peterwhy Siempre pensé que el 1 era un número primo. Hoy me corrijo. Supongo que por eso el texto decía que era el caso "fácil"...
0 votos
@DavidN No estoy muy seguro de que lo que he "demostrado" arriba sea lo que se pretende, y de todas formas hay algunas buenas pruebas más abajo. Sólo para completar mi "prueba", ya que una condición necesaria para $x$ para ser un número primo es $x>1$ para cualquier polinomio $p(n)$ con $c\in\{1,0,-1,-2,\cdots\}$ , $p(0) = c \le1$ que hace que $p(0)$ no un primo.
0 votos
"Como c > 1, se garantiza que estos múltiplos no son primos". En realidad si c es un primo p(0) también lo es. Pero esto no interfiere en que p(n) genere infinitos números no primos.