TRUQUES E MAGIA COM

CDIGOS ALGBRICOS

ESTEFANI MORAES MOREIRA E JORGE PICADO

UNIVERSIDADE DE COIMBRA
moraesfani@gmail.com e picado@mat.uc.pt

20 GAZETA DE MATEMTICA r
175

 teoria algbrica dos cdigos uma Imediatamente o mgico adivinha o nmero. Como?
Simplesmente somando o algarismo mais esquerda da
rea excitante da matemtica que usa
linha de cima em cada um dos cartes com resposta
tcnicas e estruturas algbricas abstratas, DUPDWLYD
clssicas e modernas, na conceo de Vejamos porqu. Este truque baseia-se na represen-
WDomRELQiULDGRVQ~PHURVQDWXUDLV(PYH]GH6LPRX
VLVWHPDVGHLGHQWLFDomRHFyGLJRVGHWHWRUHV 1mRSRGHPRVUHSUHVHQWDUDVUHVSRVWDVFRPDDMXGDGRV
e corretores de erros. Este artigo apresenta algarismos binrios 1 e 0. Os nmeros foram dispostos
alguns truques de magia que ilustram de QRVTXDWURFDUW}HVGHPRGRDTXHHDTXLUHVLGHDHFiFLD
do truque, cada sequncia de sins e nos (uns e zeros) cor-
IRUPDUHFUHDWLYDRDOFDQFHHDHFiFLDGH responda precisamente a um dos primeiros 16 naturais:
cdigos algbricos simples.
= 0000 = 0 = 1000 = 8

Two weekends in a row I came in and found that all my = 0001 = 1 = 1001 = 9
VWXKDGEHHQGXPSHGDQGQRWKLQJZDVGRQH,ZDVUHDOO\
aroused and annoyed because I wanted those answers and = 0010 = 2 = 1010 = 10
two weekends had been lost. And so I said, 'Dammit if the
machine can detect an error, why can't it locate the position
= 0011 = 3 = 1011 = 11
of the error and correct it?'
Richard Hamming (1949)
= 0100 = 4 = 1100 = 12

= 0101 = 5 = 1101 = 13

= 0110 = 6 = 1110 = 14

= 0111 = 7 = 1111 = 15

Como cada nmero abcd em representao binria

1. DOIS TRUQUES DE MAGIA
Comecemos com um truque que provavelmente alguns
leitores conhecero. O mgico pede a um voluntrio entre
a assistncia que pense num nmero entre 0 e 15:
Em seguida, pede ao voluntrio que diga se o nmero em
TXHSHQVRXHVWiHPFDGDXPGRVFDUW}HVGDJXUD6LP
corresponde ao nmero (em representao decimal)
a 23 + b 22 + c 21 + d 20 ,
colocando os nmeros 23 = 8, 22 = 4, 21 = 2 e 20 = 1
numa posio especial em cada carto (por exemplo, na
linha de cima, no lugar mais esquerda), o mgico tem
um processo muito rpido para passar da representao
binria dada pela sequncia de respostas para o nmero a
adivinhar: somando estes nmeros em cada um dos car-
W}HVFRPUHVSRVWDDUPDWLYD
RX1mR evidente que o truque funciona de modo semelhante

       
 
       

Figura 1:

TRUQUES E MAGIA COM CDIGOS ALGBRICOS r

