UNIVERSIDADE ESTADUAL DE CAMPINAS ANA RACHEL BRITO DE PAULA MAIARA FRANCINE BOLLAUF MARIA ANGÉLICA ARAÚJO SAMUEL AUGUSTO WAINER

Tamanho: px
Começar a partir da página:

Download "UNIVERSIDADE ESTADUAL DE CAMPINAS ANA RACHEL BRITO DE PAULA MAIARA FRANCINE BOLLAUF MARIA ANGÉLICA ARAÚJO SAMUEL AUGUSTO WAINER"

Transcrição

1 UNIVERSIDADE ESTADUAL DE CAMPINAS ANA RACHEL BRITO DE PAULA MAIARA FRANCINE BOLLAUF MARIA ANGÉLICA ARAÚJO SAMUEL AUGUSTO WAINER DOMÍNIOS EUCLIDIANOS E EQUAÇÕES DIOFANTINAS CAMPINAS - SP 2012

2 ANA RACHEL BRITO DE PAULA MAIARA FRANCINE BOLLAUF MARIA ANGÉLICA ARAÚJO SAMUEL AUGUSTO WAINER DOMÍNIOS EUCLIDIANOS E EQUAÇÕES DIOFANTINAS Trabalho apresentado à disciplina de Anéis e Corpos, da Universidade Estadual de Campinas sob a orientação do professor Dr. Fernando Eduardo Torres Orihuela. CAMPINAS - SP 2012

3 SUMÁRIO INTRODUÇÃO 3 1 DOMÍNIOS EUCLIDIANOS Domínio de integridade Domínio de fatoração única Ideais O algoritmo de Euclides EQUAÇÕES DIOFANTINAS Equações diofantinas lineares Ternos Pitagóricos Descida de Fermat e equações sem solução A equação de Pell Equações diofantinas não lineares REFERÊNCIAS 29 2

4 INTRODUÇÃO Em Álgebra denotamos um domínio euclidiano como sendo um anel dotado de uma estrutura específica, a dizer, uma função euclidiana. Dessa forma, é possível a generalização do famoso Algoritmo de Euclides desenvolvido para regulamentar a divisão de dois elementos. Além disso, em um domínio euclidiano, é possível aplicar tal algoritmo para efetuar o cálculo do máximo divisor comum entre dois números. A motivação para o estudo de uma estrutura assim caracterizada é representada pelo simples questionamento: o que acontece quando dois números inteiros a e b são tais que b a? A resposta para essa pergunta traz consigo outras concepções decorrentes, como a de domínio de fatoração única, por exemplo. As equações diofantinas, definidas por Courant e Robbins (2000, p. 59) como "uma equação algébrica com uma ou mais incógnitas, para a qual são buscadas soluções inteiras", podendo admitir ou não solução, se relacionam diretamente com os domínios euclidianos. Esse fato se dá pois uma equação diofantina tem solução se ela for trabalhada em tal domínio. Em vista disso, essa monografia visa apresentar os resultados envolvendo os domínios euclidianos e estudar as equações diofantinas neste contexto, com o propósito de complementar os conhecimentos adquiridos na disciplina de Anéis e Corpos. Para isso será utilizada uma revisão da bibliografia das obras tornadas públicas a respeito do tema. 3

