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

Documentos relacionados
Equações Diofantinas I

Teorema Chinês dos Restos. Tópicos Adicionais

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

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

Regras de Divisibilidade. 6 ano E.F. Professores Cleber Assis e Tiago Miranda

Aritmética dos Restos. Problemas com Congruências. Tópicos Adicionais

Teorema Chinês dos Restos. Sistema de Congruências. Tópicos Adicionais

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

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

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

Funções Polinomiais com Coeficientes Complexos. Dispositivo de Briot-Ruffini. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

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

Equações Algébricas - Propriedades das Raízes. Teorema da Decomposição. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

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

38ª OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 2 (8º e 9º anos do Ensino Fundamental) GABARITO

Equações Algébricas - Propriedades das Raízes. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

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

1 Equações Diofantinas

Funções Polinomiais com Coeficientes Complexos. Teorema do Resto. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

Funções Polinomiais com Coeficientes Complexos. Quantidade de Raízes e Consequências. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

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

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

Números Complexos - Forma Algébrica. Divisão e conjugado de um número complexo na forma algébrica. 3 ano E.M.

Funções Polinomiais com Coeficientes Complexos. Divisão de Funções Polinomiais. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

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

8 o ano/7 a série E.F.

Módulo de Matrizes e Sistemas Lineares. O Conceito de Matriz

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

Elementos de Matemática Finita

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

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

Equações Diofantinas III

Produtos Notáveis. Vejamos alguns exemplos para diversos produtos notáveis que auxiliarão na formação de ideias para problemas futuros mais difíceis.

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

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.

Sistema de Equações Fracionárias. 8 o ano/7 a série E.F.

XXXIII Olimpíada Brasileira de Matemática GABARITO Segunda Fase

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

Exercícios Variados. 8 ano/e.f.

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

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares

Indu c ao Matem atica Indu c ao Matem atica T opicos Adicionais

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

Módulo Tópicos Adicionais. Recorrências

Polos Olímpicos de Treinamento. Aula 7. Curso de Teoria dos Números - Nível 2. Aula de Revisão e Aprofundamento. Prof.

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

Módulo de Progressões Aritméticas. Exercícios de PA. 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

Eles, possivelmente, servirão posteriormente de ideia para problemas mais difíceis.

Elementos de Matemática Finita

Operações com Números Naturais. 6 ano E.F. Professores Cleber Assis e Tiago Miranda

para Fazer Contas? A primeira e, de longe, mais importante lição é 1.1. Produtos notáveis; em especial, diferença de quadrados!

Módulo de Sistemas de Numeração e Paridade. Sistemas de Numeração. Tópicos Adicionais. Professores Tiago Miranda e Cleber Assis

RESPOSTAS DA LISTA 5 (alguns estão com a resolução ou o resumo da resolução):

Questão 05 Desenvolver as expressões numéricas a seguir (continuação):

Módulo de Progressões Aritméticas. Tópico Extra: PA de Segunda Ordem. 1 a série E.M. Professores Tiago Miranda e Cleber Assis

9 ano E.F. Professores Cleber Assis e Tiago Miranda

3 ano E.M. Professores Cleber Assis e Tiago Miranda

Inequações Exponenciais. 1 ano E.M. Professores Cleber Assis e Tiago Miranda

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

Material Teórico - O Plano Cartesiano e Sistemas de Equações. Sistemas de Equações do Primeiro Grau com Duas Incógnitas

Polos Olímpicos de Treinamento. Aula 13. Curso de Álgebra - Nível 2 Prof. Marcelo Mendes. Revisão - Parte I

Resumo. Palavras-chave: implementações aritméticas; inverso modular; sistema de restos.

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares

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

Números Irracionais e Reais. Oitavo Ano

Equações Diofantinas II

BANCO DE EXERCÍCIOS - 24 HORAS

36ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase

Funções Polinomiais com Coeficientes Complexos. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

4 de outubro de MAT140 - Cálculo I - Método de integração: Frações Parciais

ADA 1º BIMESTRE CICLO I 2018 MATEMÁTICA 2ª SÉRIE DO ENSINO MÉDIO

Operações com frações

OPEMAT. Olimpíada Pernambucana de Matemática

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c

35ª OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 2 (8º e 9º anos do Ensino Fundamental) GABARITO

38ª OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 3 (Ensino Médio) GABARITO

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

7 ano E.F. Professores Cleber Assis e Tiago Miranda

Aplicações das Técnicas Desenvolvidas. Soluções de Exercícios e Tópicos Relacionados a Combinatória. 2 a série E.M.