Estefani Moraes Moreira e Jorge Picado 21
 para qualquer potncia de 2 (isto , para os nmeros entre
0 e 2n 1); nesse caso sero necessrios n cartes nos quais
se dispem os nmeros de acordo com a sua representao
binria, 2n1 nmeros em cada carto. Habitualmente este
truque usa seis cartes e os nmeros variam entre 0 e 63.
Se o voluntrio mentir em algum dos cartes, o truque
no funciona. Ser possvel conceber truques deste tipo em
TXHVHGrDSRVVLELOLGDGHDRYROXQWiULRGHPHQWLU"6LPe
esse o nosso objetivo com este artigo: divulgar os truques
produzidos por Todd Mateer [6] a partir de uma ideia ori-
ginal de Richard Ehrenborg [1]. Faremos isso no resto desta
seco e nas seces 4, 5 e 6, com material retirado desses
artigos. Nas seces 2 e 3 explicaremos as ideias matem-
ticas da teoria algbrica de cdigos que permitem que os
Aps cada resposta, o mgico vai empilhando os car-
tes sobre o carto-base; em caso de resposta negativa,
coloca o carto virado ao contrrio depois de rodado de
DFRUGRFRPDJXUDREVHUYHTXHRVQ~PHURVGRFDUWmR-
EDVHTXHFDULDPFREHUWRVSHORFDUWmRQDVXDRULHQWDomR
original aparecem vista aps a rotao, e vice-versa).
3RU H[HPSOR D JXUD  PRVWUD j HVTXHUGD D FROR-
FDomRGRVFDUW}HVDSyVXPDUHVSRVWDDUPDWLYDQRFDU-
to vermelho e, direita, o resultado aps respostas sem
mentira escolha do nmero 14 nos primeiros quatro
cartes (ou seja: sim, sim, sim, no).
1RQDOGDVVHWHUHVSRVWDVRPiJLFRDGLYLQKDRQ~-
mero e se o espetador mentiu ou no; caso tenha mentido,
adivinha ainda o carto acerca do qual o espetador men-
truques funcionem.
Comecemos pelo truque seguinte, muito mais
elaborado do que o anterior, retirado de [6] .
O mgico pede novamente a um voluntrio entre a as-
sistncia que pense num nmero entre 0 e 15. O mgico
WLX RX VHMD D FRU HVFROKLGD 'H IDFWR QR QDO XPD GH
duas situaes pode ocorrer: ou exatamente um nmero
no carto-base est vista ou todos os nmeros esto co-
bertos. No primeiro caso, o espetador nunca mentiu e o
nmero vista o nmero pensado. No outro caso, s
H[LEHHQWmRVHWHFDUW}HVGHFRUJXUDHSHGHDRYROXQ-
trio que pense numa dessas cores e responda sequencial-
mente se o nmero em que pensou aparece em cada carto
6LPRX1mRPDVGHVWDYH]pOKHSHUPLWLGRTXHQRFDU-
to da cor escolhida possa mentir).
Alm destes sete cartes, o mgico tem ainda outro
um nmero do carto-base est coberto por exatamente
um carto: esse o nmero pensado e a cor desse carto
a cor do carto acerca do qual o voluntrio mentiu.
Mais uma vez, no h magia nenhuma, s matem-
WLFD1HVWHFDVRDPDWHPiWLFDGRVFyGLJRVFRUUHWRUHVGH
erros, que explicaremos sucintamente de seguida.
carto, o carto-baseJXUD

Figura : Cartes do segundo truque.



22 GAZETA DE MATEMTICA r
175

 Qual a ideia bsica dos cdigos algbricos? Por
exemplo, consideremos o seguinte cdigo binrio, que
designaremos por C1, que permite dar as instrues de
comando a um leitor de DVD, atravs de um comando
distncia:

-RWXVYp~IW PLAY REW FORWARD STOP

Cdigo C1 00 01 10 11
Figura : Carto-base.


Suponhamos que carregamos na tecla 40%= do comando,

a que corresponde a palavra 00 do cdigo; o comando
transmite esta palavra ao leitor de DVD, mas se, porven-
tura, nessa comunicao ocorrer o erro singular

o leitor receber a palavra 10, e como esta faz parte de C1

(corresponde instruo  ), aquele no ter ne-
     

Figura : Empilhamento do carto



nhuma maneira de detetar o erro e executar a instruo

no caso de resposta negativa.
   
   

