Você está na página 1de 59

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum e M aximo Divisor Comum Generalizados


Marcio Mauriti Cardoso Gra ca, Pablo Ricardo Moraes de Souza Valdinelson Europa Silva
UNIVERSIDADE FEDERAL DO AMAPA

MACAPA-AP 2012

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

1 2

Introdu c ao Preliminares Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC MDC E MMC Generalizados M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

SUMARIO
1 2

Introdu c ao Preliminares Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC MDC E MMC Generalizados M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica
MMC e MDC Generalizados

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Introdu c ao

Neste trabalho estudamos o Artigo intitulado O M aximo Divisor Comum e M nimo M ultiplo Comum Generalizadospublicado na edi c ao de no 40 - junho/2006 da Revista Matem atica Universit aria - SBM, dos autores Cydara C. Ripoll, Jaime C. Ripoll e Alveri A. SantAna. O artigo trata de uma generaliza c ao do conceito de MDC e MMC voltado para os conjuntos n umeros reais, uma vez que o universo de discurs ao para esses conceitos ensinados no ensino dos n veis fundamental, m edio e superior, e no m aximo o conjunto dos n umeros inteiros.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

SUMARIO
1 2

Introdu c ao Preliminares Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC MDC E MMC Generalizados M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica
MMC e MDC Generalizados

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Faremos inicialmente uma breve exposi c ao das deni c oes e resultados sobre alguns conceitos b asicos da teoria dos n umeros voltada para o conjunto dos n umeros inteiros e que serviram de base para o estudo que agora apresentaremos.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Tricotomia e Princ pio da Boa Ordem

Tricotomia Dados dois inteiros quaisquer a e b tem-se que ou a < b ou a = b ou b < a. Princ pio da Boa Ordem Todo conjunto n ao vazio de inteiros n ao negativos cont em um elemento m nimo.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Tricotomia e Princ pio da Boa Ordem

