Paridade do zero

A expressão paridade do zero refere-se ao fato de o número zero ser considerado um número par. Em outras palavras, sua paridade — a qualidade de um número inteiro ser par ou ímpar — é par. A maneira mais simples de provar que zero é par é checar se ele se encaixa na definição de número par: é um número inteiro, múltiplo de 2, especificamente ${\displaystyle 0\times 2}$. Como resultado disso, zero compartilha todas as propriedades que caracterizam os números pares: 0 é divisível por 2, é avizinhado de ambos os lados por números ímpares, é obtido através da soma de um inteiro com ele mesmo (${\displaystyle 0+0=0}$) e um conjunto com 0 objetos pode ser separado em dois conjuntos de mesmo tamanho.

Zero também se encaixa nos padrões formados por outros números pares. As regras aritméticas de paridade, tais como ${\displaystyle par-par=par}$, requerem que 0 seja par. Zero é o elemento neutro do grupo de inteiros pares, e é o caso inicial a partir do qual outros números naturais pares são recursivamente definidos. Aplicações dessa recursão, da teoria dos grafos até a geometria computacional, requerem a paridade de zero. Não somente 0 é divisível por 2, como também é divisível por toda potência de 2, o que é extremamente relevante para o sistema de numeração binário usado por computadores. Nesse sentido, 0 é o número "mais par" de todos.^[1]

Entre o público geral, a paridade do zero pode ser uma fonte de confusão. Em experimentos psicológicos de tempo de reação, muitas pessoas são mais lentas em identificar 0 como par do que identificar a paridade de 2, 4, 6 ou 8, por exemplo. Alguns estudantes de matemática — e alguns professores — pensam que zero é ímpar, ou ambos (par e ímpar), ou nenhum dos dois. Pesquisadores em educação matemática dizem que esses equívocos podem se tornar oportunidades de aprendizado. Estudar igualdades como ${\displaystyle 0\times 2=0}$ pode sanar dúvidas de estudantes sobre se 0 é um número e sobre usá-lo na aritmética. Discussões de classe podem levar estudantes a avaliar os princípios básicos do raciocínio matemático, tais como a importância das definições. Analisando a paridade desse número excepcional é um exemplo precoce de um tema que permeia a matemática: a abstração de um conceito familiar para uma configuração desconhecida mais complexa.

A definição mais difundida de "número par" pode ser usada para provar diretamente que zero é um número par. Um número é chamado "par" se for um inteiro múltiplo de 2. Como um exemplo, o motivo de 10 ser par é que ele é obtido através da multiplicação entre 2 e 5. Da mesma forma, zero é um inteiro múltiplo de 2 (a saber, ${\displaystyle 0\times 2=0}$), portanto zero é par.^[2]

Também é possível explicar porque zero é par sem se referir a definições formais.^[3] As seguintes explicações fazem uso da ideia de que zero é par através de conceitos fundamentais sobre números. A partir destes fundamentos, pode-se prover argumentos racionais para a própria definição — e sua aplicação ao zero.

Zero é um número, e números são usados para contagem. Dado um conjunto de objetos, utiliza-se um número para descrever quantos objetos estão no conjunto. Zero representa a conta de nenhum objeto no conjunto; em termos mais formais, é o número de objetos no conjunto vazio. O conceito de paridade é usado para fazer grupos de dois objetos. Se os objetos em um conjunto puderem ser agrupados em duplas, com nenhum objeto sobrando, então o número de objetos é par. Se um objeto é deixado sem par, então o número de objetos no conjunto é ímpar. O conjunto vazio tem zero duplas e nenhum objeto é deixado sem par, portanto zero é par.^[5]

Essas ideias podem ser ilustradas ao desenhar-se objetos em duplas. É difícil retratar duplas, ou enfatizar a não existência de um objeto sobrando, então desenhar outros grupos e compará-los com o conjunto com zero duplas ajuda a compreender melhor a ideia. Por exemplo, no grupo de cinco objetos, existem duas duplas e, de modo mais importante, há um objeto sobrando, então 5 é ímpar. No grupo de quatro objetos, por outro lado, não há nenhum objeto sobrando, portanto 4 é par. No grupo de apenas um objeto, não existe nenhuma dupla, e existe um objeto sobrando, portanto 1 é ímpar. No grupo de zero objetos, não há nenhum objeto sobrando, portanto 0 é par.^[6]