C1 p XP H[HPSOR GH FyGLJR GHQLGR VREUH R DOIDEH-

to (corpo) F2 = {0, 1}, constitudo por todas as palavras
de comprimento 2 nesse alfabeto. Trata-se de um cdi-
go muito pobre pois nem sequer detecta erros singulares
como o exemplo acima ilustra.
Qual o truque de Hamming para melhorar o cdi-
go? Muito simples. O que que fazemos habitualmente
quando no entendemos bem o que outra pessoa nos est
Figura : Exemplos de empilhamento de cartoes.

a dizer? Pedimos que repita. Faamos isso no cdigo C1,
duplicando a informao em cada palavra:

-RWXVYp~IW PLAY REW FORWARD STOP

2. COMO DETETAR E CORRIGIR ERROS: MAGIA?!
A teoria dos cdigos corretores de erros nasceu em 1945 Cdigo C2 00 00 01 01 10 10 11 11
nos Laboratrios Bell com o artigo [10] de C. Shannon so-
bre a teoria matemtica da transmisso de informao. Agora, ao ser transmitida a instruo 40%= (ou seja,
R. Hamming foi o outro pioneiro com o decisivo artigo [2]. a palavra 0000), se ocorrer o mesmo erro singular de h
Nos ltimos 70 anos, os cdigos algbricos revelaram-se pouco,
uma das mais importantes aplicaes da lgebra abstra-
ta, base dos sistemas de comunicao modernos. So hoje ,
XVDGRVHPTXDVHWRGRVRVVLVWHPDVGHLGHQWLFDomRVLV-
temas automticos de telecomunicaes, equipamentos
de gravao e reproduo de informao, equipamentos como a palavra recebida no faz parte de C2 , o leitor de
ticos e scanners. devido a eles que conseguimos comu- DVD pode concluir imediatamente que ocorreu algum
QLFDUFRPWDQWDHFiFLDDORQJDGLVWkQFLDHWHUODUJXUDVGH erro na transmisso. Neste caso, o cdigo C2 j deteta este
EDQGDWmRJUDQGHVHPUHGHVGHFRPXQLFDo}HVVHPRV erro singular (e fcil de ver que deteta qualquer outro

TRUQUES E MAGIA COM CDIGOS ALGBRICOS r

Estefani Moraes Moreira e Jorge Picado 23
 erro singular). Bastou acrescentar alguma redundncia s
palavras do cdigo para resolver o problema.
Ser C2 FDSD]GHFRUULJLUHVVHHUURLVWRpGHLGHQWLFDU
a palavra original (DVVXPLQGR TXH QD WUDQVPLVVmR Vy SRGH-
ro ocorrer, quando muito, erros singulares)? claro que no,
pois existem duas palavras em C2 que poderiam ser as
originais:
A palavra original correspondente a uma palavra
recebida com erros deve ser a palavra do cdigo
mais prxima da palavra recebida.
(Ou seja, assumimos que mais provvel que o menor
nmero de erros possvel tenha ocorrido na transmisso.)
Daqui em diante, assumimos sempre este princpio. (Na
seco seguinte, tornaremos precisa a noo de distncia
implcita no termo mais prxima.)

3. CDIGOS ALGBRICOS
Os cdigos C1, C2 e C3 so exemplos de cdigos binrios.
Um FyGLJR ELQiULR GH FRPSULPHQWR Q um subconjunto C
. de (F2 )n . Denotaremos as palavras de C (que tm todas
comprimento n) por a1 a2 . . . an . Mais geralmente, pode-
Mas se triplicarmos a informao, com o cdigo C3 de- PRVFRQVLGHUDUFyGLJRVGHQLGRVVREUHXPFRUSRQLWR
QLGRSHODWDEHOD arbitrrio [3], mas todos os exemplos que consideraremos
neste artigo so binrios.
Precisemos agora a noo de distncia entre duas pa-
-RWXVYp~IW PLAY REW FORWARD STOP
lavras de (F2 )n :
Cdigo C3 00 00 00 01 01 01 10 10 10 11 11 11
A distncia de Hamming entre duas palavras
alm de qualquer erro singular ser detetvel, tambm a = a1 a2 . . . an e b = b1 b2 . . . bn, que denotamos
pode ser corrigido automaticamente (assumindo nova- por d( a, b), o nmero de ndices i {1, 2, . . . , n}
mente que QDWUDQVPLVVmRVySRGHUmRRFRUUHUTXDQGRPXLWR para os quais ai = bi .
erros singulares). Por exemplo, o erro singular
Por exemplo, d (1101, 0111) = 2. Note que d( a, b) indica
o nmero de erros ocorridos quando a a palavra trans-
mitida e b a palavra recebida.