Polos Olímpicos de Treinamento. Aula 1. Curso de Teoria dos Números - Nível 2. Divisibilidade I. Samuel Barbosa Feitosa

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

Módulo Números Inteiros e Números Racionais. Exercícios sobre Operações com Números Inteiros. 7 ano E.F. Professores Cleber Assis e Tiago Miranda

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

Material Teórico - Módulo Equações do Segundo Grau. Equações de Segundo Grau: outros resultados importantes. Nono Ano do Ensino Funcamental

MATEMÁTICA. Produtos Notáveis, Fatoração e. Expressões Algébricas. Professor : Dêner Rocha. Monster Concursos 1

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

Módulo de Matrizes e Sistemas Lineares. Sistemas Lineares

Produtos Notáveis. Vejamos alguns exemplos para diversos produtos notáveis que auxiliarão na formação de ideias para problemas futuros mais difíceis.

Conceitos Básicos. Capítulo 1 EQUAÇÕES DIFERENCIAIS. Uma equação diferencial é uma equação que envolve uma função incógnita e suas derivadas.

XXIII OLIMPÍADA BRASILEIRA DE MATEMÁTICA Segunda Fase Nível 2 (7 a. ou 8 a. séries)

Equações do Primeiro Grau a uma Variável. 7 ano/e.f.

Exercícios sobre Inequações. 7 ano E.F. Professores Cleber Assis e Tiago Miranda

Módulo de Progressões Aritméticas. 1 a série E.M. Professores Tiago Miranda e Cleber Assis

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

Respostas Aula 1 (POTI) = Produtos Notáveis

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

1 0 para todo x, multiplicando-se os dois membros por. 2x 1 0 x 1 2. b a x. ba 2. e b 2 c

Múltiplos, Divisores e Primos II - Aula 07

QUADRADO DA SOMA DE DOIS TERMOS

Transcrição:

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

Tópicos Adicionais Equações Diofantinas 1 Exercícios Introdutórios Exercício 1. Determine todas as soluções inteiras da equação x + 3y = 5. Exercício. Determine todas as soluções inteiras da equação 5x + 3y = 7. Exercício 3. Determine a solução geral, em inteiros, da equação 5x + 9y = 1. Exercício 4. Sabendo que a solução geral da equação ax + by = 1 é (x, y) = (1 + 3k, 7k) k Z, determine os valores de a e b. Exercício 5. Encontre todas as soluções inteiras da equação 1x + 4y = 6 Exercício 6. Resolva nos inteiros a equação x + 3y + 5z = 11. Exercício 1. O ano de 016 é sabadoso, pois há cinco meses com cinco sábados. Qual será o próximo ano sabadoso? Exercício 13. (Extraído da OBM 011) Quantos são os pares ordenados (a, b), com a e b inteiros positivos, tais que Exercício 14. equação a + b + mdc(a, b) = 33? Encontre todas as soluções em inteiros da 5x 9y = 1. Exercício 15. Encontre todos os pares de inteiros (x, y) tais que 1 + 1996x + 199y = xy. Exercício 16. Encontre todas as soluções inteiras do sistema xz yt = 3 xt + yz = 1. Exercícios de Fixação Exercício 7. Em cada um dos seguintes itens, determine se existem soluções em inteiros para a equação dada i) 3x + 6y = 10 ii) 5x + 10y = 0 iii) x + 1y = 6 Exercício. Encontre o número de pares de inteiros não negativos (x, y) tais que (a) x + y = 0. (b) x + y = 0. (c) x + 3y = 0. Exercício 9. Determine o número de pares de inteiros não negativos (x, y) tais que x + y 100. 3 Exercícios de Aprofundamento e de Exames Exercício 10. Seja n um inteiro positivo. Se a equação x + y + z = n tem soluções em inteiros positivos x, y e z, determine os possíveis valores de n. A) 14 ou 15 B) 15 ou 16 C) 16 ou 17 D) 17 ou 1 E) 1 ou 19. Exercício 11. Em uma loja de chocolates, existem caixas com, 9 e 10 chocolates. Observe que algumas quantidades de chocolates não podem ser compradas exatamente, como por exemplo 1 chocolates. Qual é a maior quantidade de unidades de chocolates que não podemos comprar exatamente nessa loja? http://matematica.obmep.org.br/ 1 matematica@obmep.org.br

