Algoritmo de Euclides Estendido, Relação de Bézout e Equações Diofantinas. O Algortimo de Euclides Estendido. Tópicos Adicionais

Documentos relacionados
Módulo: aritmética dos restos. Divisibilidade e Resto. Tópicos Adicionais

Números Naturais Representação, Operações e Divisibilidade. Múltiplos e Divisores. Tópicos Adicionais

Aritmética dos Restos. Pequeno Teorema de Fermat. Tópicos Adicionais

O Algoritmo de Euclides

Módulo de Números Naturais. Divisibilidade e Teorema da Divisão Euclideana. 8 ano E.F.

Definição. Diremos que um número inteiro d é um divisor de outro inteiro a, se a é múltiplo de d; ou seja, se a = d c, para algum inteiro c.

Módulo de Equações do Segundo Grau. Relações entre coeficientes e raízes. Nono Ano

Introdução à Teoria dos Números - Notas 4 Máximo Divisor Comum e Algoritmo de Euclides

4.1 Cálculo do mdc: algoritmo de Euclides parte 1

Portal da OBMEP. Material Teórico - Módulo de Divisibilidade. MDC e MMC - Parte 1. Sexto Ano

Números Irracionais e Reais. Oitavo Ano

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:

Módulo de Geometria Anaĺıtica 1. 3 a série E.M.

Módulo de Elementos básicos de geometria plana. Condição de alinhamentos de três pontos e a desigualdade triangular. Oitavo Ano

Polos Olímpicos de Treinamento (POT) Curso de Teoria dos Números - Nível 2. Aula 1 - Divisibilidade I

Módulo de Progressões Aritméticas. Soma dos termos de uma P.A. 1 a série E.M. Professores Tiago Miranda e Cleber Assis

Módulo de Elementos básicos de geometria plana. Conceitos Geométricos Básicos. Oitavo Ano

Elementos de Matemática Finita

MDC, MMC, Algoritmo de Euclides e o Teorema de Bachet-Bézout

UDESC - Universidade do Estado de Santa Catarina CCT - Centro de Ciências Tecnológicas DMAT - Departamento de Matemática

Módulo de Geometria Anaĺıtica Parte 2. Circunferência. Professores Tiago Miranda e Cleber Assis

Números Inteiros Algoritmo da Divisão e suas Aplicações

Módulo de Números Inteiros e Números Racionais. Números Racionais e Suas Operações. 7 ano E.F.

III) se deste número n subtrairmos o número 3816, obteremos um número formado pelos mesmos algarismos do número n, mas na ordem contrária.

CENTRO EDUCACIONAL GIRASSOL TD de Matemática Prof.: Tiago Rodrigues

Módulo de Plano Cartesiano e Sistemas de Equações. Discussão de Sistemas de Equações. Professores: Tiago Miranda e Cleber Assis

Módulo Unidades de Medidas de Comprimentos e Áreas. Exercícios Diversos de Áreas de Figuras. 6 ano/e.f.

Cálculo do MDC e MMC

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Actividade Formativa 1

NÚMEROS INTEIROS. Álgebra Abstrata - Verão 2012

FATORAÇÃO. Os métodos de fatoração de expressões algébricas são:

Algoritmos. OBMEP Teoria dos números - Parte I. Algoritmo da divisão:

MA14 - Aritmética Unidade 5 Resumo. Máximo Divisor Comum

Módulo de Áreas de Figuras Planas. Áreas de Figuras Planas: Mais alguns Resultados. Nono Ano

