Galois

Biograa (Frana, 1811-1832). variste Galois foi um matemtico de impressionante precocidade. A sua vida foi digna de um lme, tendo morrido num duelo ainda muito jovem. Entre os seus feitos est o estudo das equaes algbricas e o lanamento da teoria de grupos.

GALOIS

10 livros, 10 matemticos, 10 puzzles para aprender e divertir-se

Fibonacci + Missing Square (12/07/07) Pitgoras + Pentalfa (19/07/07) John Conway + Ouri (26/07/07) Leibniz + GO 9x9 (02/08/07) Mandelbrot + Torres de Hani (09/08/07) Arquimedes + Stomachion (16/08/07) Pacioli + Anis Chineses (23/08/07) Galois + Puzzle 15 (30/08/07) Al-Kwarizmi + Alquerque (06/09/07) Euler + Hexgono Mgico (13/09/07)

JOGAR COM A MATEMTICA DOS GNIOS

10 matemticos, 10 quebra-cabeas, 10 livros de bolso. De Tales a Conway, cada livro contm informao sobre a vida e obra de um dos maiores matemticos da humanidade, bem como a descrio e anlise de um puzzle, que reproduzido em madeira e faz parte desta coleco.
Veremos que Arquimedes inventou um puzzle diablico h mais de dois mil anos (Stomachion) ou que o Pentagrama, to respeitado pelos pitagricos, tambm era um jogo de tabuleiro. E caremos a saber que Conway desenvolveu uma teoria de jogos, que em frica se pratica um complexo jogo aritmtico h sculos e que o grande lsofo e matemtico Leibniz promovia os jogos de tabuleiro asiticos. Ou, ainda, que a teoria dos fractais de Mandelbrot est associada tambm a puzzles, como as Torres de Hani, que o popular jogo dos 15 um exerccio de Teoria de Grupos e que Euler, h 300 anos, j estudava o percursor do Sudoku. E, para alm de falarmos sobre alguns dos jogos que os rabes introduziram na Europa h mais de mil anos, neste primeiro livro aprenderemos tambm que a clebre sucesso de Fibonacci, que nasceu na resoluo de um problema sobre criao de coelhos, til na concepo de um quebra-cabeas geomtrico. Divirta-se e aprenda matemtica com os jogos que desvendam o raciocnio de alguns dos maiores gnios da Histria.
5

FICHA EDITORIAL TTULO: A teoria de grupos + o Puzzle do 15 AUTOR: Carlos Pereira dos Santos, Joo Pedro Neto, Jorge Nuno Silva REVISO: Edimpresa IMPRESSO E ACABAMENTO: Norprint DATA DE IMPRESSO: JUNHO 2007 DEPSITO LEGAL: 261140/07 ISBN: 9789896122706

VARISTE GALOIS

vida e obra do francs variste Galois certamente um dos episdios mais apaixonantes da histria da matemtica. J foram feitos lmes sobre alguns matemticos. O leitor recordar o galardoado Mente Brilhante, lme de 2001, de Ron Howard, sobre John Nash. Em breve, o realizador Stephen Fry dirigir um lme sobre o clebre matemtico indiano Srinivasa Ramanujan. No entanto, devemos dizer que a vida de varist Galois, embora curtssima, tem nveis de excelncia, drama, genialidade, que dariam, talvez, um guio ainda mais fantstico. Galois nasceu nos arredores de Paris, em 25 de Outubro de 1811. O seu pai, Nicolas Gabriel Galois, foi eleito prefeito de Bourg-la-Reine quando variste tinha apenas quatro anos de idade. Nicolas Gabriel era um homem culto e durante seu mandato teve o respeito da comunidade. Aqui ter nascido o interesse de Galois pela poltica.

variste Galois (1811-1832)

At aos doze anos viveu em casa dos seus pais e teve a sua me como nica professora. Sendo assim, herdou o gosto pela cincia e vontade de querer saber da me e as ideias liberais do seu pai. Em 1823, entrou para o liceu Louis-le-Grand. E aqui, antes de continuarmos, devemos abordar duas caractersticas fundamentais que tornaram Galois nico. A primeira, prende-se com a sua fantstica precocidade. No so assim to raras as guras precoces em algumas reas. A matemtica, a msica e o xadrez tm muitos exemplos: Pascal comps um belssimo tratado sobre cnicas aos dezasseis anos, Mozart foi apresentado pela Europa com apenas cinco anos, Jos Raul Capablanca, aos 12 anos, derrotou o campeo cubano de xadrez. Galois foi um caso comparvel a estes. Na sua curta vida deixou obra matemtica absolutamente revolucionria. Para o leitor ter apenas uma ideia, a chamada Teoria de Galois objecto fundamental nos cursos de matemtica pura nos dias de hoje.
8