evidentemente detetado e corrigido; a nica palavra de muito fcil provar que a distncia de Hamming
C3 que poderia ter dado origem palavra 100000 a pa- satisfaz as propriedades usuais de distncia ( uma
lavra 000000: mtrica em (F2 )n ): d( a, b) 0, d( a, b) = 0 se e s se
Palavra de C3 000000 010101 101010 111111 a = b , d( a, b) = d(b, a) e d( a, b) d( a, c) + d(c, b).
Esta ltima propriedade a chamada desigualdade
Palavra recebida 100000 100000 100000 100000
triangular.
1GHHUURV 1 4 2 5

A distncia mnima de um cdigo C, que denotamos

claro que se puderem ocorrer erros duplos no canal de
comunicao, C3 j no corrige o erro singular acima: a
palavra original poderia muito bem ser a palavra 101010.
Assim, esta ideia de construir cdigos corretores de
erros s funciona se conhecermos a priori um limite para
o nmero de erros que pode ocorrer no respetivo canal de
comunicao. Ou, ento, se adotarmos o seguinte prin-
cpio de bom senso, o chamado princpio do vizinho mais
SUy[LPR:
por (C), o nmero
min {d( a, b) | a, b C, a = b}.
Por exemplo, (C1 ) = 1, (C2 ) = 2 e (C3 ) = 3.
claro que quanto maior for o valor de (C), mais
HFLHQWH VHUi R FyGLJR 3RUWDQWR XP GRV REMHWLYRV QD
conceo de um cdigo que tenha as palavras o mais
afastadas entre si. Por outro lado, isto limita o nmero
de palavras do cdigo, logo, limita a sua capacidade de
armazenar e transmitir informao. Conciliar estes dois

24 GAZETA DE MATEMTICA r
175

objetivos de sentido oposto, procurando o ponto de equi-
OtEULRHQWUHHOHVpRGHVDRFHQWUDOGDWHRULDGRVFyGLJRV
Seja t um nmero natural. Um cdigo C deteta at t
erros se deteta qualquer combinao de t erros em
qualquer palavra. Diz-se que C corrige at t erros se
corrige qualquer combinao de t erros em qual-
quer palavra.
qualquer outra palavra c C est a uma distncia de b
maior do que t. Isto resulta da desigualdade triangular da
distncia:
d(b, c) d( a, c) d( a, b) (C) t 2t + 1 t = t + 1.
Portanto, um cdigo consegue detetar t erros se quais-
quer duas palavras do cdigo estiverem a uma distncia
de Hamming, de pelo menos, t + 1:

A proposio seguinte um resultado fundamental

da teoria algbrica de cdigos.

Proposio 3.1. Seja C um cdigo com distncia

mnima (C). Ento:
(a) C deteta at t erros se e s se t (C) 1.
(b) C corrige at t erros se e s se Por sua vez, um cdigo consegue corrigir at t erros se
(C) 1 quaisquer duas palavras do cdigo estiverem a uma dis-
t .
2 tncia de Hamming de, pelo menos, 2t + 1, ou seja, se
quaisquer bolas de raio t centradas em palavras distintas
Demonstrao. (a) evidente que existindo duas palavras a forem disjuntas:
e b em C tais que d( a, b) = (C), se a palavra transmitida
for a e acontecerem (C) erros que a transformem em b,
esses erros nunca sero detetados. Portanto, se C deteta at
t erros ento t < (C). Reciprocamente, suponhamos que
na transmisso de uma palavra a C ocorreram t erros,
resultando na palavra b:

Nos exemplos da primeira seco temos:

Tipo de erros Tipo de erros
Cdigo (C)
que deteta que corrige
(portanto, d( a, b) = t). Para provarmos que o cdigo ter
C1 1 0 0
a capacidade de detetar o erro, teremos que garantir que
b/ C , o que fcil: como d( a, b) = t < (C ) e a C ento C2 2 singulares 0
/ C.
b C3 3 duplos singulares
(b) Se C corrige at t erros, ento 2t (C) 1. De fac-
Suponhamos que, num determinado sistema de co-
to, (C) = 2t implicaria a existncia de duas palavras a e b
municao, necessitamos de um cdigo com, no mxi-
diferindo exatamente em 2t posies; acontecendo t erros
mo, 2k palavras. Poderemos ento usar todas as palavras
em metade dessas 2t posies na transmisso de a, nunca
binrias a1 a2 ak de comprimento k. Este cdigo ser
seria possvel corrigir esses erros, pois poderia ter sido a
PXLWR SRXFR HFLHQWH XPD YH] TXH D GLVWkQFLD PtQLPD
palavra b a palavra emitida (tendo os t erros ocorrido na
entre palavras igual a 1. A proposio 3.1 diz-nos que
outra metade dessas 2t posies).
VHTXLVHUPRVDXPHQWDUDHFLrQFLDGHVWHFyGLJRWHUHPRV
Reciprocamente, suponhamos que na transmisso de de aumentar a distncia mnima entre as suas palavras.
uma palavra a C ocorreram t erros, resultando na pa- Como que poderemos fazer isso? Muito simplesmente,
lavra recebida b (portanto, d( a, b) = t). Agora, para pro- acrescentando a cada palavra a = a1 a2 ak um bloco
varmos que o cdigo ter a capacidade de corrigir o erro, c a = c k +1 c n (F 2 ) n k
bastar garantir que mais nenhuma palavra em C alm de tal que d( ac a , bcb ) > d( a, b) para qualquer par de pala-
a pode ter dado origem palavra errada b, ou seja, que vras distintas a, b .