5 Capítulo 1 DOMÍNIOS EUCLIDIANOS O algoritmo de Euclides é um método simples para encontrar o máximo divisor comum entre dois números inteiros, já que o mdc é o maior inteiro que divide os dois valores sem deixar resto. O algoritmo inicial foi descrito apenas para números naturais e comprimentos geométricos, mas foi generalizado posteriormente para outras classes de números. E isso conduziu ao que vamos estudar a seguir: os domínios euclidianos. 1.1 Domínio de integridade Para iniciar o estudo dos domínios euclidianos, é conveniente introduzir algumas definições, como a de domínio de integridade e de norma. Definição Um anel comutativo com elemento identidade R é dito domínio de integridade quando dados a, b R se ab = 0 então a = 0 ou b = 0. Exemplo O anel Z é um domínio de integridade. Exemplo O anel Z[ n] = {a + b n a, b Z}, onde n não é um quadrado, com as operações usuais é um domínio de integridade. De fato, sejam a + b n, c + d n Z[ n] e suponha a + b n 0 isso implica que a 0 ou b 0, podemos supor sem perda de generalidade b 0. Se (a+b n)(c+d n) = 0 queremos mostrar que c + d n = 0, segue que: (a + b n)(c + d n) = 0 (ac + bdn) + (ad + cb) n = 0 Obtemos então o sistema: { ac + bdn, =0; ad + cb, =0. Da segunda equação concluímos c = ad. Substituindo na primeira equação obte- b mos: a ad b + bdn = 0 d(b 2 n a 2 ) = 0 4

6 Como Z é domínio de integridade d = 0 ou b 2 n a 2 = 0, mas n não é quadrado perfeito, dessa forma d = 0 e c = 0. Portanto, Z[ n] é domínio de integridade. Além disso, se quisermos analisar de uma forma menos detalhista, basta notar que Z[ n] = {a + b n : a, b Z} R, que por sua vez é um domínio de integridade. Então, claramente, Z[ n] também é domínio de integridade. Definição Um elemento de R é chamado unidade se possuir inverso multiplicativo em R. Exemplo As unidades de Z são 1 e 1. Definição Dizemos que a, b R são associados se existe u unidade de R tal que a = ub. Exemplo Os elementos a, a Z são associados. Definição Um elemento a em R é dito irredutível se para toda fatoração a = bc temos b unidade ou c unidade. Exemplo Todos os números primos são irredutíveis. Definição Um função N : R N é dita norma de R se satisfaz as seguintes condições: (i) N(ab) = N(a)N(b) para todo a, b R; (ii) N(a) = 1 se, e somente se, a é unidade em R. Exemplo Seja R = Z[ n] a função N : R N dada por N(a + b n) = a 2 nb 2 é uma norma. Observe que essa norma é assim definida pois, considerando α = a + b n, temos que N(α) = αα = a 2 nb 2. Dados a + b n, c + d n, então, segue que: N((a + b n)(c + d n)) = N((ac + bdn) + (ad + bc) n) = (ac + bdn) 2 n(ad + bc) 2 = a 2 c 2 + 2abcdn + b 2 d 2 n 2 a 2 d 2 n 2abcdn b 2 c 2 n = a 2 (c 2 d 2 n) b 2 (c 2 d 2 n) = (a 2 b 2 n)(c 2 d 2 n) = a 2 b 2 n c 2 d 2 n N((a + b n)(c + d n)) = N(a + b n)n(c + d n) 5

7 Temos ainda que as unidades de R são 1 e -1 e assim N(1) = N( 1) = 1. E se N(a + b n) = 1 temos: a 2 b 2 n = 1 a 2 b 2 n = 1 ou a 2 b 2 n = 1. Segue que a 2 = 1 + b 2 n a = ± 1 + b 2 n. Como a Z então 1 + b 2 n é um quadrado perfeito, contudo isso só acontece se b = 0, dessa forma a = 1, unidade de R. Portanto, N é norma. 1.2 Domínio de fatoração única Outro conceito importante é o de domínio de fatoração única, que nada mais é do que um caso particular de um domínio de integridade e define a fatoração de elementos como produto de irredutíveis. Tal domínio é definido formalmente como: Definição Um domínio de integridade R é dito domínio de fatoração única ou domínio fatorial se todo elemento não-nulo e não-unidade de R poder ser escrito de forma única, a menos de ordem, como produto de elementos irredutíveis de R, isto é, de maneira precisa: (i) Todo elemento não-nulo e não-unidade de R é produto finito de fatores irredutíveis; (ii) Se {p} 1 i s e {q} 1 j t são famílias finitas de elementos irredutíveis de R tais que p 1 p s = q 1 q t, então s = t; a menos de ordenação, p i é associado a q i, i = 1,..., s. Exemplo O anel Z é um domínio de fatoração única. De fato, pois para qualquer n Z \ {0} temos uma decomposição única em fatores primos, que são os elementos irredutíveis deste conjunto. Claramente, n e n diferenciamse apenas pelo elemento unidade 1. Exemplo O domínio Z[ 7] não é de fatoração única. Note que 8 = = (1 + 7)(1 7) e os fatores 2, 1 + 7, 1 7 são irredutíveis em Z[ 7.] Além disso, é claro que 2 não é associado a nem a 1 7. Definição Seja A um domínio de integridade. Um elemento p A se diz primo se 6

8 (i) p 0; (ii) p não é inversível; (iii) Quaisquer que sejam a, b A, se p ab, então p a ou p b. Lema Seja R um domínio de fatoração única. Cada elemento irredutível de R é primo. Demonstração: Considerando r um elemento irredutível em R. Supondo que r ab, mas r a. Então, basta mostrar que r b. Seja a = p 1... p n e b = q 1... q m fatorações únicas de a e b. Assim, p 1... p n q 1... q m apresenta uma fatoração de ab de irredutíveis, que é única por hipótese. Porém, tem-se ainda que ab = rc. Admitindo que c possua uma fatoração da forma c = t 1... t u em irredutíveis. Dessa forma, ab=p 1... p n q 1... q m =r(t 1... t u ). Como a fatoração é única, um elemento rk associado a r, deve aparecer entre os p 1... p n q 1... q m. Como r a, nenhum associado a r deve aparecer entre p 1... p n. Portanto, rk deve estar entre q 1... q m, o que significa dizer que r b. Note que a recíproca desse lema é válida somente em domínios de integridade, ou seja, todo elemento primo em um domínio de integridade é irredutível. 1.3 Ideais Vamos estudar agora de que forma os ideais estão relacionados com os domínios estudados anteriormente. Definição Um subconjunto não vazio U de um anel R é dito um ideal (bilateral) de R se: (i) U é um subgrupo de R com relação a adição. (ii) Para todo u U e r R, ur e ru estão em U. Definição Um domínio de integridade R com elemento identidade é um anel principal se todo ideal A em R é da forma A = (a), para algum a R. Em outras palavras, um ideal é principal quando ele é gerado por um único elemento pertencente a R. 7

9 Definição Um domínio R é chamado de domínio principal se todo ideal de R for principal. Exemplo O anel Z é um exemplo de domínio principal, pois todos os seus ideais são principais. Teorema Se x é um elemento irredutível em um domínio principal, então (x), que é o ideal gerado por x é maximal. Teorema Se R é um domínio principal, então R é um domínio de fatoração única. 1.4 O algoritmo de Euclides O objetivo principal dessa seção, assim como o nome já sugere é definir um domínio euclidiano, bem como citar as definições que dele decorrem para então iniciar o estudo das equações diofantinas. Sabemos que se a, b Z e b 0, então existem únicos q, r Z tais que a = bq + r, com 0 r b. E este é o processo de divisão conhecido com algoritmo de Euclides em Z. Vamos definir esse algoritmo agora em um anel de polinômios. A ideia de dividir dois polinômios consiste em reduzir o grau do dividendo até que o resto seja um polinômio nulo ou um polinômio com grau menor que o grau do divisor. Partindo desse pressuposto, enuncia-se o teorema que segue com o propósito de fornecer um mecanismo para esse cálculo. Teorema (Algoritmo de Euclides) Sejam K um corpo, f(x), g(x) K[x] e g(x) 0. Então, existem únicos q(x), r(x) K[x] tais que f(x)= g(x)q(x) + r(x), com r(x) = 0 ou r < g Demonstração: Se f(x) = 0, basta assumir q(x) = r(x) = 0. Então, é conveniente admitir f(x) 0 e como g(x) 0 por hipótese, escreve-se: f(x)=a 0 + a 1 x + + a n x n, g(x)=b 0 + b 1 x + + b m x m, f = n g = m 8

10 Considera-se então dois casos para provar a existência de q(x) e r(x): 1 o caso: f < g Tomando q(x) = 0, tem-se que f(x) = r(x). 2 o caso: f g Usando indução sobre n = f. (1) Se n = 0, então f(x)=a 0 K. 0 = n = f g g = 0 g(x) = b 0 K. Sabe-se que 0 g(x) = b 0 K, por hipótese. Assim b 1 0 K, pois K é um corpo. Considerando então q(x) = b 1 0 a 0 e r(x) = 0, é fácil ver que f(x)=a 0 =b 0 (b 1 0 a 0 ) + 0=g(x)q(x) + r(x), com r(x) = 0. (2) Considerando como verdade para n 1, tem-se que para h(x) K[x], h(x) 0 e h < n, existem q 1 (x) e r 1 (x) K[x] tais que h(x) = g(x)q 1 (x) + r 1 (x), com r 1 (x) = 0 ou r 1 < g. Esta é a hipótese de indução. Agora, considera-se o polinômio: h(x) = f(x) (a n b m 1 x n m )g(x) (1.4.1) O termo a n b 1 m x n m é determinado dessa forma com o propósito de tornar o grau de h(x) menor que n, pois ao efetuar-se f(x) - (a n b 1 m x n m )g(x) tem-se que o termo de maior grau é anulado, ou seja: h(x)=(a 0 + a 1 x + + a n x n ) - [(a n b 1 m x n m )(b 0 + b 1 x + + b m x m )] h(x)=(a 0 + a 1 x + + a n x n )-[(a n b 1 m b 0 )x n m + (a n b 1 m b 1 )x n m a n x n ] Como a adição e consequentemente a subtração é realizada termo a termo, nota-se que o coeficiente dominante irá se anular, daí h(x) será: h(x)=a 0 + a 1 x + + (a n b 1 m b 0 )x n m + (a n b 1 m b 1 )x n m a n 1 x n 1 Se h(x) = 0 f(x) = g(x)q(x) + r(x), com r(x) = 0 e q(x) = a n b 1 m x n m. Se h(x) 0, é possível calcular seu grau e pela escolha feita acima, de fato h < n. Pela hipótese de indução, existem q 1 (x), r 1 (x) K[x], com r 1 < g ou r 1 (x) = 0 tais que h(x) = q 1 (x)g(x) + r 1 (x) Substituindo as informações na equação (1.4.1) e explicitando f(x) vem que: 9

11 f(x)=g(x)[(q 1 (x) + a n b 1 m x n m )] + r 1 (x) Definindo então q(x) = q 1 (x) + a n b 1 m x n m e r(x) = r 1 (x), obtém-se: f(x)=g(x)q(x) + r(x), com r(x) = 0 ou r < g Isto prova a existência de q(x) e r(x). Resta somente provar a unicidade. Para isso, supõe-se q(x), q(x), r(x), r(x) K[x] tais que: f(x)=g(x)q(x) + r(x), com r(x) = 0 ou r < g f(x)=g(x) q(x) + r(x), com r(x) = 0 ou r < g Daí tem-se que: g(x)q(x) + r(x)=g(x) q(x) + r(x) g(x)[q(x) q(x)]= r(x) r(x) Supondo que q(x) q(x) então q(x) q(x) 0 e r(x) r(x) 0. Logo, g (q q)g= ( r r) < g Isto é uma contradição. Portanto, q(x) = q(x) e consequentemente r(x) = r(x), o que assegura que q(x) e r(x) são únicos. Definição Seja A um domínio de integridade e definindo a aplicação N : A {0} N, tal que para todo par de elementos a, b A, b 0 existem q, r A tais que a = bq + r, com r = 0 ou N(r) < N(b). Então, A é dito um domínio euclidiano, também chamado de anel euclidiano, se existir tal função N definida em A. Além disso, essa função é chamada por alguns autores de norma como já foi definido anteriormente. Em alguns casos é necessário considerar uma propriedade adicional, sendo a, b A \ {0}, N(ab) N(a). Essa condição não é necessária, pois sempre que existir uma função N estabelecendo uma divisão euclidiana, existe uma outra γ que também estabelece uma divisão euclidiana e tal que γ tem a propriedade adicional que desejamos. De forma geral, um domínio euclidiano é aquele em que o Algoritmo de Euclides pode ser aplicado. 10

12 Exemplo Se K é um corpo, então K[x] é um domínio euclidiano. Definindo a função d = ϕ : (K[x] ) N como sendo a função que associa a cada polinômio não-nulo o seu grau. Sabemos que se f(x) e g(x) são polinômios não-nulos pertencentes a K[x], então (fg) = f + g f, o que satisfaz a primeira propriedade de um domínio euclidiano. Além disso, se f(x), g(x) K[x], com g(x) 0, então o Algoritmo de Euclides garante que existem q(x), r(x) K[x] tais que f(x) = g(x)q(x) + r(x), onde r(x) = 0 ou r < g. Portanto, K[x] é um domínio euclidiano. Exemplo O domínio R = Z[i] é euclidiano Admitindo como norma a função N(a + bi) = a 2 + b 2 e tomando x, y R, temos que x = a + bi e y = c + di e queremos encontrar q, r Z tal que (a + bi) = q(c + di) + r, com r = 0 ou N(r) < N(c + di). Trabalhando em Q[i], é possível notar que x y = a + bi c + di = r + si, com r, s Q Escolhendo então m, n Z tal que r m 1 2 e s n 1. Seja q = m + ni, 2 então q R e x = qy + r para algum r, com N(r) = N(x qy) = N( x y q)n(y) < N(y) Então, de fato, R é um domínio euclidiano. Exemplo O domínio R = Z[ 2] é euclidiano. Supondo a, b R. Então, a b = ab bb = c + d( 2). Escolhendo novamente m, n Z tal que m c 1 2 e n d 1 2. euclidiano. Assumindo q = m+b( 2) e r = a qb, temos que N( a b q) = (m c)2 +2(n d) 2. Daí, N(r) = N(b)N( a b q) < N(b)( 1 + 2( 1 )) < N(b). Ou seja, R é um domínio 2 2 Exemplo O domínio R = Z[ 2] é euclidiano. Vamos considerar a norma N : Z[ 2]\{0} N com N(α) = a 2 2b 2 considerando α = a + b 2 0. Seguindo o procedimento análogo aos exemplos e 1.4.5, segue que Z[ 2] é domínio euclidiano. 11

13 Definição Seja D um domínio de fatoração única. Um polinômio a 0 + a 1 x + + a n x n D[x] é chamado primitivo se não é uma unidade e se a 0, a 1,..., a n não tem outros divisores comuns a não ser unidades de D. Nota-se que se f(x) é irredutível em D[x], então f(x) é primitivo. O lema que segue contribuiu grandiosamente para o estudo de anéis de polinômios em geral, mas sua intenção primordial é estender a anéis de polinômios propriedades que são válidas somente nos anéis mais simples. Teorema (Lema de Gauss) Seja D um domínio de fatoração única e Q o seu corpo de quocientes. Considerando f(x) um polinômio primitivo não-escalar em D[x], então f(x) é redutível em D[x] se, e somente se, f(x) é redutível em Q[x]. Demonstração: ( ) Sabe-se que D é um subanel de Q sob a aplicação d d 1. Assim, D[x] aparece naturalmente como um subanel de Q[x] pois a aplicação mantém as propriedades. Portanto, se f(x) é redutível em D[x], também é redutível em Q[x]. ( ) Supondo que f(x) é redutível em Q[x], então existem g(x), h(x) Q[x] que são polinômios não-escalares tais que f = gh A partir de agora a variável será omitida para simplificar a notação. Os coeficientes de g e h tem a forma p, com p, q D, ou seja: q e g(x) = b 0 a 0 + b 1 a 1 x + b 2 a 2 x b n a n x n, b i, a i D, 0 i n h(x) = d 0 c 0 + d 1 c 1 x + d 2 c 2 x d m c m x m, d j, c j D, 0 j m. É possível então substituir todos os coeficientes de g de modo que todos tenham um denominador comum. Fatorando-se este denominador comum, escreve-se g = 1 s g 1, onde g 1 D[x]. Analogamente, h = 1 t h 1, com h 1 D[x]. A seguir, fatora-se o mdc (em D) dos coeficientes de g 1, chamando-o de u e o de 12

14 h 1, chamando-o de v. Assim gh = uv st g 2h 2, admitindo que g 2, h 2 D[x] e são polinômios primitivos pois nenhum primo divide cada coeficiente de g 2 e h 2. Enfim, escreve-se em que mdc(y, z) = 1. Logo, com g 2 e h 2 polinômios primitivos em D[x]. uv st = y z, f = gh = y z g 2h 2, Resta provar que z é uma unidade e consequentemente y D, provando que f é z redutível em D[x]. Supondo que z não seja uma unidade, então existe um primo p que divide z. Como mdc(y, z) = 1, em particular, p y. Assim zf = yg 2 h 2, com z 0(mod p) (1.4.2) Considerando o domínio de integridade D/ p = D. O homomorfismo natural D D a a = {b D/b a(mod p)} induz um homomorfismo natural D[x] D [x] a 0 + a 1 x + + a n x n a 0 + a 1 x + + a n x n Logo, a equação (1.4.2) torna-se zf = yg 2 h 2 (1.4.3) Como z 0(mod p), resulta que z = 0 D. Logo da equação (1.4.3), tem-se que 0 = yg 2 h 2 mas D é um domínio de integridade e 0 y, pois p y, logo, g 2 = 0 ou h 2 = 0 em D [x]. Supondo g 2 = 0 em D [x]. Como g 2 é um polinômio com coeficientes em D, tem-se que cada coeficiente de g 2 é 0 em D, ou seja, cada coeficinte de g 2, considerado em D[x] 13

15 é divisível por p, o que é um absurdo, pois g 2 é um polinômio primitivo. Analogamente se h 2 = 0. Portanto, não existe um primo p tal que p z, donde z é de fato unidade e f é redutível em D[x]. Teorema Se D é um domínio de fatoração única, então R[x] também o é. Retornando aos ideias, seguem abaixo alguns resultados que os relacionam com os domínios euclidianos. Proposição Todo domínio euclidiano D é principal. Demonstração: Considerando um ideal I 0 de D, queremos verificar se este ideal é principal. Admitindo então o conjunto υ(i) = {υ(x) : x I {0}} {0, 1, 2, 3,... } Seja a I tal que υ(a) =Mínimo(υ(I)), que existe pois o conjunto {0, 1, 2, 3,... } é discreto e bem ordenado. Considerando agora o ideal gerado por a, a dizer, (a), que está contido em I. Suponhamos que seja possível escolher x I (a). Por D ser um domínio euclidiano, sabemos que existe r, q D tal que x = ta + r, donde r = 0 ou υ(r) < υ(a). Mas como x / (a), r 0. Assim, temos que r D {0} é tal que υ(r) < υ(a). Porém, r = x ta I, o que contradiz a minimalidade de υ(a). Logo, I = (a). Proposição Seja K um corpo. Então K[x] é um domínio principal. Demonstração: Tomando I como sendo um ideal em K[x]. Se I = 0, não há o que fazer. É válido supor, para tanto, I 0. Seja f um polinômio não-nulo de menor grau possível que pertence a I. Pode-se afirmar que I = (f). De fato, se g I, existem polinômios q, r K[x] tais que g = fq + r, com r = 0 ou (r) < (f). Como r I, pois h, f I, admitindo h = aq, temos que (r) = 0, já que f é de menor grau. Assim, h (f). A outra inclusão é imediata, portanto I = (f). Teorema O ideal A = (a) é um ideal maximal do anel euclidiano se, e somente se, a é um elemento primo de um domínio euclidiano R. 14

16 Capítulo 2 EQUAÇÕES DIOFANTINAS Do algoritmo de Euclides decorre a possibilidade de se estudar um tipo especial de equação: as equações diofantinas, assim chamada em homenagem a Diophantus de Alexandria (Século IV A.C.). Elas nada mais são do que equações com coeficientes e soluções inteiras apresentadas geralmente com mais de uma variável, lembrando que tais soluções existem quando trabalhadas em um domínio euclidiano conforme será visto a seguir. Neste capítulo veremos algumas definições e resultados que nos permitirão entender melhor sobre essas importantes equações. 2.1 Equações diofantinas lineares Nesta seção vamos estudar as equações diofantinas lineares. Veremos alguns exemplos desse tipo de equação e quando estivermos mais familiarizados com as mesmas veremos outros exemplos menos triviais. Definição Considere a equação diofantina: a 1 x a n x n = c, com a 1,..., a n inteiros. Uma solução desta equação é um par ordenado de inteiros (k 1,..., k n ) tal que a 1 k a n k n = c. Se uma equação diofantina tem solução, ela é dita solúvel. Exemplo Se considerarmos a equação 3x + 2y = 7, observe que 3 2 = 1 e multiplicando os dois lados da equação por 7 obtemos que 3(7) + 2( 7) = 7. (7, 7) é solução da equação. Assim, Aqui um dos problemas que tentaremos resolver é quando uma equação diofantina tem solução. No entanto, na maioria dos exemplos vamos nos deparar com situações bem mais complexas do que o exemplo acima. A proposição a seguir estabelece condições para que uma equação diofantina seja solúvel. Lema A congruência ax + a 0 0(modm) (2.1.1) 15

17 é solúvel se, e somente se, (a, m) a 0. Neste caso o número de soluções = (a, m), e a congruência é satisfeita por precisamente todos os números x numa certa classe residual mod( m (a,m) ). Demonstração: Para demonstrarmos este fato precisaremos de dois resultados que não provaremos aqui, mas suas demonstrações podem ser encontradas em [5]. Afirmação 1) Se (a, m) = 1 então a congruência tem exatamente uma solução. ax + a 0 0(modm) Afirmação 2) Seja c > 0. Se a b(modm) então ac bc(modcm) e reciprocamente. Agora, se é solúvel então ax + a 0 0(modm) 0(mod(a, m)). Por outro lado, se a 0 0(mod(a, m)) (2.1.2) então pela Afirmação 1 a congruência a (a, m) x + a ( 0 (a, m) 0 mod m ) (a, m) é solúvel. Logo pela Afirmação 2, é satisfeito. Agora se (a, m) a 0 então tem exatamente uma solução mod m, de acordo (a,m) com a Afirmação 1; como e tem as mesmas soluções, pela Afirmação 2, segue que tem (a, m) soluções (soluções mod m como usual), uma vez que se d > 0 e d m 16

