Paridad del cero

El 0 es par. En otras palabras, la «paridad» —es decir la cualidad de un número entero de ser par o impar— que le corresponde al número cero es la de un número par. El cero cumple con la definición de número par: es un entero múltiplo del dos, 0 = 0 × 2. Como resultado, el cero comparte todas las propiedades que caracterizan a los números pares: 0 es divisible exactamente por 2; 0 está entre dos números impares; 0 es la resta de un entero a sí mismo; un conjunto con 0 objetos puede separarse en dos conjuntos iguales. Puesto que las definiciones de número par varían, otro acercamiento consiste en considerar la manera en que el cero sigue los mismos patrones que los demás números pares. Las reglas aritméticas de paridad, como por ejemplo par − par = par, requieren que 0 sea par. El cero es el elemento neutro del grupo de los enteros pares, y es el punto de partida para definir los subsiguientes números naturales generados recursivamente. Las aplicaciones de esta recursión, que van desde la teoría de grafos hasta la geometría computacional, dan por sentado que el cero es par. Entre el público en general, la paridad del cero puede ser fuente de confusión. En experimentos de «tiempo de reacción», la mayoría de la gente tarda más en clasificar al 0 como par que al 2, 4, 6 u 8.