Tricotomia Dados dois inteiros quaisquer a e b tem-se que ou a < b ou a = b ou b < a. Princ pio da Boa Ordem Todo conjunto n ao vazio de inteiros n ao negativos cont em um elemento m nimo.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Deni c ao Considere a e b n umeros inteiros. Diz-se que b divide a, se existe um inteiro c tal que bc = a ` Usaremos a notac ao b |a para indicar que b divide a. A nega c ao dessa arma c ao ser a por b a.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Proposi c ao Se b |a e a = 0, ent ao |b | |a|. Teorema (Algoritmo da Divis ao) Considere a e b inteiros, com b = 0. Ent ao, existem inteiros q e r, u nicos, tais que a = bq + r e 0 r < |b |.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Proposi c ao Se b |a e a = 0, ent ao |b | |a|. Teorema (Algoritmo da Divis ao) Considere a e b inteiros, com b = 0. Ent ao, existem inteiros q e r, u nicos, tais que a = bq + r e 0 r < |b |.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Teorema (de Bezout) Considere a, b inteiros e d = mdc (a, b ). Ent ao, existem inteiros r e s tais que d = ra + sb . Teorema de Euclides Considere a, b , c inteiros que a|bc . Se mdc (a, b ) = 1, ent ao a|c .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Teorema (de Bezout) Considere a, b inteiros e d = mdc (a, b ). Ent ao, existem inteiros r e s tais que d = ra + sb . Teorema de Euclides Considere a, b , c inteiros que a|bc . Se mdc (a, b ) = 1, ent ao a|c .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares
Deni c ao Um inteiro p diz-se primo se tem extamenta dois divisores positivos, 1 e |p |. Deni c ao Dois inteiros a e b dizem-se relativamente primos se mdc (a, b ) = 1 Proposi c ao Considere p um n umero primo, e sejam a e b inteiros. i ) Se p a, ent ao mdc (p , a) = 1. ii ) Se p |ab , ent ao p |a ou p |b .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares
Deni c ao Um inteiro p diz-se primo se tem extamenta dois divisores positivos, 1 e |p |. Deni c ao Dois inteiros a e b dizem-se relativamente primos se mdc (a, b ) = 1 Proposi c ao Considere p um n umero primo, e sejam a e b inteiros. i ) Se p a, ent ao mdc (p , a) = 1. ii ) Se p |ab , ent ao p |a ou p |b .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares
Deni c ao Um inteiro p diz-se primo se tem extamenta dois divisores positivos, 1 e |p |. Deni c ao Dois inteiros a e b dizem-se relativamente primos se mdc (a, b ) = 1 Proposi c ao Considere p um n umero primo, e sejam a e b inteiros. i ) Se p a, ent ao mdc (p , a) = 1. ii ) Se p |ab , ent ao p |a ou p |b .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Deni c ao - M aximo Divisor Comum

Chama-se m aximo divisor comum de a e b o maior de seus divisores comuns, isto e, mdc (a, b ) = maxD (a, b ). Teorema: Considere a, b inteiros. Um inteiro positivo d e o m aximo divisor comum de a e b se somente se verica: i ) d |a e d |b . ii ) Se d |a e d |b , ent ao d |d .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Deni c ao - M aximo Divisor Comum

Chama-se m aximo divisor comum de a e b o maior de seus divisores comuns, isto e, mdc (a, b ) = maxD (a, b ). Teorema: Considere a, b inteiros. Um inteiro positivo d e o m aximo divisor comum de a e b se somente se verica: i ) d |a e d |b . ii ) Se d |a e d |b , ent ao d |d .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Proposi c ao Considere a, b inteiros relativamente primos, e seja c um outro inteiro tal que a|c e b |c . Ent ao, ab |c . Proposi c ao Considere a, b inteiros, d = mdc (a, b ) e c um inteiro n ao nulo. Ent ao: i ) mdc (ac , bc ) = d |c |. ii ) Se c |a e c |b , ent ao mdc (a/c , b /c ) = d /|c |.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Preliminares

Proposi c ao Considere a, b inteiros relativamente primos, e seja c um outro inteiro tal que a|c e b |c . Ent ao, ab |c . Proposi c ao Considere a, b inteiros, d = mdc (a, b ) e c um inteiro n ao nulo. Ent ao: i ) mdc (ac , bc ) = d |c |. ii ) Se c |a e c |b , ent ao mdc (a/c , b /c ) = d /|c |.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Deni c ao - M nimo M ultiplo Comum

Chama-se m nimo m ultiplo comum de a e b o menor dos seus m ultiplos positivos comuns, isto e, mmc (a, b ) = minM + (a, b ) Teorema Considere a, b Z e m um inteiro positivo. Ent ao, m = mmc (a, b ) se e somente se m verica: i ) a|m, b |m. ii ) Se a|m e b |m , ent ao m|m .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Deni c ao - M nimo M ultiplo Comum

Chama-se m nimo m ultiplo comum de a e b o menor dos seus m ultiplos positivos comuns, isto e, mmc (a, b ) = minM + (a, b ) Teorema Considere a, b Z e m um inteiro positivo. Ent ao, m = mmc (a, b ) se e somente se m verica: i ) a|m, b |m. ii ) Se a|m e b |m , ent ao m|m .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC

Rela c ao - MDC e MMC


Teorema Sejam a, b Z, d = mdc (a, b ) e m = mmc (a, b ). Ent ao, md = |a b |.

O teorema acima d a outro ent ao outro m etodo de c alculo para mmc (a, b ). Dados a, b Z, podemos calcular o mdc (a, b ) pelo Algoritmo de Euclides e depois obter mmc (a, b ) = |a b | . mdc (a, b )

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

SUMARIO
1 2

Introdu c ao Preliminares Tricotomia e Princ pio da Boa Ordem Deni c ao M.D.C. Deni c ao M.M.C. Rela c ao - MDC e MMC MDC E MMC Generalizados M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica
MMC e MDC Generalizados

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


O conceito de comensurabilidade, historicamente, foi introduzida e utilizada como uma forma de comparar o tamanho de dois segmentos de reta. Deni c ao 2.6.1 Dizemos que um segmento de reta AB e dito comensur avel com a unidade dada pelo segmento CD quando existi uma subunidade que cabe um numero inteiro de vezes em AB e em CD . Dizemos que AB = m.v , CD = n.v , onde m e n s ao n umeros inteiros positivos e que a raz ao entre estas medidas e n o n umero . m Deni c ao A.2.2 Dois reais a e b s ao comensur aveis se existem inteiros n ao nulos m, n tais que mr =ms
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


O conceito de comensurabilidade, historicamente, foi introduzida e utilizada como uma forma de comparar o tamanho de dois segmentos de reta. Deni c ao 2.6.1 Dizemos que um segmento de reta AB e dito comensur avel com a unidade dada pelo segmento CD quando existi uma subunidade que cabe um numero inteiro de vezes em AB e em CD . Dizemos que AB = m.v , CD = n.v , onde m e n s ao n umeros inteiros positivos e que a raz ao entre estas medidas e n o n umero . m Deni c ao A.2.2 Dois reais a e b s ao comensur aveis se existem inteiros n ao nulos m, n tais que mr =ms
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Deni c ao A.2.3 Dizemos que um n umero real r e um m ultiplo inteiro, de um real s , ou que s e um divisor inteiro, se existe um inteiro a tal que r =as Proposi c ao A.2.1 Sejam r e s dois reias n ao nulos. As seguintes arma c oes s ao equivalentes: a) r e s s ao comensur aveis; r e um n umero racional; b ) o quociente s c ) existe um real t que e m ultiplo inteiro comum de r e s ; d ) existe um real t que e divisor inteiro comum de r e s ;
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Deni c ao A.2.3 Dizemos que um n umero real r e um m ultiplo inteiro, de um real s , ou que s e um divisor inteiro, se existe um inteiro a tal que r =as Proposi c ao A.2.1 Sejam r e s dois reias n ao nulos. As seguintes arma c oes s ao equivalentes: a) r e s s ao comensur aveis; r e um n umero racional; b ) o quociente s c ) existe um real t que e m ultiplo inteiro comum de r e s ; d ) existe um real t que e divisor inteiro comum de r e s ;
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Prova A.2.1 (a) = (b ): Se r e s s ao comensur aveis ent ao existem m, n Z tais que m r = n s . Conseq uentemente, r n = Q. s m (b ) = (c ): Suponhamos que r /s Q, digamos, r n = s m ent ao, multiplicando a igualdade acima por sm obtemos que t := m r = n s e um m ultiplo inteiro comum de r e de s : (c ) = (d ): Seja t R um m ultiplo inteiro comum de r e de s ; digamos, t = m r = n s ; com m, n Z . Ent ao o n umero r s u := = n m
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Prova A.2.1 (a) = (b ): Se r e s s ao comensur aveis ent ao existem m, n Z tais que m r = n s . Conseq uentemente, r n = Q. s m (b ) = (c ): Suponhamos que r /s Q, digamos, r n = s m ent ao, multiplicando a igualdade acima por sm obtemos que t := m r = n s e um m ultiplo inteiro comum de r e de s : (c ) = (d ): Seja t R um m ultiplo inteiro comum de r e de s ; digamos, t = m r = n s ; com m, n Z . Ent ao o n umero r s u := = n m
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Prova A.2.1 (a) = (b ): Se r e s s ao comensur aveis ent ao existem m, n Z tais que m r = n s . Conseq uentemente, r n = Q. s m (b ) = (c ): Suponhamos que r /s Q, digamos, r n = s m ent ao, multiplicando a igualdade acima por sm obtemos que t := m r = n s e um m ultiplo inteiro comum de r e de s : (c ) = (d ): Seja t R um m ultiplo inteiro comum de r e de s ; digamos, t = m r = n s ; com m, n Z . Ent ao o n umero r s u := = n m
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Cont. Prova A.2.1

e um divisor inteiro comum de r e de s : (d ) = (a): Seja u um divisor inteiro comum de r e de s ; digamos, r = u n e s = u m;com m, n Z . Ent ao mr = ns :

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

M nimo M ultiplo Comum Generalizados


Deni c ao A.2.4 Sejam r e s dois reais comensur aveis n ao nulos. Dizemos que t e o m nimo m ultiplo comum generalizado entre r e s , e escrevemos t = mmcg(r, s), se: a) t > 0, b) t e um m ultiplo inteiro comum de r e s , c ) se t e m ultiplo inteiro comum de r e s e t > 0; ent ao tt.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

M aximo Divisor Comum Generalizados

Dizemos que u e o m aximo divisor comum generalizado entre r e s ; e escrevemos u = mdcg (r , s ) se: a) u e um divisor inteiro comum de r e s . b ) se u e divisor inteiro comum de r e de s ent ao u u .

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Teorema A.2.1 Sejam r e s dois reais comensur aveis n ao nulos. Ent ao s r = , mmcg (r , s ) = |v r | = |u s | e mdcg (r , s ) = u v onde u /v e forma irredut vel do racional r /s . Prova Consideraremos aqui apenas o caso r e s positivos. Observamos inicialmente que se a, b , c , d s ao inteiros tais que ar =bs ent ao b d = , d c
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

c r =d s

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Teorema A.2.1 Sejam r e s dois reais comensur aveis n ao nulos. Ent ao s r = , mmcg (r , s ) = |v r | = |u s | e mdcg (r , s ) = u v onde u /v e forma irredut vel do racional r /s . Prova Consideraremos aqui apenas o caso r e s positivos. Observamos inicialmente que se a, b , c , d s ao inteiros tais que ar =bs ent ao b d = , d c
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

c r =d s

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Cont. da prova

e este n umero nada mais e do que o n umero r /s : Assim, os menores naturais a, b que satisfazem a r = b s s ao claramente obtidos quando tomamos o numerador e o denominador da fra c ao irredut vel que representa o racional r /s . Da , pela Deni c ao A.2.4, se u /v e tal fra c ao irredut vel, mmcg (r , s ) = v r = u s o que completa prova do teorema. e mdcg (r , s ) = s r = u v

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Corol ario A.2.1 Sejam r , s racionais n ao nulos e sejam a, b , c , d inteiros tais que a/b e c /d s ao as representa c oes para r e s , respectivamente, na forma de fra c ao irredut vel. Ent ao mmc (a, c ) mdc (b , d ) mdc (a, c ) mmc (b , d )

mmcg (r , s ) =

mdcg (r , s ) =

Prova Novamente aqui provamos apenas para o caso r e s positivos. Como mdc (a, b ) = 1 = mdc (b , d ); temos r a /b ad ad = = = , s c /d bc bc onde
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Corol ario A.2.1 Sejam r , s racionais n ao nulos e sejam a, b , c , d inteiros tais que a/b e c /d s ao as representa c oes para r e s , respectivamente, na forma de fra c ao irredut vel. Ent ao mmc (a, c ) mdc (b , d ) mdc (a, c ) mmc (b , d )

mmcg (r , s ) =

mdcg (r , s ) =

Prova Novamente aqui provamos apenas para o caso r e s positivos. Como mdc (a, b ) = 1 = mdc (b , d ); temos r a /b ad ad = = = , s c /d bc bc onde
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Cont. da prova
a = a mdc (a, c ) b mdc (b , d ) d . d = mdc (b , d ) b = c = c mdc (a, c )

claro ent E ao que a fra c ao a d /b c e irredut vel, e portanto, pelo Teorema 2.6, temos b c a b mdc (b , d ) mdc (a, c ) mmc (a, c ) mdc (b , d )

mmcg (r , s )

=
(A.3)

rb c =

e
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Cont. da prova

mdcg (r , s )

=
(A.3)

r a mdc (a, c ) mdc (b , d ) = ad b a d mdc (a, c ) , mmc (b , d )

o que completa a prova

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Observa c ao A.2.1
A hip otese na forma de fra c ao irredut vel no Corol ario 2.7 e imprescind vel, isto e, a f ormula (9) quando aplicada a fra c oes n ao irredut veis n ao proporciona necessariamente o mmcg (r , s ) e o mdcg (r , s ); como nos mostra o exemplo a seguir. Seja r = 10/6 e s = 1/7 ent ao mmc (5, 1) mmc (10, 1) = 10 = 5 = = mmcg (r , s ) mdc (6, 7) mdc (3, 7) e 1 1 mdc (5, 1) mdc (6, 7)) = = = = mdcg (r , s ) mmc (10, 1) 42 21 mmc (3, 7)

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Decorre da observa c ao acima


Exemplo: i ) Obtemos mmcg mdcg 10 1 , 6 7 10 1 , 6 7 = mmcg 5 1 , 3 7 5 1 , =5e 3 7 mdc (5, 1) 1 = = mmc (3, 7) 21 e mdcg 1 ,1 2 =

= mdcg

ii ) mmcg

1 mmc (1, 1) ,1 = =1 2 mdc (2, 1) mdc (1, 1) 1 = . mmc (2, 1) 2

iii ) mmcg (16 3, 5 3) = 5 16 3 = 80 3.


GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Corol ario A.2.2 Sejam r e s dois reais n ao nulos comensur aveis. Ent ao: i ) r s = mdcg (r , s ) mmcg (r , s ); ii ) dado qualquer real n ao nulo c ; temos ainda c r e c s comensur aveis e mmcg (c r , c s ) = |c | mmcg (r , s ) mdcg (c r , c s ) = |c | mdcg (r , s ) Prova Consideraremos aqui apenas o caso c , r e s positivos. Suponhamos que m, n s ao naturais n ao nulos tais que r n = e mdc (n, m) = 1. s m Da temos r s mmcg (r , s ) = m r = n s e mdcg (r , s ) = = , n m
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Corol ario A.2.2 Sejam r e s dois reais n ao nulos comensur aveis. Ent ao: i ) r s = mdcg (r , s ) mmcg (r , s ); ii ) dado qualquer real n ao nulo c ; temos ainda c r e c s comensur aveis e mmcg (c r , c s ) = |c | mmcg (r , s ) mdcg (c r , c s ) = |c | mdcg (r , s ) Prova Consideraremos aqui apenas o caso c , r e s positivos. Suponhamos que m, n s ao naturais n ao nulos tais que r n = e mdc (n, m) = 1. s m Da temos r s mmcg (r , s ) = m r = n s e mdcg (r , s ) = = , n m
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Cont. da prova
de onde segue mdcg (r , s ) mmcg (r , s ) = o que prova (i ) Al em disso, como n c r = , c s m temos mmcg (c r , c s ) = mcr = c mmcg (r , s ) cr mdcg (c r , c s ) = = c mdcg (r , s ), n o que prova (ii ).
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

r n s = r s, n

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

MDC E MMC Generalizados


Corol ario A.2.3 Se r e s s ao dois n umeros racionais que podem ser representados por uma fra c ao decimal, digamos, v u e s= l r= k 10 10 e se t k e t l ent ao mmcg (r , s ) = e mdcg (r , s ) = mdcg (10t r , 10t s ) 10t
MMC e MDC Generalizados

mmcg (10t r , 10t s ) 10t

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Decorre da prova acima

Exemplo: Poder amos ter calculado o mmcg da seguinte forma: mmcg 1 3 , 2 4 = mmcg (0.5, 0.75) = mmc (100 0.5, 100 0.75) 100 (50, 75) 150 3 = mmc = = 100 100 2

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Aplica co es MMC - na Matem atica

Deni c ao A.5.1 Uma fun c ao f : R R e dita peri odica quando existe um n umero real p = 0 tal que f (x + p ) = f (x ), para todo x R Teorema A.5.1 Sejam f : R R e g : R R fun c oes peri odicas de per odos pf e pg respectivamente. Se pf e pg s ao n umeros comensur aveis ent ao as fun c oes:f + g e f g s ao per odicas mmcg (pf , pg ).

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Aplica co es MMC - na Matem atica

Deni c ao A.5.1 Uma fun c ao f : R R e dita peri odica quando existe um n umero real p = 0 tal que f (x + p ) = f (x ), para todo x R Teorema A.5.1 Sejam f : R R e g : R R fun c oes peri odicas de per odos pf e pg respectivamente. Se pf e pg s ao n umeros comensur aveis ent ao as fun c oes:f + g e f g s ao per odicas mmcg (pf , pg ).

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Prova Faremos aqui apenas a demonstra c ao para o caso f + g . Sendo pf e pg por hip otese comensur aveis, est a bem denido M = mmcg (pf , pg ). Existem ent ao m, n Z\{0} tais que m pf = n pg = M . Obviamente, como m, n, pf , pg s ao todos n ao nulos, temos que M e tamb em n ao nulo. Agora, dado x R, temos: (f + g )(x + M ) = f (x + M ) + g (x + M ) = f (x + npf ) + g (x + mpg ) = f (x ) + g (x ) = (f + g )(x ), o que prova que f + g e peri odica de per odo mmcg (pf , pg ).
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Exemplo
f (x ) = sen3x e g (x ) = cos 7x s ao fun c oes peri odicas de per odos 2 2 e pg = , respectivamente. Como pf e fundamentais pf = 3 7 pg s ao comensur aveis, temos que a fun c ao h dada por h(x ) = sen3x + cos 7x e peri odica, admitindo 2 para per odo, pois mmcg j a que 2/3 7 = . 2/7 3
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

2 2 , 3 7

=3

2 = 2 , 3

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Aplica co es MDC - na F sica


Geometricamente, se dois segmentos AB e CD t em medidas comensur aveis r e s , respectivamente, ent ao o mdcg (r , s ) ea medida do maior segmento OU que, quando escolhido para nova unidade de medida para medir segmentos de reta, proporciona medidas inteiras para AB e CD . Podemos aplicar esta id eia ao ajuste de engrenagens: suponhamos que queiramos ajustar duas rodas num sistema de engrenagens, frezando dentes nas mesmas, todos de mesmo tamanho. Ora, cada roda deve ter um n umero inteiro de dentes para que o desgaste sobre as rodas seja m nimo. E isto ocorre quando os comprimentos das circunfer encias (ou equivalentemente, seus raios) s ao comensur aveis.
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Aplica co es MDC - na F sica


Geometricamente, se dois segmentos AB e CD t em medidas comensur aveis r e s , respectivamente, ent ao o mdcg (r , s ) ea medida do maior segmento OU que, quando escolhido para nova unidade de medida para medir segmentos de reta, proporciona medidas inteiras para AB e CD . Podemos aplicar esta id eia ao ajuste de engrenagens: suponhamos que queiramos ajustar duas rodas num sistema de engrenagens, frezando dentes nas mesmas, todos de mesmo tamanho. Ora, cada roda deve ter um n umero inteiro de dentes para que o desgaste sobre as rodas seja m nimo. E isto ocorre quando os comprimentos das circunfer encias (ou equivalentemente, seus raios) s ao comensur aveis.
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Aplica co es MDC - na F sica


De fato, denotando por o arco compreendido por um dente e um espa co entre dentes (veja gura), e denotando por r1 e r2 os raios das rodas, temos que existem m, n naturais tais que 2 r1 = m e 2 r2 = n se e s o se

Figura - 01 2 r1 m = , 2 r2 n
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

M nimo M ultiplo Comum Generalizados M aximo Divisor Comum Generalizados 3.2.1 Aplica c oes MMC - na Matem atica A.5 Aplica c oes MDC - na F sica

Aplica co es MDC - na F sica


ou ainda, se e s o se r1 e r2 forem comensur aveis: nr1 = mr2 . Portanto, o maior valor de e precisamente mdcg (2 r1 , 2 r2 )
Cor. A.2.3

2 mdcg (r1 , r2 ),

e se, na pr atica, este comprimento se revelar invi avel (por ser, por exemplo, muito curvo um arco de comprimento ), ent ao, para minimizar o desgaste, teremos que tomar comprimentos iguais a /k com k natural.
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

ALENCAR FILHO, Edgard de. Elementos de Avila Abstrata/Edgard de Alencar Filho. S ao Paulo: Nobel. 1978. AVILA, Geraldo. An alise Matem atica para Licenciatura. 3a ed., revisada e ampliada. Edgard Blucher, S ao Paulo, 2006. DOMINGUES, Hygino H. Algebra Moderna: volume u nico/Hygino H. Domingues, Gelson Iezzi. 4a ed. reform., S ao Paulo: Atual, 2003. EVARISTO,J.; PERDIGAO,E. Introdu c ao ` a Algebra Abstrata. a 2 ed., Macei o: Formato Digital, 2010. FERREIRA, Jamil. A Constru c ao dos N umeros.1a ed., Rio de Janeiro: SBM (Cole c ao Textos Univesit arios), 2010.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