18 então uma classe residual mod m d se divide em d classes residuais mod m. Proposição Seja n > 1 com ao menos um dos números a 1,..., a n diferente de zero; seja (a 1,..., a n ) = d. Então a equação diofantina a 1 x a n x n = c é solúvel se, e somente se d c. Em particular: se (a, b) = 1, então ax + by = 1 é solúvel. Demonstração: (1) Se exatamente um coeficiente não se anula, a 1, digamos, então a 1 x x x n = c é obviamente solúvel se a 1 c, isto é, se (a 1, 0,..., 0) c. (2) Se no mínimo dois dos coeficientes não se anulam então podemos assumir sem perda de generalidade que nenhum coeficiente se anula; caso contrário simplesmente omitiríamos os termos a m x m para os quais a m = 0, e isto não altera o valor do máximo divisor comum dos coeficientes; o número dos termos que permanecem é ainda 2. Sem perda de generalidade podemos mesmo tomar todos os coeficientes > 0; pois simplesmente temos que substituir cada a m negativo por a m (o que não altera o máximo divisor comum) e o x m correspondente por x m. Podemos portanto assumir que n > 1, a 1 > 0,..., a n > 0. Se nossa equação diofantina é solúvel então claramente d a 1 x a n x n, 17

19 Reciprocamente, suponha que d c. d c. Se n = 2 então temos simplesmente que mostrar que a 1 x 1 c(moda 2 ) é solúvel para x 1. Isto segue do Lema 2.1.3, uma vez que (a 1, a 2 ) c. Seja n > 2 e suponha a afirmação verdadeira para 2,..., n 1; se fizermos (a 1,..., a n 1 ) = a então (a, a n ) = d. Pelo que mostramos no caso n = 2, segue que ax + a n x n = c para x, x n escolhidos apropriadamente. Pela hipótese de indução para n 1 segue além disso, uma vez que (a 1,..., a n 1 ) ax, que a 1 x a n 1 x n 1 = ax para x 1,..., x 1 escolhidos apropriadamente, de modo que, finalmente, a 1 x a n 1 x n 1 + a n x n = c Proposição Se (a, b) = d e d c então ax + by = c é solúvel, pela Proposição 2.1.4; ainda, dada uma solução (x 0, y 0 ), todas as soluções são da forma x = x 0 + h b y = y 0 h a d d, onde h é arbitrário. 18

20 Demonstração: O fato que um tal par (x, y) satisfaz a equação segue da relação ( a x 0 + h b ) ( + b y 0 h a ) = ax 0 + b 0 = c. d d O fato de não existirem outras soluções é visto como segue. Sem perda de generalidade, seja b 0. (Senão trocaríamos a e b, observando que quando h percorre os inteiros h também o faz). Uma vez que ax + by = c = ax 0 + by 0, segue que ax c 0(mod b ), e logo pelo Lema (com a 0 = c, m = b ) temos ( x x 0 mod b ), d x = x 0 + h b d, ( by = c ax = c a x 0 + h b ) = (c ax 0 ) b ha d d = by 0 b ha (y d = b 0 h a ), d y = y 0 h a d. Exemplo Determine todas as soluções inteiras e positivas da equação diofantina linear: 5x 11y = 29. Como 11 = , segue que o mdc, (5, 11) = 1. Para 5x 11y = 1 temos a solução imediata x = 2 e y = 1. Para 5x 11y = 29, teremos x = 2.29 = 58 e y = 1.29 = 29. As demais soluções inteiras são da forma x = t = 58 11t e y = t = 29 5t. Como as soluções devem ser positivas: t > 0 11t > 58 11t < 58 t < ou t < 6(t deve ser inteiro). 29 5t > 0 5t > 29 5t < 29 t < 29 5 t < 6. 19