Respostas e Soluções. 1. Por paridade, 3y é ímpar, donde y = k + 1 para algum inteiro k. Daí, x = 5 3(k + 1) = 1 3k, e consequentemente todas as soluções da equação são da forma (x, y) = (1 3k, k + 1).. Dentre os possíveis restos na divisão por 3, a saber {0, 1, }, o único que faz 5x deixar o mesmo resto que 7 é o resto. Sendo assim, x é da forma 3k + e y = 7 5(3k + ) 3 = 1 5k, consequentemente, todas as soluções da equação são da forma (x, y) = (3k +, 1 5k).. (a) (b) Podemos listar explicitamente todas as soluções: (x, y) = (0, 0), (1, 19),..., (0, 0) Na lista anterior, temos 1 pares de soluções. Como 0 e y são números pares, x também deve ser par, ou seja, x = m. Assim, basta resolvermos a equação m + y = 0 m + y = 10 Podemos agora proceder como no item anterior e listar todas as soluções: (m, y) = (0, 10), (1, 9),..., (10, 0). Portanto, existem 11 soluções. 3. Usando o Algoritmo de Euclides Estendido, podemos encontrar a solução particular (x, y) = (, 1). Daí, a solução geral da equação é dada por (x, y) = ( + 9k, 1 5k). k Z. 4. Para todo inteiro k, devemos ter a(1 + 3k) + b( 7k) = 1 k(3a 7b) + (a b 1) = 0 Como a equação anterior deve ser satisfeita para todo inteiro k, devemos ter 3a 7b = 0 a b 1 = 0. Resolvendo o sistema anterior, encontramos a = 7 e b = 3. 5. A equação é equivalente a 7x + 16y =. Uma solução é (x, y) = (, 1). Todas as soluções são da forma: (x k, y k ) = ( + 16k, 1 7k). 6. Podemos transformar esse problema isolando qualquer uma das variáveis no problema que já sabemos resolver. Por exemplo, podemos resolver x + 3y = 11 5z. Supondo z fixo, podemos encontrar a solução particular (x, y) = (4 z, 1 z). Assim, todas as soluções são da forma: (x, y) = (4 z + 3k, 1 z k), ou seja, as soluções da equação original são da forma (x, y, z) = (4 z + 3k, 1 z k, z) com k e z inteiros. 7. (a) Não, pois mdc(3, 6) 10. (b) Sim, pois mdc(5, 10) 0. (c) Não, pois mdc(, 1) 6. (c) Como x e 0 devem deixar o mesmo resto na divisão por 3, devemos ter x = 3k +, com k 0. Daí, x + 3y = 0 (3k + ) + 3y = 0 k + y = 6 Basta agora listar as soluções da equação anterior: (k, y) = (0, 6), (1, 5),..., (6, 0). Portanto, existem 7 soluções. 9. Como y e 100 são números pares, devemos ter x = m, daí x + y 100 m + y 100 m + y 50. Fixado um inteiro n, com 0 n 50, a equação m + y = n admite as seguintes n + 1 soluções em inteiros não negativos (m, y) = (0, n), (1, n 1),..., (n, 0). Portanto, o número de soluções em inteiros não negativos da desigualdade é 1 + +... + 51 = 136. 10. (Extraído da AMC 199) Perceba inicialmente que se x e y estão definidos, só existe uma possível escolha para z e, além disso, z e n possuem a mesma paridade. Consideremos os seguintes casos: i) O número n é par, ou seja, n = i. Assim, devemos ter z = j e x + y + z = n x + y = i j. http://matematica.obmep.org.br/ matematica@obmep.org.br