GARCIA, A.; Lequain, Y. Elementos de Algebra, Projeto Euclides, 2002. HEFEZ, A. Curso de Algebra . Vol. I, S erie Matem atica Universit aria da Sociedade de Matem atica, 1993. Jornal do Professor de Matem atica.Laborat orio do Ensino da Matem atica. Maio, 2006. Dispon vel em http://www.ime.unicamp.br/lem (20/11/2010). LIMA, E.L. An alise Real. vol.1. 9a ed., Cole c ao Matem atica Universit aria, IMPA, Rio de Janeiro, 2007. LIMA, E.L. e outros. A Matem atica do Ensino M edio. vol.1. 9a ed., Rio de Janeiro: SBM (Cole c ao do Professor de Matem atica,2006.
GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E. MMC e MDC Generalizados

SUMARIO Introdu c ao Preliminares MDC E MMC Generalizados Bibliograa

MAIER, R.R., Algebra I. (Algebra Abstrata). Textos de Aula. 1995. MILIES,C.P.; COELHO,S.P. N umeros - Uma Introdu c ao ` a a Matem atica. 3 ed., S ao Paulo: Edusp - Editora da Universidade de S ao Paulo, 2001. RIPOLL, Cydara C.; e Outros. Artigo da Revista Matem atica Universit aria no 40. 2006.

GRAC A, Marcio M. , SOUZA, Pablo e SILVA, Valdinelson E.

MMC e MDC Generalizados