21 Portanto as soluções inteiras e positivas são: x = 58 11t e y = 29 5t, para t inteiro e t < Ternos Pitagóricos Queremos estudar as soluções (x, y, z) da equação x 2 + y 2 = z 2, com x, y, z inteiros não nulos. Após determinar tais soluções, veremos como podemos utilizar as informações obtidas para resolver outras equações em números inteiros. O resultado fundamental é o seguinte: Teorema As soluções (x, y, z) da equação x 2 + y 2 = z 2, com x, y, z inteiros não nulos, são dadas por (x, y, z) = (2uvd, (u 2 v 2 )d, (u 2 + v 2 )d) ou (x, y, z) = ((u 2 v 2 )d, 2uvd, (u 2 + v 2 )d) onde d, u, v são inteiros não nulos, com u v,(u, v) = 1 e u e v de paridades distintas. Demonstração: Sejam x, y, z inteiros positivos quaisquer satisfazendo a equação acima (os demais casos são análogos) e d o mdc de x e y. Então d 2 divide z 2, e daí d divide z. Existem portanto inteiros não nulos a, b, c, com mdc(a, b) = 1, tais que (x, y, z) = (da, db, dc). Ademais, como x 2 + y 2 = z 2 a 2 + b 2 = c 2 basta determinarmos as soluções (a, b, c) da equação, sujeitas à condição (a, b) = 1 (que por sua vez implica (a, c) = 1 e (b, c) = 1). Note agora que, dado um inteiro qualquer t, temos que t 2 deixa resto 0 ou 1 na divisão por 4, quando t for respectivamente par ou ímpar. Assim, se fossem a e b ímpares, teríamos a 2 e b 2 deixando resto 1 na divisão por 4, e daí c 2 = a 2 + b 2 deixaria resto 2 quando dividido por 4, o que é um absurdo. Como a e b são primos entre si, não podem ser ambos pares. Há então dois casos: a ímpar e b par, a par e b ímpar. Analisemos o primeiro caso (o segundo é análogo). Se a for ímpar e b par, então c também é ímpar. De a 2 + b 2 = c 2 obtemos b 2 = (c a)(c + a), e não é difícil concluir que (c a, c + a) = 2. Podemos então escrever ( b ) 2 ( 2 = c a ) ( c+a ) ( 2 2. Note que c a ) ( 2 e c+a ) 2 são primos entre si. Mas se o produto de dois naturais primos entre si ( c a 2 perfeito, então cada um deles deve ser um quadrado perfeito. ) ( e c+a ) 2 é um quadrado Existem então inteiros 20

22 positivos primos entre si u e v, tais que c a = 2v 2, c + a = 2u 2, e daí (a, b, c) = (u 2 v 2, 2uv, u 2 + v 2 ). Note ainda que, como u 2 +v 2 = c é ímpar, u e v devem ter paridades distintas. Por substituição na equação original, concluímos que os ternos acima são realmente soluções da equação, de modo que nada mais há a fazer. Definição Um terno de inteiros positivos (x, y, z) tais que x 2 + y 2 = z 2 é denominado um terno Pitagórico, em alusão ao matemático grego Pitágoras e seu famoso teorema sobre triângulos retângulos. De fato, um tal terno (x, y, z) determina um triângulo retângulo de catetos x e y e hipotenusa z inteiros. Exemplo Consideremos a tarefa de determinar as soluções inteiras não nulas da equação x 2 + y 2 = 2z 2, com x y. Em uma qualquer dessas soluções, devemos ter x e y com a mesma paridade, pois caso contrário x 2 + y 2 seria um número ímpar. Assim, existem inteiros a e b tais que x = a + b e y = a b Basta tomarmos a = 1(x+y) e b = 1 (x y), notando que x+y e x y são números 2 2 pares. Substituindo as expressões acima para x e y na equação original, concluímos que x 2 + y 2 = 2z 2 a 2 + b 2 = z 2 Então, de acordo com o teorema acima, podemos escrever (a, b, z) = (2uvd, (u 2 v 2 )d, (u 2 + v 2 )d) ou (a, b, z) = ((u 2 v 2 )d, 2uvd, (u 2 + v 2 )d, ) onde d, u e v são inteiros não nulos, com u v, (u, v) = 1 e u e v de paridades distintas. Segue daí que as soluções (x, y, z) de nossa equação são de um dos tipos abaixo, onde d, u e v satisfazem as mesmas condições do teorema acima. (x, y, z) = (2uvd + (u 2 v 2 )d, 2uvd (u 2 v 2 )d, (u 2 + v 2 )d) ou (x, y, z) = ((u 2 v 2 )d + 2uvd, (u 2 v 2 )d 2uvd, (u 2 + v 2 )d) Observe que uma outra maneira de abordar os ternos pitagóricos é considerar os domínios euclidianos. O problema pode ser reduzido ao caso que x, y, z são relativamente primos. Um lema importante nesse contexto é o seguinte: Lema Se x e y são relativamente primos em Z, então também serão em Z[i]. 21

23 Segue disso que os únicos divisores comuns de x+iy e x iy em Z[i] serão 1 e 1 i. Além disso, x + iy e x iy são relativamente primos em Z[i ] se, e somente se, x 2 + y 2 for ímpar. A demonstração desse fato utiliza resultados de divisibilidade, irredutibilidade e o fato de Z[i] ser um domínio de fatoração única. Com isso, conseguimos caracterizar as soluções do problema, com x e y relativamente primos em Z: dizer que a tripla (x, y, z) é solução,será equivalente a escrever x + iy = a(a + bi), com a e b Z e a invertível em Z[i], o que também é equivalente a x = (m 2 n 2 ) e y = mn com m, n Z relativamente primos e de paridades distintas. 2.3 Descida de Fermat e equações sem solução Aqui veremos alguns exemplos de equações diofantinas sem solução e um método para resolvê - las: o método da descida de Fermat. Exemplo A equação 3x 2 + y 2 = 2z 2 não possui soluções inteiras não nulas. Suponha o contrário. Então a equação possui uma solução (x, y, z) em inteiros positivos. Então, dentre todas as soluções (x, y, z), com x, y e z inteiros positivos, existe uma (x, y, z) = (a, b, c) para a qual z = c é o menor possível. Trabalhemos tal solução. Vamos usar o seguinte fato, que pode ser provar facilmente: se um inteiro u não for múltiplo de 3, então deixa resto 1, quando dividido por 3. Então, se b não for múltiplo de 3, teremos de 3a 2 + b 2 = 2c 2 que c também não será múltiplo de 3. Olhando os restos de cada termo da equação por 3, teremos que 3a 2 + b 2 deixa resto 1 e 2c 2 deixa resto 2.1 = 2. Logo, não poderia ser 3a 2 + b 2 = 2c 2. Assim, b deve ser múltiplo de 3, digamos b = 3b 1. Daí vem que 3a 2 + 9b 2 1 = 2c 2, e c também é múltiplo de 3, digamos c = 3c 1. Substituindo na equação, chegamos a a 2 + 3b 2 1 = 6c 2 1. Então, a também é múltiplo de 3. Sendo a = 3a 1, a equação acima nos dá 3a 2 1+b 2 1 = 2c 2 1, e (a 1, b 1, c 1 ) é uma outra solução de nossa equação original, com c 1 = c < c. Mas 3 isso é uma contradição, pois partimos de uma solução na qual o valor de z era c, mínimo possível. Logo, nossa equação não possui soluções não nulas. O método utilizado na solução do exemplo acima recebe um nome especial: método da descida (devido ao matemático francês Pierre Simon de Fermat) e consiste então no seguinte: i Supor que uma dada equação possui uma solução em inteiros não nulos. ii Concluir daí que ela possui uma solução em inteiros positivos que seja, em algum sentido, mínima. iii Deduzir a existência de uma solução positiva menor que a mínima, chegando a uma contradição. 22

24 Já que determinamos acima as soluções da equação de Pitágoras, nada mais natural que tentar estudar a equação mais geral abaixo, denominada equação de Fermat. Aqui, n > 2 é um inteiro fixado x n + y n = z n. Por cerca de três séculos os matemáticos defrontaram-se com o problema de decidir sobre a existência de soluções não nulas (x, y, z) dessa equação, problema que somente foi resolvido na década de noventa, utilizando métodos muitíssimo complexos. Vamos aproveitar o método da descida para analisar um caso simples dessa equação, aquele em que n é um múltiplo de 4. Teorema Se n for múltiplo de 4 então não existem inteiros não nulos x, y e z tais que x n + y n = z n Demonstração: Seja n = 4k, k natural. Se x n + y n = z n, então teremos (x k ) 4 + (y k ) 4 = (z 2k ) 2, ou seja, (x k, y k, z 2k ) será uma solução da equação a 4 + b 4 = c 2. Assim, basta mostrarmos que essa última equação não admite soluções não nulas. Por absurdo, suponhamos que existam inteiros positivos a, b e c tais que a 4 + b 4 = c 2. Podemos também supor que a, b e c foram escolhidos de tal modo que não há outra solução positiva a, b, c com c < c (aqui vamos usar o método da descida). Então a e b são primos entre si, e o Teorema garante a existência de inteiros positivos primos entre si u e v tais que a 2 = u 2 v 2, b 2 = 2uv e c 2 = u 2 + v 2. Como a 2 + v 2 = u 2, segue novamente do Teorema a existência de inteiros positivos primos entre si p e q tais que a 2 = p 2 q 2, v 2 = 2pq e u 2 = p 2 + q 2. Mas aí b 2 = 2uv = 4pq(p 2 + q 2 ). Como p e q são primos entre si, temos que ambos são também primos com p 2 + q 2. Portanto, sendo 4pq(p 2 + q 2 ) um quadrado devemos ter p, q e p 2 + q 2 quadrados, digamos p = α 2, q = β 2, p 2 + q 2 = γ 2, com α, β, γ positivos. Por fim, segue que α 4 + β 4 = γ 2, com c = u 2 + v 2 > u = p 2 + q 2 = γ 2 γ contrariando a minimalidade de c. Logo, não há soluções não nulas de x n + y n = z n quando n for múltiplo de A equação de Pell Nesta seção discutiremos um tipo particular de equação diofantina: a chamada Equação de Pell. Definição Seja d um inteiro positivo que não seja um quadrado. sabemos que d é irracional. Chamamos equação de Pell à equação Nesse caso, x 2 dy 2 = m 23