TRUQUES E MAGIA COM CDIGOS ALGBRICOS r

Estefani Moraes Moreira e Jorge Picado 25
 Os primeiros k smbolos de cada nova palavra dem ser calculados resolvendo o sistema Ca T = 0:
a = a1 a2 ak ck+1 cn
so a mensagem original e os n k smbolos adicionais so
os chamados smbolos de controle.
Um dos mtodos mais utilizados para gerar os smbo-
los de controle e, por conseguinte, as palavras do cdigo,
usa uma matriz binria, i.e., com entradas em F2 ,chama-
da matriz de controle,
C = ( A | Ink ) Assim, C4 formado pelas 16 palavras
onde A uma matriz (n k) k e Ink a matriz identi- a = ( a1 , a2 , a3 , a4 , a1 + a2 + a4 , a1 + a3 + a4 , a2 + a3 + a4 ).
dade de ordem n k . O conjunto C das palavras dado Trata-se de todos os mltiplos e somas (chamadas combi-
pelas solues do sistema de equaes Ca T = 0, sendo 0 naes lineares) das linhas da matriz geradora
o vetor nulo de (F2 )nk . Estes cdigos, criados por Ham- AT
ming nos anos 40 do sculo passado, chamam-se FyGLJRV

1 0 0 0 1 1 0
(n, k) - lineares e podem ser estudados usando lgebra line- T
0 1 0 0 1 0 1
G = ( Ik | A ) =
1 .