Existe outra definição concreta da paridade: se os objetos em um conjunto podem ser colocados em dois grupos de mesmo tamanho, então o número de objetos é par. A definição é equivalente a primeira. De novo, zero é par, pois o conjunto vazio pode ser dividido em dois grupos de zero itens cada.^[7]

Números também podem ser visualizados como pontos em uma reta numérica. Quando números pares e ímpares são distinguidos uns dos outros, o padrão torna-se óbvio, especialmente se números negativos são incluídos:

Os números pares e ímpares alternam-se. Começando em qualquer número par, contar duas unidades para a esquerda ou para a direita alcança-se outro número par, e não há qualquer razão para ignorar o zero.^[8]

Com a introdução da multiplicação, a paridade pode ser abordada de uma maneira mais formal usando expressões aritméticas. Todo inteiro é ou da forma ${\displaystyle (2\times \square )+0}$ ou da forma ${\displaystyle (2\times \square )+1}$; o primeiro caso representa os números pares e o segundo representa os ímpares. Por exemplo, 1 é ímpar porque ${\displaystyle 1=(2\times 0)+1}$, e 0 é par porque ${\displaystyle 0=(2\times 0)+0}$. Fazer uma tabela desses fatos reforça o argumento criado pela imagem da reta numérica acima.^[9]

Número inteiro	${\displaystyle -4}$	${\displaystyle -3}$	${\displaystyle -2}$	${\displaystyle -1}$	${\displaystyle 0}$	${\displaystyle 1}$	${\displaystyle 2}$	${\displaystyle 3}$	${\displaystyle 4}$
Decomposição única	${\displaystyle 2\times (-2)+\color {red}{0}}$	${\displaystyle 2\times (-2)+\color {ProcessBlue}{1}}$	${\displaystyle 2\times (-1)+\color {red}{0}}$	${\displaystyle 2\times (-1)+\color {ProcessBlue}{1}}$	${\displaystyle 2\times (0)+\color {red}{0}}$	${\displaystyle 2\times (0)+\color {ProcessBlue}{1}}$	${\displaystyle 2\times (1)+\color {red}{0}}$	${\displaystyle 2\times (1)+\color {ProcessBlue}{1}}$	${\displaystyle 2\times (2)+\color {red}{0}}$
Paridade	Par	Ímpar	Par	Ímpar	Par	Ímpar	Par	Ímpar	Par

A definição precisa de um termo matemático, tal como "par" significando "inteiro que é múltiplo de dois", é em última análise uma convenção. Diferentemente de "par", alguns termos matemáticos são propositalmente construídos para excluir casos triviais ou degenerados. Números primos são um exemplo famoso. Antes do século XX, definições de primalidade eram inconsistentes, e matemáticos importantes como Goldbach, Lambert, Legendre, Cayley, e Kronecker classificavam 1 como primo.^[10] A definição moderna de "número primo" é "inteiro positivo com exatamente 2 divisores", então 1 não é primo. Esta definição pode ser racionalizada ao perceber que ela é mais adequada aos teoremas que dizem respeito aos números primos. Por exemplo, o teorema fundamental da aritmética é mais facilmente enunciável quando 1 não é considerado primo.^[11]

Seria possível similarmente redefinir o termo "par" de forma que não mais inclua o zero. Contudo, neste caso, a nova definição tornaria mais difícil enunciar teoremas que dizem respeito aos números pares. O efeito pode ser visto em regras algébricas que regem os números pares e ímpares.^[12] As regras mais relevantes dizem respeito a adição, subtração e multiplicação:

par ± par = par

ímpar ± ímpar = par

par × inteiro = par

Inserindo valores apropriados no lado esquerdo dessas regras, pode-se produzir 0 no lado direito:

${\displaystyle 2-2=0}$

${\displaystyle -3+3=0}$

${\displaystyle 4\times 0=0}$

As regras acima tornar-se-iam incorretas caso zero não fosse par.^[12] Na melhor das hipóteses, elas teriam que ser modificadas. Por exemplo, um guia de estudo de teste afirma que números pares são caracterizados como inteiros múltiplos de dois, mas zero não é "nem par nem ímpar".^[13] Consequentemente, essas regras contêm exceções:^[13]

par ± par = par (ou zero)