25 onde m é um inteiro qualquer. É claro que no caso m = 0 a equação não admite soluções além da trivial x = y = 0, pois se esse fosse o caso teríamos x e y não nulos, e daí d = x, um racional. y Nosso objetivo principal é mostrar que uma equação de Pell tem infinitas soluções. Para isso precisaremos de alguns lemas auxiliares. Lema Seja ξ um irracional qualquer. Existem infinitos racionais x y, com x e y inteiros não nulos primos entre si, tais que x y ξ < 1 y. 2 Lema Seja d um inteiro positivo que não seja um quadrado. Existe um inteiro m para o qual a equação x 2 dy 2 = m admite infinitas soluções inteiras. Teorema (Soluções da Equação de Pell) Seja d um inteiro positivo que não seja um quadrado. A equação x 2 dy 2 = 1 admite infinitas soluções em inteiros positivos x, y. Ademais, existe uma solução em inteiros positivos x 1, y 1 tal que todas as demais soluções dessa equação são da forma x n + y n d = (x1 + y 1 d) n, onde n é um número natural. Demonstração: Admitamos por enquanto que nossa equação tenha uma solução em inteiros positivos x, y. Dentre todas essas soluções, escolha aquela x 1, y 1 tal que α = x 1 + y 1 d seja o menor possível. Dado um natural qualquer n, sabemos que existem inteiros positivos x n, y n tais que (x 1 + y 1 d) n = x n + y n d. Daí, sabemos que (x 1 y 1 d) n = x n y n d e assim, 1 = (x 2 1 dy 2 1) n = (x 1 + y 1 d) n (x 1 y 1 d) n = = (x n + y n d)(xn y n d) = x 2 n dyn 2 Então todos os pares x n, y n são soluções da equação. Seja agora (x, y) uma solução qualquer em inteiros positivos. Para terminar, basta mostrarmos que existe um natural n tal que x + y d = α n. Suponha o contrário. Então existe um natural n tal que α n < x + y d < α n+1. Daí, vem que 1 < α n (x + y d) < α. Mas α n (x + y d) = (x 1 + y 1 d) n (x + y d) = (x n + y n d) 1 (x + y d) (x n y n d)(x + y d) = (xxn dyy n ) + (x n y y n x) d 24

26 e ocorre que (xx n dyy n ) 2 d(x n y y n x) 2 = x 2 n(x 2 dy 2 ) + y 2 n(dy 2 x 2 ) = x 2 n dy 2 n = 1 de modo que α n (x + y d) = (xx n dyy n, x n y y n x) também é solução. Como 1 < α n (x+y d) < α basta mostrarmos que xx n dyy n, x n y y n x > 0 para chegarmos numa contradição. Sejam a = xx n dyy n e b = x n y y n x. Temos a + b d > 0 e a 2 db 2 = 1, donde a b d = (a + b d) 1 > 0. Então, 2a = (a+b d)+(a b d). Por outro lado, a+b d > 1 implica a b d = (a + b d) 1 < 1, e daí b d > a 1 0. Logo, b > 0. Para terminar, basta mostrarmos que a equação x 2 dy 2 = 1 admite uma solução. Tome, de acordo com o Lema 2.4.3, um inteiro (não nulo) m tal que x 2 dy 2 = m admita uma infinidade de soluções. Podemos escolher duas dessas soluções, (x 1, y 1 ), (x 2, y 2 ) digamos, tais que x 1 x 2 mas x 1 x 2 e y 1 y 2, módulo m. Então (x 1 + y 1 d)(x2 y 2 d) = (x1 x 2 dy 1 y 2 ) + (x 2 y 1 x 1 y 2 ) d. (2.4.3) Mas x 1 x 2 dy 1 y 2 x 2 1 dy1 2 0(modm) e x 2 y 1 x 1 y 2 (modm), donde existem inteiros u e v tais que x 1 x 2 dy 1 y 2 = mu, x 2 y 1 x 1 y 2 = mv. Segue de que (x 1 + y 1 d)(x2 y 2 d) = m(u + v d), e daí (x 1 y 1 d)(x2 y 2 d) = m(u v d). Multiplicando ordenadamente essas duas igualdades, chegamos a m 2 = (x 2 1 dy 2 1)(x 2 2 dy 2 2) = m 2 (u 2 dv 2 ) ou seja, u 2 dv 2 = 1. Resta mostrarmos que u e v são não nulos. Se u = 0 teríamos dv 2 = 1, um absurdo. Se v = 0, viria u = 1 ou 1. De seguiria que (x 1 + y 1 d)(x2 y 2 d) = ±m, e assim (x1 + y 1 d) = ±(x2 + y 2 d), donde por fim x1 = x 2, o que é um absurdo. Exemplo Determine todas as soluções inteiras não nulas da equação x 2 2y 2 = 1 O Teorema ensina que as soluções positivas dessa equação são da forma (x n, y n ), onde x n e y n são os únicos inteiros para os quais x n + y n 2 = (x1 + y 1 2) n, sendo (x 1, y 1 ) a solução positiva para a qual x 1 + y 1 2 é o menor possível. Como os pares (x, y) = (1, 1), (1, 2), (2, 1), (2, 2), (2, 3) não são soluções da equação e (3, 2) é, é fácil nos convencermos de que (x 1, y 1 ) = (3, 2). Desse modo, temos os pares 25

27 x n, y n dados pela igualdade x n + y n 2 = ( ) n. 2.5 Equações diofantinas não lineares Veremos nesta seção dois exemplos de equações diofantinas não lineares. Vimos nos Exemplos e que de fato, Z[i] e Z[ 2] são domínios euclidianos, assim podemos resolver as equações nestes domínios. Exemplo Considere a seguinte equação diofantina: y = x 3 (2.5.4) Encontre todas as soluções inteiras dessa equação, com x, y 0 em Z. Primeiramente suponha que x é par, daí podemos escrever x = 2k, para algum k inteiro, isso implica que y é ímpar e que y 2 1(mod8). De fato, x = 2k y = 8k 3 y 2 = 8k 3 1 y é ímpar e, daí y = 2t + 1, para algum t inteiro y 2 = 4t 2 + 4t + 1 = 4t(t + 1) + 1 agora temos que t ou t + 1 é par, o que implica que y 2 1(mod8). Por outro lado, se x é par temos que: x = 2k y 2 = 8k 3 1 y 2 7(mod8). Portanto, temos que ter x ímpar, o que implica que y é par. Agora vamos trabalhar em Z[i]. Escreva: y = (y + i)(y i) = x 3. Tome δ Z[i], diferente de uma unidade, tal que δ divide y + i e y i, então δ 2i, e podemos escrever, δz = 2i, para algum z Z[i], o que implica que δz( i) = 2i( i), o que segue que δ 2. Assim N(δ) é par, mas N(y + i) é ímpar, o que é um absurdo. Logo temos que ter que δ é uma unidade. Dessa forma, y i e y + i não tem nenhum fator em comum diferente da unidade e como, (y i)(y + i) é um cubo perfeito temos que y + i = u(a + bi) 3 e y i = u 1 (a 1 + b 1 i) 3, onde u e u 1 são unidades. Agora, as unidades em Z[i] são ±1 e ±i, que são cubos perfeitos, logo podemos assumir que y + i = (a + bi) 3 e daí 26

28 y + i = a 3 + 3a 2 bi 3ab 2 b 3 i = a 3 3ab 2 + (3a 2 b b 3 )i. Comparando as partes imaginária, temos 1 = 3a 2 b b 3 = b(3a 2 b 2 ). Portanto segue que a equação y = x 3 não tem solução em Z. Exemplo Considere a seguinte equação diofantina: y = x 3 (2.5.5) Encontre todas as soluções inteiras dessa equação, com x, y 0 em Z. Suponha inicialmente que x é par, daí x = 2k, para algum k inteiro y = 8k 3 y 2 2(mod4). Temos então que y é par, e podemos escrever y = 2t, para algum t inteiro y 2 = 4t 2 y 2 0(mod4). Portanto temos que ter x ímpar, que implica que y também tem que ser ímpar. Vamos trabalhar agora em Z[ 2]. Escreva: y = (y 2)(y + 2) = x 3. Tome δ Z[ 2], diferente de uma unidade, tal que δ divide y 2 e y + 2 então δ 2 2, e podemos escrever δz = 2 2, para algum z Z[ 2], isso implica que N(δ) é par, o que não é possível, pois temos que existe t Z[ 2] tal que δt = y + 2 N(δ)N(t) = y 2 + 2, mas y é ímpar. Portanto segue que δ é uma unidade. De maneira análoga do exemplo acima, y 2 e y + 2 não tem nenhum fator em comum diferente da unidade e como, (y 2)(y + 2) é um cubo perfeito temos que y + 2 = u(a+b 2) 3 e y 2 = u 1 (a 1 + b 1 2) 3, onde u e u 1 são unidades. Agora, as unidades em Z[ 2] são ±1, que são cubos perfeitos, logo podemos assumir que y + 2 = (a + b 2) 3 = a 3 6ab 2 + (3a 2 b 2b 3 ) 2. Comparando as partes real e imaginária temos que y = a 3 6ab 2 e 1 = 3a 2 b 2b 3. 27

29 Portanto, temos que b(3a 2 2b) = 1 b = ±1. Se b = 1, então (3a 2 2b) = 1, o que implica que a = ±1. Se b = 1, então (3a 2 2b) = 1, o que implica que 3a 2 = 1. Logo, temos que ter b = 1, como vimos isso implica que a = ±1. Suponha então b = 1 e a = 1, daí temos que y = 5. Suponha agora que b = 1 e a = 1, isso implica que y = 5. Portanto, y = ±5, o que segue que x = 3. Assim as soluções inteiras da equação são y = ±5 e x = 3. 28

30 REFERÊNCIAS [1] DEAN, Richard A. Elementos de álgebra abstrata; tradução de Carlos Alberto A. de Carvalho. Rio de Janeiro: Livros Técnicos e Científicos, [2] DOMINGUES, Hygino H.; IEZZI, Gelson. Álgebra moderna. 4. ed. São Paulo: Atual, [3] HERNSTEIN, I. N. Tópicos de álgebra; tradução de Adalberto P. Burgamasco e L.H. Jacy Monteiro. São Paulo: Polígono, [4] JANESCH, O. R. Álgebra II. 1. ed. Florianópolis: UFSC/EAD/CDE/CFM, v p. [5] LANDAU, E. Teoria elementar dos números. Rio de Janeiro: Ciência Moderna, [6] BOLLAUF, Maiara F. Contribuições de Galois para a solução dos problemas clássicos da Geometria. Joinville: UDESC, p. Trabalho de Graduação - Licenciatura em Matemática, Universidade do Estado de Santa Catarina, Joinville,

