title: Criba de Sundaram
text: # Criba de Sundaram
  
  La criba de Sundaram es una tabla de los números naturales impares compuestos, compuesta por progresiones aritméticas organizadas en columnas. La criba se basa en el principio de que, al determinar el conjunto de los números compuestos impares, se puede deducir el conjunto de los números primos. La n-ésima columna tiene por primer término (2n + 1)$^2$ y por diferencia entre términos consecutivos d = 4n + 2. Cualquier número impar, distinto de 1, que no se encuentre en la tabla, es primo.
  Considérese un número compuesto impar de la forma $n=(2p+1)(2q+1)$, donde p y q son números naturales y $q=p+k$ para algún k natural. Entonces,
      $n=(2p+1)(2p+2k+1)[1]=4p^{2}+4p+4kp+2k+1=(2p+1)^{2}+2\cdot (2p+1)\cdot k$
  con lo que n se encontraría en la p-ésima columna y la k-ésima fila
  Al hacer variar p y k a lo largo de $\mathbb {N}$ se obtiene el conjunto de los números que son producto de dos impares que se encuentran en la tabla.
  | 9 |
  | 15 | 25 |
  | 21 | 35 | 49 |
  | 27 | 45 | 63 | 81 |
  | 33 | 55 | 77 | 99 | 121 |
  | 39 | 65 | 91 | 117 | 143 | 169 |
  | 45 | 75 | 105 | 135 | 165 | 195 | 225 |
  | 51 | 85 | 119 | 153 | 187 | 221 | 255 | 289 |
  | 57 | 95 | 133 | 171 | 209 | 247 | 285 | 323 | 361 |
  | 63 | 105 | 147 | 189 | 231 | 273 | 315 | 357 | 399 | 441 |
  | 69 | 115 | 161 | 207 | 253 | 299 | 345 | 391 | 437 | 483 | 529 |
  Sundaram era un matemático de la India. La criba que publicó en 1934 era algo diferente al modelo aquí presentado.
  
  # Criba de Sundaram
  ## Una forma cuadrática asociada
  
  La forma cuadrática $p=\left(\,k+2j+1\right)^{2}-k^{2},con\,k\in \mathbb {N} \;y\;j\in \mathbb {N} ,$ tiene por lo menos un par (k, j) de soluciones en números naturales, para cada valor de p compuesto. Cuando p es compuesto, k puede tomar cualquier valor natural y también puede ser nulo, si el número p es un cuadrado. El valor de j siempre es distinto de cero para p compuesto. Una solución (k, j) única, con j = 0, indica que p es un número primo en $\mathbb {Z}$.
  Si desarrollamos el cuadrado, el resultado es análogo a la expresión [1]: $p=\left(\,k+2j+1\right)^{2}-k^{2}=(2j+1)(2k+2j+1)$.
  Las soluciones de la forma cuadrática no están acotadas todavía, por lo que esta fórmula no puede utilizarse para determinar la primalidad de un número. La criba constituye un método casi de "fuerza bruta", también impracticable para números muy grandes.
  
  # Criba de Sundaram
  ## Una relación de equivalencia
  
  Si reordenamos la criba de Sundaram y la escribimos de una manera diferente, podemos dividir a los números compuestos en clases disjuntas:
  El criterio a seguir consiste en agrupar los números que tienen un mismo divisor mínimo. Comenzamos por el 9, que es un cuadrado y seguimos con todos los múltiplos de 3 que no contengan factores pares. Seguimos con 25, que también es un cuadrado, y agrupamos todos los múltiplos de 5 que no tengan factores menores que 5. Y así sucesivamente (Obsérvese que 81 está, ahora, en la clase que comenzamos con 9). Todas estas clases de números naturales compuestos quedan agrupadas en subconjuntos disjuntos dos a dos.
  Ahora ampliamos algo más el contenido de la criba. Colocamos al mínimo divisor como precedente de cada cuadrado y lo aceptamos como representante de la clase (es el divisor mínimo común de la clase). Además, agregamos el 2 y todos los pares como una clase adicional y tenemos, entonces, a todos los números naturales -excepto el 1- divididos en clases disjuntas. Esto indica que se ha realizado un cociente de $\mathbb {N} -\{1\}$ por una relación de equivalencia. Los representantes de esas clases son los números primos.