Pode-se mostrar que da matriz A, pode-se tomar pelo menos uma submatriz quadrada de ordem dois cujo determinante é diferente de zero. Então P(A) = P(A

XIX Semana Olímpica de Matemática. Nível 2. Equações Diofantinas Lineares e o Teorema Chinês dos Restos. Samuel Feitosa

Definição: Uma função de uma variável x é uma função polinomial complexa se pudermos escrevê-la na forma n

XXXIV OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 2 (8º. e 9º. anos) GABARITO

Uma curiosa propriedade com inteiros positivos

Números Primos, MDC e MMC. O próximo teorema nos diz que os primos são as peças fundamentais dos números inteiros:

Projecto Delfos: Escola de Matemática Para Jovens 1 TEORIA DOS NÚMEROS

MATEMÁTICA DISCRETA ARITMÉTICA RACIONAL (2/6) Carlos Luz. EST Setúbal / IPS Abril 2012

TEOREMA FUNDAMENTAL DA ARITMÉTICA: APLICAÇÕES

Álgebra A - Aula 01 Algoritmo da divisão de Euclides e Algoritmo Euclideano estendido

QUESTÃO 16 A figura abaixo representa um pentágono regular, do qual foram prolongados os lados AB e DC até se encontrarem no ponto F.

Polos Olímpicos de Treinamento. Aula 6. Curso de Teoria dos Números - Nível 2. Congruências II. Prof. Samuel Feitosa

Módulo de Elementos básicos de geometria plana. Oitavo Ano

Equações Diofantinas. Patrícia Cristina Souza dos Santos. Fabíola Ribeiro. Orientador: Igor Lima. Matemática-UFG-CAC. Introdução

Módulo de Círculo Trigonométrico. Relação Fundamental da Trigonometria. 1 a série E.M.

MATEMÁTICA 1 MÓDULO 2. Divisibilidade. Professor Matheus Secco

Matemática Discreta. Introdução à Teoria de Números - Exercícios 1 o ano /2011

Material Teórico - Módulo de Potenciação e Dízimas Periódicas. Números Irracionais e Reais. Oitavo Ano. Prof. Ulisses Lima Parente

Congruências I. Por exemplo, 7 2 (mod 5), 9 3 (mod 6), 37 7 (mod 10) mas 5 3 (mod 4). Veja que a b (mod m) se, e somente se, m a b.

SOCIEDADE EDUCACIONAL DO AMANHÃ. Profª: EDNALVA DOS SANTOS

Módulo Binômio de Newton e o Triângulo de Pascal. Desenvolvimento Multinomial. 2 ano/e.m.

UNIVERSIDADE ESTADUAL VALE DO ACARAÚ. 1 a Lista de Exercícios - Comentada - Estruturas Algébricas II Professor Márcio Nascimento

MATEMÁTICA 1 ARITMÉTICA Professor Matheus Secco

XIX Semana Olímpica de Matemática. Nível 2. Divisibilidade. Carlos Shine

Módulo Divisibilidade. Conjunto e Quantidade de Divisores. 6 ano E.F. Professores Cleber Assis e Tiago Miranda

Módulo de Progressões Geométricas. Soma dos Termos da P.G. Infinita. 1 a série E.M. Professores Tiago Miranda e Cleber Assis

Teoremas e Propriedades Operatórias

SISTEMA DECIMAL. No sistema decimal o símbolo 0 (zero) posicionado à direita implica em multiplicar a grandeza pela base, ou seja, por 10 (dez).

1 a série E.M. Professores Tiago Miranda e Cleber Assis

Deixando de odiar Matemática Parte 4

MATEMÁTICA PROF. JOSÉ LUÍS FRAÇÕES

Módulo Divisibilidade. Critérios de Divisibilidade. 6 ano E.F. Professores Cleber Assis e Tiago Miranda

Equação algébrica Equação polinomial ou algébrica é toda equação na forma anxn + an 1 xn 1 + an 2 xn a 2 x 2 + a 1 x + a 0, sendo x

CURSO ANUAL DE MATEMÁTICA VOLUME 1

Podemos concluir que o surgimento do número fracionário veio da necessidade de representar quantidades menores que inteiros, por exemplo, 1 bolo é um

Polos Olímpicos de Treinamento. Aula 1. Curso de Teoria dos Números - Nível 3. Divisibilidade 1. Carlos Gustavo Moreira e Samuel Barbosa Feitosa

1 a série E.M. Professores Tiago Miranda e Cleber Assis

Módulo Geometria Espacial II - volumes e áreas de prismas e pirâmides. 3 ano/e.m.

Conjunto dos Números Complexos

Resoluções. Aula 1 NÍVEL 2. Classe

38ª OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 1 (6º e 7º anos do Ensino Fundamental) GABARITO

Propostas de resolução. Capítulo 1 Números racionais

a) Falsa. Por exemplo, para n = 2, temos 3n = 3 2 = 6, ou seja, um número par.