Temos então as seguintes i j 1 possibilidades para o par (x, y): (1, i j 1), (, i j ),..., (i j 1, 1). Como devemos ter 1 i j 1 n 4, fixado n par, temos (n 4)/ + (n 3)/ +... + 1 = soluções. (n 4)(n ) ii) O número n é ímpar, ou seja, n = i + 1. Asssim, devemos ter z = j + 1 e x + y + z = n x + y = i j. Temos então as seguintes i j 1 possibilidades para o par (x, y): (1, i j 1), (, i j ),..., (i j 1, 1). De modo semelhante ao caso anterior, devemos ter 1 i j 1 n 3 e, fixado n ímpar, temos (n 3)/ + (n 5)/ +... + 1 = soluções. Portanto, (n 4)(n ) (n 3)(n 1) = ou =. (n 3)(n 1) As únicas soluções positivas das equações anteriores são n = 17 e n = 1. Resposta letra D. 11. (Extraído da OBM 013) As quantidades de chocolates que podem ser compradas são os números da forma x + 9y + 10z com x, y e z inteiros não negativos. Todo número maior que 56 = ( 1)(9 1) pode ser escrito na forma x + 9y com x e y inteiros não negativos. Um número que pode ser escrito na forma x + 9y em particular também pode ser escrito na forma x + 9y + 10z. Assim, basta analisarmos os números menores que 56 para sabermos qual é o maior deles que não pode ser uma quantidade admissível de chocolates comprados na loja. É fácil verificar que todos os números de 3 até 55 podem ser escritos na forma x + 9z + 10z e que 31 não é dessa forma. 1. (Extraído da OBM 016) Note que um mês possui 4 ou 5 sábados e que 365 = 7 5 + 1. Então, um ano possui 5 semanas completas e 1 ou dias extras, dependendo dele ser ou não bissexto. Desse modo, um ano terá 5 ou 53 sábados e, chamando de x o número de meses com 5 sábados, podemos analisar as equações: 5x + 4(1 x) = 5 x = 4; 5x + 4(1 x) = 53 x = 5. Então, um ano é sabadoso quando possui 53 sábados e isso acontece quando 1 de janeiro é sábado ou quando de janeiro é sábado e o ano é bissexto, como acontece com 016. Quando um ano é bissexto, o dia 1 de janeiro avança dois dias na semana em relação ao ano anterior e, quando o ano não é bissexto, ele avança apenas um dia na semana também em relação ao ano anterior. Desse modo, podemos montar a tabela a seguir com os dias 1 de janeiro dos próximos anos. Ano 016 017 01 019 1 de jan sexta domingo segunda terça Ano 00 01 0 1 de jan quarta sexta sábado Portanto, o próximo ano sabadoso será 0. 13. Seja d = mdc(a, b). Podemos reescrever a equação como: a b + b a + 1 = 33 d. Como lado esquerdo é uma soma de números inteiros, segue que d 33. Além disso, mdc(a/d, b/d) = mdc(a/d, 33/d 1) = mdc(b/d, 33/d 1) = 1 Fixado d, é suficiente encontrarmos pares de inteiros positivos (x, y) com mdc(x, 33/d 1) = 1 tais que x + y = 33/d 1, pois daí obteremos também mdc(y, 33/d 1) = 1 e que (a, b) = (dx, dy) também é solução. Vejamos então as possibilidades para d: i) Para d = 1 e x + y = 3, temos 16 soluções, pois basta escolher x ímpar. ii) Para d = 3 e x + y = 10, temos 4 soluções, pois x não pode ser par e nem múltiplo de 5. iii) Para d = 11 e x + y =, temos 1 solução apenas. iv) Não podemos ter d = 33, pois a e b são positivos. Logo, existem 1 pares de soluções. 14. Fatorando a equação anterior, obtemos: (5x + 3y)(5x 3y) = 1 Assim, como x, y são inteiros, ou ambos os termos anteriores são +1 ou ambos são 1. Isso nos produz o seguinte sistema: 5x + 3y = ±1 5x 3y = ±1 Somando as duas equações, obtemos 10x = ±. Isso é um absurdo e, consequentemente, a equação não possui solução em inteiros. http://matematica.obmep.org.br/ 3 matematica@obmep.org.br

15. (Extraído da Olimpíada da Irlanda de 1997) Fatore a expressão como: (x 199)(y 1996) = xy 199y 1996x + 199 1996 = 1997. Os divisores de 1997 são {±1, ±1997, ±1997 }. Resolvendo os sistemas correspondentes à essas possibilidades, temos: (x, y) = (1999, 1997 + 1996), (1997, 1997 + 1996), (3995, 3993), (1, 1), (1997 + 199, 1997), ( 1997 + 199, 1995). 16. (Extraído da (URSS 1991)) Uma boa estratégia será aplicar alguma manipulação algébrica, como somar as equações, multiplicá-las, somar um fator de correção, entre outras para obtermos alguma fatoração envolvendo esses números. Nesse problema, vamos elevar ambas as equações ao quadrado. x z 4xyzt + 4y t = 9 x t + xytz + y z = 1. Multiplicando a segunda por dois e somando com a primeira, temos: x (z + t ) + y (z + t ) = 11 (x + y )(z + t ) = 11. Como cada uma das parcelas acima é um inteiro nãonegativo, temos dois casos: x + y = 11 z + t = 1 (x, y, z, t) = (±3, ±1, ±1, 0). x + y = 1 z + t = 11 ou (x, y, z, t) = (±1, 0, ±3, ±1). Logo, as únicas soluções possíveis são as quádruplas (±1, 0, ±3, ±1) e (±3, ±1, ±1, 0). Produzido por Arquimedes Curso de Ensino contato@cursoarquimedes.com http://matematica.obmep.org.br/ 4 matematica@obmep.org.br