Você está lendo sobre jogos de números. Não apenas Sudoku, não apenas criptografia. Refiro-me à profunda história de quebra-cabeças que parecem brinquedos, mas na verdade são portas de entrada para a matemática séria.
É uma categoria confusa. Você não pode arquivá-los ordenadamente. Algumas são diversões idiotas. Outros são problemas não resolvidos que têm deixado os matemáticos perplexos durante séculos. A lista de tópicos envolvidos é selvagem. Aritmética. Álgebra. Geometria. Topologia. Teoria dos grafos. Matrizes. Teoria dos grupos. Combinatória. Teoria dos conjuntos. Lógica simbólica. Probabilidade.
Tente classificar tudo. Você irá falhar. A tentativa é arbitrária.
Aqui está a questão das recreações matemáticas. Eles confundem a linha entre hobby e profissão.
Um quebra-cabeça inocente sobre como percorrer um caminho pode forçá-lo a entrar na teoria dos grafos. Contando partes de uma figura geométrica? Isso é combinatória. Dissecando um polígono? Teoria dos grupos. Inferência lógica? Matrizes.
Coisas que pareciam impossíveis nos tempos medievais são agora triviais, graças aos métodos modernos.
Por que jogamos
Existe um desejo universal de resolver um quebra-cabeça. Não importa se você é jovem ou velho. Sofisticado ou não.
G. H. Hardy, um notável matemático inglês, observou isso. Os fabricantes profissionais de quebra-cabeças também sabem disso. Eles exploram isso. O público se diverte intelectualmente com isso.
A literatura é extensa. Principalmente desde o século XX.
Parte disso é repetitivo. Surpreendentemente, cada geração acha as castanhas velhas deliciosas. Mesmo quando estão vestidos com roupas novas. Novo material é adicionado constantemente.
Os primeiros dias
As pessoas sempre adoraram criar desafios. Prazer intelectual. Curiosidade. Mistério.
Muitas das primeiras recreações sobreviveram por causa desse apelo. Alguns vieram dos antigos gregos e romanos. Sabíamos pouco sobre eles durante a Idade das Trevas. Os juros retornaram durante a Idade Média.
Por que? A impressão foi inventada. Os escritores de textos aritméticos ficaram entusiasmados. Os primeiros algebristas e estudiosos iniciaram rivalidades e disputas.
Isto foi mais proeminente no continente. Itália. Alemanha.
Contribuintes notáveis incluem:
* Rabino ben Ezra (1140)
* Fibonacci (Leonardo de Pisa; 1202)
* Robert Recorde (1542)
* Girolamo Cardano (1545)
Dois tipos de problemas
Os problemas geralmente se dividiam em dois grupos.
Manipulação de objetos.
Computação.
O primeiro tipo exigia pouca habilidade matemática. Apenas inteligência geral e engenhosidade.
Pense em problemas de decantação. Ou travessias difíceis.
Exemplo de decantação:
Você precisa medir um litro de líquido. Você só tem medidas de oito quartos, cinco quartos e três quartos. Como você faz isso?
Exemplo de travessias difíceis:
Três casais precisam atravessar um riacho. O barco comporta apenas duas pessoas. Cada marido é ciumento demais para deixar a esposa com qualquer outro homem. Como eles se comunicam?
Muitas variantes de ambos os tipos apareceram ao longo dos anos.
Desafios de computação
O segundo tipo envolvia cálculo real. Estes assumiram muitas formas.
Aqui estão alguns exemplos.
Encontrando um número
Pense em um número.
Triplique isso.
Pegue metade do produto.
Triplique esse resultado.
Pegue metade novamente.
Divida por nove.
O quociente será um quarto do seu número original.
Problemas do tipo “Deus-Saudação”
Alguém diz: “Se novamente fôssemos tantos e metade, então seríamos 30”.
O texto começa com “Deus os saúda, todos vocês, 30 companheiros”. Quantos eram realmente?
O problema do tabuleiro de xadrez
Coloque um grão de trigo no primeiro quadrado.
Dois no segundo.
Quatro no terceiro.
Faça isso para todos os 64 quadrados.
Quantos grãos são necessários no total?
O Leão no Poço
Este é um clássico. Trata do movimento de taxa constante dificultado pelo movimento retrógrado.
Um leão está em um poço com 50 palmos de profundidade.
Sobe 1/7 de um palmo diariamente.
Ele desliza para trás 1/9 da palma da mão.
Em quantos dias vai sair?
Problemas de correio
Estes envolvem corpos que se movem a determinadas taxas. Você conhece a posição deles em um ponto. Você precisa encontrar o tempo necessário para chegar a uma outra posição especificada.
O boom das diversões matemáticas do século 17
Muito antes de a Internet oferecer quebra-cabeças intermináveis, o século XVII viu um aumento no número de livros dedicados inteiramente a problemas recreativos. Estes não eram apenas exercícios acadêmicos áridos. Eles também cobriram mecânica e filosofia natural. A verdadeira faísca veio da França.
Claude-Gaspar Bachet de Méziriac mudou o jogo. Ele é um dos primeiros pioneiros neste campo. Lembrado por Diophanti, sua edição de 1621 da teoria grega dos números, Bachet também abandonou Problèmes plaisans et delectables qui se font par les nombres em 1612.
Este segundo livro se tornou o projeto. Teve cinco edições, com a última impressa em 1959. Essa é uma longa vida útil para um livro de quebra-cabeças.
Bachet concentrou-se na aritmética em vez da geometria. Seus desafios eram específicos e agudos.
– Ele introduziu bases numéricas diferentes de 10.
– Ele incluiu truques com cartas.
– Ele criou quebra-cabeças de mostrador de relógio com base em esquemas de numeração exclusivos.
– Ele apresentou o problema clássico de encontrar o menor conjunto de pesos para medir qualquer libra de 1 a 40.
– Ele apresentou cenários difíceis de travessia de rios.
Esses foram os quebra-cabeças matemáticos originais que definiram o gênero por décadas.
Imitadores Franceses e a Expansão Alemã
A tendência não parou com Bachet. Em 1624, Jean Leurechon publicou Récréations mathématiques. Ele escreveu sob o pseudônimo de van Etten.
O livro de Leurechon tocou num ponto nevrálgico. Teve pelo menos 30 edições antes de 1700. Era popular apesar de ser em grande parte uma cópia. Leurechon pegou os problemas mais simples de Bachet e ignorou as partes mais significativas. Houve alguns trabalhos originais, mas principalmente serviram de modelo.
Influenciou Mydorge e Schwenter. A tradução para o inglês chegou em 1633. O título era extenso: Recriações matemáticas, ou uma coleção de problemas diversos… Prometia segredos da natureza e experimentos em aritmética, geometria e óptica. William Oughtred o traduziu.
Os franceses continuaram produzindo conteúdo. Claude Mydorge publicou Examen du livre des récréations mathématiques em 1630. Então Denis Henrion lançou sua própria versão em 1659, baseando-a principalmente em Mydorge.
Enquanto isso, a influência atravessou o canal para a Alemanha. Daniel Schwenter, professor de hebraico e matemática, compilou uma enorme coleção. Ele usou uma tradução do trabalho de Leurechon e acrescentou suas próprias descobertas.
Deliciae Physico-mathematicae oder Mathische und Philosophische Erquickstunden apareceu postumamente em 1636. Foi imensamente popular. Seguiram-se duas edições suplementares em 1651 e 1653. Durante anos, a edição ampliada de Schwenter foi o tratado mais abrangente do gênero.
A Itália também não ficou de fora. O jesuíta Mario Bettini publicou uma obra em dois volumes chamada Apiaria Universae Philosophiae Mathematicae em 1641-42. Um terceiro volume, Recreationum Mathematicarum Apiaria Novissima, foi lançado em 1660.
Depois veio Johann Mohr em Schleswig. Em 1665, publicou Arithmetische Lustgarten, uma imitação de Schwenter.
Entrada Tardia da Inglaterra
A Inglaterra chegou atrasada à festa. William Leybourn não era apenas um escritor. Ele era professor de matemática, escritor de livros didáticos e agrimensor.
Em 1694, publicou Prazer com lucro: consistindo em recreações de diversos tipos. A lista de gêneros era exaustiva: numérico, geométrico, mecânico, estático, astronômico, horométrico, criptográfico, magnético, automático, químico e histórico.
A página de título tinha um propósito claro. O objetivo era “recriar espíritos engenhosos e induzi-los a um exame mais aprofundado dessas ciências sublimes”. Também queria desviar os jovens dos vícios.
Grande parte do volume era material de livro convencional. Os trabalhos publicados de Leybourn surgiram de sua carreira docente. Ele estava educando tanto quanto divertindo.
A era dos quebra-cabeças impressos preparou o cenário para tudo o que se seguiu.
O boom dos séculos 18 e 19
O século XVIII não apenas manteve o fogo aceso. Isso o alimentou. A Inglaterra viu uma enxurrada de publicações. Eduardo Hatton. Tomás Gent. Samuel Clark. William Hooper. Então veio 1775. Charles Hutton lançou cinco volumes de trechos do Diário de Senhoras. Eles se concentraram nas partes divertidas de matemática e poesia. O continente não ficou muito atrás. Christian Pescheck. Abade Boaventura. Paul Halcken na Holanda. Edme-Gilles Guyot publicou Nouvelles Récréations Physiques et Mathématiques em quatro volumes em 1769 e 1786.
Mas um nome se destaca dos demais. Jacques Ozanam. Ele foi o precursor desse gênero nos dois séculos seguintes. Suas Récréations mathématique et Physiques chegaram às lojas pela primeira vez em quatro volumes em 1694. Teve inúmeras edições. Ele baseou-se em Bachet, Mydorge, Leurechon e Schwenter. Mais tarde, Montucla revisou-o e ampliou-o. Então Charles Hutton o traduziu para o inglês em 1803 e 1814. Edward Riddle fez outra revisão em 1840 e 1844.
A primeira metade do século XIX foi tranquila. Saída moderada. Escritores menores. Então o segundo tempo explodiu. Um crescendo de interesse levou até a virada do século. Édouard Lucas. CL. Dodgson, também conhecido como Lewis Carroll. As Récréations mathématiques de Lucas publicaram quatro volumes entre 1882 e 1894. Tornou-se um clássico. Dodgson trouxe seu próprio sabor. Lógica Simbólica. O Jogo da Lógica. Problemas de travesseiro. E A Tangled Tale em dois volumes de 1885 a 1895.
Pesos pesados do século XX
Entre no século 20 e você encontrará algumas figuras coloridas. Dois americanos chamados Sam Loyd. Pai e filho. O Loyd mais velho era uma máquina de fazer quebra-cabeças. Ele vendeu sua coluna semanal para um sindicato nacional durante anos. Isso é um alcance sério. Ele também criou ou adaptou centenas de quebra-cabeças mecânicos. Cartão. Madeira. Metal. Tudo financeiramente gratificante.
Quando Loyd II morreu em 1934, aos 60 anos, a estimativa era surpreendente. Ele produziu pelo menos 10.000 quebra-cabeças. Isso é um monte de quebra-cabeças.
A Alemanha teve suas próprias contribuições. Hermann Schubert publicou Zwölf Geduldspiele em 1899. Então Mathematische Mussestunden saiu em três volumes em 1907–09. Wilhelm Ahrens esteve ocupado entre 1904 e 1920. Seu Mathematische Unterhaltungen und Spiele (dois volumes, 1910) incluía uma extensa bibliografia. Esse é o toque de um estudioso.
A Grã-Bretanha tinha Henry Dudeney. Ele contribuiu para a Strand Magazine. Suas coleções de quebra-cabeças eram extremamente populares. Eles continuaram sendo reimpressos entre 1917 e 1967. W.W. Recriações e ensaios matemáticos de Rouse Ball, lançado em 1892. Tornou-se um jejum clássico. Por que? Sua abordagem acadêmica o diferencia. Teve dez edições. H.S.M. Coxeter, um professor britânico, revisou-o em 1938. Ele continua sendo uma referência padrão até hoje.
Maurice Kraitchik também merece menção. Ele editou Sphinx e foi autor de várias obras conhecidas entre 1900 e 1942.
Mudando de marcha em meados do século
É aqui que o assunto fica interessante. Por volta de meados do século 20, o foco mudou. Antes disso, o interesse residia em diversões específicas. Curiosidades numéricas. Quebra-cabeças geométricos simples. Problemas de história aritmética. Dobragem de papel. Figuras de cordas. Dissecações geométricas. Quebra-cabeças manipulativos. Truques com números e cartas. Quadrados mágicos.
Essas veneráveis diversões também eram grandes. Trissecção angular. Duplicação do cubo. Quadratura do círculo. Até mesmo a indescritível quarta dimensão.
Em meados do século, a tendência foi em direção à sofisticação. Os criptogramas tornaram-se populares. Aritmética modular. Bases de numeração. Teoria dos números. Gráficos e redes. Treliças. Teoria dos grupos. Curiosidades topológicas. Embalagem e cobertura. Flexágonos. Problemas combinatórios. Teoria da probabilidade. Problemas inferenciais.
Os paradoxos lógicos ocuparam o centro do palco. Falácias da lógica. Paradoxos do infinito. A matemática ficou mais pesada. Os jogos ficaram mais inteligentes.
Recriações aritméticas e algébricas
Padrões numéricos e curiosidades
Alguns agrupamentos de números naturais revelam padrões notáveis quando você os atinge com aritmética comum. Proporciona passatempos agradáveis. Dê uma olhada neste exemplo:
A matemática oculta por trás das séries multisseriadas
Não se trata apenas de somar alguns números inteiros. Multigrades são um tipo específico de jogo de números em que dois conjuntos diferentes de números compartilham mais do que apenas sua soma básica. Eles combinam quando você os eleva a poderes superiores também.
“Identidades entre as somas de dois conjuntos de números e as somas de seus quadrados ou potências superiores.”
Pense nisso como uma miragem matemática. Você pega o Conjunto A e o Conjunto B. Some os números de cada um. O total é idêntico. Agora eleve ao quadrado todos os números em ambos os conjuntos. As somas desses quadrados também são idênticas. Você pode ir ainda mais longe – cubos, quartas potências e além.
Isso não é sorte aleatória. É uma identidade estruturada. Os matemáticos usam isso para explorar como os números se relacionam além da simples aritmética. É um quebra-cabeça que requer precisão. Um dígito errado e toda a simetria entra em colapso.
Por que nos importamos? Porque esses padrões revelam conexões profundas na teoria dos números. Eles mostram que os números inteiros podem se comportar de maneiras surpreendentes e coordenadas. É como encontrar duas músicas totalmente diferentes que de alguma forma compartilham o mesmo ritmo e melodia.
O estudo dos multisseriados continua a fascinar. É um nicho da matemática que parece quase mágico. E tudo começa com uma pergunta simples: dois grupos diferentes de números podem ser realmente iguais em múltiplas dimensões?
Construindo Multigrades do Zero
Comece com algo trivial. Uma igualdade simples como 1 + 5 = 2 + 4. Quase não vale a pena notar. Em seguida, adicione cinco a cada termo. A matemática se mantém. 6 + 10 = 7 + 9.
Esta é a semente. O método fácil para formar um multigraduado começa aqui.
Mas isso é apenas a configuração. Para chegar a um multisseriado de segunda ordem, você precisa inverter o script. Troque os lados. Combine-os.
Parece assim:
1 + 5 + 6 + 10 = 2 + 4 + 7 + 9
Os números não mentem. Eles se equilibram.
Olhe para a matemática por um segundo. Se você pegar um conjunto específico de números, a soma de suas primeiras potências ($S_1$) resulta exatamente em 22. Some suas segundas potências ($S_2$) e esse número salta para 156. É um bolso matemático apertado.
Mas então você ajusta.
Pegue cada número desse conjunto e adicione 10 à mistura. De repente, você não está mais brincando apenas com somas básicas. Você desbloqueou um multigraduado de terceira ordem.
Não se trata apenas de curiosidades aritméticas. É sobre como a mudança de uma linha de base altera a integridade estrutural de uma sequência numérica. Ao traduzir todo o conjunto por um fator constante, você preserva a igualdade das somas de potências em ambos os lados, ao mesmo tempo que eleva a ordem da identidade.
O resultado? Uma equação mais complexa que resiste ao escrutínio dos cálculos de terceira potência. Os números mudam, mas o equilíbrio permanece. E às vezes, para desbloquear um padrão mais profundo, basta adicionar dez a cada termo.
Além das multigraduações: o estranho mundo das curiosidades numéricas
Se você pensou que já tinha visto tudo com equações padrão de soma de potências, olhe mais de perto. A matemática não para em algumas variáveis. É uma espiral.
Vejamos o exemplo novamente. S 1 fica em 84. S 2 salta para 1.152. S 3? Isso é 17.766.
Você pode continuar. Indefinidamente. Construindo multigrades de ordens sucessivamente superiores. A estrutura se mantém.
Aqui está o truque: multiplique ou divida cada termo pelo mesmo número. A igualdade permanece intocada. É flexível.
Variações são abundantes. Você pode encontrar multigraduados palindrômicos. Eles são lidos da mesma forma de trás para frente. Ou talvez você prefira números primos. Você pode construir multigraduações compostas inteiramente por elas.
Mas existem outras esquisitices escondidas nos números inteiros. Números narcisistas.
São números que podem ser representados por algum tipo de manipulação matemática de seus dígitos. Pegue um número inteiro. Um número inteiro. Eleve cada dígito à n ésima potência. Resuma-os. Se o resultado for o número original, você encontrou um invariante digital perfeito.
Considere 153.
13 + 53 + 33 = 153.
Funciona. Os dígitos se alimentam e somam aos seus pais.
Depois, há o invariante digital recorrente. Ele faz um loop.
O mundo da matemática recreativa adora um bom truque de festa, e os invariantes digitais são a vida da festa. Joseph Madachy, em seu livro Mathematics on Vacation, destaca que não se trata apenas de curiosidades isoladas. Eles vêm em variações que mantêm os matemáticos entretidos por horas.
O poder dos dígitos somados
Um tipo específico de curiosidade se destaca. Envolve um número que é igual à n ésima potência da soma de seus dígitos.
Pense desta forma. Pegue um número. Some seus dígitos. Aumente essa soma para uma potência específica. Se o resultado for o número original novamente, você encontrou uma correspondência. É um ciclo. Um eco digital.
“Uma curiosidade é exemplificada por um número que é igual à n ésima potência da soma dos seus algarismos.”
Esta não é apenas uma propriedade aleatória. Ele define uma classe específica de inteiros que se comportam de maneira incomum em operações aritméticas básicas. O “n” aqui é a variável chave. Ele determina a força do expoente. Mude a potência e o número geralmente quebra o padrão. É isso que o torna um invariante digital. A soma permanece constante em relação à transformação definida por n.
Madachy destaca isso porque mostra como regras simples – adicionar dígitos e depois exponenciar – podem levar a pontos estáveis. Esses números se ancoram no caos do cálculo. Eles são raros. Mas eles existem. E depois de encontrar um, você começa a procurar outros. A caça se torna o jogo.
Você provavelmente já ouviu falar de números automórficos. Eles são inteiros cujos quadrados terminam exatamente com os mesmos dígitos do número original. Pegue 25. Eleve ao quadrado e você terá 625. Os dois últimos dígitos? Ainda 25. Tente 76. O quadrado é 5776. Novamente, termina em 76. Estas não são apenas coincidências aleatórias. São peculiaridades matemáticas que parecem quase místicas.
Depois, há números estrobogramáticos. Eles parecem idênticos quando você os gira 180 graus. Pense em 69. Vire. Torna-se 96. Espere, isso não é certo para “ler o mesmo”. Vejamos 96 girados. Parece 96 de cabeça para baixo? Não, na verdade, 6 vira 9 e 9 vira 6. Então 69 girado é 69? Não, 69 girado 180 graus parece 69. Sim. E 96 girado parece 96. Também 1001. Vire. Ainda 1001. Essas propriedades sugerem que os números têm personalidades ocultas.
O Desafio dos Quatro Noves
Isso nos leva ao reino dos problemas digitais. O mais famoso deles é o problema dos quatro noves. Você pode conhecê-lo como “quatro 9s” ou “quatro 4s”, dependendo do dígito. O objetivo é simples, mas aparentemente difícil. Expresse uma sequência de números inteiros tão grande quanto possível, começando em 1. Você deve representar cada número inteiro usando exatamente quatro do mesmo dígito.
Mas aqui está o problema. A resposta depende inteiramente das regras de operação que você pode usar.
Se você estiver apenas fazendo aritmética básica, a sequência será interrompida rapidamente. Você precisa ser criativo. Fatoriais? Raízes quadradas? Pontos decimais? Concatenação? Cada operação permitida abre novas portas.
Considere os exemplos parciais para quatro 1s. Começa fácil.
1 = 1 + 1 – 1 – 1 (Não, é 0).
1 = 11 1*1.
2 = 1 + 1 + 1 – 1.
As restrições forçam você a pensar lateralmente. Quais operações são permitidas? Você pode usar um fatorial duplo? Você pode concatenar dois 1s para formar 11? As regras específicas mudam todo o cenário do quebra-cabeça.
Por que as regras são importantes
Existem diferentes versões deste quebra-cabeça. Alguns permitem apenas +, -, *, /. Outros incluem expoentes, logaritmos ou a função gama. Quanto mais ferramentas você tiver, maiores serão os números que poderá alcançar. Não se trata apenas de matemática. É sobre os limites da notação.
Os números estrobogramáticos e os números automórficos são curiosidades estáticas. Eles ficam ali na reta numérica. O quebra-cabeça dos quatro noves é dinâmico. Requer ação. Exige que você contorne as regras de representação.
Há uma razão pela qual esses quebra-cabeças persistem. Eles apelam para a parte do cérebro que reconhece padrões dentro de restrições estritas. É um jogo de limitação. Quanto mais você restringe os dígitos, mais deve expandir sua compreensão do que é possível.
O misticismo dos números automórficos parece satisfatório? Ou é o ativo
Você acha que decifrou o código dos quatro 4s? Pense novamente.
A lista original do artigo de 1964 da Recreational Mathematics Magazine de M. Bicknell e V. Hoggatt era apenas a ponta do iceberg. Eles mostraram uma maneira de atingir sessenta e quatro alvos. Mas a verdadeira diversão está nas alternativas.
Pegue o número sete. A abordagem padrão pode usar adição e raízes quadradas. Mas você pode facilmente usar fatoriais. Ou divisão.
Considere isto:
7 = 4 + √4 + 4/4
Isso funciona. Mas o mesmo acontece com isto:
7 = 4!/4 + 4/4
E aqui está outra reviravolta:
7 = 44/4 – 4
O símbolo fatorial (!) é o curinga aqui. Transforma um número simples em um produto de todos os inteiros que levam a ele. Então 4! é apenas 4 × 3 × 2 × 1. Isso dá 24. De repente, você tem novas ferramentas na caixa.
O que acontece sem fatoriais?
Se você banir os fatoriais do conjunto de regras, você não perde o jogo. Você apenas encolhe o tabuleiro.
Você ainda pode expressar todos os números inteiros de um a vinte e dois usando quatro 4s. Requer ser criativo com decimais e raízes.
Veja vinte e dois. Sem fatoriais, você se apoia na vírgula decimal e na raiz quadrada.
22 = (4 + 4) / 0,4 + √4
O decimal 0,4 é essencialmente 0,4. Dividir 8 por 0,4 dá 20. Adicione a raiz quadrada de 4 (que é 2) e você acertará o alvo. É feio. É inteligente. Funciona.
Mas se você expandir as regras novamente? As possibilidades explodem. Você não está mais limitado à álgebra básica. Você pode colocar operações em camadas. Você pode acorrentá-los.
O próximo nível: números inteiros sequenciais
Há um problema de irmão no quebra-cabeça dos quatro 4s. Isso inverte o script.
Em vez de usar o mesmo dígito quatro vezes, você usa os primeiros m inteiros positivos. A regra é simples: m deve ser maior que três.
Você usa símbolos de álgebra elementar. Você organiza os números 1, 2, 3 e 4.
Isso muda o desafio da repetição para a sequência. Você não pode simplesmente adicionar 4s. Você tem que entrelaçar 1, 2, 3 e 4 em uma equação funcional.
É um tipo diferente de ginástica mental. E está apenas começando.
Existem mais de 100 maneiras de organizar os dígitos de um a nove para atingir exatamente 100. Essa nem é a parte difícil. Esses quebra-cabeças exigem poder cerebral. Eles não exigem matemática avançada.
A Origem dos Criptoritmos
O termo cripta-aritmética surgiu em 1931. Começou com um problema de multiplicação publicado na revista belga Sphinx. Essa publicação era conhecida por seus quebra-cabeças.
A “aritmética criptográfica” foi introduzida em 1931, quando o seguinte problema de multiplicação apareceu na revista belga Sphinx
O problema parecia simples. Eram apenas letras representando números. Resolver isso parecia decifrar um código. A engenhosidade necessária é alta. A aritmética real é mínima. Você está procurando padrões. Você está combinando restrições.
Esses quebra-cabeças têm muitas variações. Alguns pedem quantias. Outros exigem produtos. O objetivo é sempre o mesmo. Encontre o número escondido atrás da letra. É um jogo de lógica. Não é um teste de cálculo.
Criptoritmos são quebra-cabeças matemáticos onde os dígitos são substituídos por letras ou símbolos. A maioria envolve operações básicas como adição, subtração, multiplicação ou divisão. Resolvê-los requer lógica, não adivinhação.
O processo começa com análise. Veja um exemplo simples. Você olha para os produtos parciais. Se D × A é igual a D, então A deve ser 1. Isso é um fato concreto.
A seguir, observe C. Se D × C e E × C terminam em C, C geralmente é 5. Zero funciona se ambos os dígitos forem pares. Cinco funciona se ambos forem ímpares. Aqui, C = 5.
Agora, para D e E. Eles têm que ser ímpares. Mas não 9, porque os produtos parciais têm apenas três dígitos. Então são 3 ou 7. Qual é qual?
Verifique B. Se D × B for um único dígito, B deve ser pequeno. Se E × B tiver dois dígitos, E é maior. Então E = 7 e D = 3.
B não pode ser zero. Isso deixa 2. Então B = 2.
Termine a matemática. F = 8. G = 6. H = 4. A resposta é 125 × 37 = 4.625.
Esta análise vem de 150 Puzzles in Crypt-Arithmetic de Maxey Brooke. Dover publicou-o em 1963. Ainda é um clássico por uma razão.
ENVIAR + MAIS = Divisão de DINHEIRO
Esses quebra-cabeças são mais antigos que o livro de Brooke. Às vezes eles aparecem antes dos registros. Alfaméticos são um tipo específico. As letras formam palavras reais. Um dos mais antigos e conhecidos é ENVIAR + MAIS = DINHEIRO.
É uma equação simples. Mas é enganosamente complexo.
S = 9. E = 5. N = 6. D = 7. M = 1. O = 0. R = 8. Y = 2.
9567 + 1085 = 10652.
Verifique a matemática. Funciona. Cada letra tem um dígito único. Sem zero à esquerda. M não pode ser zero. S não pode ser zero. As restrições aumentam rapidamente.
Por que esse quebra-cabeça persiste? Está limpo. Ele usa palavras comuns. Parece um código. Você não está apenas fazendo aritmética. Você está decodificando uma mensagem.
Existem outros alfaméticos. CRUZ + ROSAS = ARSÉNICO. COMER + ISSO = BOLO. Eles variam em dificuldade. Alguns são triviais. Outros levam horas. A lógica é a mesma. Encontre as âncoras. Um dígito que força outro. Um carry que quebra o padrão.
As pessoas ainda os resolvem hoje. Não apenas para a matemática. Pela satisfação. No momento em que as peças se encaixam. A palavra oculta revelada. É um treino mental. Curto. Afiado. Satisfatório.
O quebra-cabeça não termina com a resposta. Termina com a compreensão. Como as letras interagem. Como os números se comportam. É um mundo minúsculo. Autônomo. Lógico.
E ainda assim. Você verá isso novamente. Em uma revista. Em um fórum. Em uma sala de aula. A mesma lógica. Palavras diferentes. Números diferentes. A mesma emoção.
Existe um limite para a complexidade desses
As regras padrão para alfamética são rígidas. A primeira letra de qualquer palavra não pode ser zero. Não há duas letras que possam representar o mesmo dígito. Quebre essas regras e você precisará de uma pista específica para justificar a exceção. Alguns quebra-cabeças são tão densos que contêm múltiplas soluções. Os computadores lidam com essas complexidades.
A armadilha da falsa lógica
Os matemáticos são obcecados por paradoxos e falácias há séculos. Um paradoxo paralisa você. A lógica se sustenta. Cada passo é válido. No entanto, a conclusão é tão bizarra que você se recusa a acreditar nela. É contra-intuitivo. Parece errado.
Uma falácia é diferente. É um erro. O raciocínio impróprio leva a um resultado que é obviamente absurdo. O erro geralmente quebra um princípio fundamental da matemática ou da lógica. Os iniciantes são difíceis de cair nessa. Eles não veem a armadilha escondida. A menos que você saiba que a regra está sendo violada, o erro permanece invisível.
Depois, há os sofismas. O erro é intencional. Feito de propósito. Por um motivo específico. Mas e se um cálculo errado acidentalmente chegar à resposta certa? Isso é um uivo. É a arte de cometer o erro certo.
O infinito causa muitos problemas. Processos limitantes criam paradoxos. Tomemos a série infinita.
A soma infinita que nunca atinge 2
Você tem uma série que continua subindo. Quanto mais termos você adicionar à pilha, maior será o total. É uma ascensão constante e implacável. Mas aqui está o problema. A soma nunca chega a 2. Ela permanece estritamente abaixo desse teto.
Apenas fica mais perto. E mais perto. E mais perto.
Pense nisso como correr em direção a uma parede. Você cobre metade da distância, depois metade do que resta e depois metade novamente. Você está sempre avançando. Você está sempre se aproximando do alvo. Mas você nunca toca nisso. Este é o comportamento de uma série convergente. Especificamente, um limitado por 2.
“A soma sempre permanece menor que 2, embora se aproxime cada vez mais de 2 à medida que mais termos são incluídos.”
Este não é apenas um truque matemático. É um conceito fundamental em cálculo. É uma questão de limites. Não estamos procurando o número final porque não existe. Estamos à procura do comportamento à medida que o número de termos vai para o infinito.
Por que é importante para a matemática da cultura pop
Ok, talvez você não se importe com a convergência de séries. Mas esta lógica aplica-se a tudo. Pense em números de streaming. Um programa pode ganhar mais espectadores a cada semana. O crescimento desacelera. Aproxima-se de um ponto de saturação. Mas nunca atinge esse máximo teórico. Ele paira logo abaixo.
Ou pense nos totais de bilheteria. Um filme arrecada mais a cada fim de semana. A taxa de crescimento cai. A soma total avança em direção a um número final. Mas até que o último ingresso seja vendido, é sempre uma estimativa. Um limite.
A mesma regra se aplica aos seguidores de celebridades. Eles ganham mais fãs a cada dia. Mas a conta nunca para de crescer até que a pessoa faleça ou fique em silêncio. Mesmo assim, o total histórico é um instantâneo. Um momento no tempo.
A outra série
Por outro lado, a série…
Bem, o texto é interrompido. Mas normalmente, nessas comparações, a “outra série” é a divergente. Aquele que não se importa com limites. Aquele que continua crescendo. Para sempre. Sem teto. Sem parede.
Apenas expansão sem fim.
O que é mais assustador? Aquilo que você nunca consegue alcançar? Ou aquilo que nunca para de chegar?
A matemática sempre adorou uma boa reviravolta na história. Você acha que já descobriu? Pense novamente. Veja a série conhecida como Divergente: Não Tem Limite. Se você continuar adicionando termos, a soma não apenas aumentará. Ele explode. Torna-se maior do que qualquer valor que você possa escolher. É um trem desgovernado e sem freios.
Depois, há o paradoxo dos números pares. É uma confusão que quebra sua intuição.
Existem tantos números pares naturais quanto números pares e ímpares combinados.
Pense nisso.
O conjunto dos números pares é um subconjunto do total dos números naturais. Em nosso mundo finito, o todo é sempre maior que as partes. Você não pode ter 5 maçãs e ter a mesma quantidade de maçãs se contar apenas as vermelhas. Mas infinito? A Infinity não se importa com suas regras.
Essa contradição não é um bug. É um recurso de coleções infinitas.
Como ambos são infinitos, eles são iguais para fins práticos e matemáticos.
Parece errado. Parece errado. Mas matematicamente, se você puder emparelhar cada elemento de um conjunto com um elemento único de outro, eles terão o mesmo tamanho. Você pode mapear os números naturais (1, 2, 3…) para os números pares (2, 4, 6…) um a um. Sem sobras. Sem lacunas.
O todo não é maior que suas partes aqui. As partes são o todo.
É aqui que a lógica humana bate na parede. Evoluímos para contar frutas e localizar predadores, não para navegar pelas profundezas abstratas de cenários intermináveis. Quando você lida com um número infinito de objetos, a igualdade fica em segundo plano em relação à correspondência.
Então, é um paradoxo? Tecnicamente. Contradiz a antiga noção de que o todo é maior que qualquer parte. Mas só será uma contradição se insistirmos em aplicar regras finitas a uma tela infinita.
Uma vez que você aceita que o infinito se comporta de maneira diferente, a “contradição” desaparece. É apenas um tipo diferente de igualdade.
Por que isso é importante para você? Não é apenas jargão acadêmico. É a base do cálculo, da compreensão das taxas de mudança, de como modelamos o universo. Sem compreender que algumas coisas não combinam no sentido tradicional, a física moderna fica presa na lama.
Mas ainda é estranho.
Você pode continuar dividindo uma linha ao meio para sempre. Você nunca chegará ao fim. Você nunca vai terminar. E ainda assim, você chega lá.
Como você concilia isso com a maneira como você se move pelo mundo? Você não. Você apenas aceita a matemática e segue em frente.
Zenão de Eleia não achava que Aquiles nunca conseguiria pegar a tartaruga. Ele simplesmente adorava uma boa armadilha lógica.
Por volta de 450 a.C., ele elaborou quatro argumentos destinados a quebrar seu cérebro. A configuração é simples. Aquiles corre com uma tartaruga. A tartaruga sai na frente. Zenão argumenta que Aquiles nunca poderá ultrapassá-lo. Por que? Porque antes de chegar ao local onde a tartaruga estava, a tartaruga mudou-se para um novo local. E depois outro. E outro. Etapas infinitas. Sem linha de chegada.
É um sofisma. Um truque. Zeno sabia que era falho. Seu objetivo não era provar que o movimento era impossível. Foi para expor falhas na forma como pensamos sobre o espaço e o tempo.
Os outros três paradoxos atingiram notas semelhantes. A Dicotomia afirma que o movimento nem pode começar. Você tem que cruzar metade da distância primeiro, depois metade disso, para sempre. A Flecha argumenta que, em qualquer instante, uma flecha voadora fica na verdade imóvel. Se o tempo é feito de instantes e está parado em cada instante, ele nunca se move. Depois, há o Estádio, que mexe com a sua noção de intervalos de tempo. Isso sugere que uma duração curta é igual a uma longa. Só para te manter desequilibrado.
Não eram apenas jogos de palavras. Eles estavam sondando os limites dos limites e do infinito. Conceitos tão escorregadios que permaneceram sem solução durante milênios. Demorou até o século 19 para que a matemática se atualizasse. A análise rigorosa finalmente chegou. A teoria dos números transfinitos ganhou uma base. Só então poderíamos explicar adequadamente por que os passos infinitos de Zenão não impedem realmente Aquiles de vencer a corrida.
Mas vamos mudar de assunto. Passe da Grécia antiga para as aulas de álgebra do ensino médio.
Falácias algébricas comuns operam com base em princípios semelhantes de armadilhas ocultas. Eles geralmente quebram uma ou mais destas suposições básicas:
Tudo começa com uma simples contradição. Você pensa que está fazendo álgebra. Você não está. Você está construindo um castelo de cartas em um furacão.
Pegue a variável a. E variável b. Coisas padrão. Mas então as regras mudam. De repente, a tem que ser maior que b. E também menor que b. Ao mesmo tempo. Isso não está apenas errado. É impossível. É uma violação da realidade básica. Você não pode estar acima e abaixo da linha.
Esse é o primeiro exemplo de erro lógico. Uma pausa limpa e dura.
Depois, há o segundo tipo de erro. O bagunçado. O “tesão da sorte”.
Não, isso não é um erro de digitação. Esse é um termo. Refere-se a uma operação ilegal. Você tem sorte. Você tropeça em um resultado que parece certo, mas está fundamentalmente quebrado. É um truque. Uma solução alternativa que não retém água. Você não está resolvendo a equação. Você está fingindo a solução.
E você saberá que é falso porque não sobreviverá ao escrutínio. Os números não batem. A lógica entrará em colapso. Assim como a não pode ser maior e menor que b.
Estes não são apenas erros de digitação. São falhas estruturais. Você constrói sobre eles, tudo desmorona.
A obsessão pitagórica com formas numéricas
Os números não são apenas símbolos abstratos. Para os pitagóricos, por volta de 500 a.C., eles tinham personalidade. Eles tinham forma.
Esse fascínio não era novo. Os antigos estudiosos chineses provavelmente conheciam esses conceitos. No século XV, eles apareceram em livros de aritmética. Mas os antigos gregos foram mais longe. Eles acreditavam que tudo poderia ser explicado por números. E esses números tinham características específicas.
Isso levou à descoberta de números poligonais. Também conhecidos como números figurados, representam contagens organizadas em figuras geométricas. É um conceito que parece simples hoje. Mas naquela época, foi uma revelação.
Os números foram investidos de características e personalidades específicas.
Pegue o triângulo. É a forma mais básica. O primeiro número triangular é 1. O segundo é 3. O terceiro é 6. Depois 10. Depois 15. Depois 21.
Visualize isso.
Pontos ou pontos dispostos em forma de triângulo.
Não é apenas uma lista. É um padrão visual.
Mas por que isso importava tanto para Pitágoras e seus seguidores?
Porque eles viam o universo como matemático. Se você consegue mapear um número para uma forma física, você encontrou um pedaço da verdade. Não se tratava apenas de contar. Era uma questão de estrutura.
Essa ideia gerou séculos de exploração. Os matemáticos não pararam nos triângulos. Eles procuraram quadrados. Pentágonos. Hexágonos. Cada forma revelou novos relacionamentos.
Os pitagóricos reconheceram que os números tinham “formas”.
Essa percepção mudou a forma como pensamos sobre aritmética. Não se tratava apenas de adição e multiplicação. Era sobre geometria.
E tudo começou com pontos.
Se você observar atentamente uma sequência de números triangulares – 1, 3, 6, 10 – encontrará um padrão geométrico oculto que explica por que os quadrados são tão comuns na natureza e na matemática. A relação não é arbitrária. É estrutural.
Os números quadrados, que são os quadrados dos números naturais como 1, 4, 9, 16 e 25, têm uma representação visual. Eles podem ser organizados em arranjos quadrados perfeitos de pontos. Esta prova visual é frequentemente mostrada na geometria introdutória, mas a conexão mais profunda está em outro lugar.
A conexão triângulo-quadrado
A verdadeira magia acontece quando você combina números triangulares adjacentes. Pegue os dois primeiros números triangulares: 1 e 3. Some-os. O resultado é 4. Esse é um número quadrado.
Agora tente o próximo par. O segundo número triangular é 3. O terceiro é 6. Some-os. Você obtém 9. Outro quadrado.
Isto não é uma coincidência. A soma de quaisquer dois números triangulares adjacentes é sempre igual a um número quadrado.
“A soma de quaisquer dois números triangulares adjacentes é sempre um número quadrado.”
Esta verdade geométrica explica por que os quadrados aparecem com tanta frequência nos sistemas de contagem. Não se trata apenas de elevar ao quadrado uma variável. Trata-se de empilhar formas. Se você organizar os pontos em um triângulo e colocar outro triângulo um pouco maior próximo a ele, eles se encaixarão perfeitamente para formar um quadrado maior.
Esta propriedade liga a teoria dos números diretamente ao espaço visual. Transforma a aritmética abstrata em um quebra-cabeça físico. Você não precisa de uma calculadora para ver isso. Você só precisa desenhá-lo.
E é por isso que continuamos voltando a essas formas básicas. Eles são os blocos de construção de todo o resto.
Por que os números oblongos são importantes na matemática da cultura pop
Você não vê números oblongos mencionados em todos os roteiros de filmes, mas eles ficam escondidos sempre que um filme lida com grades, matrizes ou até mesmo geometria básica. Pense neles como primos retangulares de números triangulares. Eles não são apenas conceitos abstratos. São números inteiros específicos que representam pontos dispostos em um retângulo onde um lado é exatamente uma unidade maior que o outro.
A sequência começa pequena. 2, 6, 12, 20, 30. Bastante simples. Mas olhe mais de perto. Cada número é o produto de dois números inteiros consecutivos. 1 vezes 2 é igual a 2. 2 vezes 3 é 6. 3 vezes 4 resulta em 12. É um padrão que se repete com precisão mecânica.
“Números oblongos são formados pela duplicação de qualquer número triangular.”
Esse relacionamento é fundamental. Se você pegar um número triangular – como 1, 3, 6, 10 – e duplicá-lo, obterá um número oblongo. 1 dobrado é 2. 3 dobrado é 6. 6 dobrado é 12. A matemática se sustenta. É uma ligação direta entre duas formas fundamentais na teoria dos números.
Alguns podem perguntar por que isso é importante fora dos livros didáticos. Isso não acontece. Na verdade. Mas é divertido saber que 20 anos não é apenas uma idade ou um ano aleatório. É 4 vezes 5. Também é 2 mais 4 mais 6 mais 8. A soma dos primeiros quatro números pares. Essa é a segunda maneira de construir esses números. Você pode multiplicar pares consecutivos ou empilhar números pares. Ambos os caminhos levam ao mesmo destino oblongo.
Não se trata apenas de pontos em uma página. É uma questão de estrutura. Retângulos em todos os lugares – desde a proporção de uma tela de cinema até o layout de uma planilha – dependem desse tipo de pensamento proporcional. Os números oblongos são a espinha dorsal matemática dessa proporção. Eles são a ordem oculta por trás do caos das formas cotidianas.
A geometria dos números ímpares
Pense em um gnômon como uma forma geométrica em L. Não é apenas um rabisco aleatório. Ele reflete o ângulo reto de um esquadro de carpinteiro. Os pitagóricos não usavam essas formas apenas para decoração. Eles os trataram como blocos de construção.
A matemática é surpreendentemente simples quando você vê o padrão.
Comece com um pequeno quadrado. Adicione um gnômon. Você obtém um quadrado maior. Os números seguem um ritmo estrito. Você pode construir quadrados empilhando essas formas em formas menores. Isso lhes permitiu deduzir inter-relações complexas sem a álgebra moderna.
Considere a sequência de quadrados.
- 1 ao quadrado mais 3 é igual a 2 ao quadrado
- 2 ao quadrado mais 5 é igual a 3 ao quadrado
- 3 ao quadrado mais 7 é igual a 4 ao quadrado
É uma reação em cadeia. Mas há outra maneira de ver isso.
Você pode somar números ímpares consecutivos para chegar a um quadrado perfeito.
- 1 mais 3 é igual a 3 ao quadrado
- 1 mais 3 mais 5 é igual a 4 ao quadrado
- 1 mais 3 mais 5 mais 7 é igual a 5 ao quadrado
- 1 mais 3 mais 5 mais 7 mais 9 é igual a 6 ao quadrado
A lista continua. É elegante. Está limpo.
Esta propriedade específica dos gnómons na matemática pitagórica provavelmente desencadeou a descoberta do teorema mais famoso da história. Pitágoras não descobriu a relação entre os lados de um triângulo retângulo por acidente. Ele estava contemplando números quadrados.
Ele percebeu que adicionar um quadrado ímpar a um quadrado par poderia formar um terceiro quadrado. A prova visual estava bem ali, no formato de L.
a ao quadrado mais b ao quadrado é igual a c ao quadrado.
A geometria explicava a álgebra. Ou melhor, a geometria era a álgebra. Eles não tinham símbolos para variáveis. Eles tinham formas. E essas formas contavam uma história sobre números.
Por que isso importava tanto? Porque vinculou a adição à multiplicação. Ele ligava linhas a áreas. Transformou a contagem abstrata em espaço tangível.
O gnômon era a chave. Isso abriu a porta para a compreensão de como os números crescem. Como eles se encaixam. Como eles criam estrutura a partir do caos.
É estranho pensar que um formato de L tão simples tenha tanto poder. Mas, novamente, muitas vezes é na simplicidade que se escondem as verdades mais profundas.
A matemática fica estranhamente específica aqui. Estamos vendo um caso em que $a^2 + b^2 = c^2$, mas com um porém: $a^2$ é igual a $b + c$. É uma fatia de nicho dos triplos pitagóricos. Os gregos não pararam apenas nos triângulos retângulos. Eles eram obcecados por formas. Números pentagonais. Números hexagonais. Eles mapearam padrões geométricos diretamente para a álgebra. Não era arte abstrata. Era aritmética com arestas.
Estes se enquadram no âmbito mais amplo dos números figurados. Os números poligonais são apenas um subconjunto. A lista começa com sequências aritméticas simples, mas o padrão se mantém.
As somas dessas séries não produzem progressões aritméticas simples. Eles constroem algo mais estruturado. Você obtém números poligonais. Especificamente números triangulares e quadrados. Mas a matemática não para em duas dimensões.
Dos polígonos às pirâmides
Adicione essas sequências novamente e você subirá em três dimensões. Os resultados são números figurados. Nós os chamamos de números piramidais.
Isto não é apenas curiosidade histórica. Esses números se conectam diretamente à moderna teoria dos números. Mesmo as propriedades básicas dos números inteiros podem exigir maquinaria pesada para serem explicadas.
Siga esta regra. Cada número inteiro se enquadra em uma das três categorias. É:
- Um número triangular.
- A soma de dois números triangulares.
- A soma de três números triangulares.
A prova é elegante, mas complexa. Aqui está como parece na prática.
“8 = 1 + 1 + 6”
“42 = 6 + 36”
“43 = 15 + 28”
“44 = 6 + 10 + 28”
Quatro é igual a seis. Espere. Não. Quatorze é igual a seis mais oito. São dois triângulos. Mas quatro quatro requerem três. Seis mais dez mais vinte e oito.
Triplos Pitagóricos
Passe de somas para quadrados. O teorema de Pitágoras abre portas que você nem sabia que existiam. Um triplo pitagórico vem dos lados de um triângulo retângulo com comprimentos inteiros.
Encontre três inteiros positivos a, b e c onde:
a ² + b ² = c ²
Se esses números não compartilham nenhum fator comum, eles formam um triplo pitagórico primitivo. Relativamente nobre. Essa é a principal restrição.
Precisamos de uma maneira de gerar todos eles. Não apenas encontre um ou dois. Todos eles.
Existe uma fórmula. Funciona para gerar todos os triplos pitagóricos primitivos.
Se m e n são inteiros positivos com m > n, e m e n são relativamente primos, e um é par enquanto o outro é ímpar, então:
a = m ² – n ²
b = 2m n
c = m² + n*²
Tente m = 2, n = 1.
a = 4 – 1 = 3
b = 2(2)(1) = 4
c = 4 + 1 = 5
3, 4, 5. O clássico triplo.
Tente m = 3, n = 2.
a = 9 – 4 = 5
b = 2(3)(2) = 12
c = 9 + 4 = 13
5, 12, 13.
Parece bastante simples até que você tente provar que cobre todos os casos possíveis sem duplicatas. As condições em m e n são rigorosas. Eles filtram os conjuntos não primitivos. Eles garantem o status primitivo.
Por que nos preocupamos com os geradores? Porque depois de ter o gerador, você tem a estrutura. Você pode rastrear qualquer triplo.
A fórmula para gerar esses triplos depende da escolha de dois números inteiros específicos, p e q, e de seguir um conjunto estrito de regras. Não se trata apenas de escolher dois números quaisquer. Você tem que ter cuidado.
A primeira regra é que p e q devem ser relativamente primos. Isso significa que eles não compartilham outros fatores comuns além de um. A segunda regra é ainda mais específica: ambos não podem ser pares e não podem ser ambos ímpares. Isso força um a ser par e o outro a ser ímpar. Finalmente, você deve escolher p para ser maior que q.
Quando você atinge todas essas marcas, a matemática se encaixa.
Por que a paridade é importante na geração tripla
Este requisito ímpar-par não é arbitrário. Se p e q fossem ímpares, os quadrados resultantes criariam uma soma que é divisível por 4, levando a um triplo onde todos os lados compartilham um fator de 2. Isso quebra a condição “primitiva”. O mesmo acontece se ambos forem pares, já que você pode simplesmente dividir os 2.
Ao forçar uma entrada par e uma ímpar, você garante que os lados da saída não compartilhem um divisor comum. O resultado é um triplo pitagórico primitivo.
Exemplos de triplos gerados
Escolher p e q apropriadamente produz conjuntos clássicos. Por exemplo, se você escolher p = 2 e q = 1:
- O primeiro lado torna-se $p^2 – q^2 = 3$
- O segundo lado torna-se $2pq = 4$
- A hipotenusa se torna $p^2 + q^2 = 5$
Você obtém o triângulo 3-4-5. É o mais básico. Todo mundo sabe disso. Mas funciona porque 2 e 1 são primos e de paridade mista.
Experimente p = 3 e q = 2.
- Lado A: $9 – 4 = 5$
- Lado B: $2(3)(2) = 12$
- Hipotenusa: $9 + 4 = 13$
Isso dá 5-12-13. Outro conjunto primitivo.
O padrão se mantém. Você só precisa encontrar esses pares coprimos com paridade mista e observar o desdobramento da geometria.
Você pode pensar que os triplos pitagóricos primitivos estão espalhados aleatoriamente pela reta numérica, mas não estão. Há apenas um caso em que você obtém três números inteiros consecutivos que formam esse triplo. É o clássico 3, 4, 5. É isso.
Depois de passar por essa única anomalia, as regras ficam interessantes. Mesmo em uma tripla primitiva padrão onde a e b são os catetos e c é a hipotenusa, restrições aritméticas modulares específicas sempre se aplicam. Você pode contar com isso.
Divisibilidade por 3, 4 e 5
Um dos catetos, a ou b, será sempre divisível por 3. Outro cateto sempre será divisível por 4. E se você olhar para todos os três lados, um deles tem que ser divisível por 5. Isso não é apenas uma coincidência para números pequenos. É uma regra estrutural.
Por causa disso, o produto dos três lados (abc ) é sempre divisível por 60. É um padrão claro e previsível em um campo que muitas vezes parece caótico.
O Número 7
Depois há 7. É um pouco mais complicado. Uma das seguintes quantidades deve ser divisível por 7:
* a
* b
* a + b
* a – b
Nem sempre são os próprios lados. Às vezes é a soma ou a diferença. Mas 7 sempre aparece em uma dessas formas.
Há também uma fórmula que gera triplos pitagóricos válidos para qualquer número inteiro n. Se você inserir um número, obterá:
1. 2n + 1
2. 2n ² + 2n
3. 2n ² + 2n + 1
Eles sempre formam um triângulo retângulo. É uma maneira confiável de gerar triplos sem memorizar listas.
As restrições da Grécia Antiga
Os gregos sabiam disso muito antes de termos calculadoras. Eles sabiam que a hipotenusa de uma tripla primitiva é sempre um número inteiro ímpar. Eles não tinham todas as provas modernas, mas tinham a intuição.
Hoje temos uma condição precisa. Um número inteiro ímpar R serve como hipotenusa de uma tripla primitiva se e somente se todo fator primo de R tiver a forma 4k + 1. Isso restringe quais números ímpares podem aparecer nessa posição. Elimina metade das probabilidades desde o início.
Números Perfeitos e Primos de Mersenne
A maioria dos números inteiros são abundantes ou deficientes. A distinção é simples. Um número abundante tem divisores próprios (excluindo ele mesmo) que somam mais do que o número. Os divisores próprios de um número deficiente somam menos.
Um número perfeito fica bem no meio. É igual à soma de seus divisores próprios.
Pegue 24. Seus divisores (1, 2, 3, 4, 6, 8, 12) somam 36. É abundante.
Considere 32. Seus divisores próprios somam 31. É deficiente.
Então você tem 6. 1 + 2 + 3 = 6. Perfeito.
Então 28. 1 + 2 + 4 + 7 + 14 = 28. Também perfeito.
Os próximos dois são 496 e 8.128. Os antigos conheciam os quatro primeiros. Eles não sabiam se a lista durava para sempre ou se a próxima tinha um milhão de dígitos.
Euclides e Euler
Euclides deu um palpite. Ele sugeriu que os números da forma 2n -1(2n -1) são perfeitos, desde que 2n -1 seja primo. Ele estava certo sobre a geração, mas não provou que era o único caminho.
Essa prova veio muito mais tarde. No século XVIII, Leonhard Euler mostrou que todo número perfeito par deve se ajustar à fórmula de Euclides. Então, se você está procurando um número par perfeito, você só precisa olhar para os primos de Mersenne.
Um número de Mersenne é qualquer número na forma 2n -1, em homenagem a Marin Mersenne. Eles podem ser primos ou compostos. Para que 2n -1 seja primo, o próprio n deve ser primo. É uma condição necessária, embora não suficiente. Só porque n é primo não significa que 2n -1 seja. Mas se 2n -1 é primo, n tem que ser.
Isso cria uma correspondência um-para-um. Todo primo de Mersenne produz um número par perfeito. Todo número par perfeito vem de um primo de Mersenne.
Encontrando os Gigantes
Até a era do computador, encontrá-los era uma tarefa manual. Apenas 12 números perfeitos eram conhecidos há muito tempo. Então Édouard Lucas nos deu um teste de primalidade para os números de Mersenne em 1876.
Raphael M. Robinson fez esse teste e o executou nos primeiros computadores eletrônicos digitais. Em 1952, ele encontrou primos de Mersenne para n valores de 521, 607,
O problema do coelho que deu início a tudo
É fácil esquecer que a sequência de Fibonacci não começou em uma sala de aula de ciência da computação. Tudo começou com um livro. Em 1202, Leonardo de Pisa – mais conhecido pelo apelido de Fibonacci – publicou o Liber abaci. Este não foi apenas um manual de matemática árido. Foi um divisor de águas para o comércio europeu, ao introduzir os algarismos hindu-arábicos num continente ainda preso aos algarismos romanos. Mas escondido dentro daquele texto financeiro sério havia um pequeno enigma bobo sobre a criação de coelhos.
A pergunta era simples o suficiente para ser explicada durante o jantar. Imagine que você começa com um único par de coelhos. Todo mês, esse par produz um novo par. Aqui está o problema: os recém-nascidos só começam a procriar aos dois meses de idade. Então, no primeiro mês você tem um par. No segundo, você tem o par original mais seus bebês. No terceiro, o casal original tem outra ninhada, e os primeiros bebês já estão maduros o suficiente para ter os seus próprios.
Faça as contas. Não é difícil. Você obtém uma sequência específica de números que continua aparecendo na natureza, no código e na arte.
Como a sequência se desenrola
Vejamos a progressão. É recursivo, o que é uma maneira elegante de dizer que cada número é a soma dos dois anteriores.
- Mês 1: 1 par (o original)
- Mês 2: 2 pares (o original mais o primeiro filho)
- Mês 3: 3 pares (original, primeiro filho, segundo filho)
- Mês 4: 5 pares
A sequência é 1, 1, 2, 3, 5, 8, 13, 21 e assim por diante. Está limpo. É lógico. E está em todo lugar quando você sabe onde procurar.
As propriedades infinitas dos números de Fibonacci
Essa segunda fila? É o ato de abertura da sequência que agora chamamos de Fibonacci. Cada número após os dois primeiros é apenas a soma dos dois anteriores. Matemática simples. x n = x n−1 + x n−2. Mas ninguém sabia que esta regra era a chave até cerca de 1600.
A verdadeira explosão de interesse veio depois. Especificamente, nas décadas intermediárias do século XX. Os pesquisadores investigaram as propriedades desses números com um vigor que produziu uma montanha de literatura. E parece que o poço não tem fundo. As identidades continuam chegando. Veja este, por exemplo: x n+1 · x n−1 = x n 2 + (−1)n. É elegante. É persistente.
Depois, há Édouard Lucas. Ele tinha sua própria fórmula para gerar esses mesmos números. Um ângulo diferente do mesmo quebra-cabeça infinito.
A matemática por trás da proporção mágica
Começa com um número que se recusa a ser simples. A proporção áurea, Phi (Φ), é aproximadamente 1,618. Seu recíproco é 0,618. Ambos vêm das raízes de x ² − x − 1 = 0. Esta equação remonta a Luca Pacioli. Um matemático italiano do século XV. Ele chamou isso de Proporção Divina. A fórmula é a /b = b /(a + b ). Quando a é menor que b. Defina x como b /a e você chegará lá.
Trata-se de dividir uma linha. Divida-o de forma que a parte menor se relacione com a maior exatamente como a parte maior se relaciona com o todo. Os designers antigos sabiam disso. Os arquitetos modernos também o usam. Um retângulo com lados na proporção de 3:5 parece correto. Ou 8:5. É esteticamente agradável. Muito agradável, dizem alguns.
Poderes de Phi
Eleve Phi a poderes sucessivos. A sequência se desenrola. Começa com números específicos que refletem a própria proporção.
Talvez você não espere uma referência à cultura pop ao olhar para os radicais, mas há um padrão oculto na raiz quadrada de cinco. Não é mágica. É apenas matemática sendo matemática.
Os coeficientes nesta sequência são os famosos números de Fibonacci. Você os conhece. Um, um, dois, três, cinco, oito. Eles rolam como um batimento cardíaco.
Olhe mais de perto os parênteses. Os segundos termos seguem um ritmo diferente. A sequência de Lucas. Começa com um, três. Depois quatro, sete, onze, dezoito. Parece familiar. Isso é.
A sequência de Lucas compartilha o mesmo batimento cardíaco recursivo de Fibonacci. Cada número é a soma dos dois anteriores. A fórmula é simples. $x_n = x_{n-1} + x_{n-2}$.
É um truque legal. Um ovo de Páscoa matemático para quem gosta de padrões. Na próxima vez que você vir √5, pense nos números escondidos nas casas decimais. Eles estão lá, esperando para serem contados.
Comece com um retângulo dourado denominado ABCD. Corte um quadrado chamado ABEF. O que resta? Retângulo ECDF. É outro retângulo dourado. Mesmas proporções. Tamanho diferente. Se você continuar assim, os quadrados ficarão menores. Os cantos se alinham. Desenhe arcos circulares através deles. O resultado não é um círculo perfeito. É uma espiral logarítmica.
A natureza adora esta forma. Você vê isso nas conchas do nautilus. Você vê isso em furacões. A matemática por trás disso é clara. A equação r = k Θ governa esta curva em coordenadas polares. A constante k é definida como Φ²/π. Phi ao quadrado dividido por pi. É uma relação precisa entre crescimento e ângulo.
Mas a geometria não está apenas no papel. Está no jardim. Os números de Fibonacci explicam a filotaxia. Esse é o termo sofisticado para definir como as plantas organizam suas partes. Olhe para uma pinha. Conte os verticilos. Olhe para um abacaxi. As espirais se cruzam nos números de Fibonacci. Cabeças de girassol? A mesma coisa. As pétalas não crescem aleatoriamente. Eles seguem uma sequência.
Por que as plantas seguem as regras de Fibonacci
Isso não é coincidência. É eficiência. A sequência específica de frações mencionada anteriormente ajuda as sementes a ficarem bem compactadas. Garante a máxima exposição à luz. Os ramos de algumas hastes seguem a mesma lógica. Eles evitam sombrear um ao outro. A planta otimiza sua estrutura.
A espiral vista na Figura 4 aproxima-se desse crescimento natural. É uma aproximação porque a natureza é confusa. A biologia não segue linhas. Segue tendências. A proporção áurea aparece no espaçamento das folhas. Aparece no arranjo das sementes. É um padrão repetido entre espécies.
Alguns podem argumentar que é apenas apelo visual. Mas a matemática se mantém. A espiral logarítmica permite a expansão sem alterar a forma. Uma folha cresce. Não distorce. Ele escala. A sequência de Fibonacci fornece as etapas inteiras para esta escala. É um crescimento discreto em um mundo contínuo.
A conexão entre matemática e biologia
Como uma semente sabe que cresce em espiral? Isso não acontece. A física da divisão celular favorece esses ângulos. O ângulo de divergência se aproxima do ângulo dourado. Isso minimiza a sobreposição. Maximiza o espaço. O resultado parece uma espiral de Fibonacci. É um.
Você não precisa de um diploma em botânica para identificá-lo. Basta olhar para o próximo abacaxi que você comprar. Ou o próximo girassol. Os números estão aí. Incorporado na estrutura. O retângulo dourado é apenas a abstração geométrica. A planta é a realidade física. São duas faces da mesma moeda. Um desenhado com uma bússola. Um cultivado no solo. Ambos seguem a mesma regra subjacente.
As ilusões de ótica não são apenas truques de salão. São quebra-cabeças matemáticos disfarçados de ruído visual. A matemática por trás deles geralmente depende de princípios geométricos básicos. Especificamente, a proporcionalidade entre as áreas de figuras semelhantes e os quadrados das suas dimensões lineares. Mas nem tudo são equações. Há uma camada fisiológica aqui. Seu cérebro percebe comprimentos relativos com mais precisão do que áreas relativas. Essa lacuna na percepção é onde vive a ilusão.
Estamos falando de uma perspectiva pouco ortodoxa. Ângulos distorcidos. Sombreamento enganoso. Ao justapor cores de maneiras incomuns, você aciona a aberração cromática. Seguem imagens residuais. Para um mergulho mais profundo nesses mecanismos, você procuraria entradas sobre ilusão e alucinação. Mas a geometria fica mais estranha quando você para de olhar para imagens estáticas e começa a olhar para armadilhas lógicas.
A Geometria da Mentira
Existem famosas “provas” em geometria que afirmam mostrar absurdos. São falácias. E são sedutores porque seguem uma estrutura lógica, apenas com uma falha fatal.
Considere a afirmação de que todo triângulo é isósceles. Parece errado. Está errado. No entanto, algumas “provas” convencem você do contrário. Depois, há a afirmação de que todo ângulo é um ângulo reto. Ou a ideia de que se você tem um quadrilátero ABCD onde o lado AB é igual ao lado CD, então AD deve ser paralelo a BC. É falso. Você pode construir uma forma que se ajuste à descrição sem ser um paralelogramo. A mais ultrajante afirma que cada ponto no interior de um círculo está no próprio círculo.
Como funcionam essas falácias? Eles não usam magia. Eles usam erros sutis.
As explicações para essas provas falsas geralmente se resumem a alguns truques recorrentes. Primeiro, há uma construção defeituosa. O diagrama está ligeiramente desenhado, escondendo a contradição. Em segundo lugar, é uma violação de princípios lógicos. Um problema comum é assumir a verdade de uma conversa. Se A implica B, isso não significa que B implica A. Confundir inversos ou inversos parciais é uma armadilha clássica.
Às vezes, é uma interpretação errada de uma definição. A prova ignora condições “necessárias e suficientes”. É necessária uma condição obrigatória, mas não suficiente, para provar toda a afirmação. E depois há o elemento humano. Muita dependência de diagramas e intuição. Confiamos em nossos olhos acima da lógica. Ficamos presos por processos limitantes e aparências enganosas. O cérebro vê o que espera ver.
Quando as formas não têm saída
Isto leva diretamente a números impossíveis. Estes não são apenas truques ópticos onde as linhas se cruzam. São estruturas que não podem existir no espaço tridimensional.
Pense no triângulo de Penrose. Três hastes formam um triângulo. Cada canto parece uma junta padrão de 90 graus. Coloque-os juntos e eles fazem um loop. Seu cérebro tenta resolver os sinais de profundidade. Ele atribui uma frente e um verso a cada borda. Mas as bordas não se conectam. A figura exige uma topologia que quebra as regras da geometria euclidiana.
Essas recriações são pesadelos topológicos. Eles forçam o olho a seguir uma linha contínua que, se traçada no espaço real, teria de passar por si mesma ou curvar-se de maneiras que desafiam as restrições físicas. Artistas e matemáticos os utilizam para destacar os limites da interpretação perceptiva. Eles mostram que seu cérebro é uma máquina de previsão, não uma câmera. Ele preenche
A armadilha da geometria impossível
Veja a Figura 5. Seu cérebro quer aceitar isso. Ele vê objetos 3D plausíveis. Sólido. Real. Mas chegue mais perto e a ilusão se desfaz. Esses desenhos mentem. Eles são construídos com base em perspectivas erradas, justaposições estranhas ou truques psicológicos diretos. Você não pode construí-los. Eles não existem no espaço.
Estes são números indecidíveis.
Oscar Reutersvard não se interessou apenas por paradoxos visuais. Ele fez deles o seu negócio. O artista sueco transformou essas formas impossíveis no destaque de um conjunto de selos postais. Era cedo. Foi ousado. E provou que um selo postal poderia ser uma porta de entrada para uma geometria que se recusa a funcionar.
A Escada Infinita e a Lógica do Paradoxo
Tudo começou em 1958. L.S. Penrose, um geneticista britânico, e seu filho Roger Penrose, um físico matemático, apresentaram ao mundo estranhos loops. Eles não eram apenas truques visuais. Eram números indecidíveis.
Pegue a escada quadrada de Penrose. Você pode caminhar em qualquer direção para sempre. Você nunca fica mais alto. Você nunca desce. É um ciclo sem fim. MC Escher pegou esse conceito e o executou. Sua litografia de 1960, Ascendente e Descendente, mostra monges percorrendo esse caminho impossível. Cachoeira (1961) mostra a água desafiando a gravidade, girando sobre si mesma. Isso não é apenas arte. São provas visuais de paradoxos lógicos.
Loops estranhos tocam o infinito. Eles refletem declarações autorreferenciais como a de Epimênides. O filósofo afirmou que todos os cretenses eram mentirosos. Se ele estivesse certo, ele estava mentindo. Se ele estava mentindo, ele estava certo. O ciclo se fecha. A lógica quebra.
Quando as curvas quebram as regras
A matemática tem sua própria versão dessa loucura. Curvas patológicas.
Uma curva contínua padrão se comporta. Tem tangentes. Possui curvatura definida. As curvas patológicas não. Eles não possuem propriedades básicas. Sua tangente pode ser indefinida em todos os pontos. Você pode rastreá-los. Você pode medir a área que eles abrangem. Essa área é finita. O comprimento? Infinito.
Estas não são ilusões de ótica. Eles são objetos matemáticos reais. Surgem como limites de séries de construções geométricas. Os números convergem. As formas não se encaixam perfeitamente. Seu comprimento se aproxima de um limite. A área se aproxima de outra. Mas o objeto em si? É um paradoxo.
“Suas idiossincrasias constituem paradoxos em vez de ilusões de ótica ou falácias.”
É aqui que a matemática deixa de ser intuitiva. Você desenha uma linha. Fica infinitamente irregular. Ele fica em uma pequena caixa. Não tem inclinação em lugar nenhum. É uma curva que se recusa a ser curva.
Vemos isso nas etapas de Penrose. Vemos isso nas prisões de Escher. Vemos isso na matemática que os sustenta. O comprimento infinito dentro de um espaço finito. A direção que não leva a lugar nenhum. Não é um erro. É um recurso.
A questão não é como consertar isso. É o que acontece quando você aceita o loop. Você continua andando? Você para de tentar encontrar o fim?
A curva continua.
A Geometria do Perímetro Infinito e do Espaço Finito
Pegue o floco de neve Koch. Comece com um triângulo equilátero simples. Faça uma trissecção de cada lado. Substitua esse terço médio por dois lados de um triângulo equilátero menor que aponta para fora. Faça de novo. E novamente. O processo se repete infinitamente. As duas primeiras etapas são visíveis na Figura 7, mostrando como a forma fica mais irregular, mais nítida e mais complexa a cada iteração.
Aqui está a reviravolta. O perímetro cresce sem limites. Vai ao infinito. No entanto, a área que abrange permanece finita. Aproxima-se de um teto específico. Esse limite superior é exatamente 8/5 da área do triângulo original.
Pense nisso. Você tem um limite infinitamente longo envolvendo uma quantidade finita de espaço. Desafia a intuição de que linhas mais longas significam mais área. A curva de Koch prova que eles estão errados.
Preenchendo espaço com uma linha que não deveria caber
Ele desafia a geometria básica. Uma curva é unidimensional. Tem comprimento, mas não tem largura. Não deveria ser capaz de cobrir uma área bidimensional. No entanto, a construção da Figura 8 prova o contrário. Se você continuar passando pelas etapas. O resultado final atinge todos os pontos do quadrado.
Isto não é um truque. A matemática se sustenta. A curva preenche o espaço.
Dos quadrados aos cubos
Você pode ampliar ainda mais essa lógica. Não se limita a superfícies planas. Aplicando o mesmo raciocínio. A curva pode preencher um cubo inteiro. Três dimensões. Uma linha contínua. Parece impossível até você ver a matemática funcionar.
A curva de Sierpinski é uma fera estranha. Começa como um simples quadrado, mas se você levar o processo de construção longe o suficiente, ele se torna algo completamente diferente. Ele contém todos os pontos dentro desse quadrado. Forma um circuito fechado.
Aqui está o problema. Continue. Indefinidamente.
O comprimento da curva dispara em direção ao infinito. Nunca para de crescer. No entanto, a área que abrange é exatamente cinco duodécimos da área total da praça. É um paradoxo da geometria.
“À medida que o processo de formação da curva continua indefinidamente, o comprimento da curva se aproxima do infinito, enquanto a área por ela delimitada se aproxima de 5/12 da do quadrado.”
Depois, há a curva fractal. Uma definição vaga funciona bem aqui. É uma forma que mantém seu padrão irregular, não importa o quanto você aumente o zoom. Pense no floco de neve de von Koch. Esse é o exemplo clássico.
Observe o que acontece em cada etapa da construção. O perímetro não fica apenas maior. Ela cresce em uma proporção específica. Quatro para três.
Benoit Mandelbrot mudou o jogo na década de 1950. Ele não gostou da velha ideia de dimensão. Ele queria um novo símbolo. D.
Ele tratou a dimensão como um poder. A que potência você eleva 3, então é igual a 4? Essa é a questão. A resposta não é um número inteiro. É log 4 dividido por log 3. Aproximadamente 1,26.
Essa é a dimensão do floco de neve. Não é uma linha. Não é um avião. Ele fica em algum lugar no meio.
Mandelbrot e seus colegas começaram a observar essas curvas “patológicas”. Eles estavam obcecados com a auto-similaridade. Mas eles não olhavam apenas para a matemática. Eles olharam para o mundo.
Flutuações aleatórias na natureza criam auto-similaridade estatística. As técnicas de Mandelbrot ajudaram a decodificar isso. Funciona para mecânica de fluidos. Geomorfologia. Fisiologia humana. Economia. Linguística.
Considere o movimento browniano. Observe superfícies microscópicas. Veja as redes vasculares do seu corpo. Verifique as formas das moléculas do polímero.
Todos estes são fractais. Eles compartilham a mesma textura áspera e repetitiva.
Labirintos
Resolvendo o insolúvel
Coloque a mão na parede. Mantenha-o aí. Se um labirinto tiver apenas uma entrada e uma saída, esta regra simples garante que você encontrará a saída. Pode não ser o caminho mais rápido. Você poderia fazer um desvio. Mas você chegará lá.
E se o objetivo estiver dentro do labirinto? O mesmo truque da mão na parede funciona. Há um problema. Sem circuitos fechados. Se o labirinto contiver um loop – uma rota que volta ao início – o método falhará. Você apenas girará em círculos.
Os matemáticos chamam um labirinto sem loops de “simplesmente conectado”. Se tiver loops, é “multiplicadamente conectado”. Para navegar nessas estruturas complexas, você precisa de um plano melhor.
Designe cada junção como um nó. Rotule os caminhos como “novos” ou “antigos”. Veja como você percorre o labirinto sem se perder:
- Nunca percorra um caminho mais de duas vezes.
- Acertou um novo nó? Escolha uma direção.
- Atingiu um nó antigo ou um beco sem saída através de um novo caminho? Vire-se e volte por onde veio.
- Atingiu um nó antigo por um caminho antigo? Experimente um novo caminho. Se não existir, pegue outro antigo.
As pessoas não brincam tanto com labirintos de papel como antes. A emoção desapareceu. Mas dois campos modernos ainda dependem deles. A psicologia os utiliza para estudar o comportamento de aprendizagem. A tecnologia de comunicação os utiliza para melhorar o design do computador.
Cortando formas em pedaços
As dissecações geométricas são diferentes. Eles envolvem cortar figuras em pedaços que podem ser reorganizados. Pegue um retângulo. Corte. Remonte as peças em um quadrado. Faça o contrário também.
O interesse neste quebra-cabeça matemático começou perto do final do século XVIII. Montucla destacou o problema. À medida que se tornou popular, o foco mudou. Não se tratava mais apenas de retângulos e quadrados. Era sobre qualquer polígono. Como você disseca uma forma com n lados em uma forma diferente com área igual?
No início do século 20, a questão mudou novamente. Não foi suficiente apenas fazer isso. Você tinha que encontrar o número mínimo de peças necessárias. A eficiência era importante.
Uma teoria abrangente surgiu por volta de 1960. Ela definia figuras “equidecomponíveis”. Dois polígonos são equidecomponíveis se você puder cortar um em um número finito de pedaços e reorganizá-los para formar o outro. Eles devem ter áreas iguais. Obviamente.
O teorema inverso é ainda mais forte. Se dois polígonos têm áreas iguais, eles são equidecomponíveis. Período.
Existe também o método de complementação. Adicione partes congruentes a duas figuras. Torne as novas figuras congruentes. Estes são “equicomplementáveis”. Eles também têm áreas iguais.
A teoria se expandiu. Os pesquisadores exploraram como a equidecomponibilidade se relaciona com o movimento. Traduções. Simetria central. Grupos de movimento em geral. Os estudos finalmente chegaram aos poliedros. Formas 3D. Perguntas muito mais difíceis. Ainda sendo respondido.
A Mecânica da Cruz Grega
A aplicação prática exige mais do que apenas teoria. Transformar uma cruz grega em um quadrado não é uma simples dobra. Você precisa de procedimentos engenhosos para fazer funcionar. A geometria fica complicada rapidamente.
H. Lindgren documentou alguns desses métodos específicos. Seu trabalho é a referência para qualquer pessoa que realmente esteja tentando resolver esse quebra-cabeça. Você pode encontrar os detalhes na Bibliografia. Não se trata de adivinhar. Trata-se de seguir as etapas que realmente funcionam.
Quadratura do quadrado: um quebra-cabeça geométrico resolvido
Esqueça os livros empoeirados. A ideia de que não é possível dividir um quadrado em quadrados menores e não idênticos já foi um mito teimoso. Não foi falta de tentativa. Os matemáticos olharam para a página em branco durante décadas. A solução não veio de compasso e régua. Veio da teoria das redes.
Estes são retângulos quadrados. Um retângulo dissecado em um número finito de quadrados. Se nenhum desses quadrados tiver o mesmo tamanho, é perfeito. A ordem? Apenas a contagem desses quadrados.
Aqui está o chute. Não existem retângulos perfeitos com menos de nove quadrados. Zero. Nenhum. Mas na ordem nove? Existem exatamente dois. Um deles é mostrado na Figura 12. A dissecação de um quadrado em quadrados desiguais, considerada impossível já em 1907, foi relatada pela primeira vez em 1939.
Não é mágica. É topologia.
Como os gráficos resolvem quebra-cabeças geométricos
A palavra gráfico confunde as pessoas. Você imagina um gráfico de linhas. Um ticker da bolsa. Uma curva de geometria analítica. Errado. Ou pelo menos, incompleto.
Nos quebra-cabeças, um gráfico é mais simples. Pontos e linhas que os conectam. Gráficos lineares. Um pouco mais. E, no entanto, estas estruturas rudimentares resolveram um problema que deixou os geómetras perplexos durante mais de trinta anos.
Por que isso importa? Porque mostra como as redes abstratas são mapeadas no espaço físico. Você pega um retângulo. Você força quadrados nele. Você rastreia as conexões. O gráfico revela a simetria oculta.
Não se trata apenas de formas bonitas. É uma questão de lógica. Lógica pura e não adulterada.
“A dissecação de um quadrado em quadrados desiguais, considerada impossível já em 1907, foi relatada pela primeira vez em 1939.”
Três décadas de becos sem saída. Então, um avanço. Não porque alguém ficou mais esperto. Mas porque pararam de olhar para os quadrados e começaram a olhar para as linhas entre eles.
O gráfico não se importa com ângulos. Ele se preocupa com conexões. Esse é o segredo.
Noções básicas de teoria dos grafos: de gráficos completos a quebra-cabeças planares
Um conjunto finito de pontos unidos por linhas forma um gráfico. Esses pontos são vértices. As linhas que os conectam são arestas. Quando cada vértice se conecta a todos os outros vértices, você obtém um gráfico completo. Mas nem todos os gráficos são tão simples.
Considere gráficos planares. Estas são figuras onde as arestas não se cruzam, exceto nos próprios vértices. As linhas não precisam ser retas. Você pode curvá-los. Esta flexibilidade permite que um gráfico não planar seja redesenhado como um gráfico planar isomórfico, como visto em ilustrações geométricas padrão.
As arestas de um gráfico não precisam ser linhas retas. Esta distinção é importante. Isso significa que um diagrama confuso e cheio de cruzamentos pode na verdade ser plano se você apenas separar as linhas.
O problema dos três poços e a visão de Jordan
Aqui está um quebra-cabeça clássico. O problema dos “três poços”. Três casas. Três poços. Você precisa de caminhos de cada casa para cada poço. Total de nove caminhos. A regra? Nenhum caminho pode cruzar outro. É impossível.
A prova se baseia no Teorema da Curva de Jordan. Uma curva contínua fechada divide um plano em interior e exterior. Qualquer linha que conecte um ponto interno a um ponto externo deve cortar a curva. Esta realidade topológica acaba com o quebra-cabeça dos três poços.
Os gráficos planares não servem apenas para quebra-cabeças. Eles são úteis no projeto de redes elétricas. As placas de circuito geralmente dependem de princípios planares para evitar curtos-circuitos e gerenciar a conectividade.
Gráficos e caminhos conectados
Um gráfico conectado é simples. Cada vértice se conecta a todos os outros vértices por meio de um arco. Um arco é apenas uma sequência ininterrupta de arestas.
Também existe um caminho. Um caminho percorre o gráfico sem passar duas vezes pela mesma aresta. Você pode visitar um vértice várias vezes. Apenas não reutilize a borda. É um tipo específico de travessia.
As raízes da moderna teoria dos grafos remontam a um quebra-cabeça do século XVIII que parece simples o suficiente para ser resolvido por qualquer caminhante casual, mas que se revelou matematicamente profundo. Tudo começou com Leonhard Euler e o infame problema da ponte de Königsberg. Durante décadas depois, o campo foi dominado por um tipo específico de rota conhecido como caminho Euleriano. Esta é uma figura que você pode desenhar sem levantar o lápis ou refazer qualquer linha.
O cenário foi a cidade de Königsberg, hoje conhecida como Kaliningrado. A geografia era confusa. O rio Pregel se dividiu em braços e cercou uma ilha. Sete pontes ligavam as várias massas de terra. O desafio colocado aos cidadãos era aparentemente simples. Alguém poderia sair de casa, passear por essas pontes e voltar para casa depois de cruzar cada uma delas exatamente uma vez?
Euler provou que era impossível. Ele não disse apenas “não”. Ele deu ao mundo uma nova maneira de ver as redes.
As regras da rede
A lógica de Euler aplica-se a qualquer rede fechada, não apenas a rios e pontes. A solução está nos pontos onde as linhas se encontram.
- O número de pontos pares – nós onde um número par de arestas se conecta – é irrelevante para a validade do caminho.
- O número de pontos ímpares – onde um número ímpar de arestas se encontra – deve ser sempre par. Isso é válido mesmo se houver zero pontos ímpares.
- Se não houver pontos ímpares, você pode começar em qualquer lugar e terminar no mesmo lugar.
- Se houver exatamente dois pontos ímpares, você deverá começar em um ponto ímpar e terminar no outro.
- Se houver mais de dois pontos ímpares, um único caminho contínuo será impossível. Uma rede com $2n$ pontos ímpares pode ser traçada em $n$ caminhos separados.
Por que as pontes falharam
Veja a Figura 15F. Mapeia a situação de Königsberg. Os pontos representam as áreas terrestres. As arestas representam as sete pontes.
A rede tem quatro pontos ímpares. Isso significa que você precisaria de quatro caminhos separados para rastreá-lo perfeitamente. Como as pessoas querem uma caminhada única e contínua, o quebra-cabeça é insolúvel.
Outras figuras do mesmo conjunto contam histórias diferentes. As Figuras 15B e 15C funcionam. Eles seguem os princípios de Euler. Você pode atravessá-los usando caminhos eulerianos. As Figuras 15D e 15E não funcionam. Eles quebram as regras dos pontos pares e ímpares.
A lição pegou. Paramos de olhar as curvas e começamos a olhar as conexões.
Você pode pensar que os quebra-cabeças de rede são apenas quebra-cabeças, mas na verdade tratam de combinar ou organizar pontos no espaço. É mais antigo do que você imagina.
Sir William Rowan Hamilton, um matemático irlandês, elaborou um em 1859. O desafio? Encontre uma rota ao longo das bordas de um dodecaedro regular. Você tinha que passar por cada ponto exatamente uma vez. Sem repetições. Sem atalhos.
Mais tarde, as pessoas tornaram mais fácil jogar. Eles trocaram a forma 3D por um gráfico plano com 30 arestas. Mesma lógica, menos dobradura de papelão.
Isso é o que chamamos de circuito Hamilton. Atinge todos os vértices uma vez. No entanto, não cobre todas as arestas. Em cada intersecção existem três arestas. O circuito usa apenas dois deles. As linhas grossas na Figura 16 mostram um desses caminhos. Existem muitos outros.
Teoria dos grafos e caos no mundo real
A teoria dos grafos não serve apenas para dobrar papel. Resolve dores de cabeça combinatórias.
Pense em conectar cidades por trem. Ou instalando linhas telefônicas. Você precisa de uma rede que funcione. A teoria dos grafos ajuda a planejar isso.
Ele também lida com o tráfego. Ele ordena torneios round-robin para que cada time jogue contra todos os outros times. Ele combina empregos com candidatos. É a chave mestra para problemas de arranjo.
O problema do mapa de quatro cores
Os cartógrafos sabiam algo sobre o qual os matemáticos discutiram durante um século.
Nenhum mapa precisa de mais de quatro cores. Você pode sombrear qualquer região, desde que as áreas adjacentes sejam diferentes. Regra simples. Prova difícil.
Em 1852, alguém elaborou o “problema do mapa de quatro cores”. Você poderia construir um mapa planar que exigisse cinco?
Os matemáticos atacaram-no durante anos. Eles falharam.
Então, em 1976, a equipe da Universidade de Illinois largou o martelo. Eles provaram que quatro cores são suficientes.
Aqui está o chute. Foi a primeira grande prova a depender fortemente de um computador. Eles executaram mais de 1.000 horas de cálculos. Os diagramas vieram da máquina. Alguns matemáticos odiaram. Eles disseram que não era “humano” o suficiente. Mas funcionou.
Você pode fazer perguntas semelhantes para outras superfícies.
Mapas em toro (formato de rosca) precisam de sete cores. Não mais. Nada menos.
A magia dos flexágonos
Um flexágono é um polígono feito de papel ou papel alumínio. Parece uma tira plana até ser flexionada.
Então ele muda de rosto.
Eles foram discutidos pela primeira vez em 1939. Agora eles são um elemento básico nas recomendações de matemática.
O trihexaflexagon é a versão mais simples.
Aqui está como você faz um:
1. Corte uma tira de material.
2. Marque 10 triângulos equiláteros.
3. Dobre-o adequadamente várias vezes.
4. Cole o último triângulo no verso do primeiro.
Flexione. Um rosto desaparece. Outro toma o seu lugar. É simples. É estranho. Funciona.
Recriações manipulativas
Estes não são apenas jogos. São modelos de como estruturamos o espaço.
As origens dos quebra-cabeças de arranjo remontam ao quebra-cabeça de Lucas. Imagine uma fileira de sete quadrados. Os três da esquerda possuem contadores pretos. Os três da direita seguram os brancos. A praça central está vazia. Seu objetivo: trocá-los. As pretas se movem para a direita. As brancas se movem para a esquerda. Você pode deslizar para um espaço vazio adjacente ou pular sobre uma peça do oponente. Para n contadores de cada cor, a contagem de movimentos é n (n + 2).
Aumente a escala. Ou reduzi-lo. A matemática se mantém.
Há um quebra-cabeça irmão com oito contadores numerados em nove espaços. Inverta a ordem. Apenas movimentos e saltos simples são permitidos. Sem atalhos.
Depois, há os jogos para dois jogadores. O jogo da velha é a linha de base. Mas as variações ficam picantes. Considere uma versão onde cada jogador começa com três contadores. O tabuleiro é uma grade 3 × 3. Você os coloca um por um. Você não pode usar o ponto central inicialmente. Se ninguém acertar três seguidas após a colocação, você começa a se mover. Apenas quadrados adjacentes. Horizontal ou vertical.
Ganhe formando uma linha.
Leve para um tabuleiro 4×4. Quatro contadores cada. Às vezes as diagonais contam. Experimente um padrão 5 × 5. Ou olhe para a Europa, do outro lado do Atlântico, onde reina o “mill” ou nove homens morris. Três quadrados concêntricos. Oito transversais. Conecte três para remover uma peça do oponente. Trata-se de bloquear, não apenas de alinhar.
A geometria da conexão
Hex é diferente. Não se trata de linhas. É sobre correntes.
Piet Hein o inventou na Dinamarca em 1942. O tabuleiro é um diamante de hexágonos tesselados. Geralmente 11 em cada borda. “Tesselado” significa apenas encaixados como ladrilhos. Sem lacunas. Duas bordas opostas são “brancas”. Os outros dois são “negros”.
Os jogadores alternam a colocação de contadores. O objetivo? Construa uma corrente ininterrupta de um lado ao outro. O branco vai de cima para baixo. As pretas vão de um lado para o outro.
O jogo nunca empata. Por que? Porque você não pode bloquear seu oponente sem primeiro completar sua própria cadeia. Um caminho corta o tabuleiro. O jogo termina imediatamente.
John Nash inventou-o de forma independente nos EUA em 1948. Anos mais tarde, chegou ao mercado como Hex.
A estratégia aqui não se trata de um simples alinhamento. É topológico. É uma questão de controle.
O dilema da rainha
Os tabuleiros de xadrez oferecem suas próprias dores de cabeça matemáticas. O mais famoso? Coloque oito rainhas em um tabuleiro padrão. Ninguém pode atacar outro. C.F. Gauss trabalhou nisso por volta de 1850. Ele não era o único obcecado.
Depois, há o passeio do cavaleiro. Um passeio fechado. Comece em um quadrado. Visite todas as outras praças exatamente uma vez. Termine onde você começou. A matemática por trás disso está emaranhada com quadrados mágicos. Padrões dentro de padrões.
Outros problemas envolvem o valor da peça. Quantos bispos cabem sem que eles se levem? Qual é o número mínimo de cavalos necessários para dar xeque-mate em todas as casas do tabuleiro?
Tente colocar 16 rainhas. Não há três em linha reta. Mesmo isso não é trivial.
O quebra-cabeça dos quinze
Sam Loyd, o mais velho, adorava afirmar que inventou o Quebra-cabeça dos Quinze por volta de 1878. Os estudiosos modernos discordam. Eles encontraram inventores anteriores. O quebra-cabeça também tinha outros nomes. Quebra-cabeça do chefe. Quebra-cabeça de gemas. Praça Mística. Espalhou-se pela Europa com uma velocidade assustadora. A configuração é simples o suficiente para confundir você. Uma bandeja quadrada rasa. Quinze pequenos contadores numerados. Um quadrado vazio. Você começa com os números em ordem aleatória. O espaço em branco fica no canto inferior direito. O objetivo? Reorganize as peças em ordem numérica. Você só pode deslizá-los. O espaço em branco deve terminar onde começou. Esse é o truque.
A enorme escala do problema pode fazer você girar a cabeça. Existem mais de 20 bilhões de bilhões de arranjos possíveis das peças. Incluindo aquele espaço em branco. Em 1879, dois matemáticos americanos provaram algo selvagem. Apenas metade desses acordos iniciais podem realmente ser resolvidos. Isso é cerca de 10 bilhões de bilhões. O resto são becos sem saída.
A matemática por trás disso é elegante e um pouco cruel. Pense no caminho que qualquer número percorre. Desde que acabe no canto inferior direito, passa por um número par de caixas. É uma questão de paridade.
No estado resolvido, cada número é maior que os anteriores. Você leu da esquerda para a direita. De cima para baixo. Nenhum número precede um número menor. Em qualquer outro arranjo, pelo menos um número quebra esta regra. Isso é chamado de inversão.
Pegue a sequência 9, 5, 3, 4. O 9 vem antes de três números menores. O 5 vem antes de dois números menores. São cinco inversões no total. É um número ímpar. Se a contagem total de inversões em qualquer layout for par, o quebra-cabeça pode ser resolvido. Traga os quadrados de volta ao normal. Se a contagem for ímpar, você está ferrado. O quebra-cabeça não tem solução.
A Figura 17B possui duas inversões. Resolvível. A Figura 17C tem cinco. Impossível. Teoricamente, você pode estender essa lógica para qualquer tamanho de bandeja. Uma grade m por n. Com mn menos um contador numerado. A matemática ainda se mantém.
A Torre de Hanói
Edouard Lucas não inventou apenas um quebra-cabeça em 1883. Ele nos entregou um pesadelo matemático embrulhado em madeira.
Matemático francês. Loja de brinquedos básica. Três pinos. Oito discos.
É a Torre de Hanói. Ou pelo menos é quem sempre culpamos. Lucas recebe o crédito, embora os historiadores discutam se ele realmente o criou ou apenas popularizou um enigma antigo. Não importa. A coisa está em todo lugar. Versões de plástico bagunçam as prateleiras. Os de madeira ficam em mesas de escritório. As regras são simples o suficiente para serem explicadas em trinta segundos.
Coloque oito discos em um pino. Maior na parte inferior. Menor no topo. Nenhum disco grande jamais repousa sobre um disco pequeno. Mova toda a pilha para outro pino.
É isso.
Exceto que não é.
A matemática atinge você como um caminhão. Para n discos, você precisa exatamente de $2^n – 1$ movimentos.
Oito discos? Isso é $ 2 ^ 8 – 1 $. 255 movimentos. Gerenciável. Um pouco tedioso. Um bom teste de paciência.
Mas imagine a lenda original.
Uma torre com sessenta e quatro discos.
O número não é apenas grande. É cosmicamente, terrivelmente grande. $2^{64} – 1$.
18.446.744.073.709.551.615.
Tente dizer isso em voz alta. Leva mais tempo do que a vida humana para falar isso. Agora imagine fazer um movimento por segundo.
Você estaria lá por cerca de 585 bilhões de anos.
O universo não iria simplesmente acabar. Teria se dissolvido em morte por calor muito antes de os monges da lenda terminarem de mover a placa final.
É o mesmo absurdo encontrado na história dos grãos de trigo num tabuleiro de xadrez. Um grão no primeiro quadrado. Dois no segundo. Quatro. Oito. Dobrando cada passo. No sexagésimo quarto quadrado, você precisa de cada alqueire de trigo já colhido na história da humanidade. E mais alguns.
A Torre de Hanói não é um jogo. É uma lição de crescimento exponencial. Um rótulo de advertência para quem pensa que “só mais um movimento” não vai fazer sentido.
Poliominós
A palavra “poliominó” surgiu em 1953 como uma variação lúdica de “dominó”. Descreve uma forma feita de quadrados de tamanhos iguais unidos de ponta a ponta. Você não pode levantar uma esquina sem quebrar a conexão. Versões mais simples são fáceis de visualizar. Mas a verdadeira diversão começa com os pentominós.
Existem exatamente doze formas únicas de pentominós. As peças assimétricas não são contadas duas vezes se você as virar. Eles ainda são apenas um tipo.
Os matemáticos têm lutado para encontrar uma fórmula geral para o número de poliominós distintos com base na contagem quadrada. No entanto, conhecemos os números de pedidos específicos. Existem 35 hexominós. Existem 108 heptominós, supondo que você conte o estranho com um buraco no meio.
Você consegue encaixar todos eles?
Os quebra-cabeças envolvendo poliominós se enquadram na geometria combinatória. O objetivo geralmente é encaixar as peças em formatos específicos ou cobrir um tabuleiro sem lacunas.
Pegue os 35 hexominós. Juntos, eles cobrem 210 quadrados. Você pode pensar que poderia organizá-los em um retângulo simples. A matemática sugere opções como 3 por 70, 5 por 42 ou 14 por 15. Mas não funciona. Nenhum retângulo desse tipo pode ser formado.
E quanto aos doze pentominós mais um tetrominó quadrado? Eles podem preencher um tabuleiro de xadrez 8×8?
Sim. Este problema remonta a cerca de 1935. Não sabemos o número total de soluções, mas as estimativas apontam para pelo menos 1.000. Uma análise computacional em 1958 provou que existem 65 soluções em que a única peça quadrada fica exatamente no centro.
Cubos Soma
O conceito se estende a três dimensões. Assim como os poliominós são formas planas, os cubos Soma são estruturas 3D. Eles se dividem em sete pedaços irregulares. Cada peça é composta por quatro ou cinco cubos unidos face a face.
Benjamin Seymour Wright, físico, e John Horton Conway, matemático, ajudaram a popularizar o quebra-cabeça na década de 1950. O desafio é simples. Pegue as sete peças. Construa um cubo 3x3x3.
Existem 240 maneiras distintas de resolvê-lo. Se você ignorar rotações e reflexões, o número cai. Mas a variedade é impressionante. O cubo Soma é essencialmente o equivalente 3D do problema do pentominó. Requer raciocínio espacial em vez de apenas geometria plana.
“O número de poliominós distintos de qualquer ordem é uma função do número de quadrados em cada um, mas, até agora, nenhuma fórmula geral foi encontrada.”
Pentominós e hexominós continuam populares porque são aparentemente simples. Eles parecem brinquedos. Eles agem como algoritmos complexos.
O buraco nesse heptomino ainda incomoda alguns puristas. Isso quebra a regra do “simplesmente conectado”. Mas existe. E isso conta.
Você prefere o desafio plano do tabuleiro 8×8 ou a torção 3D do cubo Soma? O computador encontrou 65
A geometria do jogo
O dinamarquês Piet Hein não inventou apenas o hex e o tac-tix. Ele tropeçou em algo mais estranho. Você pega três ou quatro cubos congruentes. Junte-se a eles na cara deles. As formas irregulares resultantes? Existem exatamente sete deles. Os matemáticos os chamam de Cubos Soma. Junte-os novamente e eles formarão um cubo maior e perfeito. É um fato que desafia uma explicação fácil.
A quinta e a sexta formas são imagens espelhadas. Não há duas peças iguais. No entanto, esses sete pedaços – 27 cubos unitários no total – voltam a formar um bloco 3x3x3 de mais de 230 maneiras essencialmente diferentes.
A variedade de estruturas interessantes possíveis parece infinita.
Você pode construir um sofá. Uma cadeira. Um castelo. Um túnel. Uma pirâmide. Apenas reorganizando as peças básicas. Como passatempo, os Soma Cubes são viciantes. As pessoas os resolvem mentalmente com experiência. Os psicólogos encontraram uma correlação aproximada entre a velocidade de resolução e a inteligência geral. Existem anomalias em ambos os extremos do espectro, com certeza. Mas os jogadores não param. Eles continuam construindo.
Quadrados e Cubos Coloridos
Depois, há os quebra-cabeças coloridos. Azulejos. Cubos. Bordas que devem corresponder.
Considere o quebra-cabeça retangular 4×6. Você tem 24 padrões de três cores de ladrilhos quadrados subdivididos. Organize-os de forma que as bordas tocantes tenham a mesma cor. E toda a fronteira? Uma única cor. Simples na descrição. Difícil na prática.
Mais famoso é o quebra-cabeça dos 30 cubos coloridos. Pinte seis cores nas faces dos cubos. Existem 2.226 combinações no total. Selecione apenas aqueles com todas as seis cores. Você obtém 30 cubos distintos. Dois cubos são “diferentes” se você não puder colocá-los lado a lado para que todas as faces correspondentes correspondam.
Eles apareceram comercialmente sob nomes como Mayblox Puzzle, Tantalizer e Katzenjammer. Mas a verdadeira mudança veio com Instant Insanity.
Quatro cubos. Branco, vermelho, verde, azul. Monte-os em um prisma 1x1x4. Cada uma das quatro faces longas deve mostrar todas as quatro cores. Cada cubo tem 24 orientações. Isso deixa 82.944 arranjos possíveis. Apenas dois funcionam.
Então, Instant Insanity foi engolido por algo maior.
A Ascensão do Cubo de Rubik
Ernő Rubik patenteou-o na Hungria em 1975. Terutoshi Ishigi registou o pedido no Japão em 1976. Nasceu o Cubo de Rubik.
Parecem 27 cubos menores. No estado resolvido, cada uma das seis faces é de uma cor sólida. As versões comerciais utilizam um sistema de pivô interno. Girar uma camada. Os cubos se misturam.
O desafio é restaurar a ordem. O número de estados alcançáveis é superior a 10 ^ 19. Uma literatura próspera surgiu rapidamente. Os matemáticos usaram a teoria dos grupos para mapear soluções sistemáticas. O quebra-cabeça não era apenas um brinquedo. Era uma fera matemática.
Nim e jogos semelhantes
Nim é mais velho do que os registros mostram. Sua origem é obscura. Mas isso se presta a matemática difícil.
Pegue qualquer número de objetos. Divida-os em pilhas. Dois jogadores se revezam. Escolha uma pilha. Remova um ou todos os objetos. O jogador que pegar o último objeto vence.
Cada posição é “segura” ou “insegura”.
Se você deixar seu oponente em uma posição insegura, poderá forçar uma vitória.
Se você deixá-los em uma posição segura, qualquer movimento que você fizer lhes dará vantagem.
Como você sabe qual é qual? Notação binária. Some as colunas de objetos em cada pilha. Se cada coluna somar zero ou um número par, a posição é segura.
Exemplo: Três pilhas com 4, 9 e 15 objetos.
O cálculo fica assim:
4: 0 1 0 0
9: 1 0 0 1
15: 1 1 1 1
Soma:2 2 1 0
Dois é par. Dois é par. Um é estranho. Um é par.
A coluna ímpar quebra a segurança. A posição não é segura.
A lógica da teoria dos jogos não se limita à simples aritmética. Se uma posição insegura permanecer, um jogador habilidoso sempre manobrará para colocar o tabuleiro em um estado seguro. É uma questão de sobrevivência na arquitetura abstrata do jogo.
Considere uma variação com apenas duas pilhas. Você pode pegar objetos de qualquer pilha. Ou ambos. Mas se você tirar de ambos, deverá tirar o mesmo número de cada um. Ganha quem fizer o último contador.
Jogos como Nim exigem uma agilidade mental específica. Você precisa traduzir números decimais em binário e vice-versa. Não é intuitivo para a maioria dos humanos. É, no entanto, perfeito para máquinas. Os computadores digitais funcionam em binário. Eles falam isso nativamente. Por causa disso, é possível programar um computador para jogar um jogo perfeito.
Edward Uhler Condon e um associado inventaram exatamente essa máquina. O Nimatron automático. Ele fez sua estreia na Feira Mundial de Nova York em 1940. Um jogador humano derrotado por puro cálculo.
Jogos de contagem global
Estes jogos não são curiosidades isoladas. Eles são jogados em todo o mundo. Veja o jogo das pedras, também conhecido como jogo das probabilidades. Duas pessoas começam com um número ímpar de pedras em uma única pilha. Eles se revezam tirando uma, duas ou três pedras. Quando a pilha estiver vazia, o jogador que tiver uma contagem ímpar vence.
Existem antecessores destes. Eles são mais velhos. Os jogos de mancala. Os jogadores distribuem pedras, sementes ou fichas em fileiras de buracos. As regras variam. Eles são jogados há séculos na África e na Ásia. A mecânica é simples. A estratégia é profunda.
Problemas de Inferência Lógica
Muitos quebra-cabeças não envolvem números. Eles raramente envolvem geometria, ou nunca. Eles exigem inferência dedutiva baseada em relações lógicas.
Não confunda isso com enigmas. Os enigmas dependem da ambigüidade. Eles usam jogos de palavras. Eles pretendem pegar os incautos. Os quebra-cabeças lógicos não têm procedimento padrão. Não existe um padrão generalizado para sua solução. Você os resolve por tentativa e erro.
A suposição não é aleatória. Os fatos apresentados – geralmente mínimos – sugerem diversas hipóteses. Você rejeita os inconsistentes. Através da substituição e eliminação, surge a solução. Técnicas de lógica ajudam. Mas o sucesso depende da engenhosidade. Uma capacidade indescritível.
Os problemas lógicos são agrupados aqui por conveniência.
O Freio, o Bombeiro e o Engenheiro
Este é um clássico. A versão de Mathematics for Pleasure (1962) de Oswald Jacoby e William Benson permanece definitiva.
Os nomes do guarda-freio, bombeiro e engenheiro eram Smith, Jones e Robinson. Não necessariamente nessa ordem. Três passageiros compartilharam esses nomes. Para evitar confusão, nós os chamamos de Sr. Smith, Sr. Jones e Sr. Robinson.
Aqui estão os fatos:
– O Sr. Robinson morava em Detroit.
– O guarda-freio morava a meio caminho entre Chicago e Detroit.
– O Sr. Jones ganhava exatamente US$ 2.000 por ano.
– Smith venceu o bombeiro no bilhar.
– O vizinho do guarda-freio (um passageiro) ganhava exatamente três vezes mais que o guarda-freio.
– O passageiro que morava em Chicago tinha o mesmo nome do guarda-freio.
Qual era o nome do engenheiro?
A solução exige eliminar as impossibilidades. Você não pode assumir que os nomes correspondem diretamente às funções. Você tem que mapear a geografia para a renda. É preciso vincular a vitória no bilhar à profissão. É um nó apertado de restrições.
Grupos sobrepostos
Esta categoria trata de conjuntos. O problema do clube de idiomas no ensino médio é típico.
Entre os membros:
– 21 estudaram francês.
– 20 estudaram alemão.
– 26 estudaram espanhol.
– 12 estudaram francês e espanhol.
– 10 estudaram francês e alemão.
– 9 estudaram espanhol e alemão.
– 3 estudaram francês, espanhol e alemão.
Quantos sócios do clube havia? Quantos estudaram apenas um idioma?
Os números se sobrepõem. Você não pode simplesmente adicioná-los. Você tem que levar em conta as interseções. A lógica do diagrama de Venn está implícita aqui. Você subtrai as sobreposições dos totais. Então você ajusta para a sobreposição tripla. A resposta não está na soma. Está na estrutura dos grupos.
Verdades e Mentiras
Outra variedade diz respeito à confiabilidade das declarações. Cavaleiros e valetes.
Os nativos de uma determinada ilha são cavaleiros ou patifes. Eles parecem idênticos. Os cavaleiros sempre dizem a verdade. Os patifes sempre mentem.
Um visitante conhece três nativos. Ele pergunta se eles são cavaleiros ou valetes. O primeiro diz algo inaudível. O segundo aponta para o primeiro e diz: “Ele diz que é um cavaleiro”. O terceiro aponta para o segundo e diz: “Ele mente”.
O visitante sabe que apenas um é um patife. Ele decide o que cada um é.
Se o primeiro dissesse que era um cavaleiro, estaria mentindo se fosse um patife. Ou dizendo a verdade se ele fosse um cavaleiro. O segundo nativo relata esta afirmação. Se o segundo for um cavaleiro, ele relata a verdade. Se ele for um patife, ele mente sobre o que foi dito. O terceiro chama o segundo de mentiroso.
É uma cadeia de verificação. Uma quebra na corrente revela o mentiroso.
Um tipo diferente envolve quatro homens. Um cometeu um crime. A polícia os questiona.
- Archie: Dave fez isso.
- Dave: Tony fez isso.
- Gus: Eu não fiz isso.
- Tony: Dave mentiu quando disse que fui eu.
Se apenas uma afirmação for verdadeira, quem é o culpado? Se apenas uma afirmação for falsa, quem é o culpado?
A fonte é 101 Puzzles in Thought and Logic (1957), de CR Wylie Jr. Publicações Dover. Os paradoxos dependem da contradição entre Dave e Tony. Dave acusa Tony. Tony diz que Dave mentiu. Ambos não podem estar dizendo a verdade. Ambos não podem estar ambos a mentir sobre a acusação em si de uma forma que preserve facilmente a regra da “única verdade”. Você tem que testar cada suspeito. Suponha que Archie seja culpado. Verifique as declarações. Suponha que Dave seja culpado. Verifique as declarações. A verdade emerge da eliminação dos cenários impossíveis.
A lógica se mantém. Ou não. Você tem que decidir qual deles se encaixa.
Como funciona o quebra-cabeça da testa manchada
A história dos três viajantes e dos seus rostos manchados de fuligem é um exemplo clássico de pura dedução lógica. Três homens saem de um túnel de trem. Cada um tem uma mancha de fuligem na testa, mas nenhum consegue ver o próprio rosto. Eles riem um do outro. Antes que possam verificar os espelhos, um outro passageiro propõe um teste.
Veja os outros dois. Se você vir pelo menos uma testa manchada, levante a mão.
Todos os três levantam as mãos instantaneamente. A regra é simples: mantenha a mão levantada até ter certeza do seu status e depois largue-a.
Depois de um momento, um homem abaixa a mão. Ele sabe que está manchado. Aqui está como ele descobriu isso.
Se ele estivesse limpo, os outros dois homens veriam apenas um rosto manchado (um ao outro). Se um homem vê apenas um rosto manchado, ele pensa: “Se eu estiver limpo, esse homem verá dois rostos limpos. Ele saberia que seu próprio rosto está manchado imediatamente porque sua mão está levantada. Ele abaixaria a mão imediatamente”.
Mas eles não baixaram as mãos. Eles hesitaram. Essa hesitação provou ao nosso observador viajante que os outros dois também viram algo. Ambos viram seu rosto manchado. Portanto, ele sabia que estava sujo.
Compreendendo o paradoxo do enforcamento inesperado
O inesperado paradoxo do enforcamento emergiu do boca a boca no início da década de 1940. Continua sendo um quebra-cabeça complicado.
Um juiz diz a um prisioneiro que ele será enforcado na próxima semana. O enforcamento acontecerá ao meio-dia de um dia. O prisioneiro não saberá que isso acontecerá até a manhã daquele dia.
O prisioneiro argumenta que a sentença é impossível. Ele começa com o último dia: sábado. Se ele estiver vivo na tarde de sexta-feira, ele sabe que o enforcamento deve ser no sábado. Mas isso significa que ele sabia disso com antecedência. Isso quebra a regra do juiz. Então sábado está fora.
Pela mesma lógica, sexta-feira também se torna impossível. Se ele sobreviver na quinta-feira e o sábado for descartado, a sexta-feira se tornará a única opção. Ele saberia disso novamente.
Ele trabalha de trás para frente durante a semana. Segunda, terça, quarta, quinta, sexta e sábado, todos são eliminados. O prisioneiro conclui que está seguro.
O juiz ainda pode enforcá-lo. O paradoxo é sutil. Uma declaração sobre um evento futuro pode ser verdadeira para o juiz, permanecendo desconhecida para o prisioneiro até que o evento realmente aconteça. A lógica do prisioneiro falha porque assume que a previsão deve ser conhecida antes de ser válida. Isso não acontece.
A História dos Paradoxos Lógicos
Esses quebra-cabeças são mais do que apenas jogos. Eles tocam os fundamentos da matemática. Eles são muito divertidos e muitas vezes tentadores.
O profeta cretense Epimênides causou problemas já no século VI aC. Ele disse: “Todos os cretenses são mentirosos”. Como Epimênides era cretense, ele mentiu. Se ele mentiu, nem todos os cretenses são mentirosos. Mas se ele disse a verdade, ele é um mentiroso. É uma autocontradição.
Em 1913, o matemático P.E.B. Jourdain propôs o paradoxo das cartas.
Lado um: “A frase do outro lado desta carta é VERDADEIRA.”
Lado dois: “A frase do outro lado desta carta é FALSA.”
Se o lado um for verdadeiro, o lado dois será verdadeiro. Mas o lado dois diz que o lado um é falso. Contradição.
Bertrand Russell acrescentou o paradoxo do barbeiro. O barbeiro faz a barba de todos na aldeia que não se barbeiam. Quem faz a barba do barbeiro?
Se ele se barbeia, não deveria. Se ele não fizer isso, ele deve. O paradoxo do barbeiro depende de uma afirmação sobre uma classe onde o objeto faz parte dessa classe. Russell tentou consertar isso com uma hierarquia de tipos lógicos. Não resolveu totalmente o problema. A questão está bem no cerne da matemática filosófica.
“Todo o problema está próximo dos fundamentos filosóficos da matemática.”
Esses quebra-cabeças nos forçam a observar como definimos verdade, conhecimento e autorreferência. Eles não apenas divertem. Eles expõem as falhas em nosso raciocínio. O rosto manchado nos ensina sobre o conhecimento compartilhado. O enforcamento expõe os limites da previsão. O mentiroso e o barbeiro nos mostram os perigos da autorreferência.
Continuamos voltando para eles. Não porque temos todas as respostas. Mas porque as questões continuam mudando de forma.