Módulo Divisibilidade. Conjunto e Quantidade de Divisores. 6 ano E.F. Professores Cleber Assis e Tiago Miranda

Módulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano

SISTEMA ANGLO DE ENSINO G A B A R I T O

A resolução desses problemas pode geralmente ser feita com o seguinte procedimento: Problemas de divisibilidade 1

Bézout e Outros Bizus

Módulo Divisibilidade. Múltiplos e Divisores. 6 ano E.F. Professores Cleber Assis e Tiago Miranda

MATEMÁTICA MÓDULO 1 TEORIA DOS NÚMEROS 1. DIVISIBILIDADE 1.1. DEFINIÇÃO 1.2. CRITÉRIOS DE DIVISIBILIDADE

TÓPICOS DE MATEMÁTICA II. O Curso está dividido em três unidades, temos que concluir todas.

O problema proposto possui alguma solução? Se sim, quantas e quais são elas?

DIVISÃO DE POLINÔMIOS

Resolução dos Exercícios 31/05-09/06.

Material Teórico - Módulo Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano do Ensino Funcamental

Módulo de Geometria Espacial I - Fundamentos. Pontos, Retas e Planos. 3 ano/e.m.

Cálculo Combinatório

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

XXXIII OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 2 (8º e 9º. anos) GABARITO

Unidade I MATEMÁTICA. Prof. Celso Ribeiro Campos

Módulo de Produtos Notáveis e Fatoração de Expressões Algébricas. Produtos Notáveis. Oitavo Ano

Soluções Comentadas Matemática Curso Mentor Centro Federal de Educação Tecnológica CEFET. Barbosa, L.S.

Transcrição:

Algoritmo de Euclides Estendido, elação de Bézout e Equações Diofantinas O Algortimo de Euclides Estendido Tópicos Adicionais

