José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3)

Documentos relacionados
Enumerabilidade. Capítulo 6

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

Os números primos de Fermat complementam os nossos números primos, vejamos: Fórmula Geral P = 2 = 5 = 13 = 17 = 29 = 37 = 41 = Fórmula Geral

Conjuntos Enumeráveis e Não-Enumeráveis

Roteiro da segunda aula presencial - ME

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso)

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

Quantos Dígitos...? 1

Faculdade de Computação

MA11 - Unidade 4 Representação Decimal dos Reais Semana 11/04 a 17/04

Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução

Forma Fechada para os Números de Catalão

Bases Matemáticas - Turma A3 1 a Avaliação (resolvida) - Prof. Armando Caputi

Bases Matemáticas - Turma B3 1 a Avaliação (resolvida) - Prof. Armando Caputi

11º ano - Indução matemática

ENQ Gabarito e Pauta de Correção

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

MA21: Resolução de Problemas - segunda prova - gabarito. Problema 1 (Olimpíada turca de 1996; 2 pontos) Considere o polinomio:

Um Estudo Sobre a Enuberabilidade do Conjunto Q dos Números Racionais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3

Capítulo 2. Conjuntos Infinitos

ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. Questão 01 [ 1,25 ]

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

GAAL /1 - Simulado - 2 produto escalar, produto vetorial, retas e planos. Exercício 1: Determine a equação do plano em cada situação descrita.

Lista 1 - Cálculo Numérico - Zeros de funções

NÚMEROS INTEIROS E CRIPTOGRAFIA UFRJ

Um espaço métrico incompleto 1

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito

Análise I Solução da 1ª Lista de Exercícios

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito. a(x x 0) = b(y 0 y).

Caro(a) aluno(a), Coordenadoria de Estudos e Normas Pedagógicas CENP Secretaria da Educação do Estado de São Paulo Equipe Técnica de Matemática

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito. c1 + c 2 = 1 c 1 + 4c 2 = 3. a n = n. c 1 = 1 2c 1 + 2c

UFF/GMA - Matemática Básica I - Parte III Notas de aula - Marlene

Aula 22 O teste da derivada segunda para extremos relativos.

Resolvendo sistemas. Nas aulas anteriores aprendemos a resolver

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE

P1 de Análise Real ou Análise I Data: 16 de abril de 2008

1 Introdução à Combinatória Enumerativa: O Princípio de Inclusão-Exclusão

Parte 1. Conjuntos finitos, enumeráveis e

Provas de Análise Real - Noturno - 3MAT003

Veja exemplos de sequências finitas e infinitas: Sequência finita: (5, 7, 9, 11, 13, 15, 17, 19) Sequência infinita (3, 5, 7, 11, 13, 17,...

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais

Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Fundamentos de Análise

III Encontro de Educação, Ciência e Tecnologia

Gabarito e Pauta de Correção ENQ

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Sequências e Séries Infinitas. Copyright Cengage Learning. Todos os direitos reservados.

Funções. Funções. Cardinalidade de conjuntos. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Álgebra A - Aula 02 Teorema da fatoração única, Propriedade fundamental dos primos, números primos

MA21: Resolução de Problemas - gabarito da primeira prova

Números naturais e cardinalidade

Material Teórico - Módulo Progressões Aritméticas. Definição e Lei de Formação de uma PA. Primeiro Ano

UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL. Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE

AmigoPai. Matemática. Exercícios de Equação de 2 Grau

A forma canônica de Jordan

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

1 Congruência. 2. m mmc(n, m) m a b. De 1) e 2) segue que: a b mod n e a b mod m.

Sequências e Séries Infinitas. Copyright Cengage Learning. Todos os direitos reservados.

Teoria dos Grafos AULA 3

O verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática

Existem infinitos números de Carmichael, mas não provaremos isso neste curso.

A Equivalência entre o Teorema do Ponto Fixo de Brouwer e o Teorema do Valor Intermediário

LIMITES E CONTINUIDADE

Método Simplex. Marina Andretta ICMC-USP. 19 de outubro de 2016

Funções Definidas Implicitamente - Parte I

