Question

Dados dois números naturais a e b, mostre que o mmc(a,b) x (vezes) o mdc(a,b)= a x b (a vezes b).

 

 

obs: resolução :)

Answer 1

Olá, Ana120.

 

Para demonstrar o teorema do enunciado, deveremos analisar duas situações: quando a não é divisível por b e quando a é divisível por b.

 

 

Situação 1: a não é divisível por b

 

Neste caso, o único divisor comum entre eles é 1  $<var>\Rightarrow \boxed{mdc(a,b)=1}</var>$

 

Suponhamos agora que exista outro múltiplo comum de a e b diferente de a.b .

Então:

 

$<var>\exists k_1,k_2\in\mathbb{N}|k_1a=m\text{ e }k_2b=m \Rightarrow k_1a=k_2b \Rightarrow k_2=k_1\cdot \frac a b</var>$

 

Ocorre que a não é divisível por b. Isto implica que:

 

$<var>\frac a b \notin \mathbb{N} \Rightarrow \text{Como }k_1\in \mathbb{N}\text{ e }k_2=\frac a b \cdot k_1,\text{ent\~ao }k_2\notin \mathbb{N}</var>$

 

Isto é um absurdo, pois, por hipótese, tínhamos que  $<var>k_2 \in \mathbb{N}</var>$. Como esta hipótese decorre do fato de supormos que exista algum outro múltiplo comum de a e b diferente de a.b, então:

 

$<var>\boxed{mmc(a,b) = a\cdot b}</var>$

 

$<var>\therefore \boxed{mdc(a,b)\cdot mmc(a,b)=1 \cdot ab=a\cdot b}</var>$

 

 

Situação 2: a é divisível por b

 

a é divisível por b. Isto implica que:

 

$<var>\exists k \in \mathbb{N}|\frac a b = k \Rightarrow a=k\cdot b \Rightarrow mdc(a,b)=mdc(k\cdot b,b)\\\\ \Rightarrow \boxed{mdc(a,b)=b}</var>$

 

$<var>\Rightarrow mmc(a,b)=mmc(k\cdot b,b)=k \cdot b=a\Rightarrow mmc(a,b)=a\\\\ \therefore \boxed{mdc(a,b) \cdot mmc(a,b)=b \cdot a = a\cdot b}</var>$