ALGORITMO DE EUCLIDES

ALGORITMO DE EUCLIDES Sumário ALGORITMO DE EUCLIDES Luciana Santos da Silva Martino lulismartino.wordpress.com lulismartino@gmail.com PROFMAT - Colégio Pedro II 25 de agosto de 2017 Sumário 1 Máximo Divisor Comum 2 Algoritmo

Leia mais

NÚMEROS ALGÉBRICOS E TRANSCENDENTES

NÚMEROS ALGÉBRICOS E TRANSCENDENTES Luis Eduardo Fritsch NÚMEROS ALGÉBRICOS E TRANSCENDENTES Florianópolis 2018 Luis Eduardo Fritsch NÚMEROS ALGÉBRICOS E TRANSCENDENTES Artigo científico desenvolvido para apresentação na disciplina de Introdução

Leia mais

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

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares Introdução à Teoria dos Números 2018 - Notas de Aulas 3 Prof Carlos Alberto S Soares 1 Números Primos e o Teorema Fundamental da Aritmética Em notas anteriores já definimos os números primos, isto é, números

Leia mais

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

Resolução dos Exercícios 31/05-09/06. Resolução dos Exercícios 31/05-09/06. 1. Seja A um domínio de integridade. Mostre que todo subgrupo finito de U(A) é cíclico. Seja K o corpo de frações de A. Então A é um subanel de K (identificado com

Leia mais

obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero.

obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero. Lista 1 - Teoria de Anéis - 2013 Professor: Marcelo M.S. Alves Data: 03/09/2013 obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero. 1. Os conjuntos

Leia mais

Introdução à Teoria dos Números - Notas 4 Tópicos Adicionais II

Introdução à Teoria dos Números - Notas 4 Tópicos Adicionais II 1 Introdução à Teoria dos Números - Notas 4 Tópicos Adicionais II 1 O Anel dos Inteiros Módulo n Consideremos um número natural n 2 fixado Para cada número inteiro a definimos a = {x Z; x a mod n} Como

Leia mais

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

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares Introdução à Teoria dos Números 2018 - Notas de Aulas 3 Prof Carlos Alberto S Soares 1 Números Primos e o Teorema Fundamental da Aritmética Em notas anteriores já definimos os números primos, isto é, números

Leia mais

1 Congruências e aritmética modular

1 Congruências e aritmética modular 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

Aula 10. variáveis; a resultante fatoração única em Z[x]

Aula 10. variáveis; a resultante fatoração única em Z[x] Aula 10 fatoração única em várias variáveis; a resultante (Anterior: Gauss. ) 10.1 fatoração única em Z[x] 1. Prop. Seja f Z[x], deg f > 0. Então existem m Z e polinômios irredutíveis p 1,..., p t Z[x]

Leia mais

Anéis quocientes k[x]/i

Anéis quocientes k[x]/i META: Determinar as possíveis estruturas definidas sobre o conjunto das classes residuais do quociente entre o anel de polinômios e seus ideais. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de:

Leia mais

Irredutibilidade em Q[x]

Irredutibilidade em Q[x] META: Fundamentar a busca de critérios de irredutibilidade em Z[x] para mostrar irredutibilidade em Q[x]. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Definir polinômios primitivos em Z[x].

Leia mais

Notas sobre os anéis Z m

Notas sobre os anéis Z m Capítulo 1 Notas sobre os anéis Z m Estas notas complementam o texto principal, no que diz respeito ao estudo que aí se faz dos grupos e anéis Z m. Referem algumas propriedades mais específicas dos subanéis

Leia mais

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

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 016. Gabarito Questão 01 [ 1,00 ] A secretaria de educação de um município recebeu uma certa quantidade de livros para distribuir entre as escolas

Leia mais

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

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que: Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que

Leia mais

Triângulos retângulos com lados inteiros: Procurando as hipotenusas

Triângulos retângulos com lados inteiros: Procurando as hipotenusas MATEMÁTICA UNIVERSITÁRIA n o 41 Dezembro/2006 pp. 1 10 Triângulos retângulos com lados inteiros: Procurando as hipotenusas José F. Andrade 1 Introdução O objetivo principal deste artigo é determinar os

Leia mais

1. O que podemos dizer sobre a imagem da função. f : Z Z, f(x) = x 2 + x + 1?

1. O que podemos dizer sobre a imagem da função. f : Z Z, f(x) = x 2 + x + 1? 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

Definimos a soma de seqüências fazendo as operações coordenada-a-coordenada:

Definimos a soma de seqüências fazendo as operações coordenada-a-coordenada: Aula 8 polinômios (Anterior: chinês. ) 8.1 séries formais Fixemos um anel A. Denotaremos por A N o conjunto de todas as funções de N = {, 1, 2,... } a valores em A. Em termos mais concretos, cada elemento

Leia mais

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017 Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4

Leia mais

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

Introdução à Teoria dos Números - Notas 4 Máximo Divisor Comum e Algoritmo de Euclides Introdução à Teoria dos Números - Notas 4 Máximo Divisor Comum e Algoritmo de Euclides 1 Máximo Divisor Comum Definição 1.1 Sendo a um número inteiro, D a indicará o conjunto de seus divisores positivos,

Leia mais

Aula 14 DOMÍNIOS FATORIAIS META. Estabelecer o conceito de domínio fatorial. OBJETIVOS

Aula 14 DOMÍNIOS FATORIAIS META. Estabelecer o conceito de domínio fatorial. OBJETIVOS Aula 14 DOMÍNIOS FATORIAIS META Estabelecer o conceito de domínio fatorial. OBJETIVOS Aplicar a definição de domínio fatorial na resolução de problemas. Estabelecer a definição de máximo divisor comum

Leia mais

CRITÉRIO DE EISENSTEIN. Marília Martins Cabral Orientador: Igor Lima

CRITÉRIO DE EISENSTEIN. Marília Martins Cabral Orientador: Igor Lima CRITÉRIO DE EISENSTEIN 1 Marília Martins Cabral Orientador: Igor Lima NOTAÇÕES a b a divide b. a b a não divide b x n a variável x elevado a potência n. a n coeficiente de x n 2 INTRODUÇÃO: POLINÔMIOS

Leia mais

MA14 - Aritmética Unidade 2 Resumo. Divisão Euclidiana

MA14 - Aritmética Unidade 2 Resumo. Divisão Euclidiana MA14 - Aritmética Unidade 2 Resumo Divisão Euclidiana Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte da disciplina e o seu estudo não garante o domínio do assunto. O material

Leia mais

A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A.

A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A. Capítulo 1 Números Reais 1.1 Conjuntos Numéricos Um conjunto é uma coleção de elementos. A relação básica entre um objeto e o conjunto é a relação de pertinência: quando um objeto x é um dos elementos

Leia mais

Polinômios Ciclotômicos e o Teorema dos Primos de Dirichlet

Polinômios Ciclotômicos e o Teorema dos Primos de Dirichlet Polinômios Ciclotômicos e o Teorema dos Primos de Dirichlet Antonio Caminha 15 de fevereiro de 2003 Resumo Neste artigo definimos e provamos as principais propriedades dos polinômios ciclotômicos, objetivando

Leia mais

Programa Combinatória Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 52

Programa Combinatória Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 52 1 / 52 MATEMÁTICA DISCRETA Patrícia Ribeiro Departamento de Matemática, ESTSetúbal 2018/2019 2 / 52 Programa 1 Combinatória 2 Aritmética Racional 3 Grafos 3 / 52 Capítulo 1 Combinatória 4 / 52 Princípio

Leia mais

Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 42

Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 42 1 / 42 MATEMÁTICA DISCRETA Patrícia Ribeiro Departamento de Matemática, ESTSetúbal 2018/2019 2 / 42 1 Combinatória 2 3 Grafos 3 / 42 Capítulo 2 4 / 42 Axiomática dos Inteiros Sejam a e b inteiros. Designaremos

Leia mais

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

NÚMEROS INTEIROS. Álgebra Abstrata - Verão 2012 NÚMEROS INTEIROS PROF. FRANCISCO MEDEIROS Álgebra Abstrata - Verão 2012 Faremos, nessas notas, uma breve discussão sobre o conjunto dos números inteiros. O texto é basicamente a seção 3 do capítulo 1 de

Leia mais

Polinômios irredutíveis

Polinômios irredutíveis Polinômios irredutíveis Sérgio Tadao Martins 23 de janeiro de 2009 1 Introdução: polinômios em uma variável Um polinômio de grau n em uma variável x é uma expressão da forma p(x) = a 0 + a 1 x + a 2 x

Leia mais

TEOREMA DE LEGENDRE GABRIEL BUJOKAS

TEOREMA DE LEGENDRE GABRIEL BUJOKAS TEOREMA DE LEGENDRE GABRIEL BUJOKAS A nossa meta hoje é responder a seguinte questão: Questão. Para a, b Z, determine se a equação ( ) tem uma solução com x, y, z Z, além da solução trivial x = y = z =

Leia mais

Elementos de Matemática Finita

Elementos de Matemática Finita Elementos de Matemática Finita Exercícios Resolvidos - Princípio de Indução; Algoritmo de Euclides 1. Seja ( n) k n! k!(n k)! o coeficiente binomial, para n k 0. Por convenção, assumimos que, para outros

Leia mais

Algoritmo da divisão em k[x] 2

Algoritmo da divisão em k[x] 2 AULA Algoritmo da divisão em k[x] 2 META: Introduzir um algoritmo de divisão para anéis de polinômios definidos sobre corpos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar o algoritmo

Leia mais

Equações Diofantinas II

Equações Diofantinas II Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível Prof. Samuel Feitosa Aula 1 Equações Diofantinas II Continuaremos nosso estudo das equações diofantinas abordando agora algumas equações

Leia mais

a = bq + r e 0 r < b.

a = bq + r e 0 r < b. 1 Aritmética dos Inteiros 1.1 Lema da Divisão e o Algoritmo de Euclides Recorde-se que a, o módulo ou valor absoluto de a, designa a se a N a = a se a / N Dados a, b, c Z denotamos por a b : a divide b

Leia mais

Teoria da divisibilidade Em k[x]

Teoria da divisibilidade Em k[x] Teoria da divisibilidade Em k[x] META: Obter a propriedade de fatoração única para anéis de polinômios definidos sobre corpos. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Estabelecer os principais

Leia mais

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

Matemática I. 1 Propriedades dos números reais Matemática I 1 Propriedades dos números reais O conjunto R dos números reais satisfaz algumas propriedades fundamentais: dados quaisquer x, y R, estão definidos a soma x + y e produto xy e tem-se 1 x +

Leia mais

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

Material Teórico - Módulo Equações do Segundo Grau. Equações de Segundo Grau: outros resultados importantes. Nono Ano do Ensino Funcamental Material Teórico - Módulo Equações do Segundo Grau Equações de Segundo Grau: outros resultados importantes Nono Ano do Ensino Funcamental Autor: Prof. Fabrício Siqueira Benevides Revisor: Prof. Antonio

Leia mais

Universidade Federal de Santa Catarina Centro de Ciẽncias Físicas e Matemáticas Departamento de Matemática. Liana Garcia Ribeiro

Universidade Federal de Santa Catarina Centro de Ciẽncias Físicas e Matemáticas Departamento de Matemática. Liana Garcia Ribeiro Universidade Federal de Santa Catarina Centro de Ciẽncias Físicas e Matemáticas Departamento de Matemática Liana Garcia Ribeiro Introdução aos Números Algébricos Florianópolis 2018 2 Introdução Para fazer

Leia mais

Ordens e raízes primitivas

Ordens e raízes primitivas Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 7 Ordens e raízes primitivas 1 Polinômios Dado um anel comutativo K, definimos o anel comutativo K[x] como

Leia mais

Roteiro da segunda aula presencial - ME

Roteiro da segunda aula presencial - ME PIF Enumerabilidade Teoria dos Números Congruência Matemática Elementar Departamento de Matemática Universidade Federal da Paraíba 29 de outubro de 2014 PIF Enumerabilidade Teoria dos Números Congruência

Leia mais

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

Definição: Uma função de uma variável x é uma função polinomial complexa se pudermos escrevê-la na forma n POLINÔMIO I 1. DEFINIÇÃO Polinômios de uma variável são expressões que podem ser escritas como soma finita de monômios do tipo : a t k k onde k, a podem ser números reais ou números complexos. Exemplos:

Leia mais

ax + by 347 = 0 k = text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: DOCENTES: Gilda Ferreira e Ana Nunes

ax + by 347 = 0 k = text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: DOCENTES: Gilda Ferreira e Ana Nunes text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: 21082 DOCENTES: Gilda Ferreira e Ana Nunes Resolução e Critérios de Correção 1. Sejam a, b Z tais que mdc(a, b) = 12. Relativamente à equação ax + by

Leia mais

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

Análise I Solução da 1ª Lista de Exercícios FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS CENTRO UNIVERSITÁRIO SERRA DOS ÓRGÃOS Centro de Ciências e Tecnologia Curso de Graduação em Matemática Análise I 0- Solução da ª Lista de Eercícios. ATENÇÃO: O enunciado

Leia mais

Espaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais:

Espaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais: Espaços Euclidianos Espaços R n O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais: R n = {(x 1,..., x n ) : x 1,..., x n R}. R 1 é simplesmente o conjunto R dos números

Leia mais

Soma de Quadrados. Faculdade de Matemática, UFU, MG

Soma de Quadrados. Faculdade de Matemática, UFU, MG Soma de Quadrados Stela Zumerle Soares 1 Antônio Carlos Nogueira (stelazs@gmailcom (anogueira@ufubr Faculdade de Matemática, UFU, MG 1 Resultados Preliminares Historicamente, um problema que tem recebido

Leia mais

Topologia de Zariski. Jairo Menezes e Souza. 25 de maio de Notas incompletas e não revisadas RASCUNHO

Topologia de Zariski. Jairo Menezes e Souza. 25 de maio de Notas incompletas e não revisadas RASCUNHO Topologia de Zariski Jairo Menezes e Souza 25 de maio de 2013 Notas incompletas e não revisadas 1 Resumo Queremos abordar a Topologia de Zariski para o espectro primo de um anel. Antes vamos definir os

Leia mais

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

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 2017.1 Gabarito Questão 01 [ 1,25 ] Determine as equações das duas retas tangentes à parábola de equação y = x 2 2x + 4 que passam pelo ponto (2,

Leia mais

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

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE ANA PAULA CHAVES AND THIAGO PORTO 1. Introdução Os temas centrais deste texto - bases numéricas e critérios de divisibilidade

Leia mais

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

Soluções dos Exercícios do Capítulo 2 A MATEMÁTICA DO ENSINO MÉDIO Volume 1 Soluções dos Exercícios do Capítulo 2 2.1. Seja X = {n N; a + n Y }. Como a Y, segue-se que a + 1 Y, portanto 1 X. Além disso n X a + n Y (a + n) + 1 Y n + 1 X. Logo

Leia mais

Capítulo Coordenadas no Espaço. Seja E o espaço da Geometria Euclidiana tri-dimensional.

Capítulo Coordenadas no Espaço. Seja E o espaço da Geometria Euclidiana tri-dimensional. Capítulo 9 1. Coordenadas no Espaço Seja E o espaço da Geometria Euclidiana tri-dimensional. Um sistema de eixos ortogonais OXY Z em E consiste de três eixos ortogonais entre si OX, OY e OZ com a mesma

Leia mais

Denominamos equação polinomial ou equação algébrica de grau n a toda equação da forma:

Denominamos equação polinomial ou equação algébrica de grau n a toda equação da forma: EQUAÇÕES POLINOMIAIS. EQUAÇÃO POLINOMIAL OU ALGÉBRICA Denominamos equação polinomial ou equação algébrica de grau n a toda equação da forma: p(x) = a n x n + a n x n +a n x n +... + a x + a 0 = 0 onde

Leia mais

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

Resumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos MAT 1351 Cálculo para funções uma variável real I Curso noturno de Licenciatura em Matemática 1 semestre de 2016 Docente: Prof. Dr. Pierluigi Benevieri Resumo das aulas dos dias 4 e 11 de abril e exercícios

Leia mais

MA14 - Aritmética Lista 1. Unidades 1 e 2

MA14 - Aritmética Lista 1. Unidades 1 e 2 MA14 - Aritmética Lista 1 Unidades 1 e 2 Abramo Hefez PROFMAT - SBM 05 a 11 de agosto 2013 Unidade 1 1. Mostre, por indução matemática, que, para todo n N {0}, a) 8 3 2n + 7 b) 9 10 n + 3.4 n+2 + 5 2.

Leia mais

a = bq + r e 0 r < b.

a = bq + r e 0 r < b. 1 Aritmética dos Inteiros 1.1 Lema da Divisão e o Algoritmo de Euclides Recorde-se que a, o módulo ou valor absoluto de a, designa a se a N a = a se a / N Dados a, b Z denotamos por a b : a divide b ou

Leia mais

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

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 CAPÍTULO 1 Exercícios 1..n) Como x 0 para todo x, o sinal de x(x ) é o mesmo que o de x; logo, x(x ) 0 para x 0; x(x ) 0 para x 0; x(x ) 0 para x 0.. n) Como x 1 1 0 para todo x, multiplicando-se os dois

