O que é a Conjectura de Pólya?

O que é a Conjectura de Pólya?

Na década de 1919, o matemático húngaro George Pólya propôs uma ideia intrigante sobre a estrutura dos números naturais — algo que mais tarde ficou conhecido como a Conjectura de Pólya. Essa hipótese sugeria que, para qualquer número natural escolhido, mais da metade dos números menores que ele teriam um número ímpar de fatores primos, quando contados com multiplicidade.

Por exemplo, o número 12 pode ser decomposto em 2 × 2 × 3 — isso dá três fatores primos (com repetição), um número ímpar. Pólya acreditava que, em geral, essa situação se repetiria na maioria dos casos. Ou seja, em qualquer ponto da reta dos números naturais, haveria mais números com quantidade ímpar do que par de fatores primos.

Apesar de ter sido verificada como verdadeira para muitos números iniciais — o que fez muitos acreditarem na sua validade — a conjectura acabou sendo refutada em 1958. Um contraexemplo foi encontrado: a partir de um número muito grande (especificamente, por volta de 906.180.359), a regra deixa de funcionar. Nesse ponto, pela primeira vez, os números com quantidade par de fatores primos superam os com quantidade ímpar.

Esse episódio é um bom lembrete de como a matemática exige rigor: mesmo as ideias que parecem verdadeiras por muito tempo podem revelar-se falsas quando examinadas com ferramentas mais poderosas. A conjectura de Pólya, embora incorreta, continua sendo um exemplo fascinante do pensamento matemático em evolução.