Tópicos Adicionais O Algoritmo de Euclides Estendido 1 Exercícios Introdutórios Exercício 1. Aplique o Algoritmo de Euclides para encontrar mdc(2322, 654). Exercício 2. Calcule mdc(42823, 6409). Exercício 3. O Algoritmo de Euclides pode ser sintetizado de forma prática em uma tabela, como ilustrado abaixo. 7 1 1 4 272 36 20 16 4 20 16 4 4 0 Os valores da tabela correspondem as seguintes divisões sucessivas: 272 = (36 7) + 20 36 = (20 1) + 16 20 = (16 1) + 4 16 = (4 4) + 0 epita o procedimento representado na tabela anterior para calcular mdc(695, 135). Exercício 9. Três máquinas I,, S imprimem pares de inteiros positivos em tickets. Para a entrada (x, y), as máquinas I,, S imprimem respectivamente (x y, y), (x + y, y), (y, x). Iniciando com o par (1, 2) podemos alcançar a) (819, 357)? b) (19, 79)? Exercício 10. Prove que 21n + 4 é irredutível para todo 14n + 3 número natural n. Exercício 11. Se x e y são inteiros tais que 2xy divide x 2 + y 2 x, prove que x é um quadrado perfeito Exercício 12. A sequência a 1, a 2,... de naturais satisfaz mdc(a i, a j ) = mdc(i, j) para todo i = j Prove que a i = i para todo i. Exercício 13. Mostre que mdc(2 120 1, 2 100 1) = 2 20 1. Exercício 14. Encontre mdc(2n + 13, n + 7) Exercício 15. Prove que a fração 12n+1 30n+2 é irredutível. Exercício 16. Prove que, para todo natural n, mdc(n! + 1, (n + 1)! + 1) = 1. Exercício 17. Sejam a, b, c, d inteiros não nulos tais que ad bc = 1. Prove que c+d a+b é uma fração irredutível. 2 Exercícios de Fixação Exercício 4. Calcule: a) mdc(n, n 2 + n + 1). b) mdc(3 2012, 2 2012 + 1). ( 2 40 ) + 1 c) mdc 2 8 + 1, 28 + 1. Exercício 5. No planeta X, existem apenas dois tipos de notas de dinheiro: $5 e $78. É possível pagarmos exatamente $7 por alguma mercadoria? E se as notas fossem de $ 3 e $ 78? Exercício 6. Exercício 7. Encontre inteiros a e b tais que 1235a + 415b = mdc(1235, 415) Encontre inteiros a e b tais que 42823a + 6409b = 17 3 Exercícios de Aprofundamento e de Exames Exercício 8. Seja S um conjunto infinito de inteiros não negativos com a seguinte propriedade: dados dois quaisquer de seus elementos, o valor absoluto da diferença entre eles também pertence a S. Se d é o menor elemento positivo de S, prove que S consiste de todos os múltiplos de d. http://matematica.obmep.org.br/ 1 matematica@obmep.org.br

1. espostas e Soluções. 2322 = 654 3 + 360 654 = 360 1 + 294 360 = 294 1 + 66 294 = 66 4 + 30 66 = 30 2 + 6 30 = 6 5 Portanto, mdc(2322, 654) = 6. 2. Pelo Algoritmo de Euclides, 42823 = 6 6409 + 4369 6409 = 1 4369 + 2040 4369 = 2 2040 + 289 2040 = 7 289 + 17 289 = 17 17. Portanto, mdc(42823, 6409) = 17. 3. As divisões sucessivas do Algoritmo de Euclides produzem a seguinte tabela: Portanto, mdc(695, 135) = 5. 4. (a) (b) 5 6 1 3 695 135 20 15 5 20 15 5 4 0 Pelo Lema de Euclides, temos mdc(n, n 2 + n + 1) = mdc(n, n 2 + n + 1 n(n + 1)), = mdc(n, 1), = 1. Outra maneira, seria aplicar o Algoritmo de Euclides: n + 1 n n 2 + n + 1 n 1 1 0 mdc(3 2012, 2 2012 + 1) = mdc(3 2012 (2 2012 + 1), 2 2012 + 1) = mdc(2012 1, 2 2012 + 1) = mdc(2012 1, 2 2012 + 1 2(2012 1)) = mdc(2012 1, 3) = mdc(2012 1 3 670, 3) = mdc(2, 3) = 1. Outra opção seria observar que o mdc procurado deve dividir o número 3(2 2012 + 1) 2(3 2012) = 3 e que 2 2012 + 1 não é múltiplo de 3. (c) Como x 5 + y 5 = (x + y)(x 4 x 3 y + x 2 y 2 xy 3 + y 4 ), escolhendo x = 2 8 e y = 1, o problema se resume a encontrar ( ) mdc 2 32 2 24 + 2 16 2 8 + 1, 2 8 + 1 Além disso, sabendo que x 1 x 8 1 e que 2 32 2 24 + 2 16 2 8 + 1 = (2 32 1) (2 24 1) + (2 16 1) (2 8 + 1) + 1, uma aplicação do Lema de Euclides nos permite concluir que o mdc anterior é igual a mdc(1, 2 8 + 1) = 1. 5. Veja que 2 78 31 5 = 1 e consequentemente 14 78 217 5 = 7. Basta darmos 14 notas de de $ 78 para recebermos 217 notas de $ 5 como troco na compra de nossa mercadoria. Usando as notas de $3 e $78 não é possível, pois o dinheiro pago e recebido como troco por algo sempre é múltiplo de 3 e 7 não é múltiplo de 3. 6. Aplicando o Algortimo de Euclides, obtemos as seguintes equações: 1235 = (415 2) + 405 415 = (405 1) + 10 405 = (10 40) + 5 10 = (5 2) + 0 As equações anteriores mostram que cada resto é uma combinação linear dos dividendos e divisores correspondentes. Por um processo de trocas sucessivas, podemos escrever o último resto como uma combinação linear do dividendo e do divisor da primeira equação: 5 = 405 10 40 = 405 (415 405 1) 40 = 405 41 415 40 = (1235 415 2) 41 415 40 = 1235 41 415 122. 7. Nesta solução, apresentaremos um procedimento diferente do exercício anterior. Essencialmente, a equação mdc(x + qy, y) = mdc(x, y) nos diz que podemos subtrair q vezes um número de outro sem alterar o máximo divisor comum do par em questão. ealizando esse procedimento sucessivas vezes, subtraindo o número menor do maior, podemos obter pares com números cada vez menores até que chegarmos em um par do tipo (d, d). Como o máximo divisor comum foi preservado ao longo dessas operações, d será o máximo divisor comum procurado. Iremos repetir o exemplo anterior registrando em cada operação quantas http://matematica.obmep.org.br/ 2 matematica@obmep.org.br