A segunda, prende-se com algo comum aos grandes gnios da cultura humana: o acto de pensar pela prpria cabea. No pense o leitor que esta uma caracterstica fcil. O confronto de ideias com o conhecimento existente numa poca recheadssimo de diculdades e o percurso de Galois um exemplo deste confronto. Repare-se nesta nota de um dos seus professores do liceu Louis-le-Grand: Nunca sabe mal uma lio; ou nem sequer a leu, ou sabe-a muito bem. Quer isto dizer que, ou o assunto lhe interessava e compreendia-o at ao seu mago, ou ento nem sequer o lia. Esta foi tambm uma caracterstica conhecida de Albert Einstein.

m 1826, com quinze anos, frequentou a disciplina de Matemticas Preparatrias e deu-se a sua revelao. Leu toda a Geometria de Legendre. No satisfeito, estudou a obra de Lagrange (Legendre e Lagrange foram proeminentes matemticos).
9

Por volta desta data, comea a investigar um dos grandes problemas da sua vida, a resoluo das equaes de quinto grau.

Lyce variste Galois em Frana

Galois estudava directamente dos livros escritos pelos melhores da sua poca. No entanto, a sua genialidade era simultaneamente o seu maior obstculo. As solues que desenvolvia eram demasiado inovadoras para serem bem julgadas pelos seus professores. Alm disso, Galois era de trato difcil, no gostava de ter de responder no quadro, olhava com desprezo para as pessoas que no o compreendiam. Fazia tambm muitos clculos mentais, sem os escrever, o que confundia os seus professores.
10

Em 1827, tem a primeira grande decepo da sua vida. Galois sonhava entrar na cole Polytechnique, que era simultaneamente o mais prestigiado colgio do pas, como instituio defensora dos ideais de liberdade que lhe eram caros. Os seus examinadores, lamentavelmente pouco inspirados, recusaram-lhe o ingresso. No ano seguinte, tentou novamente e foi examinado por um tal Monsieur Dinet. Efectuando muitos saltos lgicos nas argumentaes do seu exame oral, que deixaram Dinet desorientado, Galois sentiu que ia ser reprovado pela segunda vez. Ao contradizer Galois num passo em que este tinha razo, Dinet no se salvou de levar com uma esponja na cara... Para cmulo, no mesmo ano, d-se o suicdio do pai, vtima de uma cabala. Ao ver o sistema poltico de Frana matar o seu pai, Galois tornou-se fervoroso pela causa republicana. Com a vida amargurada por todos estes episdios, teve de se resignar em ir para a cole Normal Suprieure. J em 1831, devido s suas causas polticas, publicou um ataque ao director do estabelecimento, que resultou na sua expulso.
11

Um pouco mais tarde, na sequncia de palavras ousadas contra o rei, foi preso. Mas no se cou por aqui. Depois de ser solto, foi preso novamente por porte ilegal de fardamento. A sociedade decidiu colocar este gnio da matemtica na cadeia, em vez de o aproveitar. Na cadeia, Galois entrou em estado depressivo, tentando o suicdio. Em 1832, um pouco antes da sentena, os presos de Sainte-Plagie foram vtimas de um surto de clera. Foi transferido para uma casa de sade, onde iria conhecer uma mulher que seria a causa da sua morte. Chega ento o clmax desta histria de vida. Tem havido muita especulao sobre este perodo, mas Galois ter iniciado um romance com Stphanie-Flice Poterine, lha de um mdico respeitado. Stphanie j tinha um compromisso com o cidado Pescheux dHerbinville, que, como no podia deixar de ser, descobriu tudo. Ficando furioso, e sendo um belssimo atirador, desaou Galois para um duelo. Nos dias anteriores a este duelo, marcado
12