ímpar ± ímpar = par (ou zero)

par × inteiro não nulo = par

Fazer uma exceção para zero na definição de paridade força a criação de tais exceções nas regras para números pares. Sob outra perspectiva, tomar as regras obedecidas por números pares positivos e requerer que elas continuem a ser válidas para inteiros força a definição usual e a paridade de zero.^[12]

Incontáveis resultados em teoria dos números são embasadas pelo teorema fundamental da aritmética e pelas propriedades algébricas de números pares, logo as escolhas descritas acima têm amplas consequências. Por exemplo, o fato de números positivos terem fatoração única significa que pode ser determinado se um número tem um número par ou ímpar de fatores primos distintos. Uma vez que 1 não é primo, e também não tem fatores primos, é um produto de 0 primos distintos; como 0 é um número par, 1 tem um número par de fatores primos distintos. Isso implica que a função de Möbius assume o valor ${\displaystyle \mu (1)=1}$, o que é necessário para ela ser uma função multiplicativa e para a fórmula de inversão de Möbius funcionar.^[14]

Um número inteiro ${\displaystyle n}$ é ímpar se existe um número inteiro ${\displaystyle k}$ tal que ${\displaystyle n=2k+1}$. Uma maneira de provar que zero não é ímpar é por contradição: se ${\displaystyle 0=2k+1}$, então ${\displaystyle k=-1/2}$, que não é um inteiro.^[15] Um resultado clássico da teoria dos grafos diz que um grafo de ordem ímpar (que tem um número ímpar de vértices) sempre tem ao menos um vértice de grau par. (A declaração por si só requer que zero seja par: o grafo nulo tem ordem par e um vértice isolado tem grau par.)^[16] Para provar o enunciado, é na verdade mais fácil provar um resultado mais forte: qualquer grafo de ordem ímpar tem um número ímpar de vértices de grau par. A aparição deste número ímpar é explicada por um resultado ainda mais geral, conhecido como o lema do aperto de mão: qualquer grafo tem um número par de vértices de grau ímpar.^[17]

O lema de Sperner é uma aplicação mais avançada da mesma estratégia. O lema declara que um certo tipo de coloração em uma triangulação de um simplex tem um subsimplex que contém todas as cores. Em vez de diretamente construir tal subsimplex, é mais conveniente provar que existe um número ímpar de tais subsimplexes através de um argumento indutivo.^[18] Uma declaração mais forte do lema então explica porque este número é ímpar: ele naturalmente pode ser separado em ${\displaystyle (n+1)+n}$ quando são consideradas as duas possíveis orientações de um simplex.^[19]

O fato de zero ser par, aliado ao fato de que números pares e ímpares alternam-se, é suficiente para determinar a paridade de todos os outros números naturais. Tal ideia pode ser formalizada em uma definição recursiva do conjunto de números naturais:

• 0 é par;
• ${\displaystyle (n+1)}$ é par se e somente se ${\displaystyle n}$ não é par.

Essa definição tem a vantagem conceitual de depender somente dos fundamentos mínimos dos números naturais: a existência de 0 e de sucessores. Como tal, é útil para sistemas de lógica de computador como LF e o provador de teoremas Isabelle.^[20] Com essa definição, a paridade de zero não é um teorema, mas um axioma. De fato, "zero é um número par" pode ser interpretado como um dos axiomas de Peano, dos quais os números naturais pares são um modelo.^[21] Uma construção similar estende a definição de paridade para números ordinais transfinitos: todo ordinal limite é par, incluindo o zero, e os sucessores de ordinais pares são ímpares.^[22]

O teste clássico do ponto em polígono da geometria computacional aplica as ideias acima. Para determinar se um ponto jaz dentro do polígono, cria-se uma semirreta do infinito para o ponto e é contado o número de vezes que ela cruza a borda do polígono. O número de cruzamentos é par se e somente se o ponto estiver fora do polígono. Este algoritmo funciona pois se o raio nunca cruza o polígono, então seu número de cruzamentos é zero, que é par, e o ponto está do lado de fora. Toda vez que a semirreta cruza o polígono, o número de cruzamentos alterna entre par e ímpar, e o ponto na sua extremidade alterna entre estar dentro e estar fora do polígono.^[23]

