Lei Do Cancelamento
Lei Do Cancelamento
Lei Do Cancelamento
Preliminares
m · 1 = 1 · m = m, ∀m ∈ N e m · (n + 1) = m · n + m, ∀m, n ∈ N.
• m + k 6= m, ∀m, k ∈ N.
X = {p ∈ N : se m · p = n · p então m = n} .
X = {p ∈ N : se m 6= n então m · p 6= n · p} .
A ideia é mostrar que X = N. Para isso, vamos usar o Princı́pio da Indução Matemática.
Temos que mostrar que (i) 1 ∈ X e (ii) se p ∈ X então p + 1 ∈ X.
Para mostrar (i) é mais conveniente pensar em X como
X = {p ∈ N : se m · p = n · p então m = n} ,
m · (p + 1) = m · p + m 6= n · p + m 6=
6= n · p + n · 1 =
= n · (p + 1).