para 30 de Maio de 1832, pressentindo a sua morte, Galois escreveu um testamento cientco, tendo como interlocutor o matemtico Chevalier. Reuniu pressa as suas investigaes (muitas das quais so matemtica de ponta ainda hoje), onde incluiu a espantosa frase no tenho tempo. difcil imaginar sequncia mais potica do que esta. Imagine o leitor, naquela hora, um jovem, consciente do contedo matemtico existente na sua cabea, e da importncia que trazia para o conhecimento humano e, ao mesmo tempo, com a morte anunciada, escrever a todos ns que no tem tempo. O que poderia ter avanado a matemtica se lhe tivessem dado mais tempo... Nessa mesma altura escreveu uma carta aos republicanos que terminou ao estilo de Jesus Cristo: Perdo para aqueles que me mataram, so de boa f. No dia 30, pela manh, um homem ferido com um tiro no ventre foi levado para o hospital. Morreu s dez da manh de 31 de Maio de 1832.
13

Carta de Galois: pode ver-se esquerda, na zona por baixo do carimbo, Je nai ps le temps
14

Carta de Galois: no meio do caos, pode ver-se esquerda, em baixo, as palavras une femme
15

OBRA DE GALOIS O GRUPO DAS PERMUTAES

EQUAO DE 1 GRAU
A equao geral de primeiro grau pode ser colocada, na escrita moderna, da seguinte forma, onde x a incgnita e a e b nmeros genricos: ax + b=0 (a diferente de zero) H muito que se sabe resolver este tipo de equaes. b . Para se entender como se chega A sua soluo x = - a a tal soluo, repare-se na seguinte imagem:

ara que se possa dar uma ideia sobre a obra matemtica de Galois, temos de comear por abordar a histria da resoluo de equaes algbricas. Eis alguns exemplos de equaes: x - 1=0 uma equao de primeiro grau (o maior expoente de x um); x2 + x + 1=0 uma equao de segundo grau (o maior expoente de x dois); x5 + x + 4=0 uma equao de quinto grau (o maior expoente de x cinco). O objectivo ao resolver uma equao deste gnero determinar as concretizaes de x que tornam a igualdade verdadeira. Por exemplo, em relao primeira equao da lista anterior, x=1 soluo porque 1-1=0.

No brao esquerdo esto dois objectos iguais, dos quais desconhecemos o peso. Se quisssemos exprimir o equilbrio da balana, usando x para designar o peso desconhecido, obteramos a seguinte expresso: 2x + 2 = 14 A utilizao da incgnita x serve mesmo para isso: para nos referirmos ao peso desconhecido.
17

16

Repare-se que se comearmos por retirar dois kg dos dois pratos, mantemos o equilbrio, passando para a seguinte situao:

ro grau simples: desde que faamos operaes vlidas em ambos os membros de uma igualdade, mantemos a igualdade. Sendo assim, basta procurar isolar a incgnita para descobrir o seu valor: b b ax + b=0 ax + b b=0 - b ax=-b ax a =- a x =- a

Isto corresponde a escrevermos: 2x + 2 = 14 2x + 2 2 = 14 2 2x = 12 onde o smbolo signica equivale a. Em seguida, se tomarmos a metade nos dois pratos da balana, obtemos a seguinte situao:

EQUAO DE 2 GRAU
No incio desta seco, apresentmos um exemplo de uma equao de segundo grau: x2 + x + 1=0. Em geral, uma equao de segundo grau pode ser colocada na escrita moderna da seguinte forma, onde x a incgnita e a, b e c, nmeros genricos: ax2+bx+c=0 (a diferente de zero) Tal como as equaes de primeiro grau, estas j aparecem em registos histricos da Antiguidade. Nas placas de barro da Babilnia, podemos encontrar muitos problemas deste tipo. Ocorrem enunciados como Adicio19

Isto corresponde a escrevermos: x 12 2x =12 2 2 = 2 x=6 O valor do peso desconhecido 6 kg. Ou seja, a chave para a resoluo da equao de primei18

nei a superfcie e o lado do meu quadrado e obtive 0,75, quanto mede o lado?. Hoje em dia, este problema podia ser equacionado da seguinte forma: x2+x=0,75

que equivalente a x(x+4)=77 Podemos pensar que x(x+4) traduz a rea de um rectngulo de lados x e x+4:

Uma vez que 4x=2x+2x, podemos arrumar a gura de outra forma:

Placa BM 13901
As primeiras abordagens de resoluo deste tipo de equaes utilizam uma tcnica denominada completar o quadrado. Os babilnios j utilizavam essa tcnica. Imagine o leitor quem tem a equao: x2+4x=77
20 21

Em relao a estas guras, sabemos que a sua rea global igual a 77. neste momento que utilizamos um raciocnio de completar o quadrado, acrescentando 4 unidades de rea:

Depois de completar o quadrado, passamos a ter x2+4x+4=81, ou seja (x+2)2=81. Como a raiz quadrada de 81 igual a 9, temos que x+2=9, donde x=7 uma soluo da equao. claro que os nmeros negativos no tinham na Antiguidade o tratamento que tm hoje e, consequentemente, no eram encarados como solues. Hoje, na resoluo da equao x2+4x=77, tambm se apresenta a soluo
22

x=-11, uma vez que (-11+2)2 = (-9)2 tambm igual a 81. Na Grcia, encontramos nos Elementos de Euclides mtodos geomtricos para resolver equaes de segundo grau. Na ndia, as equaes de segundo grau foram alvo de um tratamento mais algbrico. Esta nova forma de apresentao deve-se a Al-Kwarizmi (ver nono livro desta coleco). Tal como a resoluo de equaes de primeiro grau, a resoluo de equaes de segundo grau um objectivo do nosso ensino pr-universitrio. Muitos tm presente a famosa frmula resolvente. Fazendo um pouco de esforo, podemos compreender como se deduz a dita frmula. Primeiro, tem de se ter presente uma igualdade simples, usualmente denominada de caso notvel da multiplicao (quadrado da soma): (A+B)2=A2+2AB+B2 Esta expresso tambm tem uma interpretao geomtrica:

23

 daqui que sai a frmula resolvente para a equao de segundo grau que muitos leitores certamente recordaro: b2 -4ac x = -b 2 a Convm dizer que aqui surge o problema de a quantidade b2-4ac poder ser negativa e a raiz de um nmero negativo ser um embarao. O problema das razes quadradas negativas reside no facto de, pela regra dos sinais da multiplicao (mais por mais d mais, menos por menos d mais) o quadrado de um nmero ser sempre positivo. Por exemplo 2x2=4, (-2)x(-2)=4. No entanto, este embarao resolvido com uma argumentao simples: sempre que a utilizao da frmula necessria para resoluo de um problema concreto e se d o caso da quantidade exposta ser negativa, o problema no tem soluo. Esta interpretao est de acordo com a prtica e o assunto ca resolvido. Como veremos frente isto tem muito que se lhe diga...