Leia mais

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

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações

Leia mais

MAT Álgebra I para Licenciatura 2 a Lista de exercícios

MAT Álgebra I para Licenciatura 2 a Lista de exercícios MAT0120 - Álgebra I para Licenciatura 2 a Lista de exercícios 1. Quais são os números de cifras iguais que são divisíveis por 3? Idem, por 9? Idem por 11? 2. Determinar mmc (56, 72) e mmc (119, 272). 3.

Leia mais

PARTE I EQUAÇÕES DE UMA VARIÁVEL REAL

PARTE I EQUAÇÕES DE UMA VARIÁVEL REAL PARTE I EQUAÇÕES DE UMA VARIÁVEL REAL. Introdução Considere f uma função, não constante, de uma variável real ou complexa, a equação f(x) = 0 será denominada equação de uma incógnita. EXEMPLO e x + senx

Leia mais

Elementos de Matemática Finita

Elementos de Matemática Finita Elementos de Matemática Finita Exercícios Resolvidos 1 - Algoritmo de Euclides; Indução Matemática; Teorema Fundamental da Aritmética 1. Considere os inteiros a 406 e b 654. (a) Encontre d mdc(a,b), o

Leia mais

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a Exemplo (U(n)) Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a multiplicação módulo n é uma operação binária

Leia mais

Cálculo Diferencial e Integral Química Notas de Aula

Cálculo Diferencial e Integral Química Notas de Aula Cálculo Diferencial e Integral Química Notas de Aula João Roberto Gerônimo 1 1 Professor Associado do Departamento de Matemática da UEM. E-mail: jrgeronimo@uem.br. ÍNDICE 1. INTRODUÇÃO Esta notas de aula

Leia mais

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

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito. a(x x 0) = b(y 0 y). MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 016.1 Gabarito Questão 01 [ 1,00 ::: (a)=0,50; (b)=0,50 ] (a) Seja x 0, y 0 uma solução da equação diofantina ax + by = c, onde a, b são inteiros

Leia mais

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

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão 01 Lista 1 Números Naturais 1. Demonstre por indução as seguintes fórmulas: (a) (b) n (j 1) = n (soma dos n primeiros ímpares).

Leia mais

Corpos estendidos no espaço em grupos

Corpos estendidos no espaço em grupos Corpos estendidos no espaço em grupos Carlos Shine Vamos ver como conceitos de teoria dos números (especialmente números mod p) podem ser generalizados com conceitos de Álgebra. 1 Corpos Em termos simples,

Leia mais

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

Existem infinitos números de Carmichael, mas não provaremos isso neste curso. 6 Pseudoprimos 6.1 O Pequeno Teorema de Fermat nos diz que, se n é primo, então temos b n b (mod n) para todo b Z. Portanto, a contrapositiva diz que se temos b n b (mod n) ( ) para algum b Z, então n

Leia mais

Teorema Chinês dos Restos. Tópicos Adicionais