Em teoria dos grafos, um grafo bipartido é um grafo cujos vértices são separados em duas cores, tais que vértices vizinhos tenham cores diferentes. Se um grafo conectado não tem ciclos ímpares, então uma bipartição pode ser construída escolhendo-se um vértice base ${\displaystyle v}$ e colorindo todo vértice em branco ou preto, dependendo se a sua distância de ${\displaystyle v}$ for par ou ímpar. Uma vez que a distância entre ${\displaystyle v}$ e si próprio é 0, e 0 é par, o vértice base é colorido diferentemente dos seus vizinhos, que repousam à distância de 1.^[24]

Em álgebra abstrata, os inteiros pares formam várias estruturas algébricas que requerem a inclusão do zero. O fato de que a identidade aditiva (zero) é par, aliado à paridade das somas e dos inverso aditivo de números pares e à associatividade da adição, significa que os inteiros pares formam um grupo. Além disso, o grupo de inteiros pares sob adição é um subgrupo de todos os inteiros; isto é um exemplo elementar do conceito de subgrupo.^[16] A observação anterior de que a regra "par — par = par" força 0 a ser par é parte de um padrão geral: qualquer subconjunto não-vazio de um grupo aditivo que é fechado sob subtração precisa ser um subgrupo e, em particular, deve conter a identidade.^[25]

Como os inteiros pares formam um subgrupo dos inteiros, eles particionam os inteiros em coclasses. Essas coclasses podem ser descritas como as classes de equivalência da seguinte relação de equivalência: ${\displaystyle x\sim y}$ se ${\displaystyle (x-y)}$ é par. Aqui, a paridade de zero é diretamente manifestada como a reflexividade da relação binária ${\displaystyle \sim }$.^[26]

Analogamente, o grupo alternante é um subgrupo de índice 2 no grupo simétrico de n letras. Os elementos do grupo alternante, chamados de permutações pares, são produtos de números pares de transposições. A função identidade, um produto vazio sem transposições, é uma permutação par já que zero é par; ela é o elemento identidade do grupo.^[27]

A regra "par × inteiro = par" significa que os números pares formam um ideal no anel dos inteiros, e a relação de equivalência acima pode ser descrita como equivalência módulo tal ideal. Em particular, inteiros pares são exatamente aqueles inteiros ${\displaystyle k}$ que satisfazem ${\displaystyle k\equiv 0\ (mod\ 2)}$. Esta formulação é útil para investigar as raízes inteiras de polinômios.^[28]

Há um sentido em que alguns múltiplos de 2 são "mais pares" do que outros. Múltiplos de 4 são chamados duplamente pares, já que eles podem ser divididos por 2 duas vezes. Não somente zero é divisível por 4, como também tem a propriedade única de ser divisível por todas as potências de 2, superando todos os outros números em "paridade".^[1]

Uma consequência desse fato aparece na ordenação bit-invertida de tipos de dados inteiros utilizada por alguns algoritmos de computador, como a transformada rápida de Fourier de Cooley-Tukey. Esta ordenação tem a propriedade de que quanto mais para a esquerda o primeiro 1 ocorre na expansão binária de um número, ou quanto mais vezes ele for divisível por 2, mais cedo ele aparecerá. A bit-inversão de zero ainda é zero; ele pode ser dividido por 2 qualquer número de vezes, e sua expansão binária não contém nenhum 1, então ele sempre vem primeiro.^[29]

Embora 0 seja divisível por 2 mais vezes do que qualquer outro número, não é tão direto o processo de quantificar exatamente quantas vezes isso ocorre. Para qualquer inteiro n diferente de zero, pode-se definir a ordem 2-aditiva de n como sendo o número de vezes que n é divisível por 2. Esta descrição não funciona para 0; não importa quantas vezes ele seja dividido por 2, sempre pode ser dividido por 2 novamente. Em vez disso, a convenção é configurar a ordem 2-aditiva de 0 como sendo infinita como um caso especial.^[30] Esta convenção não é particular à ordem 2-aditiva; é um dos axiomas de uma valoração aditiva em álgebras superiores.^[31]

As potências de dois — 1, 2, 4, 8, ... — formam uma sequência simples de números de ordem 2 crescente. Nos números 2-aditivos, tais sequências convergem de fato para zero.^[32]

O assunto da paridade de zero é frequentemente tratado nos primeiros dois ou três anos do ensino primário, à medida que o conceito de números pares e ímpares é introduzido e desenvolvido.^[34]