1.3 Matrizes inversas ] [ 0 1] = [ ( 1) ( 1) ] = [1 0

6.1.2 Derivada de ordem superior e derivação implícita

Aula 05 - Limite de uma Função - Parte I Data: 30/03/2015

Capítulo 0: Conjuntos, funções, relações

DCC008 - Cálculo Numérico

MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004

Neste artigo, a título de sugestão de abordagem do tema, apresentamos exemplos de explicitação e utilização de algumas dessas regras.

Derivadas Parciais Capítulo 14

Soluções dos Exercícios do Capítulo 2

= 2 sen(x) (cos(x) (b) (7 pontos) Pelo item anterior, temos as k desigualdades. sen 2 (2x) sen(4x) ( 3/2) 3

1 A Equação Fundamental Áreas Primeiras definições Uma questão importante... 7

Matemática E Intensivo V. 1

Construção dos Números Reais

Análise de Algoritmos

Interpolação polinomial

CÁLCULO I Prof. Edilson Neri Júnior Prof. André Almeida

SISTEMAS LINEARES PROF. EDÉZIO

Os números reais. Capítulo O conjunto I

5 AULA. em Séries de Potências LIVRO. META Apresentar os principais métodos de representação de funções em séries de potências.

Matemática I. 1 Propriedades dos números reais

2º Trimestre ÁLGEBRA. Aula 7 _ Progressão Aritmética Professor Luciano Nóbrega. Maria Auxiliadora

Maratona de Matemática

MATEMÁTICA A - 12o Ano Funções - Limites e Continuidade Propostas de resolução

Resumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos

OBMEP 2010 Soluções da prova da 2ª Fase Nível 2. Questão 1

Produtos de potências racionais. números primos.

Relações de Recorrência

Sequências e Séries Infinitas. Copyright Cengage Learning. Todos os direitos reservados.

Capítulo 2: Procedimentos e algoritmos

EQUAÇÕES FUNCIONAIS PARA OS MAIS JOVENS Ricardo César da Silva Gomes, IFCE, Jaguaribe CE

Matemática Discreta - 06

Transcrição:

A ENUMERABILIDADE DE E O CHÃO TRIANGULAR José Paulo Carneiro Nível Intermediário < < é < < e <, (onde < = {0; 1; ; < < sobre <, Uma das maneiras mais conhecidas de mostrar que o conjunto enumerável, isto é, que existe uma bijeção entre } é o conjunto dos números naturais) é exibir uma bijeção de inspirada na figura: a qual sugere a enumeração: (0; 0) (0; 1) (0; ) (0; 3) (1; 0) (1; 1) (1; ) (1; 3) (; 0) (; 1) (; ) (; 3) (3; 0) (3; 1) (3; ) (3; 3) (0; 0); (1; 0); (0; 1); (; 0); (1; 1); (0; ); (3; 0); (; 1); (1; ); (0; 3); Ou seja, colocamos, sucessivamente, os pares (a; b) tais que a soma a + b assuma os valores 0; 1; ; 3;, e dentro da cada grupamento que tenha a + b constante (correspondente, na figura, a uma das diagonais indicadas), ordenamos os pares pela ordem natural de sua segunda componente. Obtém-se então a bijeção: f : < < < (0; 0) 0 (1; 0) 1 (0; 1) (; 0) 3 (1; 1) 4 (0; ) 5. Onde f(x; y) é o lugar que ocupa (x; y) nesta enumeração. (Como estamos incluindo 0 em N, é preciso começar a contar a partir do 0-ésimo lugar). Uma questão interessante é produzir uma fórmula explícita para esta função e utilizar esta fórmula para provar que f é realmente uma bijeção.

Para isto, seja (x; y) < <. Observando a figura, vê-se que se (x; y) for tal que x + y = s > 0, então o par (x; y) é precedido, pelo menos, por todos os pares (u; v) tais que u + v = 0; 1; ; ;s 1. Existe um par que tem soma 0, dois que têm soma 1, e assim por diante, até s pares que têm soma s 1, de modo que esses pares são ss ( + 1) em número de 1 +... + s =. Além disto, já na sua diagonal, o par (x; y) é precedido por y pares. ( )( 1) ( ) 3 Portanto, ( ; ) x + y x + y + x + f x y y y + x + = + = y. Finalmente, constata-se diretamente que esta fórmula também é válida se (x; y) = (0; 0). Podemos então concluir que f é dada pela fórmula: f( x; y) = f : < < < ( + ) + + 3 x y x y Pode ser útil ao leitor testar esta fórmula para pares específicos. Imaginemos agora que seja apresentado ao leitor, sem nenhuma menção a sua origem, o seguinte problema: provar que a função definida por f( x; y) = é uma bijeção de < < sobre <. Naturalmente, o leitor iniciará tentando provar que f é injetiva, mostrando que f(a; b) = f(c; d) implica (a; b) = (c; d). Mas da equação ( a+ b) + a+ 3 b ( c+ d) + c+ 3d = não é imediato concluir que (a; b) = (c; d), como o leitor pode experimentar. No entanto, se lembrarmos a maneira pela qual criamos a fórmula definidora de f, podemos raciocinar do seguinte modo. Suponhamos primeiro que a + b = c + d (ou seja, (a; b) e (c; d) estão na mesma diagonal). Neste caso, f(a; b) = f (c; d) (a + b) + a + 3b = (c + d) + c + 3d a + b + b = c + d + d b = d b = d e, portanto, a = c. Por outro lado; se a + b c + d, podemos supor, sem perda de generalidade, que a + b > c + d. Mas então (a + b) > (c + d ) e, como f (a; b) = f(c; d), obtém-se (a + b) (c + d) = 3d + c (3b + a) > 0, mas (a + b) (c + d ) =

(a + b c d)(a + b + c + d) a + b + c + d, e logo 3d + c (3b +a) a + b + c +d, donde d a + 4b, e portanto c + d d a + b a + b, absurdo. Logo, não pode ocorrer o caso a + b > c + d, e a conclusão final é que f é injetiva. Provar a sobrejetividade de f, sem apelar para a forma pela qual criamos f, não parece fácil. O que queremos provar é que, dado n <, existe um par (x; y) tal que f( x; y) = = n. É aconselhável que o leitor primeiro tente fazê-lo, para sentir a dificuldade de calcular x e y em função de n. Para começar por um exemplo concreto, se n = 50, quem é (x; y) = f 1 (50)? Ou seja, calcule x e y naturais (e já sabemos, pela injetividade, que serão únicos!) tais que = 50. Se apelarmos para o esquema das diagonais, vamos iniciar perguntando em que diagonal está o 50 o. par. Para isto, vamos descobrir primeiro quais números da forma 1; 1 + = 3; 1 + + 3 = 6, etc., precedem 50. Calculando "no braço", vemos que 50 é precedido por 1; 3; 6; 10; 15; 1; 8; 36; 45 = 1 + + 3 + 4 + 5 + 6 + 7 + 8 + 9 (o próximo já seria 55). Isto significa que f 1 (50) é precedido pelos 45 pares (u; v) que têm somas u + v = 0; 1; ; ;8, sendo o último deles igual a (0; 8) = f 1 (44) (não esqueça de contar a partir do 0). A diagonal seguinte começa com o par (9; 0) = f 1 (45). Para chegar ao 50, precisamos andar mais cinco pares sobre esta diagonal: (8; 1); (7; ); (6; 3); (5; 4); (4; 5), chegando até o (4; 5) = f 1 (50). Este par é o 50 o. da seqüência (nunca esquecendo de contar a partir do 0) e, portanto, é o único que satisfaz a f(x; y) = 50. Para abordar o caso geral, vamos primeiro lembrar que os números T 1 = 1; T = 1 ( + 1) + = 3, T 3 = 1 + + 3,, T = 1 +... + =, são chamados números triangulares (ver [1]). Dado n (vamos considerar somente n > 0, já que f 1 (0) = (0; 0) é imediato), para determinar (x; y) = f 1 (n) pelo método usado acima, é necessário primeiro determinar o maior número triangular T tal que T n, que vamos chamar de chão triangular de n. Por exemplo, como vimos, o chão triangular de 50 é 45. A existência do chão triangular de n, no caso geral, decorre do seguinte: a seqüência T 1 ; ; T m ; é ilimitada superiormente; logo, algum T m é maior do que n; pelo Princípio da Boa Ordenação dos números naturais (ver []), seja T j o menor dos T m que são maiores do que n; então T j 1 é o chão triangular de n; de fato, Tj 1 n < Tj.

Para mostrar a unicidade do chão triangular de n, suponha (por absurdo) que Tp n< T p + 1 e Tq n< T q + 1 com p < q (sem perda de generalidade). Como a seqüência (T m ) é estritamente crescente, n < T 1 T n, absurdo. Uma vez então determinado T, o chão triangular de n, o par (x; y) = f 1 (n) estará na diagonal de soma, formada pelos pares (; 0); ( 1; 1); ;(0; ). Nesta diagonal, f(; 0) = T ; f( 1; 1) = T + 1; ; f(0; ) = T + = T + 1 1, ou seja, de um modo geral: f( j; j) = T + j. Quando j = n T, termos 1 f( n+ T ; n T ) = n. Logo: ( xy ; ) = f ( n) = ( n+ T; n T). Por exemplo: f 1 (50) = (9 50 + 45;50 45) = (4;5). Como conseqüência deste raciocínio, fica claro que f é injetiva e sobrejetiva e que se pode determinar de modo único f 1 (n) para cada n pela fórmula: p+ 0; se 0 1 n f () n = = ( n + T; n T); se n > 0 onde T é o chão triangular de n. Mas permanece um problema mais sutil; existe alguma fórmula fechada que calcule tal que T seja o chão triangular de um dado n? xx Para responder a isto, observe que a solução positiva de ( + 1) = n é 8n + 1 1 xx ( + 1) x0 = e que a função f() x = é crescente em [0; + [. Sendo, pois = x 0 (onde x 0 simboliza o chão inteiro de x 0, ou a parte inteira de x 0 ), 0 0 temos x0 < + 1 e, portanto: T = = n< = T + q ( + 1) x ( x + 1) ( + 1)( + ) 1.

Conclusão: uma expressão explícita para tal que T seja o chão triangular de n é: 8n+ 1 1 =. Por exemplo, para n = 50, temos: 401 1 = = 9,51... = 9. Referências: [1] Carneiro, J.P.; Contar de duas maneiras, para generalizar; Eurea! N o. 6; pp. 15-17. [] Carneiro, J.P; O Princípio da Descida Infinita de Fermat; Revista do Professor de Matemática, N o. 3; 3 o. quadrimestre de 1996; pp. 39-44.