0 0 1 0 0 1
ar uma vez que C um subespao vetorial de (F2 )n (isto
0 0 0 1 1 1 1
, qualquer mltiplo de uma palavra uma palavra do
cdigo, a soma de quaisquer duas palavras do cdigo
ainda uma palavra do cdigo). Por exemplo, fcil ver Da frmula (3.2) decorre imediatamente que
que, em qualquer cdigo linear C, (C4 ) = 3, pelo que C4 corrige erros singulares.
ODLDGHFXULRVLGDGHUHUDVHTXHC4 precisamente
(C) = min {d( a, 0) | a C, a = 0} (ou seja, o cdigo que Hamming criou em 1950, nos Laboratrios
(C) igual ao menor nmero de dgitos no nulos (3.2) Bell, para lidar com os erros frequentes cometidos pelo
nas palavras diferentes da palavra nula). computador Bell Model V, uma das primeiras mquinas
da histria da computao, na leitura dos cartes per-
Para mais informao sobre estes cdigos, consulte, furados contendo os dados de entrada dos programas.
por exemplo, o clssico [5] (ainda muito atual) ou os mais Foi a frustrao de Hamming, por ter muitas vezes de
recentes[3, 4]. A referncia [9] contm muitos dos cdigos reiniciar os seus clculos no computador, que o levou a
mais utilizados hoje em dia. dedicar-se investigao de cdigos corretores de erros.
Os cdigos C2 e C3 da seco anterior so cdigos li-
neares binrios: C2 um cdigo (4,2)-linear, com matriz 4. EXPLICAO DO TRUQUE
de controle  Estamos agora em condies de perceber o funcionamen-
1 0 1 0 to do truque com os sete cartes coloridos. Tal como no
,
0 1 0 1
primeiro truque, cada nmero de 0 a 15 representado
enquanto C3 um cdigo (6, 2) - linear, com matriz de por uma palavra binria de comprimento 4. Mas agora,
controle como queremos detetar uma possvel mentira (corres-
1 0 1 0 0 0 ponde a corrigir um possvel erro), precisamos de acres-
0 1 0 1 0 0

1 0 0
. centar trs algarismos de controle de modo a que a dis-
0 1 0
0 1 0 0 0 1 tncia mnima entre palavras seja 3. O cdigo (7,4)-linear
da seco anterior um exemplo possvel e nele que
O cdigo (7, 4)-linear C4 GHQLGRSHODPDWUL]GHFRQWUROH este truque se baseia. por isso que o truque usa sete
cartes. A disposio dos nmeros nos sete cartes feita
1 1 0 1 1 0 0 de modo a que cada sequncia de sins e nos correspon-
1 0 1 1 0 1 0 da precisamente a uma das 16 palavras do cdigo, que
0 1 1 1 0 0 1
representam os primeiros 16 naturais (a seguir a cada pa-
constitudo pelas palavras a = a1 a2 a3 a4 c5 c6 c7 lavra, entre parntesis, indica-se a distncia da palavra
(ai , c j F2 ), em que os smbolos de controle c5 , c6 , c7 po- SDODYUDQXODRTXHFRQUPDTXHRFyGLJRWHPGHIDFWR
distncia mnima 3).

26 GAZETA DE MATEMTICA r
175

 5. FACILITANDO A APRESENTAO DO TRUQUE