A tabela à direita^[33] retrata as crenças das crianças sobre a paridade do zero à medida que progridem do Ano 1 ao Ano 6 do sistema educacional inglês. Os dados são de Len Frobisher, que realizou um par de levantamentos de crianças em escolas na Inglaterra. Frobisher estava interessado em saber como o conhecimento da paridade de um único dígito se traduz no conhecimento da paridade de múltiplos dígitos, e o zero aparece proeminente nos resultados.^[35]

Em uma pesquisa preliminar com cerca de 400 crianças de sete anos, 45% delas escolheram par ao invés de ímpar quando perguntadas sobre a paridade do zero.^[36] Uma pesquisa posterior ofereceu mais escolhas: nenhum dos dois, ambos e não sei. Desta vez, o número de crianças na mesma faixa etária que identificou zero como par caiu para 32%.^[37] O acerto na decisão de que o zero é par inicialmente aumenta e então se estabiliza por volta de 50% nos Anos 3 a 6.^[38] Em comparação, a tarefa mais fácil, identificar a paridade de um único dígito, atinge cerca de 85% de sucesso.^[39]

Em entrevistas, Frobisher suscitou o raciocínio dos alunos. Um aluno de quinto ano decidiu que 0 era par porque foi encontrado na tabela de multiplicação do 2. Uma dupla de alunos de quarto ano percebeu que zero pode ser dividido em duas partes iguais. Outro quartanista raciocinou que como "1 é ímpar, se eu descer é par".^[40] As entrevistas também revelaram os equívocos por trás de respostas incorretas. Um aluno de segundo ano estava "bastante convencido" de que zero era ímpar, comentando "é o primeiro número que você conta" em sua resposta.^[41] Um quartanista referiu-se a 0 como "nenhum" e pensou que não era nem ímpar nem par, já que "não era um número".^[42] Em outro estudo, Annie Keith observou uma classe de 15 estudantes do segundo ano^[a] que se convenceram de que zero era um número par com base na alternância ímpar-par e na possibilidade de dividir um grupo de zero coisas em dois grupos de igual tamanho.^[43]

Pesquisas mais aprofundadas foram realizadas por Esther Levenson, Pessia Tsamir e Dina Tirosh, que entrevistaram um par de estudantes de sexto ano que estavam tendo alto desempenho em sua aula de matemática. Um estudante preferiu as explicações dedutivas das alegações matemáticas, enquanto o outro preferiu exemplos práticos. Ambos os alunos inicialmente pensaram que 0 não era nem ímpar, nem par, por diferentes motivos. Levenson et al. demonstrou como o raciocínio dos alunos refletiu seus conceitos de zero e divisão.^[44]

Deborah Loewenberg Ball analisou as ideias de alunos da terceira série sobre números pares e ímpares e o zero, que eles tinham acabado de discutir com um grupo de alunos do quarto ano. Os alunos discutiram a paridade de zero, as regras para os números pares, e como a matemática é feita. As afirmações sobre zero assumiram muitas formas, como mostrado na lista à direita.^[45] Ball e seus coautores argumentaram que o episódio demonstrou como os alunos podem "fazer matemática na escola", ao contrário da redução usual da disciplina à solução mecânica de exercícios.^[46]

Um dos temas da literatura de pesquisa é a tensão entre as imagens conceituais dos alunos sobre a paridade e suas definições conceituais.^[47] Ambos os alunos do sexto ano de Levenson et al. definiram números pares como múltiplos de 2 ou números divisíveis por 2, mas inicialmente não conseguiram aplicar essa definição a zero, porque não tinham certeza de como multiplicar ou dividir zero por 2. O entrevistador eventualmente os levou a concluir que zero era par; os alunos tomaram diferentes rotas para essa conclusão, com base em uma combinação de imagens, definições, explicações práticas, e explicações abstratas. Em outro estudo, David Dickerson e Damien Pitman examinaram o uso de definições por cinco estudantes de graduação em matemática. Eles descobriram que os alunos de graduação conseguiram em grande parte aplicar a definição de "par" a zero, mas ainda não estavam convencidos por esse raciocínio, uma vez que entrava em conflito com suas imagens conceituais.^[48]

