Paradoxo Geometrico
Paradoxo Geometrico
Paradoxo Geometrico
DISSERTAÇÃO
CURITIBA
2017
FRANCIELLE GONÇALVES SENTONE
CURITIBA
2017
Dados Internacionais de Catalogação na Publicação
________________________________ ________________________________
Prof. Rudimar Luiz Nós, Dr. Prof. Vitor José Petry, Dr.
(Presidente - UTFPR/Curitiba) (UFFS)
________________________________ ________________________________
Profa. Mari Sano, Dra. Profa. Neusa Nogas Tocha, Dra.
(UTFPR/Curitiba) (UTFPR/Curitiba)
• Ao meu orientador, Prof. Dr. Rudimar Luiz Nós, que com todo seu conhecimento e
paciência tornou possı́vel a elaboração desta dissertação.
We present in this work some logical-mathematical paradoxes, as Galileo’s paradox, and some
geometric paradoxes, such as Curry’s paradox, Hooper’s paradox and the Banach-Tarski para-
dox. We use the Curry and Hooper paradoxes to playfully evaluate the learning of geometric
concepts, such as area, triangle similarity, the Pythagorean Theorem, trigonometric ratios in the
right triangle, and the angular coefficient of the line, through the application of activities guides
in classroom. We also suggest recreational activities for Elementary and High School classes
involving some geometric paradoxes.
Keywords: the hidden distribution principle, Curry’s paradox, Hooper’s paradox, the Banach-
Tarski paradox, Fibonacci’s sequence, Recreational Mathematics.
LISTA DE FIGURAS
: tal que
∀ para todo, para qualquer, para cada
∈ pertence
⇔ bicondicional, equivale, se e somente se
∃ existe
∃! existe um único
∧ conjunção lógica e
∅ conjunto vazio
∈
/ não pertence
∨ conjunção lógica ou
⇒ condicional, implica, se...então
⊆ é um subconjunto próprio de
∩ intersecta com
6= não é igual a
¬ negação lógica
−→ seta de função, de...para
≈ é aproximadamente
≤ menor ou igual do que
∪ união com
≥ maior ou igual do que
⊂ está contido em
⊃ contém
≡ equivalente a
SUMÁRIO
1 INTRODUÇÃO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1 JUSTIFICATIVA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2 OBJETIVOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.1 Objetivo Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.2 Objetivos Especı́ficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 PARADOXOS LÓGICO-MATEMÁTICOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 O PARADOXO DE GALILEU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5 O AXIOMA DA ESCOLHA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.6 O PRINCÍPIO DA DISTRIBUIÇÃO OCULTA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6.1 O paradoxo da linha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6.2 O paradoxo de Loyd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.6.3 O paradoxo de Deland . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 A SEQUÊNCIA DE FIBONACCI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2 PARADOXOS GEOMÉTRICOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.1 O PARADOXO DO TABULEIRO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2 O PARADOXO DE CURRY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.2.1 Área . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2.2 O Teorema de Pitágoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2.3 Semelhança de triângulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2.4 Declividade da reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.2.5 Desvendando o paradoxo de Curry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.3 O PARADOXO DE HOOPER . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.4 O PARADOXO DE BANACH-TARSKI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3 ATIVIDADES EM SALA DE AULA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.1 ENSINO FUNDAMENTAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.2 ENSINO MÉDIO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.3 LICENCIATURA EM MATEMÁTICA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.4 ATIVIDADES SUGERIDAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.4.1 Para o Ensino Fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.4.2 Para o Ensino Médio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4 CONCLUSÕES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
REFERÊNCIAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Apêndice A -- ROTEIRO DE ATIVIDADES PARA O 9º ANO DO ENSINO FUNDA-
MENTAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Apêndice B -- ROTEIRO DE ATIVIDADES PARA A 3º ANO DO ENSINO MÉDIO 82
Apêndice C -- ROTEIRO DE ATIVIDADES PARA A LICENCIATURA EM MA-
TEMÁTICA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
Apêndice D -- ALGUMAS SOLUÇÕES APRESENTADAS PELOS ESTUDANTES
DO ENSINO FUNDAMENTAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Apêndice E -- ALGUMAS SOLUÇÕES APRESENTADAS PELOS ESTUDANTES
DO ENSINO MÉDIO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Apêndice F -- ALGUMAS SOLUÇÕES APRESENTADAS PELOS ESTUDANTES
DO CURSO DE LICENCIATURA EM MATEMÁTICA . . . . . . . . . . . . . . . . . . . . . . . 94
9
1 INTRODUÇÃO
Um paradoxo é uma declaração que vai contra o censo comum, expectativas ou defi-
nições; é uma proposição que, apesar de aparentar um raciocı́nio coerente, demonstra falta de
lógica, escondendo contradições decorrentes de uma análise incorreta de sua estrutura interna;
é o oposto do que alguém pensa ser a verdade. Na Filosofia e na Lógica, por exemplo, os
paradoxos são importantes argumentos crı́ticos e já foram responsáveis pela organização ou
reorganização de fundamentos de várias áreas do conhecimento.
Paradoxo 1.1 (Paradoxo do altruı́sta). Uma pessoa é altruı́sta se não pensa em si mesma.
Considere um indivı́duo que pensa em uma pessoa somente se ela é altruı́sta.
• Se o indivı́duo é altruı́sta, então ele pensa em si mesmo. Logo, ele não é altruı́sta. Con-
traditório!
• Se o indivı́duo não é altruı́sta, então ele não pensa em si mesmo. Logo, ele é altruı́sta.
Novamente, contraditório!
Para Farlow (FARLOW, 2014), “The best paradoxes are the easiest to state and the har-
dest to resolve”, ou seja, os melhores paradoxos são os mais fáceis de afirmar e os mais difı́ceis
de resolver. Então, solucionar um paradoxo seria como desvendar um truque? Seria mágica?
Poderı́amos, enquanto professores de Matemática, empregar paradoxos de forma lúdica para
introduzir/investigar conceitos, principalmente geométricos? Para Alves e Morais Filho (AL-
VES; MORAIS FILHO, S.d.), a resposta é sim. Segundo eles, “Os Paradoxos Geométricos são
10
5. nos Apêndices, apresentamos os roteiros de atividades para três nı́veis de ensino e lista-
mos algumas soluções apresentadas pelos estudantes.
1.1 JUSTIFICATIVA
A Geometria tem sido pouco explorada nas aulas de Matemática, mas ela desempenha
um papel fundamental no currı́culo, proporcionando aos estudantes o desenvolvimento das ca-
pacidades de argumentação e de demonstração, essencias à postura crı́tica. Sobre a importância
da Geometria, os Parâmetros Curriculares Nacionais (Ministério da Educação, 2013) dizem:
1.2 OBJETIVOS
• Verificar o domı́nio de conceitos geométricos por parte dos futuros professores de Ma-
temática, aplicando atividades no Curso de Licenciatura em Matemática, na disciplina
Geometria 2, sobre os paradoxos de Curry e de Hooper;
• Organizar atividades recreativas para o Ensino Fundamental e para o Ensino Médio en-
volvendo paradoxos geométricos.
“Muitas vezes situações que não conseguimos compreender ou que escapam à lógica
são as causas de pequenas brigas ou grandes guerras. Declarar por escrito a própria condição
de analfabeto e procurar os óculos sem enxergar nada são exemplos de sentenças cujo conteúdo
é paradoxal” (APROSIO, 2015).
No romance de Joseph Heller (1923-1999), Ardil 22, de 1961, o autor traça uma crı́tica
contundente à guerra e coloca em evidência seu absurdo utilizando um regulamento militar
fictı́cio intencionalmente contraditório. De acordo com o regulamento, qualquer um que seja
louco pode pedir dispensa do fronte. Por outro lado, o mesmo regulamento diz que qualquer
um que peça afastamento da zona de combate não é louco. As sentenças de Heller são contra-
ditórias.
versário no mesmo dia que qualquer outra. Quando se considera o número de 23 pessoas, pela
primeira vez a probabilidade fica abaixo de 50%. Este evento é oposto ao considerado, isto é,
que a probabilidade de que haja pelo menos duas pessoas nascidas no mesmo dia seja maior do
que 50%.
A versão clássica da próxima situação paradoxal narra a história de um jovem que ado-
rava visitar duas amigas que moravam em direções opostas. Visto que não conseguia escolher
qual amiga visitar, deixava a escolha ao acaso: ia para a estação de trem e pegava o primeiro a
passar. Como os trens em direção ao leste e ao oeste tinham a mesma frequência, de meia em
meia hora, nenhuma amiga teria privilégio. Porém, o horário dos trens tinha influência sobre a
direção a ser seguida. Observando a Tabela 1.1, fica evidente que, para tomar o trem em direção
ao oeste, o jovem deveria chegar à estação entre 12h e 12h01min, enquanto que para ir para o
leste, deveria chegar em qualquer momento entre 12h01min e 12h30min. O mesmo raciocı́nio
vale para os outros horários. Portanto, o rapaz ia à casa da amiga que morava ao leste cerca de
29 vezes em trinta, e apenas uma vez em trinta à casa da amiga que morava ao oeste.
alto.
Tabela 1.2: Probabilidade da distribuição do sexo de quatro filhos de um casal sem distinção do
gênero
HHHH - 4-0 HHHM - 3-1 HHMH - 3-1 HHMM - 2-2
HMHH- 3-1 HMHM - 2-2 HMMH - 2-2 HMMM - 3-1
MHHH - 3-1 MHHM - 2-2 MHMH - 2-2 MHMM - 3-1
MMHH - 2-2 MMHM - 3-1 MMMH - 3-1 MMMM - 4-0
Constatamos que o caso 4-0, que corresponde a ter todos os filhos do mesmo sexo, é o
menos provável, com probabilidade 2/16 = 1/8; o caso 2-2, que corresponde a dois homens e
duas mulheres, tem probabilidade 6/16 = 3/8; e o caso 3-1, que corresponde a três filhos de um
sexo e um do outro, tem maior probabilidade, sendo esta igual a 8/16 = 1/2. Contudo, quando
consideramos a distinção de gênero, como na Tabela 1.3, verificamos que o caso 2-2 é mais
frequente, ou seja, a probabilidade de ter dois filhos homens e duas filhas mulheres é maior.
Tabela 1.3: Probabilidade da distribuição do sexo de quatro filhos de um casal com distinção do
gênero
HHHH HHHM HHMH HHMM
4H-0M 3H-1M 3H-1M 2H-2M
HMHH HMHM HMMH HMMM
3H-1M 2H-2M 2H-2M 1H-3M
MHHH MHHM MHMH MHMM
3H-1M 2H-2M 2H-2M 1H-3M
MMHH MMHM MMMH MMMM
2H-2M 1H-3M 1H-3M 0H-4M
Em uma eleição com um único turno, o partido de direita venceria mesmo sem ser
escolhido pela maioria da população. Para resolver este problema, alguns sistemas de eleição
preveem uma segunda disputa entre os dois adversários mais votados no primeiro turno. Mas
não sabemos efetivamente qual seria a segunda escolha de um grupo de eleitores. Suponhamos
que no segundo turno os eleitores do partido de centro dividam seus votos (13%) do seguinte
modo: 5% à esquerda e 8% à direita. Assim, terı́amos o resultado conforme ilustra a Tabela 1.5.
Como 52% dos eleitores votaram no mesmo candidato, o sistema de eleição parece
ser justo e respeitar a vontade do povo. Mas, e se houvesse uma disputa entre os candidatos de
esquerda e de centro? Consideremos a hipótese de que os votantes do partido de direita prefiram
o partido de centro ao de esquerda. Neste caso, terı́amos o resultado mostrado na Tabela 1.6.
O candidato de centro venceria o de esquerda com uma vantagem maior do que a obtida pelo
partido de direita frente ao partido de esquerda, Tabela 1.5.
Novamente o candidato de centro seria vencedor. Portanto, será que temos certeza
de que o sistema eleitoral que prevê uma disputa entre os dois candidatos mais votados res-
peita a vontade da população? O marquês de Condorcet (1743-1794) foi o primeiro a colocar
este problema, no século XVIII, quando descobriu que o resultado de uma votação pode ser
influenciado pela ordem dos turnos.
O paradoxo de Monty Hall foi um jogo da televisão americana, Let’s make a deal,
apresentado por Monte Halperin, conhecido como Monty Hall. É considerado um paradoxo
por não ser intuitivo, mas a solução matemática existe. Neste programa, o concorrente escolhia
entre três portas fechadas que escondiam um carro e duas cabras. Em 1990 foi proposta na
revista Parade a seguinte questão: se fosse oferecida ao concorrente a possibilidade de mudar
18
sua escolha depois que o apresentador tivesse aberto uma das portas que escondem a cabra, o
que ele deveria fazer? A resposta foi dada por Marilyn vos Savant, que tinha uma coluna na
mesma revista. Usando o cálculo das probabilidades, no inı́cio do jogo o concorrente tinha uma
probabilidade igual a 1/3 de escolher a porta que escondia o carro. As outras duas portas, que
escondiam as cabras, representavam os 2/3 restantes. Depois que o apresentador abrir uma
porta que esconde uma cabra, zera a probabilidade do carro estar naquela porta, e a probabi-
lidade de 2/3 recai inteiramente sobre a porta restante, ou seja, o concorrente deveria mudar
sua escolha. Esta resposta não convenceu os leitores que, em 92% das cartas enviadas à revista,
diziam que este resultado estava errado.
Aqui no Brasil, o paradoxo de Monty Hall se aplica à brincadeira Porta dos desespera-
dos, do programa Oradukapeta, no SBT, apresentado por Sérgio Neiva Cavalcanti, conhecido
como Sergio Mallandro, nos anos de 1987 a 1990. Nesse programa, uma criança do auditório
era selecionada para brincar e escolher uma das três portas onde havia um brinquedo incrı́vel e
as outras duas que tinham monstros ou gorilas.
O paradoxo das três portas é uma variante do paradoxo das três cartas, proposto em
1950 pelo matemático americano Warren Weaver (1894-1978), que deriva do paradoxo das
três caixas, formulado em 1889 pelo matemático francês Joseph Bertrand (1822-1900). Outra
versão desse paradoxo foi proposta por Martin Gardner (1914-2010) em 1959. Três prisioneiros
aguardavam a execução. Como no mesmo dia era celebrado o aniversário do rei, este decidiu
salvar a vida de um dos três com a condição de que nenhum deles soubesse, até o último
momento, qual seria seu destino. O primeiro prisioneiro falou ao carcereiro: “Já que dois de
nós serão condenados, com certeza um de meus companheiros terá este destino. Não lhe custa
nada dizer o nome de um, você não vai revelar quem de nós será agraciado. Em troca, darei
meu relógio a você”. O guarda, pensando que o prisioneiro tinha razão, lhe confidenciou que o
terceiro companheiro não fora agraciado. O detento agradeceu, pensando que sua chance de se
salvar tinha aumentado de 1/3 para 1/2. Mas na verdade, a probabilidade do detento se salvar
continua sendo 1/3. É o segundo prisioneiro que tem 2/3 de chances de se salvar.
1925). Frege desenvolveu uma teoria dos conjuntos chamada Princı́pio de Abstração (ou de
Compreensão). Segundo este princı́pio, cada conceito define um conjunto formado por todos os
objetos que correspondem às caracterı́sticas do conceito do objeto. Podemos então imaginar o
conjunto de todos os conjuntos e o conjunto que não contém ele mesmo. Mas quando falamos
de conjuntos que contêm outros conjuntos e pode conter ele mesmo, há o risco de entrarmos em
contradição. Bertrand Russell descobriu isto quando considerou o conjunto dos conjuntos que
não contêm eles mesmos. Se esse conjunto não fosse elemento de si mesmo, deveria ser por
definição; se fosse elemento de si mesmo, não deveria mais ser. Para solucionar este problema,
Bertrand Russell reformulou, juntamente com Alfred Whitehead (1861-1947), a teoria de Frege
excluindo todos os conjuntos que causassem contradições. Russell percebeu que a definição de
um conjunto não era suficinte para determiná-lo e idealizou a Teoria dos Tipos, segundo a qual
existe uma hierarquia entre os conceitos.
Imagine que um professor diga: “Haverá uma prova surpresa em um dos próximos
dois dias”. Então, a prova não poderá acontecer no segundo dia pois se acontecer saberı́amos,
ao término do primeiro dia, quando seria e não seria mais uma surpresa. Seria no primeiro
dia? Também saberı́amos com antecedência a data da prova. Portanto, a prova não tem como
acontecer. Mas se considerarmos a hipótese da prova não acontecer, ela volta a ser uma sur-
presa. E a indecisão fica: a prova será dada ou não? Este paradoxo foi observado em 1943,
na Suécia, durante a Segunda Guerra Mundial, quando foi feita uma transmissão radiofônica
convidando a população para ficar pronta para um exercı́cio de defesa civil que aconteceria em
um dia qualquer da semana seguinte. Para que acontecesse de forma mais realista e para que a
população estivesse sempre pronta, o dia exato da simulação não foi divulgado. Lennart Ekbom
(1919-2002), professor de Matemática, percebeu a incongruência e falou sobre isso com seus
alunos, dando inı́cio a uma discussão que continua até hoje, desde a publicação do problema na
revista inglesa Mind, em 1948.
Tratar conceitos lógicos ao contrário pode produzir paradoxos interessantes que não
levam a nenhuma contradição, mas são de difı́cil compreensão, contrários ao senso comum.
Consideremos, por exemplo, a frase “Todos os corvos são pretos”. Qualquer um poderia julgar
verdadeira a afirmação, mas do ponto de vista teórico, antes de conferir todos os corvos do
universo, jamais terı́amos certeza. Para analisar o problema de uma forma lógico-matemática,
podemos reformular a hipótese com a dupla negação “Todos os objetos não pretos não são
corvos”, equivalente à primeira afirmação. O primeiro a descobrir esse paradoxo foi o alemão
Karl Gustav Hempel (1905-1997), em 1945. Ele afirmou que encontrar uma mesa marron
aumenta a probabilidade de que os corvos sejam pretos. Mas o número de objetos não corvos é
tão grande que o aumento desta probabilidade é irrelevante.
20
Há quase 2500 anos, o filósofo grego Zenão enunciou pela primeira vez um raciocı́nio
para uma história que tinha como protagonistas Aquiles e a tartaruga. Esta desafiou o herói
para uma corrida de um quilômetro, mesmo sabendo que corria com a velocidade de 1/10 de
seu rival. Aquiles deu cem metros de vantagem à tartaruga. A corrida teve inı́cio. Depois
que Aquiles tinha percorrido cem metros, a tartaruga tinha avançado um. Aquiles ultrapassou
aquele um metro, mas a tartaruga avançou mais dez centı́metros. Aquiles alcançou esses dez
centı́metros, mas a tartaruga avançou mais um centı́metro. Como isto continua infinitamente,
segundo Zenão, Aquiles jamais alcançaria a tartaruga. O problema se resolve com o cálculo
infinitesimal. Mas Zenão e os matemáticos de sua época não dispunham deste conhecimento
e não encontraram o erro no raciocı́nio. Eles pensavam que a soma de números infinitos re-
sultava sempre em um número infinito. Isto só foi elucidado após mais de 2 mil anos, tempo
transcorrido de Zenão a Cantor.
se mate. Como faria para inventar a máquina do tempo? Para qual futuro ele voltaria? Por
anos, fı́sicos e filósofos quebraram a cabeça com isso, e forneceram duas soluções: a primeira
é a dos universos paralelos, na qual em uma viagem no tempo o universo se bifurca em duas
cópias diferentes, uma com a linha temporal e outra com a nova linha temporal modificada pelo
tempo. Na trilogia cinematográfica dirigida por Robert Zemeckis no fim dos anos 1980, De
volta para o futuro, Doc, o cientista inventor da máquina do tempo, utiliza-se deste expediente
e os protagonistas retornam a sua época original com as coisas alteradas. A segunda hipótese,
formulada pelo fı́sico russo Igor Dmitriyevich Novikov e por seu colega americano Kip Thorne,
chama-se princı́pio da autoconsciência (ou da autocompatibilidade) e estabelece que a linha do
tempo não pode ser alterada. Por exemplo, se voltássemos no tempo e tentássemos nos matar,
aconteceria uma série de eventos que nos impediriam de fazê-lo. Esta hipótese é apresentada
no filme A máquina do tempo, de 2002, baseado no romance de H. G. Wells (1866-1946), no
qual um jovem inventor do fim do século XIX, Alexander Hartdegen, consegue construir uma
máquina do tempo. Um dia sua noiva é morta durante um assalto. Alexander volta ao passado
e salva a moça, mas pouco depois ela é atropelada por uma carruagem. Ele tenta salvá-la
novamente, e ela é mais uma vez morta. A linha temporal se mantém como uma espécie de
destino que não pode ser modificado.
O matemático grego Euclides escreveu por volta de 300 a.C. sua famosa obra Ele-
mentos. Nela (EUCLIDES, 2009), no Livro1, Euclides propõe definições, postulados e noções
comuns. Na lista de noções comuns consta “E o todo é maior do que a parte”. Quanto à esta
noção comum, é muito provável que uma pessoa que nunca havia pensado nela a aceite como
verdadeira. Contudo, a aceitação e a generalização desta noção levou à rejeição dos números
infinitos.
conclusão de que maior, menor ou igual não podem ser aplicados ao infinito.
Cantor percebeu que as propriedades válidas para os conjuntos finitos não podem ser
generalizadas para os conjuntos infinitos. Ele realizou um processo de abstração, estabelecendo
que existe um salto entre o finito e o infinito. “Quando nossas intuições sobre magnitudes finitas
são ingenuamente extrapoladas para os conjuntos infinitos, obtêm-se contradições e resultados
contraintuitivos” (GONZÁLEZ, 2011). O paradoxo de Galileu extrapola as propriedades dos
conjuntos finitos para os infinitos, desconsiderando o salto existente entre o finito e o infinito.
Paradoxo 1.2 (Paradoxo de Russell). Dada uma propriedade P(x), referente a objetos x, existe
o conjunto
A = {x : P(x)},
1. Axioma da Extensionalidade
∀x∀y(∀z(z ∈ x ⇔ z ∈ y) ⇔ x = y)
Para cada propriedade que quantifica somente conjuntos, existe uma classe cujos ele-
mentos são exatamente os conjuntos que satisfazem esta propriedade, ou seja, para toda fórmula
φ (x), possivelmente com outras variáveis livres além de x, e nenhuma delas sendo y, a seguinte
fórmula é um axioma:
∀z∃y∀x(x ∈ y ⇔ x ∈ z ∧ φ (x)).
23
4. Axioma do Par
∀x∀y∃z∀w(w ∈ z ⇔ w = x ∨ w = y)
5. Axioma da União
6. Axioma do Infinito
Existe um conjunto x que tem o conjunto vazio como elemento, e que, para todo ele-
mento y, ele contém seu sucessor S(y).
8. Axioma da Substituição
Toda famı́lia de conjuntos cujos elementos são conjuntos não vazios possui uma função-
escolha.
Equivalentemente, dada uma famı́lia {Aα : α ∈ J} não vazia, de conjuntos não vazios,
existe um conjunto C ao qual pertence exatamente um elemento de cada Aα . Em outras palavras,
o produto cartesiano de uma famı́lia não vazia de conjuntos não vazios, é não vazio.
O axioma da escolha difere dos outros axiomas de ZFC por postular a existência de
um conjunto sem estabelecer uma forma de construı́-lo, diferentemente dos axiomas do par e
da união, por exemplo. Isto causou inicialmente muita polêmica entre os matemáticos, que aos
poucos foram aceitando o axioma pela necessidade do mesmo em diversas áreas da Matemática,
como Teoria dos Conjuntos, Topologia, Álgebra e Análise Funcional. O caráter não construtivo
do axioma da escolha, permitindo escolhas arbitrárias sem descrever como fazê-las, pode gerar
argumentos para a não validação do axioma.
Alguns dos resultados que foram provados com o uso de AC têm um caráter
fortemente contraintuitivo, que são suporte para argumentos para recusar sua
validade. Como exemplo são os resultados sobre decomposições paradoxais,
em especial o Paradoxo de Banach-Tarski (RÊGO, 2007).
All of them involve the cutting and rearranging of parts of a figure. After the
rearrangement is completed, a portion of the original figure (either part of its
area or one of a series of pictures drawn on the figure) has apparently vanished
without trace! When the pieces are returned to their original form, the missing
area or picture mysteriously appears once more. It is this curious vanishing and
reappearing that justifies regarding these paradoxes as mathematical magic.
Inicialmente tı́nhamos dez linhas, mas surpreendentemente, como mágica, quando cor-
tamos e deslocamos as peças uma das linhas sumiu, restando apenas nove linhas. Mas o que
aconteceu? A resposta é simples. Ao cortarmos o retângulo segundo sua diagonal, duas linhas
ficam inteiras e as outras oito são divididas em dezesseis segmentos. Quando um dos triângulos
é deslocado, o inferior para a esquerda, por exemplo, o primeiro segmento cortado prolonga
a primeira linha, que havia permanecido inteira, e todos os demais segmentos prolongam as
linhas que os antecedem. E assim, some uma das linhas.
No entanto, a maior criação de Samuel Loyd foi o enigma de Sam Loyd “Get off
the earth”(Fuja da terra) ou paradoxo de Loyd (Loyd’s vanishing chinese warrior paradox).
O quebra-cabeça foi inventado em 1896 e vendeu mais de 10 milhões de cópias. O problema
paradoxal é uma ilusão de ótica. A figura inicial apresenta doze guerreiros chineses. Essa figura
27
Figura 1.3: O enigma de Sam Loyd Get off the earth - (TOMATIS, S.d.b)
Theodore Louis DeLand Jr. (1873-1931) foi um escriturário da Casa da Moeda dos
Estados Unidos que criou, entre 1906 e 1915, o fenômeno dos pacotes de truques. Nesse
perı́odo, ele comercializou quase cem truques usando cartões e baralhos, muitos destes criações
suas (MAGICPEDIA, 2014).
Figura 1.5: Versão de Martin Gardner, the vanishing rabbit, publicada na Parents Magazine, em
abril de 1952 , do paradoxo de DeLand - (SAMPAIO, S.d.)
Figura 1.6: Versão de Mel Stover (1912-1999) do paradoxo de DeLand - (SAMPAIO, S.d.)
Figura 1.7: Outra versão de Mel Stover do paradoxo de DeLand - (TOMATIS, S.d.b)
tido como o primeiro grande matemático europeu da Idade Média. É considerado por alguns
como o mais talentoso matemático ocidental da Idade Média. Ficou conhecido pela desco-
berta da sequência de Fibonacci e pelo seu papel na introdução dos algarismos arábicos na
Europa (WIKIPEDIA, 2016a).
“Muitas pessoas ouviram falar sobre a sequência de Fibonacci pela primeira vez no
best-seller de Dan Brown, O código da Vinci. Mas estes números têm pouca relação com o que
foi mencionado no livro” (STEWART, 2009).
Conforme Stewart (STEWART, 2009), tudo começou com o livro Liber Abaci, ou
“Livro dos cálculos”ou “Livro do ábaco”, publicado em 1202 por Leonardo Fibonacci, que traz
o seguinte exercı́cio:
“Um homem pôs um par de coelhos em um lugar cercado por paredes de todos
os lados. Quantos pares de coelhos serão produzidos por esse par em um ano,
se supusermos que a cada mês, cada par produzirá um novo par, que se tornará
fértil a partir do segundo mês de vida?”
Resolvendo temos: no começo, no mês 0, teremos um par fértil.
No mês 1, esse par gera um par ainda não fértil, portanto um par fértil e outro
não fértil - no total, 2 pares.
No mês 2, o par fértil gera outro par não fértil; o par não fértil se torna fértil
mas não gera nada. Então agora temos 2 pares férteis e 1 par não fértil - no
total, 3 pares.
No mês 3, os 2 pares férteis geram outros 2 pares não férteis; o par não fértil
se torna fértil mas sem gerar nada. E agora temos 3 pares férteis e 2 não férteis
- no total, 5 pares.
Continuando passo a passo, obtemos para os meses 0,1,2,3,...,12, a sequência:
A sequência
1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, ... (1)
8 13 21
• As razãos entre números de Fibonacci sucessivos, como , , e assim por diante, se
5 8√ 13
1+ 5
tornam cada vez mais próximas do número de ouro φ = ≈ 1, 618034.
2
• Se formarmos quadrados cujos lados são números de Fibonacci, eles se encaixam orde-
nadamente e podemos desenhar quartos de cı́rculos neles, criando a espiral de Fibonacci,
como ilustra a Figura 1.8. Essa espiral é o sı́mbolo (logotipo) da SBM - Sociedade Brasi-
leira de Matemática, como mostra a Figura 1.9.
• Há uma ocorrência surpreendente dos números de Fibonacci em criaturas vivas, parti-
cularmente nas plantas. As flores em uma quantidade impressionante de espécies têm
pétalas em números de Fibonacci. Os lı́rios têm 3 pétalas, ervas-ciáticas têm 5, espori-
nhas têm 8, calêndulas têm 13, ásteres têm 21, a maioria das margaridas têm 34, 55 ou
89, os girassóis muitas vezes têm 55, 89 ou 144.
Os números de Fibonacci também surgem nas medidas das peças dos paradoxos geométricos
apresentados no Capı́tulo 2.
31
2 PARADOXOS GEOMÉTRICOS
Na Figura 2.1, temos à esquerda um tabuleiro quadrado 8 × 8 com área igual a 64. Esse
tabuleiro é cortado em duas partes que, reencaixadas, formam a figura à direita com área igual
a 63. Na manipulação, uma unidade de área some. Como explicar isto?
O tabuleiro não é cortado segundo sua diagonal. Ele é cortado do último quadrado da
primeira linha até o segundo quadrado da última linha. Devido a este corte, cada quadrado cor-
tado não foi cortado ao meio, mas sim de maneira que, quando deslocados, pareçam quadrados
como os demais, mas não são. E quando deslocamos as peças de maneira que se encaixem,
percebemos, como na Figura 2.2, que as duas peças se sobrepõem e a área da região sobreposta
é a área do quadrado que sumiu.
32
2.2.1 ÁREA
Comecemos pela Figura 2.4, na qual temos um retângulo dividido em cinco peças que,
reorganizadas, formam um retângulo de medidas congruentes às medidas do primeiro retângulo,
porém com um quadrado a menos. Mas como é possı́vel dois retângulos com as mesmas medi-
das terem áreas diferentes?
Para Muniz Neto (MUNIZ NETO, 2013) e Lima et al (LIMA et al., 2012), isto não é
possı́vel. Segundo eles:
Considerando os retângulos da Figura 2.4, “para que sejam congruentes devemos des-
locar um deles no espaço, sem deformá-lo, até coincidir com o outro” (MUNIZ NETO, 2013).
Ao deslocarmos um retângulo de maneira a fazê-lo coincidir com o outro, a área do quadrado
faltante não será comum a ambos os retângulos. Logo, os retângulos não são congruentes uma
vez que não têm a mesma área.
Para calcular as áreas das partes da Figura 2.4 usaremos como unidade de medida o
quadrado unitário, ou seja, o quadrado que tem o lado medindo uma unidade de comprimento,
representada por 1uc, e área igual a uma unidade de área, representada por 1ua. Assim, o
retângulo cujos lados medem 5uc e 13uc, doravante denominado retângulo 5 × 13, tem 65
quadrados unitários, ou seja, tem área igual a 5×13 = 65ua. A área do triângulo retângulo cujos
catetos medem 5uc e 13uc, doravante denominado triângulo retângulo 5 × 13, também pode ser
calculada desta maneira, considerando que sua área é igual à metade da área do retângulo ou à
metade do produto das medidas dos catetos. Calculando a área de todas as partes do retângulo
superior da Figura 2.4, temos que:
5 × 13
1. Área do triângulo retângulo 5 × 13: = 32, 5ua;
2
3×8
2. Área do triângulo retângulo 3 × 8: = 12ua;
2
2×5
3. Área do triângulo retângulo 2 × 5: = 5ua;
2
4. Área dos polı́gonos não-convexos: 3 + 5 = 8ua e 2 + 5 = 7ua.
Somando as áreas das peças, determinamos uma área total de 64, 5ua. Há uma falta de
0, 5ua para a área do retângulo 5 × 13. No retângulo inferior da Figura 2.4, precisamos somar
à área das peças a área do buraco, que é um quadrado unitário. Assim, determinamos uma área
de 65, 5ua. Neste caso, há uma sobra de 0, 5ua para a área do retângulo 5 × 13. Portanto, essas
cinco peças não podem formar o retângulo 5 × 13.
Já temos uma primeira inconsistência em relação às áreas. Verifiquemos então se a hi-
potenusa h1 do triângulo retângulo 5×13 equivale à soma das hipotenusas h2 e h3 dos triângulos
retângulos 3 × 8 e 2 × 5, respectivamente, como sugere o retângulo inferior da Figura 2.4. Usa-
remos para tanto o Teorema de Pitágoras. Lima et al (LIMA et al., 2012) enuncia o Teorema de
Pitágoras, “um dos mais belos e importantes teoremas da Matemática de todos os tempos”, da
seguinte forma.
35
√
1. Hipotenusa h1 do triângulo retângulo 5 × 13: h1 2 = 52 + 132 ⇒ h1 = 194;
√
2. Hipotenusa h2 do triângulo retângulo 3 × 8: h2 2 = 32 + 82 ⇒ h2 = 73;
√
3. Hipotenusa h3 do triângulo retângulo 2 × 5: h3 2 = 22 + 52 ⇒ h3 = 29.
h1 = h2 + h3 ;
√ √ √
194 = 73 + 29;
√ 2 √ √ 2
194 = 73 + 29 ;
√
194 = 73 + 29 + 2 73 × 29;
√
194 − 73 − 29 = 2 73 × 29;
92 √
= 73 × 29;
2
√ 2
462 = 73 × 29 ;
Definição 2.2. Dois triângulos são semelhantes se, e somente se, possuem os três ângulos
internos ordenadamente congruentes e os lados homólogos proporcionais.
36
1. Triângulos retângulos 5 × 13 e 3 × 8:
5 13
= . (5)
3 8
A igualdade (5) não é verdadeira, uma vez que para tal, 40 deveria ser igual a 39.
2. Triângulos retângulos 5 × 13 e 2 × 5:
5 13
= . (6)
2 5
A igualdade (6) não é verdadeira, uma vez que para tal, 25 deveria ser igual a 26.
3. Triângulos retângulos 3 × 8 e 2 × 5:
3 8
= . (7)
2 5
A igualdade (7) não é verdadeira, uma vez que para tal, 15 deveria ser igual a 16.
As igualdades (5)-(7) são falsas. Dessa forma, os triângulos retângulos não são seme-
lhantes. Novamente, perguntamo-nos: a diagonal do retângulo 5 ×13 é congruente à hipotenusa
do triângulo retângulo 5 × 13?
Definição 2.3. O coeficiente angular de uma reta r não perpendicular ao eixo das abcissas é o
número real m tal que
senα
m = tan α = . (8)
cosα
37
y senα
Figura 2.5: Declividade da reta r: coeficiente angular m = tan α = =
x cosα
5
1. Coeficiente angular m1 da reta suporte da hipotenusa h1 : m1 = ≈ 0, 385;
13
5
Ângulo de inclinação α1 da reta suporte de h1 : α1 = arctan ≈ 21, 04◦ ;
13
3
2. Coeficiente angular m2 da reta suporte da hipotenusa h2 : m2 = = 0, 375;
8
3
Ângulo de inclinação α2 da reta suporte de h2 : α2 = arctan ≈ 20, 56◦ ;
8
2
3. Coeficiente angular m3 da reta suporte da hipotenusa h3 : m3 = = 0, 4;
5
2
Ângulo de inclinação α3 da reta suporte de h3 : α3 = arctan ≈ 21, 80◦ .
5
relacionam A, B, C e X.
construı́das.
O quadrado da Figura 2.14 é dividido em quatro peças, o menor número de peças que
Curry conseguiu empregar, mas na redistribuição das peças falta um quadrado unitário, que
41
encosta na borda do quadrado inicial. Usando quatro peças, Curry não conseguiu fazer com
42
que o “quadrado perdido” não encostasse na borda do quadrado original. A explicação para o
“ganho” de área continua análoga a anterior e podemos verificar visualmente a falha na Figura
2.15.
Gardner (GARDNER, 1956) contribuiu para aumentar o número de casos para o para-
doxo de Curry com formas triangulares. Na Figura 2.4, o triângulo retângulo 5 × 13 ocupa uma
posição fixa, enquanto as outras quatro peças são permutadas. Então esse triângulo pode ser
descartado, deixando apenas outro triângulo retângulo 5 × 13 dividido em quatro peças, con-
forme a Figura 2.16. A explicação para o quadrado perdido permanece a mesma dada para o
caso do retângulo e podemos constatar visualmente a falha na Figura 2.17.
maneiras:
1. os lados congruentes do triângulo isósceles não coincidem com os lados das peças, como
44
Na Figura 2.28, o retângulo 3 × 10, de área igual a 30ua, é dividido em dois triângulos
retângulos e dois trapézios retângulos. Quando as quatro peças são reagrupadas, formam dois
retângulos de área igual a 32ua. Neste caso, pensar em figuras congruentes não nos ajuda a
elucidar o enigma, uma vez que as peças formam figuras com áreas diferentes. Contudo, todas
as demais inconsistências verificadas no paradoxo de Curry - Teorema de Pitágoras, semelhança
de triângulos e a declividade da reta, também são verificadas no exemplo em discussão. Nova-
mente, a explicação lógica para o paradoxo está na sobreposição das peças, conforme mostra a
Figura 2.29. A figura composta pelos dois retângulos não tem nenhuma falha, porém a figura
do retângulo 3 × 10 apresenta uma região sobreposta, cuja área é igual à área de dois quadrados
unitários.
Neste caso, podemos observar na Figura 2.31 que o quadrado 8 × 8 não tem falhas,
enquanto no retângulo falta uma área próxima à diagonal. Esta área mede 1ua, exatamente o
que o quadrado tem a menos do que o retângulo.
Segundo Gardner (GARDNER, 1956), o filho de Samuel Loyd, que adotou o nome do
pai e continuou seu trabalho com enigmas, foi o primeiro a descobrir que as quatro peças do
quadrado da Figura 2.30 poderiam ser organizadas de outra forma, transformando o quadrado
51
de área 64ua em uma figura de área 63ua, como mostra a Figura 2.32.
A explicação para a unidade de área perdida pode ser observada na Figura 2.33. Na
verdade, há uma região de sobreposição de todas as peças. A área dessa região mede a unidade
de área que falta na figura obtida com a reorganização das peças.
O quadrado da Figura 2.30 pode ser construı́do com outras medidas e gerar os mesmos
conflitos. Analisemos na Figura 2.34 o quadrado 13 × 13, onde os números 5, 8 e 13, medidas
de alguns dos lados dos triângulos retângulos e dos trapézios retângulos, são três termos con-
secutivos da sequência de Fibonacci (2). A reorganização das quatro peças gera um retângulo
52
8 × 21, sendo que 8, 13 e 21, onde 13 é a medida do lado do quadrado original, são também três
termos consecutivos da sequência de Fibonacci. Conforme Gardner (GARDNER, 1956), três
termos consecutivos a, b e c da sequência de Fibonacci satisfazem a seguinte propriedade:
b2 = ac ± 1. (11)
132 = 8 × 21 + 1,
82 = 5 × 13 − 1,
isto é, a reorganização das peças do quadrado de lado 8 produz um retângulo 5 × 13 com um
“ganho” de uma unidade de área.
Na Figura 2.35, o retângulo 8 × 13, de área 104ua, foi dividido em quatro peças e reor-
ganizado em um retângulo 5 × 21, de área 105ua. No rearranjo, há um “ganho” de uma unidade
de área. A explicação para este “ganho” está ilustrada na Figura 2.36. Nesta, observamos que
54
não há falhas no retângulo 8 × 13 e que sobra uma área de 1ua no retângulo 5 × 21.
A versão Langman também pode ser construı́da com outras medidas, como por exem-
plo o retângulo 8 × 21 da Figura 2.37. Este retângulo, na redistribuição das peças, forma um
retângulo 5 × 34 com um “ganho” de duas unidades de área.
Em 1924, Banach e Tarski provaram que, se o axioma da escolha é aceito, então uma
bola pode ser cortada em um número finito de pedaços e depois remontada em uma bola de
tamanho maior, ou, alternativamente, pode ser remontada em duas bolas cujos tamanhos são
iguais aos da original, como ilustra a Figura 2.38. Este resultado é denominado de Teorema
de Banach-Tarski, e apesar de poder ser provado formalmente é considerado um paradoxo por
ser um resultado contraintuitivo, contudo não contraditório (WIKIPÉDIA, 2015), assim como o
paradoxo de Galileu. Para González (GONZÁLEZ, 2011), seria contraditório se dividı́ssemos
a bola, ou a esfera, da maneira como dividimos uma laranja em gomos e juntássemos os gomos
para formar duas laranjas de tamanho igual à original. Os gomos da laranja têm um volume
definido e a soma desses volumes equivale ao volume da laranja. Não existe contradição porque
o paradoxo de Banach-Tarski fundamenta-se na não preservação de volumes, sendo definido por
conjuntos de pontos.
Figura 2.38: A decomposição de uma esfera em duas de mesmo tamanho da original (WIKIPÉDIA,
2015)
Definição 2.5. Em um espaço métrico (X, d), a bola fechada B (O, r), centrada no ponto O e de
raio r, é o conjunto de pontos cuja distância ao ponto O não é superior a r, ou seja,
O Teorema 2.6 é uma abstração matemática. Não há uma prova construtivista para
o mesmo, isto é, que descreva a maneira como a bola, ou a esfera, deve ser repartida. Para
56
Questão 3.1 (1a questão). A soma das áreas de cada peça é igual à área dos triângulos forma-
59
Questão 3.2 (2a questão). Utilizando o Teorema de Pitágoras, calcule a medida da hipotenusa
dos três triângulos retângulos. O que você conclui? Empregue a máquina calculadora para
justificar sua conclusão.
Questão 3.3 (3a questão). Observando a figura e a sua construção no Geogebra, o que você
conclui sobre os triângulos formados pelas peças e sobre o quadrado perdido?
60
Questão 3.4 (4a questão). Com base nas conclusões sobre o Paradoxo de Curry, o que você
tem a dizer sobre o Paradoxo de Hooper?
Questão 3.5 (1a questão). Determine a equação geral y = mx + n da reta suporte da diagonal
62
Questão 3.6 (2a questão). No primeiro triângulo formado pelas quatro peças, calcule:
a) y(0) ; b) y(8); c) y(13). As imagens calculadas coincidem com os valores verificados na
Figura?
Questão 3.7 (3a questão). No segundo triângulo formado pelas quatro peças, calcule: a) y(0);
b) y(5); c) y(13). As imagens calculadas coincidem com os valores verificados na Figura?
tas como incorretas e as respostas em branco como “não responderam”, o gráfico da Figura 3.9
ilustra os percentuais de acertos e erros das duas questões.
Questão 3.8 (4a questão). Observando a figura e a sua construção no Geogebra, o que você
conclui sobre os triângulos formados pelas peças e sobre o quadrado perdido?
Questão 3.9 (5a questão). Com base nas conclusões sobre o Paradoxo de Curry, o que você
tem a dizer sobre o Paradoxo de Hooper?
conceituar em Matemática. Também nos preocupou o desinteresse pela atividade, fato não ob-
servado com a turma do 9º ano do Ensino Fundamental. A Figura 3.12 mostra os resultados
gerais da atividade.
Questão 3.10 (1a questão). A soma das áreas de cada peça é igual à área dos triângulos
formados pelas peças?
65
Questão 3.11 (2a questão). Utilizando o Teorema de Pitágoras, calcule a medida da hipotenusa
dos três triângulos retângulos. O que você conclui?
Questão 3.12 (3a questão). Qual é sua explicação para o quadrado perdido?
triângulos não são semelhantes”, “se soprepusermos as figuras, haverá uma diferença entre a
diagonal do retângulo e os triângulos, que formam o quadrado perdido”, “a área do quadrado
perdido está distribuida na hipotenusa”, “as quatro peças não formam um triângulo”; 2 respon-
deram incorretamente afirmando que “o que seria a hipotenusa de um triângulo retângulo é uma
linha curva”. O gráfico da Figura 3.14 mostra os percentuais de acertos e erros da questão.
Questão 3.13 (4a questão). Com base nas conclusões sobre o Paradoxo de Curry, o que você
tem a dizer sobre o Paradoxo de Hooper?
Questão 3.14. Observe o quadrado de lado de medida 7uc, dividido em cinco peças, ilustrado
no Figura 3.17.
3. Compare a soma das áreas das cinco peças com a área do quadrado de lado de medida
7uc. Essas medidas são iguais? Por quê?
2. Calcule a área do retângulo e a área dos dois quadrados e compare as medidas obtidas.
3. As peças empregadas na composição dos dois quadrados são as mesmas peças que for-
mam o retângulo?
4. Por que a soma das áreas dos dois quadrados não é igual à área do retângulo?
Questão 3.16. Na Figura 3.19, um quadrado de lado de medida 9uc é dividido em quatro
peças de maneira que o rearranjo de três delas (a peça A é mantida fixa) produza o mesmo
quadrado, porém com uma unidade de área a mais. Essa decomposição é baseada no paradoxo
do tabuleiro.
Figura 3.19: Quadrado de lado 9uc dividido em quatro peças (GARDNER, 1956)
69
1. Calcule a área de cada uma das peças. A soma dessas áreas é igual à área do quadrado
de lado de medida 9uc?
3. Justifique porque o segundo quadrado tem uma unidade de área a mais do que o primeiro.
Questão 3.17. O Tangram é um antigo quebra-cabeça chinês composto por sete peças que
formam um quadrado, como ilustra a Figura 3.20. O mesmo conjunto de peças do Tangram
pode produzir duas figuras com áreas aparentemente diferentes, uma das quais é um subcon-
junto apropriado da outra, como na Figura 3.22. Dudeney (DUDENEY, 1958) denominou essa
contradição de paradoxo do Tangram.
1. Usando o Tangram, construa as imagens da Figura 3.21. Qual tem a maior área? Justi-
fique.
2. Na Figura 3.22, qual das duas gravuras de um chinês tem a maior área? Por quê?
Questão 3.18. Na Figura 3.23, um triângulo de Curry de área 60ua é decomposto em seis
peças que, reorganizadas, formam outro triângulo de Curry, de área 58ua, ou um polı́gono não
convexo de área 59ua.
2. Calcule a área de cada uma das seis peças. A soma dessas áreas é igual à área do
triângulo que elas formam?
3. Das seis peças, quatro são triângulos retângulos congruentes dois a dois. Os triângulos
retângulos de catetos de medidas 2uc e 5uc e 3uc e 7uc são semelhantes? Justifique.
4. A reta suporte das hipotenusas dos triângulos retângulos de catetos de medidas 2uc e 5uc
e 3uc e 7uc é a mesma? Justifique.
Questão 3.19. A Figura 3.24 ilustra o paradoxo de Hooper: um quadrado de lado de medida
8uc, de área 64ua, é decomposto em quatro peças, dois triângulos retângulos congruentes e dois
trapézios retângulos congruentes. Essas peças, quando reorganizadas, formam um retângulo
de lados de medidas 5uc e 13uc, de área 65ua.
2. Na Figura 3.24(b), a reta suporte das hipotenusas dos triângulos retângulos de catetos
de medidas 3uc e 8uc é a mesma da diagonal do retângulo de lados de medidas 5uc e
13uc? Justifique.
3. Explique por que o retângulo tem uma unidade de área a mais do que o quadrado se
ambos são formados pelas mesmas peças.
(a) Quadrado dividido em quatro (b) Retângulo construı́do com as quatro peças do quadrado
peças
Figura 3.26: O paradoxo da carta de baralho de Robert Pages (Robert Pages’s business card para-
dox) (TOMATIS, S.d.a)
73
4 CONCLUSÕES
Transcorridos quase trinta anos, a situação nos parece a mesma ou pior. Estamos cien-
tes de que os resultados de duas turmas são insuficientes para fazermos inferências represen-
tativas sobre o ensino de Geometria na Educação Básica brasileira. Contudo, os resultados
da prova de Matemática e suas Tecnologias do ENEM - Exame Nacional do Ensino Médio,
que apresenta um número expressivo de questões sobre Geometria Plana e Geometria Espacial,
parecem corroborar essa conclusão.
74
Finalizando, acreditamos que este trabalho pode ser útil para os professores de Ma-
temática do Ensino Fundamental e do Ensino Médio como estı́mulo/suporte para a organização
e aplicação de atividades recreativas em sala de aula. O trabalho também contribuiu para a
reflexão sobre a prática docente da autora, gerando expectativas de mudanças e, consequente-
mente, de melhoria do processo ensino-aprendizagem em Matemática.
75
REFERÊNCIAS
ALVES, E. C. A.; MORAIS FILHO, D. C. de. Paradoxos geométricos recreativos como re-
curso didático. In: UNIVERSIDADE FEDERAL DE CAMPINA GRANDE. VII Semana da
Matemática, 10 anos do PPGMAT. Paraı́ba, S.d.
APROSIO, A. P. Pinóquio no paı́s dos paradoxos. 1. ed. Rio de Janeiro: Zahar, 2015.
BOGOMOLNY, A. Dissection of a Rectangle into Two Chessboards. 2017. Disponı́vel em:
<htt p : //www.cut − the − knot.org/pythagoras/TwoChessboards.shtml>. Acesso em: 16 de
janeiro de 2017.
CANO, J. Tangram. 2017. Disponı́vel em: <htt p :
//pt.slideshare.net/ juanmacano104/tangram − 27965582?smtNoRedir = 1>. Acesso
em: 12 de fevereiro de 2017.
CIÊNCIAONLINE. Dez alucinantes paradoxos que o vão deixar confuso. 2014. Disponı́vel
em: <htt p : //www.ciencia − online.net/2014/04/10 − alucinantes − paradoxos.html>.
Acesso em: 16 de dezembro de 2016.
COLDWELL, N. A collection of quant riddles answers. 2017. Disponı́vel em: <htt p :
//puzzles.nigelcoldwell.co.uk/>. Acesso em: 06 de janeiro de 2017.
DOLCE, O.; POMPEO, J. N. Fundamentos de Matemática Elementar: Geometria Plana.
7. ed. São Paulo: Atual, 1993.
DUDENEY, H. Amusements in Mathematics. New York: Dover, 1958.
EUCLIDES. Os elementos. São Paulo: Editora Unesp, 2009.
FARLOW, S. J. Paradoxes in mathematics. 1. ed. New York: Dover, 2014.
GARDNER, M. Mathematics, magic and mystery. 1. ed. New York: Dover, 1956.
GONZÁLEZ, C. G. Paradoxos, o infinito e a intuição geométrica. Educação e Filosofia
Uberlândia, Uberlândia, v. 25, n. 50, p. 717–740, 2011.
HOMESCHOOLMATH. Geometric vanish puzzles. 2015. Disponı́vel em: <htt p :
//www.homeschoolmath.net/teaching/geometricv anishes p uzzles.php>. Acesso em: 06 de ja-
neiro de 2017.
HYPESCIENCE. Dez paradoxos para explodir sua cabeça. 2013. Disponı́vel em: <htt p :
//hypescience.com/10 − paradoxos/>. Acesso em: 16 de dezembro de 2016.
IEZZI, G. Fundamentos de Matemática Elementar: Geometria Analı́tica. 4. ed. São Paulo:
Atual, 1993.
LIMA, E. L. Números e funções reais. 1. ed. Rio de Janeiro: SBM, 2013. (Coleção PROFMAT,
v. 7).
77
LIMA, E. L. et al. Temas e problemas elementares. 3. ed. Rio de Janeiro: SBM, 2012.
(Coleção PROFMAT, v. 5).
MUNIZ NETO, A. C. Geometria. 1. ed. Rio de Janeiro: SBM, 2013. (Coleção PROFMAT,
v. 9).
SILVA, S. G. da; DE JESUS, J. P. C. Cem anos do axioma da escolha: Boa ordenação, lema de
zorn e o teorema de tychonoff. Matemática Universitária, n. 42, p. 16–34, 2007.
SOUZA, J. C. de Mello e. Matemática divertida e curiosa. 22. ed. Rio de Janeiro: Record,
2006.
TOMATIS, M. Curse of the crystal skulls and other vanishing area puzzles. S.d. Disponı́vel
em: <htt p : //www.marianotomatis.it/blog/research.php?url = 20110707>. Acesso em: 16
de dezembro de 2016.
Estudante: ____________________________________
Paradoxo de Curry
Paul Curry (1917-1986): mágico amador de Nova Iorque, criou o enigma do quadrado perdido.
Na Figura 1, os triângulos são formados por quatro peças iguais dispostas de maneiras distintas,
mas o segundo triângulo possui um quadrado a menos que o primeiro.
1. A soma das áreas de cada peça é igual à área dos triângulos formados pelas peças?
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
3. Observando a figura e a sua construção no Geogebra, o que você conclui sobre os triângulos
formados pelas peças e sobre o quadrado perdido?
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
Paradoxo de Hooper
4. Com base nas conclusões sobre o Paradoxo de Curry, o que você tem a dizer sobre o
Paradoxo de Hooper?
__________________________________________________________________
__________________________________________________________________
__________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
Referências
[1] GARDNER, Martin. Mathematics, magic and mystery. New York: Dover, 1956.
Acesso em 02/09/2016.
Acesso em 02/09/2016.
82
Estudante: ____________________________________
Paradoxo de Curry
Paul Curry (1917-1986): mágico amador de Nova Iorque, criou o enigma do quadrado perdido.
Na Figura 1, os triângulos são formados por quatro peças iguais dispostas de maneiras distintas,
mas o segundo triângulo possui um quadrado a menos que o primeiro.
2. No primeiro triângulo formado pelas quatro peças, calcule: a) y0 ; b) y8 ; c) y13 . As
imagens calculadas coincidem com os valores verificados na Figura?
________________________________________________________________________
________________________________________________________________________
3. No segundo triângulo formado pelas quatro peças, calcule: a) y0 ; b) y5 ; c) y13 . As
imagens calculadas coincidem com os valores verificados na Figura?
________________________________________________________________________
________________________________________________________________________
4. Observando a figura e a sua construção no Geogebra, o que você conclui sobre os triângulos
formados pelas peças e sobre o quadrado perdido?
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
Paradoxo de Hooper
5. Com base nas conclusões sobre o Paradoxo de Curry, o que você tem a dizer sobre o
Paradoxo de Hooper?
__________________________________________________________________
__________________________________________________________________
__________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
Referências
[1] GARDNER, Martin. Mathematics, magic and mystery. New York: Dover, 1956.
Acesso em 02/09/2016.
Acesso em 02/09/2016.
85
Estudante: ____________________________________
Paradoxo de Curry
Paul Curry (1917-1986): mágico amador de Nova Iorque, criou o enigma do quadrado perdido.
Na Figura 1, os triângulos são formados por quatro peças iguais dispostas de maneiras distintas,
mas o segundo triângulo possui um quadrado a menos que o primeiro.
1. A soma das áreas de cada peça é igual à área dos triângulos formados pelas peças?
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
3. Qual é sua explicação para o quadrado perdido?
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
Paradoxo de Hooper
4. Com base nas conclusões sobre o Paradoxo de Curry, o que você tem a dizer sobre o
Paradoxo de Hooper?
__________________________________________________________________
__________________________________________________________________
__________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
Referências
[1] GARDNER, Martin. Mathematics, magic and mystery. New York: Dover, 1956.
Acesso em 02/09/2016.
Acesso em 02/09/2016.
88