vezes um número é subtraido do outro. Isso será feito através de dois pares de números auxiliares: (42823, 6409) (1, 0)(0, 1) (4369, 6409) (1, 6)(0, 1) (4369, 2040) (1, 6)( 1, 7) (289, 2040) (3, 20)( 1, 7) (289, 17) (3, 20)( 22, 147) (17, 17) (355, 2372)( 22, 147) Da primeira linha para a segunda, como subtraímos 6 vezes o número 6409 de 42823, subtraímos 6 vezes o par (0, 1) de (1, 0), obtendo: (1, 0) 6(0, 1) = (1, 6). Se em uma dada linha, temos: (x, x + qy) (a, b)(c, d); então, a próxima linha deverá ser: (x, y) (a, b)(c aq, d bq); porque representará a operação de subtrairmos q vezes o primeiro número do segundo. Veja que o par (a, b) foi subtraido de (c, d) exatamente q vezes. Os números escritos nos últimos dois pares representam os coeficientes dos números originais para cada número do primeiro par. Por exemplo, analisando a linha: obtemos que: (289, 2040) (3, 20)( 1, 7); 289 = 3 42823 20 6409, 2040 = 1 42823 + 7 6409. Em cada linha, essa propriedade é mantida pois a mesma subtração que é realizada no primeiro par também é realizada entre os dois últimos pares. Analisando o último par, podemos escrever 17 como combinação de 42823 e 6409 de duas formas diferentes: 17 = 22 42823 + 147 6409, 17 = 355 42823 + 2372 6409, Assim, podemos obter duas soluções (a, b) = ( 22, 147) e (355, 2372). Sugerimos o leitor mostrar que existem infinitas soluções (a, b). 8. Considere um elemento m qualquer de S. Pelo algoritmo da divisão, m = qd + r com 0 r < d. Como todos os números m d, m 2d, m 3d,..., m qd = r pertencem a S e d é o menor elemento positivo de tal conjunto, devemos ter obrigatoriamente que r = 0. Sendo assim, podemos concluir que todos os elementos de S são múltiplos de d. esta mostrarmos que todos os múltiplos de d estão em S. Seja kd um múltiplo positivo qualquer de d. Como S é infinito, existe um inteiro m S tal que m = qd > kd. Assim todos os números m d, m 2d,..., m (q k)d = kd estão em S. 9. Para o item a), calculemos inicialmente mdc(819, 357) usando o Lema de Euclides: mdc(819, 357) = mdc(105, 357) = mdc(105, 42) = mdc(21, 42) = 21. Pelo Lema de Euclides, o mdc entre os dois números em um ticket nunca muda. Como mdc(1, 2) = 1 = 21 = mdc(819, 357), não podemos alcançar o par do item a). Para o item b), indiquemos com uma operação de alguma das máquinas. Veja que: (2, 1) (3, 1) S (1, 3) (4, 3)... (19, 3) S (3, 19) (22, 19) (41, 19) (60, 19) (79, 19). 10. (Extraído da Olimpíada Internacional de Matemática) Pelo lema de Euclides, mdc(21n + 4, 14n + 3) = mdc(7n + 4, 14n + 3) = mdc(7n + 1, 7n + 2) = mdc(7n + 1, 1) = 1. 11. Se d = mdc(x, y), então x = da e y = db, com mdc(a, b) = 1. Do enunciado, temos: 2abd 2 d 2 a 2 + d 2 b 2 da d 2 d 2 a 2 + d 2 b 2 da d 2 da d a. Logo, a = dc, para algum c. Como x y 2, obtemos d 2 c d 2 b 2, ou seja, c b 2 e mdc(c, b 2 ) = c. Usando que mdc(a, b) = 1 e que todo divisor comum de b e c também é um divisor comum de a e b, podemos concluir que mdc(c, b) = 1. Daí, mdc(c, b 2 ) = 1 e c = 1. Portanto, x = d 2 c = d 2. 12. Para qualquer inteiro n, mdc(a 2n, a n ) = mdc(2n, n) = n, consequentemente n a n. Seja d um divisor qualquer de a n diferente de n, então d mdc(a d, a n ). De mdc(a d, a n ) = mdc(d, n), podemos concluir que d n. Sendo assim, todos os divisores de a n que são diferentes de n são divisores de n. Como já sabemos que a n = nk, para algum k, não podemos ter k > 1, pois nk não divide n e assim concluímos que a n = n. http://matematica.obmep.org.br/ 3 matematica@obmep.org.br