Pesquisadores de educação matemática na Universidade de Michigan tem incluído o prompt verdadeiro-ou-falso "0 é um número par" em um banco de dados de mais de 250 perguntas projetadas para medir o conhecimento do conteúdo de professores. Para eles, a questão exemplifica "conhecimento comum ... que qualquer adulto bem educado deveria ter", e é "ideologicamente neutro" na medida em que a resposta não varia entre a matemática tradicional e a matemática reformada. Em um estudo de 2000 a 2004 com 700 professores de ensino primário nos Estados Unidos, o desempenho geral nessas questões previu melhorias significativas nos resultados dos exames padronizados dos alunos após terem feito as aulas com esses professores.^[49] Em um estudo mais aprofundado de 2008, os pesquisadores encontraram uma escola onde todos os professores achavam que zero não era nem ímpar, nem par, incluindo um professor que era considerado exemplar em todas as medidas. O equívoco foi espalhado por um instrutor de matemática em seu prédio.^[50]

É incerto quantos professores mantém equívocos sobre o zero. Os estudos de Michigan não publicaram os dados por questões individuais. Betty Lichtenberg, professora associada de educação matemática na Universidade do Sul da Flórida, em um estudo de 1972 informou que, quando um grupo de futuros professores da escola primária receberam um teste verdadeiro-ou-falso incluindo o item "Zero é um número par", eles achavam que era uma "pegadinha", com cerca de dois terços respondendo "Falso".^[51]

Matematicamente, provar que zero é par é uma questão simples de aplicar uma definição, mas é necessária mais explicação no contexto da educação. Um problema diz respeito aos fundamentos da prova; A definição de "par" como "múltiplo inteiro de 2" nem sempre é apropriada. Um aluno nos primeiros anos de ensino primário pode ainda não ter aprendido o que "inteiro" ou "múltiplo" significa, e muito menos como se multiplicar com 0.^[52] Além disso, indicar uma definição de paridade para todos os números inteiros pode parecer um atalho conceitual arbitrário se os únicos números pares investigados até então tiverem sido os positivos. Isso pode ajudar a reconhecer que, à medida que o conceito de número é estendido de inteiros positivos para incluir o zero e inteiros negativos, propriedades de número como a paridade também são estendidas de forma não trivial.^[53]

Os adultos que acreditam que o zero é par podem, no entanto, não estar familiarizados em rotulá-lo como par, o suficiente para retardá-los significativamente em um experimento de tempo de reação. Stanislas Dehaene, pioneira no campo da cognição numérica, liderou uma série desses experimentos no início da década de 1990. Um numeral ou o nome de um número é exibido para o sujeito em um monitor, e um computador registra o tempo que o sujeito leva para pressionar um dos dois botões para identificar o número como par ou ímpar. Os resultados mostraram que 0 foi mais lento para ser processado pelos sujeitos do que outros números pares. Algumas variações do experimento encontraram atrasos de até 60 milissegundos, ou cerca de 10% do tempo médio de reação — uma pequena, mas significativa diferença.^[55]

Os experimentos de Dehaene não foram projetados especificamente para investigar o zero, mas para comparar modelos concorrentes de como a informação de paridade é processada e extraída. O modelo mais específico, a hipótese de cálculo mental, sugere que as reações a 0 devem ser rápidas; 0 é um número pequeno, e é fácil calcular ${\displaystyle 0\times 2=0}$ (Os indivíduos calculam e nomeiam o resultado da multiplicação por zero mais rápido do que a multiplicação por números não-nulos, embora sejam mais lentos para verificar resultados propostos como ${\displaystyle 2\times 0=0}$). Os resultados dos experimentos sugeriram que algo bastante diferente estava acontecendo: a informação de paridade foi aparentemente recuperada da memória, juntamente com um conjunto de propriedades relacionadas, tais como ser número primo ou uma potência de dois. Tanto a sequência de potências de dois quanto a sequência de números pares positivos 2, 4, 6, 8, ... são categorias mentais bem distinguidas cujos membros são prototipicamente pares. Zero não pertence a nenhuma lista, daí as respostas mais lentas.^[56]

