Fonte
Foi usado o título
Números: uma Introdução à Matemática
enunciado do
colorário [3.2]
— para descrever o princípio da indução completa na sua 1ª forma (arigor, as relações mencionadas nesse colorário poderiam/deveriam ser provadas antes de seremutilizadas, contudo se o colorário não foi apresentado formalmente em alguma aula, talvez não hajanecessidade de mencionar o colorário, dependendo das circunstâncias como as relações dessecolorário foram obtidas ou apresentadas, por exemplo, apenas durante resolução de algum exercícioou em alguma vaga menção como propriedades a serem aceitas e entendidas como “naturais” e até“óbvias”).
enunciado da
proposição [5.4]
— para enumerar as principais propriedades de divisibilidade (a rigor,as relações mencionadas nessa proposição poderiam/deveriam ser provadas antes de serem utilizadas,contudo se a proposição não foi apresentada formalmente em alguma aula, talvez não hajanecessidade de mencionar a proposição, dependendo das circunstâncias como as relações dessa proposição foram obtidas ou apresentadas, por exemplo, apenas durante resolução de algum exercícioou em alguma vaga menção como propriedades a serem aceitas e entendidas como “naturais” e até“óbvias”).
2
de
3
Para quaisquer que sejam os números inteiros não nulos (diferentes de zero)
a
,
b
,
c
e
d
,valem:
[i]
a
∣
a
;
[ii]
se
a
∣
b
e
b
∣
c
, então
a
∣
c
;
[iii]
se
a
∣
b
e
c
∣
d
, então
a
∙
c
∣
b
∙
d
;
[iv]
se
a
∣
b
e
a
∣
c
, então
a
(
∣
b
+
c
);
[v]
se
a
∣
b
, então, para todo
m
∈
ℤ
, tem-se que
a
∣
m ∙ b
;
[vi]
se
a
∣
b
e
a
∣
c
, então, para todo
m
,
n
∈
ℤ
, tem-se que
a
(
∣
m
∙
b
+
n
∙
c
).Seja
a
um inteiro dado. Suponhamos que, para cada inteiro
n
≥
a
está dada umaafirmação
A
(
n
) de forma tal que:
[i]
A
(
a
) é verdadeira;
[ii]
se, para um inteiro
k
≥
a
,
A
(
k
) é verdadeira, então é verdadeira.Então a afirmação
A
(
n
) é verdadeira para todo inteiro
n
≥
a
.