Teorema Chinês dos Restos. Tópicos Adicionais Teorema Chinês dos Restos Teorema Chinês dos Restos Tópicos Adicionais Tópicos Adicionais Teorema Chinês dos Restos 1 Exercícios Introdutórios Exercício 1. Para cada um dos itens abaixo, encontre o menor

Leia mais

5 Congruências lineares. Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade

5 Congruências lineares. Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade Matemática Discreta 2008/09 Jorge André & Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Programa 1 Parte 1 - Conjuntos e Aplicações 1 Conjuntos 2 Relações Binárias 3 Aplicações 4 Indução matemática

Leia mais

Introduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;

Introduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita; META Introduzir os conceitos de base e dimensão de um espaço vetorial. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: distinguir entre espaços vetoriais de dimensão fnita e infinita; determinar

Leia mais

Sistemas de equações lineares com três variáveis

Sistemas de equações lineares com três variáveis 18 Sistemas de equações lineares com três variáveis Sumário 18.1 Introdução....................... 18. Sistemas de duas equações lineares........... 18. Sistemas de três equações lineares........... 8

Leia mais

Inversão de Matrizes

Inversão de Matrizes Inversão de Matrizes Prof. Márcio Nascimento Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Matricial - 2015.2 21 de

Leia mais

XIX Semana Olímpica de Matemática. Nível 3. Polinômios Ciclotômicos e Congruência Módulo p. Samuel Feitosa

XIX Semana Olímpica de Matemática. Nível 3. Polinômios Ciclotômicos e Congruência Módulo p. Samuel Feitosa XIX Semana Olímpica de Matemática Nível 3 Polinômios Ciclotômicos e Congruência Módulo p Samuel Feitosa O projeto da XIX Semana Olímpica de Matemática foi patrocinado por: Semana Olímpica 2016 Polinômios

Leia mais

1. Funções Reais de Variável Real Vamos agora estudar funções definidas em subconjuntos D R com valores em R, i.e. f : D R R

1. Funções Reais de Variável Real Vamos agora estudar funções definidas em subconjuntos D R com valores em R, i.e. f : D R R . Funções Reais de Variável Real Vamos agora estudar funções definidas em subconjuntos D R com valores em R, i.e. f : D R R D x f(x). Uma função é uma regra que associa a cada elemento x D um valor f(x)

Leia mais

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

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 EQUAÇÃO POLINOMIAL Equação algébrica Equação polinomial ou algébrica é toda equação na forma a n x n + a n 1 x n 1 + a n 2 x n 2 +... + a 2 x 2 + a 1 x + a 0, sendo x C a incógnita e a n, a n 1,..., a

Leia mais

1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo).

1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo). 1 a Lista de Exercícios de Álgebra II - MAT 231 1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo). 2. Seja A um anel associativo. Dado a A, como você definiria a m, m IN?

Leia mais

Lista 2 - Bases Matemáticas

Lista 2 - Bases Matemáticas Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo

Leia mais

Primeiro Desao Mestre Kame

Primeiro Desao Mestre Kame Primeiro Desao Mestre Kame Alan Anderson 8 de julho de 2017 O propósito dessa lista é gerar uma intuição numérica das demonstrações abstratas do teoremas famosos de Teoria dos números, de modo que alguns

Leia mais

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.

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. Divisores 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. Quando a é múltiplo de d dizemos também que a é divisível

Leia mais

VIVIANE MARIA BEUTER O ANEL DE INTEIROS QUADRÁTICOS

VIVIANE MARIA BEUTER O ANEL DE INTEIROS QUADRÁTICOS VIVIANE MARIA BEUTER O ANEL DE INTEIROS QUADRÁTICOS Florianópolis 008 Universidade Federal de Santa Catarina Centro de Ciências Físicas e Matemáticas Departamento de Matemática O ANEL DE INTEIROS QUADRÁTICOS

Leia mais

Semana Olímpica 2019

Semana Olímpica 2019 Semana Olímpica 2019 Prof a Ana Paula Chaves apchaves.math@gmail.com Nível 1 Congruência 1. Divisibilidade e Aritmética Modular Um dos tópicos mais fundamentais da teoria dos números é, sem dúvidas, a

Leia mais

parciais primeira parte

parciais primeira parte MÓDULO - AULA 3 Aula 3 Técnicas de integração frações parciais primeira parte Objetivo Aprender a técnica de integração conhecida como frações parciais. Introdução A técnica que você aprenderá agora lhe

Leia mais

POLINÔMIOS 1. INTRODUÇÃO Uma função é dita polinomial quando ela é expressa da seguinte forma:

POLINÔMIOS 1. INTRODUÇÃO Uma função é dita polinomial quando ela é expressa da seguinte forma: POLINÔMIOS 1. INTRODUÇÃO Uma função é dita polinomial quando ela é expressa da seguinte forma: n P(x) a a x a x... a x, onde 0 1 n Atenção! o P(0) a 0 o P(1) a a a... a 0 1 n a 0,a 1,a,...,a n :coeficientes

Leia mais

MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08

MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08 MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08 Neste curso, consideraremos o conjunto dos números naturais como sendo o conjunto N = {0, 1, 2, 3,... }, denotando por N o conjunto N \ {0}. Como

Leia mais

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. O Algortimo de Euclides Estendido. Tópicos Adicionais 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

Leia mais

Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática DIVISORES DE ZERO LIA FEITAL FUSARO

Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática DIVISORES DE ZERO LIA FEITAL FUSARO Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática ANÉIS DE FATORAÇÃO ÚNICA COM DIVISORES DE ZERO LIA FEITAL FUSARO Belo Horizonte 2008 LIA FEITAL FUSARO ANÉIS

Leia mais

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

2007/2008 Resolução do 1 o exame

2007/2008 Resolução do 1 o exame Introdução à Álgebra 2007/2008 Resolução do 1 o exame 1. Diga, em cada caso, se a afirmação é verdadeira ou falsa, justificando a sua resposta com uma demonstração, ou um contra-exemplo. Nesta questão,

Leia mais

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

Álgebra A - Aula 02 Teorema da fatoração única, Propriedade fundamental dos primos, números primos Álgebra A - Aula 02 Teorema da fatoração única, Propriedade fundamental dos primos, números primos Elaine Pimentel Departamento de Matemática, UFMG, Brazil 2 o Semestre - 2010 Teorema da fatoração única

Leia mais

Proposição 0 (Divisão Euclidiana): Dados a b, b b * existem q, r b unicamente determinados tais que 0 r < b e a = bq + r

Proposição 0 (Divisão Euclidiana): Dados a b, b b * existem q, r b unicamente determinados tais que 0 r < b e a = bq + r "!$#%& '!)( * +-,/.10 2/3"456387,:9;2 .1?/@.1, ACB DFEHG IJDLK8MHNLK8OHP Q RTSVUVWYXVZ\[^]_W Este artigo se roõe a ser uma referência sobre os temas citados no título, que aarecem naturalmente em diversos

Leia mais

Cálculo Diferencial e Integral I

Cálculo Diferencial e Integral I Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito

Leia mais

Equações Diofantinas I

Equações Diofantinas I Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível Prof. Samuel Feitosa Aula 8 Equações Diofantinas I Exemplo 1. Em Gugulândia, o jogo de basquete é jogado com regras diferentes. Existem

Leia mais

Aritmética. Somas de Quadrados

Aritmética. Somas de Quadrados Aritmética Somas de Quadrados Carlos Humberto Soares Júnior PROFMAT - SBM Objetivo Determinar quais números naturais são soma de dois quadrados. PROFMAT - SBM Aritmética, Somas de Quadrados slide 2/14

Leia mais

4 ÁLGEBRA ELEMENTAR. 4.1 Monômios e polinômios: valor numérico e operações.

4 ÁLGEBRA ELEMENTAR. 4.1 Monômios e polinômios: valor numérico e operações. 4 ÁLGEBRA ELEMENTAR 4.1 Monômios e polinômios: valor numérico e operações. 4.1.1 - Introdução: As expressões algébricas que equacionam os problemas conduzem logicamente à sua solução são denominados polinômios

Leia mais

Divisibilidade e Números primos. George Darmiton da Cunha Cavalcanti CIn - UFPE

Divisibilidade e Números primos. George Darmiton da Cunha Cavalcanti CIn - UFPE Divisibilidade e Números primos George Darmiton da Cunha Cavalcanti CIn - UFPE Divisibilidade de inteiros Sejam a e b dois inteiros. Dizemos que a divide b, a é um divisor de b ou b é um múltiplo de a

Leia mais

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1

Leia mais

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

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

Leia mais

MA14 - Unidade 2 Divisão Euclidiana Semana de 08/08 a 14/08

MA14 - Unidade 2 Divisão Euclidiana Semana de 08/08 a 14/08 MA14 - Unidade 2 Divisão Euclidiana Semana de 08/08 a 14/08 Divisão Euclidiana Mesmo quando um número natural a não divide o número natural b, Euclides 1, nos seus Elementos, utiliza, sem enunciá-lo explicitamente,

Leia mais

Sequências recorrentes e testes de primalidade

Sequências recorrentes e testes de primalidade Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 18 Sequências recorrentes e testes de primalidade 1 A Sequência de Fibonacci A sequência de Fibonacci é

Leia mais

MA14 - Aritmética Unidade 6 - Parte 3 Resumo

MA14 - Aritmética Unidade 6 - Parte 3 Resumo MA14 - Aritmética Unidade 6 - Parte 3 Resumo A Equação Pitagórica Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

Material Teórico - Módulo: Vetores em R 2 e R 3. Operações Envolvendo Vetores. Terceiro Ano - Médio

Material Teórico - Módulo: Vetores em R 2 e R 3. Operações Envolvendo Vetores. Terceiro Ano - Médio Material Teórico - Módulo: Vetores em R 2 e R 3 Operações Envolvendo Vetores Terceiro Ano - Médio Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto 1 Adição de vetores Na aula anterior

Leia mais

Corpos estendidos no espaço em grupos respostas dos exercícios

Corpos estendidos no espaço em grupos respostas dos exercícios Corpos estendidos no espaço em grupos respostas dos exercícios Carlos Shine Não se assuste com o tamanho das soluções a seguir. Eu tentei colocar o máximo de informação relacionada possível nas soluções

Leia mais