= 0 0 0 0 0 0 0 (0)
&RPRYLPRVVHRYROXQWiULRQmRPHQWLUQRQDOGRWUX-
TXHRQ~PHURDDGLYLQKDUFDjYLVWDQRFDUWmREDVH0DV
= 0 0 0 1 1 1 1 (4)
QRFDVRGHXPDPHQWLUDRVQ~PHURVFDPWRGRVFREHUWRV
e o nmero a adivinhar ser o que corresponde palavra
= 0 0 1 0 0 1 1 (3)
que est mais perto de uma das 16 palavras do cdigo, ou
seja, aquele que s est coberto por um dos cartes (preci-
= 0 0 1 1 1 0 0 (3)
samente o carto onde o voluntrio mentiu). Os restantes
Q~PHURVFDPFREHUWRVSRUSHORPHQRVGRLVFDUW}HV
= 0 1 0 0 1 0 1 (3)
Um mgico muito experiente, conhecendo bem os cartes,
FRQVHJXLUi LGHQWLFDU TXH Q~PHUR H FDUWmR VHUmR HVVHV
= 0 1 0 1 0 1 0 (3)
(jogando com a espessura dos cartes). No entanto, uma
SHVVRDPHQRVH[SHULHQWHWHUiGLFXOGDGHHPDSUHVHQWDUR
= 0 1 1 0 1 1 0 (4)
truque. Por exemplo, se o voluntrio escolher o nmero 14
HRFDUWmRFRUGHURVDHPHQWLUQHVWHRUHVXOWDGRQDOVHUi
= 0 1 1 1 0 0 1 (4)

= 1 0 0 0 1 1 0 (3)

= 1 0 0 1 0 0 1 (3)

= 1 0 1 0 1 0 1 (4)

= 1 0 1 1 0 1 0 (4)

= 1 1 0 0 0 1 1 (4)
Este problema pode ser ultrapassado fazendo uns
= 1 1 0 1 1 0 0 (4)
buraquinhos nos pequenos quadrados de cada carto.
A posio destes buracos ter de variar de carto para car-
= 1 1 1 0 0 0 0 (3)
to, pelo que precisamos de sete posies distintas: quan-
do colocados um sobre o outro, nenhum par de cartes
= 1 1 1 1 1 1 1 (7)
SRGHSDUWLOKDUXPDSRVLomRFRPXP1DVHJXLQWHJXUD
mais esquerda, podemos ver um esquema possvel para
DFRORFDomRGRVEXUDFRVQRVTXDGUDGRV1DVGXDVJXUDV
Observe que as palavras correspondentes aos nmeros 1, da direita, podemos ver como posicionar os buracos nos
2, 4 e 8 so precisamente as linhas da matriz geradora do dois primeiros cartes (vermelho e laranja).
cdigo e, portanto, o facto enunciado na seco anterior de
que as linhas da matriz geradora geram, por combinao
linear, todas as outras palavras, corresponde ao facto ob-
servado na primeira seco de que os primeiros 16 natu-
rais so mltiplos e somas dos nmeros 1, 2, 4, 8.
Quanto explicao para a forma dos cartes de cor,
aquela que, aps sobreposio do carto no carto-base,
SHUPLWHTXHTXHPjYLVWDSUHFLVDPHQWHRVQ~PHURVLQV-
FULWRVQRFDUWmRGHFRUFRQUPHLVVRFDUROHLWRUQRVFDU-
W}HVGDHVTXHUGDQDVJXUDVH

TRUQUES E MAGIA COM CDIGOS ALGBRICOS r

Estefani Moraes Moreira e Jorge Picado 27
 Agora, no caso de h pouco (quando o voluntrio es- 6. MAIS UM TRUQUE
colhe o nmero 14, o carto cor-de-rosa e mente neste), no A ideia do truque anterior pode estender-se facilmen-
QDORPiJLFRREVHUYDRVHJXLQWHJXUDGDHVTXHUGD te a um truque que corrija duas mentiras, ou seja, er-
ros duplos [8]. Neste caso, em vez de um s buraco em
cada quadrado dos cartes, sero precisos dois buracos
ou, equivalentemente, duas ranhuras transversais (ver
FDUW}HVQDJXUDTXHSHUPLWDPTXHXPDVHJXQGDFRU
TXHYLVtYHOTXDQGRRVFDUW}HVVmRHPSLOKDGRVVREUHR
FDUWmREDVH1RQDOGXDVUDQKXUDVEUDQFDVDSDUHFHUmR
na posio do nmero a adivinhar.
Neste truque, so mostrados assistncia 10 cartes
$JXUDGDGLUHLWDPRVWUDRUHVXOWDGRQDOQDVLWXD-
o anloga em que o voluntrio no mente. No primeiro
caso, o mgico v um buraco branco na posio 14 e a cor
URVDjYROWDGREXUDFRRTXHVLJQLFDTXHpRFDUWmRFRU-
-de-rosa que est imediatamente sobre o carto-base. No
VHJXQGRFDVRRFDjYLVWD
Uma simulao computacional deste truque bem
como modelos para construir os cartes encontram-se no
material suplementar indicado em [6].
Figura : Cartes do terceiro truque.