Partindo agora da nossa equao de segundo grau, ax2+bx+c=0, comeamos por dividir ambos os membros da igualdade por a, obtendo: b x + c =0 x2+ a a Agora, tal como na tcnica da completao do quadrado, que fazia aparecer um quadrado, vamos forar aparecer o seguinte desenvolvimento do caso notvel: b )2 =x2+ b x+ b2 (x+ 2 a a 4a2 b2 : Para isso vamos ter de somar e subtrair 4 a2 2 2 b b b b c c 2 2 x + a x + a =0 x + a x+ 4a2 - 4a2 + a =0 b )2- b2 + c = 0 (x+ b )2 = b2 -4ac (x+ 2 2a 4a2 a 4a2 a 2 b -4ac b x+ 2a = 2a
24

25

EQUAES DE 3 E 4 GRAUS
Quando se fala do estudo da equao de terceiro grau inevitvel falar de dois matemticos da Renascena, Nicolo Fontana de Brescia (1500-1557), mais conhecido por Tartaglia, e Gerolamo Cardano (1501-1576).

Cardano, no seu livro Ars Magna, escreve que o bolonhs Scipione del Ferro descobrira um mtodo para resolver equaes do tipo x3+px=q (com p e q positivos) Na poca, era costume os sbios desaarem os rivais com a resoluo de problemas. Scipione ter desaado Tartaglia a resolver x3+6x2+8x=1000 e x3+3x2=5. A resposta no foi dada imediatamente. No entanto, mais tarde, Scipione desaou-o novamente com equaes do tipo x3+px=q e obteve resposta de forma pronta junto com novos problemas que o prprio Scipione no foi capaz de resolver. Cardano, interessado no assunto, prontamente trocou correspondncia com Tartaglia que lhe deu a chave para a resoluo de um caso da equao de terceiro grau na forma de poema. Cardano jurou a Tartaglia que no divulgaria a regra. Apesar do juramento, Cardano publicou a soluo da cbica no seu Ars Magna, em 1545. Tartaglia, no ano seguinte, descreve o seu mtodo de resoluo na sua obra Quesiti et Invenzioni diverse. claro que tudo isto gerou muita polmica...
27

esquerda, Nicolo de Brescia. direita, Gerolamo Cardano

26

Em 1575, outro italiano chamado Raphael Bombelli publicou um livro em que descreve as ideias de Cardano e de Tartaglia. Bombelli apresenta como exemplo a equao: x3 - 15x - 4 = 0 fcil vericar que x=4 soluo desta equao. No entanto, ao utilizar os trabalhos de Cardano e de Tartaglia, Bombelli obteve x= 2 + -121 + 2 - -121 E agora? Como interpretar isto? Por um lado, Bombelli sabia, por inspeco directa, que 4 soluo da equao, por outro, aparece na frmula a raiz quadrada de um nmero negativo. Desta vez, d-se um desfasamento entre a realidade e a apario de razes quadradas de nmeros negativos. Surge ento uma ideia surpreendente. No ser boa ideia deixar existir razes de nmeros negativos, para se poder continuar os clculos? No ser que se continuarmos os clculos com esses nmeros podemos chegar a boas solues?
28
3 3

neste momento que surgem os nmeros complexos. Muitas vezes, dito que os complexos foram descobertos. No entanto, h uma diferena entre descobrir e inventar. Foi a imaginao humana que deixou existir razes de nmeros negativos. Mas esta inveno surge para nos resolver problemas. Os nmeros imaginrios como -1 , -121 , etc., so usados como uma ponte. Ns recorremos a eles para passar por cima do embarao causado por clculos aparentemente impossveis. Por vezes, esse passar por cima resulta bem e chegamos novamente a solues bem reais. No por acaso que se chamou -1 de unidade imaginria (representado pelos matemticos pela letra i). Voltando ao exemplo, Bombelli decidiu trabalhar como se razes quadradas de nmeros negativos fossem verdadeiros nmeros. Assumindo naturalmente que -1 x -1 = -1, constatou que (2+ -1 )3 = 2 + -121 e (2- -1 )3 = 2 - -121 Sendo assim, temos como soluo x = 2+ -1 +2- -1 =4
29

Nas palavras do prprio Bombelli: Achei uma espcie de raiz cbica muito diferente das outras (...) No princpio, tudo me pareceu mais baseado em sosmas do que na verdade, mas procurei at achar uma prova. Na sequncia dos debates Cardano-Tartaglia, o matemtico bolonhs Lodocivo Ferrari, discpulo de Cardano, descobriu uma forma de reduzir o estudo de equaes de quarto grau ao estudo de equaes de terceiro grau.

ao 2001 de Kubrick: Galois no deixou o problema em aberto. Mostrou que, para o caso da equao de quinto grau, bem como para as de grau superior, j no possvel apresentar uma frmula resolvente utilizando um nmero finito de adies, multiplicaes e extraco de razes. Galois introduz a nomenclatura sobre permutaes (a que chama substituies) de vrias letras ou variveis. Imagine o leitor que tem a sequncia de letras: A,B,C Podemos reordenar estas letras de seis formas diferentes:

EQUAES DE 5 GRAU E PARA L...

No filme de Stanley Kubrick, 2001 Odisseia no Espao, h uma sequncia a que o realizador chama Jpiter e para alm do infinito. No filme, que metaforicamente representa a grande viagem humana, como seria de esperar, o fim deixado em aberto. O que Galois mostrou foi que a equao de quinto grau corresponde ao fim da viagem pela histria da resoluo de equaes algbricas. No entanto, h uma diferena em relao
30

31

Cada reordenao pode ser encarada como o efeito de uma aplicao no terno A,B,C. Por exemplo, a aplicao que transforma A em A, B em C e C em B corresponde a deixar a primeira imvel e a trocar a segunda com o terceira. No entanto, um diagrama com setas uma forma pouco expedita para nos referirmos a aplicaes deste tipo. mais fcil arranjar uma forma mais simblica:

um co e aplicarmos a permutao (1,3,2) a este conjunto, passamos a ter, por ordem, um rato, um co e um gato. Cada nmero natural est associado a um conjunto de permutaes, por exemplo, ao 5 corresponde o grupo das permutaes de cinco objectos (os matemticos chamam-lhes grupos de permutaes). No caso do trs, observmos que o grupo de permutaes associado tem seis elementos. O nmero quatro seria 24, etc. Galois conseguiu chegar chave do problema das equaes. Consideremos, por exemplo, a equao x2-4x+1=0. Utilizando a frmula resolvente relativa s equaes de segundo grau, podemos ver que as suas solues so: A=2+ 3 B=2- 3

Quando olhamos para (1,3,2) pensamos numa aplicao que se pode aplicar sobre qualquer conjunto de trs elementos. Deixa o primeiro imvel e troca o segundo com o terceiro. Se tivermos, por ordem, um rato, um gato e
32

Muitas condies verdadeiras podiam ser escritas com estes dois nmeros. Por exemplo, A+B=4 AB=1
33

O que impressionante que qualquer que fosse a equao algbrica envolvendo A, B e coecientes racionais (isto , nmeros inteiros e fraces), poderamos trocar A por B e B por A, mantendo a sua veracidade. Neste caso, as solues 2+ 3 e 2- 3 so indistinguveis por expresses desse tipo. Experimente o leitor escrever uma equao algbrica envolvendo estes dois nmeros, utilizando apenas coecientes racionais e ver que pode substituir simultaneamente 2+ 3 por 2- 3 e 2- 3 por 2+ 3 . Ou seja, para manter as condies verdadeiras, tanto podemos aplicar a {A,B} a permutao (1,2) que deixa tudo na mesma, como a permutao (2,1), que troca A com B. Galois mostrou que cada equao algbrica tem o seu conjunto de permutaes associado (o chamado grupo de Galois). Em seguida, e de forma que no podemos explicitar aqui, mostrou que existem equaes de quinto grau que tm um grupo de Galois to complexo que faz
34

com que essas equaes j no tenham direito a ter uma frmula resolvente utilizando um nmero nito de adies, multiplicaes e extraco de razes. Agora o leitor j pode ter a percepo do desespero que foram os dias anteriores ao fatdico duelo. Galois tentava deixar por escrito como chegar ao m desta viagem!

35

O PUZZLE DO QUINZE

Gravura retirada do Cyclopedia of Puzzles relativa ao Puzzle do Quinze

Samuel Loyd (1841-1911)

Aps a sua morte, em 1914, o seu lho e colaborador (tambm chamado Sam Loyd) publicou uma das suas obras mais importantes o clssico Cyclopedia of Puzzles. Na altura em que lanamos este texto, o Cyclopedia of Puzzles pode ser encontrado na ntegra (e bastante bem ilustrado) em http://www.mathpuzzle.com/loyd/.
37

S
36

amuel Loyd nasceu em Filadla, nos EUA e foi um grande inventor de puzzles e charadas matemticas. Toda a sua vida foi dedicada matemtica recreativa e ao xadrez, tendo dado um valioso contributo em ambas as reas.

cujo movimento garantido por um espao vazio. Desarrumando a placa, o objectivo do puzzle consiste em ordenar os nmeros atravs de uma sequncia de movimentos. Sam Loyd defendeu ser autor deste puzzle, desde 1891 at sua morte, no entanto, a autoria do jogo pertence a Noyes Palmer Chapman que o tentou patentear sem sucesso em 1880, por j haver ideias muito semelhantes.

Exemplo de movimento no Puzzle do Quinze Contracapa de uma edio do Cyclopedia of Games de Sam Loyd
Um dos temas presentes no Cyclopedia of Puzzles trata de um jogo que consiste numa placa com 15 quadrados numerados de 1 a 15, mveis na vertical e horizontal,
38

Partindo de uma posio baralhada, o objectivo consiste em ordenar os nmeros

39

 vital referir que na obra de Loyd, o puzzle apresentado com uma posio inicial com o 14 e o 15 trocados (puzzle 14-15). Vejamos o pormenor da ilustrao existente no Cyclopedia:

(...) Foi oferecido um prmio de 1000 dlares para a primeira soluo correcta do problema, que nunca foi reclamado, apesar de muita gente que arma ter conseguido resolver a tarefa. As pessoas caram enfeitiadas com o problema e ouviram-se inmeras histrias absurdas sobre comerciantes que se esqueceram de abrir as suas lojas e de um notvel membro do clero que cou toda uma noite de Inverno na rua, debaixo de um candeeiro, tentando lembrar-se do modo como o tinha resolvido. (...) Houve casos de agricultores que abandonaram as suas charruas, e eu aproveitei o exemplo para fazer a ilustrao. (...) Aconselhamos o leitor a no tentar resolver o puzzle do quinze a partir da posio apresentada por Loyd...

Puzzle do Quinze tal como apresentado no Cyclopedia

O objectivo consistia, partindo dessa posio, em corrigir o erro de ordenao. Citando o Cyclopedia:
40

O puzzle, tal como Loyd o apresenta, impossvel e da que o prmio no possa ter sido reclamado. A anlise dessa impossibilidade pode ser feita recorrendo a ideias relativas s permutaes, como veremos na prxima seco.

41

PUZZLE 14-15 E SUA IMPOSSIBILIDADE

este texto, ao contrrio do que aconteceu nos anteriores, pretendemos mostrar qual a razo do puzzle de Loyd no ter soluo. No vamos abordar a soluo de um puzzle, mas sim a no existncia de soluo. Muitas questes matemticas so respondidas pela negativa. O mundo no perfeito, mas mais vale sabermos que um desao no tem soluo do que carmos na dvida e na eterna procura. Alis, resolver um problema pela negativa resolver um problema. Temos de comear por abordar o conceito de permutao par e permutao mpar. Para determinar a paridade de uma permutao, basta contar o nmero de inverses. Por exemplo: (1,3,4,2) o trs maior do que dois e aparece antes; o quatro maior do que dois e aparece antes. A permutao tem duas inverses e portanto par.
42

(1,4,3,2) o quatro maior do que trs e aparece antes; o quatro maior do que dois e aparece antes; o trs maior do que dois e aparece antes. A permutao tem trs inverses e portanto mpar. Chamamos transposio consecutiva a uma troca de dois elementos seguidos. Por exemplo (1,3,2,4), troca o segundo com o terceiro. Se uma permutao pode ser obtida de outra atravs de uma composio de um nmero par de transposies consecutivas, as duas tm a mesma paridade. Se uma permutao pode ser obtida de outra atravs de uma composio de um nmero mpar de transposies consecutivas, as duas tm paridades diferentes. A chave para a argumentao da impossibilidade consiste em associar as posies da placa e as permutaes de {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} e em perceber a forma como cada movimento fsico na placa muda ou no a permutao associada e a respectiva paridade. Podemos associar a cada posio do puzzle uma per43

mutao, ignorando o espao vazio e lendo os nmeros em serpente. Vejamos o que queremos dizer com o seguinte exemplo:

Podemos tirar as seguintes concluses quanto aos movimentos: a) Os movimentos na horizontal no mudam a permutao e, portanto, no mudam a sua paridade; b) Os movimentos na vertical correspondem a 0, 2, 4 ou 6 transposies consecutivas e, portanto, no mudam a sua paridade. Pode constatar-se facilmente este facto atravs das guras seguintes:
44 45

Sendo assim, denida esta forma de associao entre as posies na placa e as permutaes de {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}, constata-se que no h forma fsica, atravs dos movimentos legais, de mudar a paridade das permutaes correspondentes s diversas posies. Dada esta forma de associao, todas as posies correspondero a permutaes com a mesma paridade da permutao correspondente posio inicial. Neste ponto, o leitor perguntar como isto ajuda a justicar o facto de ningum ter conseguido ganhar os 1000 dlares, ou seja, o facto do puzzle proposto por Loyd ser impossvel. A resposta simples. Voltando ao nosso exemplo, a posio inicial corresponde permutao {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 13} que par e a posio objectivo corresponde permutao {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 14, 13} que mpar. Uma vez que a paridade diferente, impossvel atravs dos movimentos legais efectuar a dita troca.

46

47

48