13. Pelo lema de Euclides, 14. 15. mdc(2 120 1, 2 100 1) = mdc(2 120 1 2 20 (2 100 1), 2 100 1) = mdc(2 20 1, 2 100 1) = mdc(2 20 1, 2 100 1 2 80 (2 20 1)) = mdc(2 20 1, 2 80 1) = mdc(2 20 1, 2 80 1 2 60 (2 20 1)) = mdc(2 20 1, 2 60 1) = mdc(2 20 1, 2 60 1 2 40 (2 20 1)) = mdc(2 20 1, 2 40 1) = mdc(2 20 1, 2 40 1 2 20 (2 20 1)) = mdc(2 20 1, 2 20 1) = 2 20 1. mdc(2n + 13, n + 7) = mdc(2n + 13 2(n + 7), n + 7), = mdc(2n + 13 2(n + 7), n + 7), = mdc( 1, n + 7) = 1 mdc(12n + 1, 30n + 2) = mdc(12n + 1, 30n + 2 2(12n + 1)) = mdc(12n + 1, 6n) = mdc(12n + 1 2(6n), 6n) = mdc(1, 6n) = 1. 16. Pelo lema de Euclides, mdc(n! + 1, (n + 1)! + 1) = mdc(n! + 1, (n + 1)! + 1 (n + 1)(n! + 1)) = mdc(n! + 1, n) = mdc(n! + 1 n[(n 1)!], n) = mdc(1, n) = 1 17. Seja f = mdc(a + b, c + d). Então f d(a + b) b(c + d) = 1 e consequentemente f = 1. Produzido por Arquimedes Curso de Ensino contato@cursoarquimedes.com http://matematica.obmep.org.br/ 4 matematica@obmep.org.br