Número Compuesto

Un número compuesto  es un entero positivo
 es un entero positivo  que no es primo (es decir.e., que tiene factores distintos de 1 y de sí mismo). Los primeros números compuestos (a veces llamados «compuestos» para abreviar) son 4, 6, 8, 9, 10, 12, 14, 15, 16, … (OEIS A002808), cuyas descomposiciones primos se resumen en la siguiente tabla. Nótese que el número 1 es un caso especial que no se considera ni compuesto ni primo.
 que no es primo (es decir.e., que tiene factores distintos de 1 y de sí mismo). Los primeros números compuestos (a veces llamados «compuestos» para abreviar) son 4, 6, 8, 9, 10, 12, 14, 15, 16, … (OEIS A002808), cuyas descomposiciones primos se resumen en la siguiente tabla. Nótese que el número 1 es un caso especial que no se considera ni compuesto ni primo.
|  | factorización de primos |  | factorización de la prima | ||||
| 4 | 20 |  | |||||
| 6 |  | 21 | |||||
| 8 |  | 22 |  | ||||
| 9 |  | 24 |  | ||||
| 10 |  | 25 |  | ||||
| 12 |  | 26 |  | ||||
| 14 |  | 27 |  | 15 |  | 28 |  | 
| 16 |  2^4 | 30 |  | ||||
| 18 |  | 32 |  | 
El  ésimo número compuesto
ésimo número compuesto  se puede generar utilizando el código de Wolfram Language
 se puede generar utilizando el código de Wolfram Language
Composite := FixedPoint + 1&, n]
La función generadora de Dirichlet de la función característica de los números compuestos  viene dada por
 viene dada por
|  |  |  | (1) | 
|  |  |  | (2) | 
|  |  |  | (3) | 
donde  es la función zeta de Riemann,
 es la función zeta de Riemann,  es la función zeta de los primos, y
 es la función zeta de los primos, y  es un corchete de Iverson.
 es un corchete de Iverson. 
Hay un número infinito de números compuestos.
El problema de los números compuestos pregunta si existen enteros positivos  y
 y  tales que
 tales que  .
.
Un número compuesto  siempre puede escribirse como producto de al menos dos formas (ya que
 siempre puede escribirse como producto de al menos dos formas (ya que  siempre es posible). Llama a estos dos productos
 siempre es posible). Llama a estos dos productos
|  | (4) | 
entonces es obviamente el caso de que 
 divide a
 divide a  ). Set
). Set
|  | (5) | 
donde  es la parte de
 es la parte de  que divide a
 que divide a  , y
, y  es la parte de
 es la parte de  que divide a
 que divide a  . Entonces hay
. Entonces hay  y
 y  tales que
 tales que
|  |  |  | (6) | 
|  |  |  | (7) | 
Resolver  para
 para  da
 da
|  | (8) | 
Se entonces se deduce que
|  |  |  | (9) | 
|  |  |  | (10) | 
|  |  |  | (11) | 
Por tanto, se deduce que  ¡nunca es primo! De hecho, el resultado más general que
 ¡nunca es primo! De hecho, el resultado más general que
|  | (12) | 
nunca es primo para  un entero
 un entero  también se cumple (Honsberger 1991).
 también se cumple (Honsberger 1991).
 3-7
3-7