28 GAZETA DE MATEMTICA r
175
JXUD  H R PiJLFR WHP DLQGD FRQVLJR R FDUWmREDVH
branco. Um voluntrio dever escolher um nmero entre
0 e 7 bem como duas das cores dos cartes.
Tal como anteriormente, a pessoa ter de dizer se o
nmero em que pensou est em cada carto, podendo
desta vez mentir em dois dos 10 cartes. O mgico adivi-
nhar o nmero e os dois cartes.
Caber agora ao leitor descobrir qual o cdigo cor-
retor de erros que faz funcionar o truque (o cdigo ter
oito palavras correspondentes aos oito nmeros, a sua
matriz geradora ter de ser uma matriz 3 8 e a sua
distncia mnima ter de ser 5 para que detete de facto [7] T. Mateer, A Reed-Solomon code magig trick, Math.
erros duplos). Magazine 87 (2014) 125-131.
Para mais truques baseados noutros cdigos corre-
WRUHVGHHUURVVREUHRXWURVFRUSRVQLWRVFRQVXOWDU>@
e mthsc.clemson.edu/misc/MAM_2014/MagicErrorCorrec-
tingCodes.html.
7. REFERNCIAS
[1] R. Ehrenborg, Decoding the Hamming code, Math
Horizons 13 (Abril, 2006), 16-17.
[2] R. W. Hamming, Error detecting and error correcting
codes, Bell System Tech. J. 29 (1950), 147-160.
[3] R. Lidl e H. Niederreiter, Introduction to Finite Fields and
their Applications, Cambridge University Press, 2000.
[4] S. Ling e C. Xing, Coding Theory: A First Course, Cam-
bridge University Press, 2004.
[5] F. J. MacWilliams e N. J. A. Sloane, The Theory of Error-
-Correcting Codes, New York: Elsevier, 1978.
[6] T. Mateer, A magic trick based on the Hamming
Code, Math Horizons 21 (Novembro, 2013), 9-11. Mate-
rial suplementar em: www.maa.org/publications/periodicals/
math-horizons/math-horizons-supplements/supplements-to-a-
-magic-trick-based-on-the-hamming-code.
TRUQUES E MAGIA COM CDIGOS ALGBRICOS r

Estefani Moraes Moreira e Jorge Picado
[8] T. Mateer, A magic trick based on a double error-cor-
recting code, mthsc.clemson.edu/misc/MAM_2014/ double-
magic.pdf. Consultado em Agosto de 2014.
>@ - 3LFDGR H + 3LQWR 6LVWHPDV GH LGHQWLFDomR FRP
algarismos de controlo, em: Atractor - Matemtica Interac-
tiva, www.atractor.pt/mat/alg_controlo, 2006.
[10] C. E. Shannon, A mathematical theory of communi-
cation I, II, Bell System Tech. J.} 27 (1948), 379-423, 623-656.
SOBRE OS AUTORES
Estefani Moraes Moreira estudante do ltimo ano da Licen-
ciatura em Matemtica na Universidade Federal de So Carlos (UFS-
Car), Brasil. Estudou na Universidade de Coimbra, em dois anos letivos
(2012/2013 e 2013/2014), por meio do Programa de Licenciaturas In-
ternacionais (PLI). Interessa-se por jogos matemticos e tambm por
histria da matemtica.
Jorge Picado professor associado do Departamento de Matem-
tica da Universidade de Coimbra (UC). doutorado e agregado em
Matemtica Pura pela UC. membro do Centro de Matemtica da UC,
onde investiga no grupo de lgebra, Lgica e Topologia. A sua rea de
especializao a topologia sem pontos. co-autor do livro Frames
and Locales: topology without points (Springer, 2012), onde se tenta expli-
car as ideias fundamentais desta abordagem loclica topologia.
29