Repetidos experimentos mostraram um atraso em relação ao zero para sujeitos com várias idades e origens nacionais e linguísticas, confrontados com nomes de números em forma de numeral, soletrados e soletrados em uma imagem espelhada. O grupo de Dehaene encontrou um fator diferenciador: conhecimentos matemáticos. Em uma de suas experiências, os alunos da Escola Normal Superior de Paris foram divididos em dois grupos: aqueles de estudos literários e aqueles que estudam matemática, física ou biologia. O desaceleramento em 0 foi "essencialmente encontrado no grupo [literário]" e, de fato, "antes do experimento, alguns sujeitos [literários] não tinham certeza se era par ou ímpar e tinham que lembrar a definição matemática".^[57]

Esta forte dependência da familiaridade enfraquece de novo a hipótese de cálculo mental.^[58] O efeito também sugere que não é apropriado incluir zero em experimentos onde os números pares e ímpares são comparados como um grupo. Como diz um estudo, "a maioria dos pesquisadores parece concordar que zero não é um número par típico e não deve ser investigado como parte da linha mental dos números".^[59]

Alguns dos contextos onde a paridade de zero aparece são puramente retóricos. A questão fornece material para fóruns na Internet e sites de perguntas.^[60] O linguista Joseph Grimes acredita que perguntar "zero é um número par?" para casais é uma boa maneira de fazê-los discordar.^[61] As pessoas que pensam que zero não é nem par nem ímpar podem usar a paridade de zero como prova de que cada regra tem um contraexemplo,^[62] ou como um exemplo de uma "pegadinha".^[63]

Por volta do ano 2000, os meios de comunicação notaram um par de marcos incomuns: "19/11/1999" foi a última data de calendário composta por todos os dígitos ímpares que vai ocorrer por muito tempo (a próxima data composta somente por números ímpares será 11/11/3111), e "02/02/2000" foi a primeira data toda par a ocorrer em muito tempo (a data composta somente por dígitos pares anterior foi 28/08/888, se o calendário gregoriano puder ser usado retroativamente a sua promulgação).^[64] Como esses resultados fazem uso de 0 sendo par, alguns leitores discordaram da ideia.^[65]

Em testes padronizados, se uma questão pergunta sobre o comportamento de números pares, pode ser necessário ter em mente que zero é par.^[66] As publicações oficiais relativas aos testes GMAT e GRE estabelecem que 0 é par.^[67]

A paridade de zero é relevante para o rodízio ímpar-par, em que os motoristas de carros podem dirigir ou comprar gasolina em dias alternados, de acordo com a paridade do último dígito em suas placas. A metade dos números em uma determinada gama termina em 0, 2, 4, 6, 8 e a outra metade em 1, 3, 5, 7, 9, então faz sentido incluir 0 com os outros números pares. No entanto, em 1977, um sistema de racionamento de Paris levou à confusão: em um dia ímpar, a polícia evitou multar motoristas cujas placas terminavam em 0, porque não sabiam se 0 era par ou não. Para evitar tal confusão, a legislação pertinente às vezes estipula que zero é par;^[68] Tais leis foram aprovadas em Nova Gales do Sul^[69] e Maryland.^[70] Em São Paulo, o rodízio é feito de forma distinta e não parece levar em conta essa questão sobre a paridade do zero: na segunda-feira ficam proibidos de circular em determinada área carros de placas 1 e 2, na terça-feira, os carros de finais de placa 3 e 4 não circulam, na quarta-feira os de final 5 e 6, na quinta-feira os de final 7 e 8 e finalmente na sexta-feira, os de final 9 e 0.^[71]

Nos navios da Marinha dos Estados Unidos, os compartimentos de números pares ficam ao lado da porta, mas o número zero é reservado para compartimentos que cruzam a linha central do navio. Ou seja, os números são lidos 6-4-2-0-1-3-5 da porta a estibordo.^[72] No jogo da roleta, o número 0 não conta como par ou ímpar, dando ao cassino uma vantagem em tais apostas.^[73] Da mesma forma, a paridade de zero pode afetar as recompensas em apostas quando o resultado depende de algum número aleatório ser ímpar ou par, e resulta ser zero.^[74]

O jogo de "par ou ímpar" também é afetado: se ambos os jogadores lançam zero dedos, o número total de dedos é zero, então o jogador par ganha.^[75] Um manual para professores sugere jogar este jogo como uma forma de introduzir as crianças no conceito de que 0 é divisível por 2.^[76]

Notas

Referências

• Media relacionados com Paridade do zero no Wikimedia Commons

• Portal da matemática