Sala de Estudo - Um Pouco Sobre Divisibilidade (Parte 2) - Clubes de Matemática Da OBMEP

07/10/2022 14:42 Sala de Estudo: Um pouco sobre divisibilidade (Parte 2) – Clubes de Matemática da OBMEP
Sala de Estudo: Um pouco sobre divisibilidade (Parte 2)


Um pouco sobre divisibilidade

Parte 2 – Divisibilidade nos naturais
Nesta Sala, apresentaremos o conceito de divisibilidade e

aprofundaremos um pouco mais o nosso conhecimento a respeito dos
números naturais.
Utilizaremos uma linguagem mais formal do que aquela utilizada pela

maioria de vocês e trabalharemos com o “jeito matemático da
matemática“.
A divisibilidade é a continuação natural da discussão sobre

múltiplos e divisores. Então, neste tópico, vamos continuar
falando de múltiplos e divisores, só que de um jeito diferente.
Apresentando a divisibilidade nos

números naturais
clubes.obmep.org.br/blog/teoria-dos-numeros-um-pouco-sobre-divisibilidade-parte-2/ 1/17
Observem, mais uma vez, que quase toda a discussão da Sala anterior
pode ser feita a partir da divisão de um número natural a por um número
natural não nulo b.
a b
r q
Em particular, se r = 0, temos que a = q × b e podemos relacionar os

números a e b dizendo que:
a divisão de a por b tem resto 0;
a divisão de a por b é exata;
a é divisível por b;
a é um múltiplo de b;
b é um divisor de a;
b é um fator de a.
(Seis nomenclaturas para designar o mesmo fato: a = q × b, com a, b e q
números naturais e b ≠ 0 .)
Mas, nesta Sala, não utilizaremos a ideia da divisão, pois será

interessante incluirmos o zero nas nossas discussões iniciais, e introduziremos
uma sétima nomenclatura diferente para tratarmos de pares de números
naturais a e b tais que exista um número natural t de modo que a = t × b.
Esta sétima e clássica nomenclatura da Teoria dos Números e a sua, não

menos clássica, notação são apresentadas na definição a seguir.
Definição: Sejam a e b números naturais quaisquer.
Diremos que b divide a quando existir um número natural

t de modo que a = t × b .
Assim, diremos que b não divide a quando b não puder

ser escrito na forma a = t × b, com t ∈ N .
Para esses dois casos, utilizaremos as notações:

b ∣ a, para indicar que b divide a;
b ∤ a, para indicar que b não divide a.
A relação entre dois números naturais aqui definida é

denominada divisibilidade em N.
Cuidado para não confundir a notação b ∣ a com a notação b/a . A

primeira indica a relação de divisibilidade, enquanto que a segunda pode
indicar a fração . Observem os exemplos a seguir.
b
5 ∣ 15, pois 15 = 3 × 5 e 3 ∈ N.
Mas 15 ∤ 5, pois não existe um número natural t tal que 5 = t × 15 .
Com efeito, observem que
● se t = 0, então t × 15 = 0 ≠ 5 ;
● se t = 1, então t × 15 = 15 ≠ 5 ;
● se t > 1, então t × 15 > 15 > 5 e, assim, t × 15 ≠ 5.

1 ∣ n, ∀n ∈ N (para todo número natural n ), já que n = 1 × n,
∀n ∈ N .
0 ∣ 0, pois, por exemplo, 0 = 7 × 0 e 7 ∈ N.
Se a é um número natural qualquer, a ∣ a, uma vez que

a = 1 × a, ∀a ∈ N e 1 ∈ N. Particularmente, se a = 0, chegamos à
mesma conclusão do exemplo anterior: 0 ∣ 0.
Observações:
1) Nesta Sala, também denotaremos o produto do número m pelo número n
por m ⋅ n ou, simplesmente, por mn.
2) Se b ∣ a e b ≠ 0, então o número natural t tal que a = tb é único. Com

efeito, vamos considerar que exista outro número natural k tal que a = kb,
neste caso, teríamos que kb = tb . Mas, estamos supondo b ≠ 0; logo,

cancelamos o b e obtemos, necessariamente, que k = t. Dessa forma,
mesmo que quiséssemos “fabricar” um k diferente, isso não seria possível!
O único número natural t tal que a = tb , b ≠ 0, chama-se

a
quociente de a por b e pode ser indicado por .
b
3) Já observamos que 0 ∣ 0, mas notem que, particularmente, 0 = 1 × 0;
0 = 3 × 0 ; 0 = 27 × 0; 0 = 18745 × 0; ou seja, o número natural t tal que

0 = t × 0 claramente não é único! Assim, não existe o quociente de 0 por 0 e
0
portanto, neste contexto, 0 ∣ 0, mas o símbolo não está definido.
4) Devido à não unicidade tratada na observação anterior e ao fato de que
0 ∣ a se, e somente se, a = 0,
é comum não trabalhar com o zero como divisor. Dessa forma, daqui por
diante admitiremos que todos os divisores considerados são diferentes
de zero, mesmo que isso não seja explicitamente dito.
5) Mesmo com a possibilidade de termos b = 0, ainda podemos utilizar as

expressões:
• b é um divisor de a;
• b é um fator de a;
• a é um múltiplo de b.
No entanto, as outras três expressões:
• a divisão de a por b tem resto 0 ;
• a divisão de a por b é exata;
• a é divisível por b
não podem ser utilizadas, se b = 0.
A convenção da observação (4) eu entendi, mas a sua justificativa eu não

entendi muito bem. Eu sei que esse “se e somente se” é muito utilizado
na matemática, mas eu não sei, de fato, o que ele significa . . .
Não se preocupe, vamos falar um

pouquinho sobre linguagem matemática
antes de prosseguirmos.
Algumas observações sobre a

linguagem matemática
Na matemática, as palavras têm sentido preciso, já que as informações

matemáticas devem ser expressas com exatidão, sem ambiguidades. A
linguagem matemática tem símbolos próprios que se relacionam segundo
regras próprias e não adianta alguém achar que é isso ou aquilo, é
necessário, de fato, saber…
Se vocês não têm dificuldades com o uso de linguagem matemática,

podem passar para o próximo tópico; caso contrário, é só clicar no próximo
botão e aprender um pouco.
Bom proveito ! ! !
Linguagem matemática (http://clubes.obmep.org.br/blog/?
p=51496)
Vamos voltar à observação (4) que motivou toda essa

discussão e utilizar a discussão sobre o “se, e somente se,” para
justificar que, no conjunto dos números naturais, a afirmação
0 ∣ a se, e somente se, a = 0
é verdadeira.
Ocultar
Em símbolos, podemos escrever a afirmação “ 0 ∣ a se, e

somente se, a = 0 ” como “ 0 ∣ a ⇔ a = 0 ”. De qualquer
forma, temos que garantir duas implicações:
0 ∣ a ⇒ a = 0 e a = 0 ⇒ 0 ∣ a ,
vejamos.
(i) Mostraremos, inicialmente, a primeira implicação. Para

isso temos que garantir que, se a é número natural tal
que 0 ∣ a , então, necessariamente, a = 0 .
Com efeito, seja a um número natural tal que 0 ∣ a .

Assim, por definição de divisibilidade, existe um número
natural k tal que a = k⋅0 .
Mas sabemos que k⋅0 = 0 ; logo, a = 0 .
(ii) Mostraremos, agora, a segunda das duas implicações.
Suponhamos, então, que a = 0 .
Já vimos que 0 ∣ 0 , logo, como a = 0 , então 0 ∣ a .
Por (i) e (ii), podemos concluir que
0 ∣ a ⇔ a = 0 ,
ou seja, que 0 ∣ a se, e somente se, a = 0 .
Agora sim…
A seguir, vamos apresentar as primeiras propriedades satisfeitas pela

relação de divisibilidade no conjunto dos números naturais. Elas são
importantes, pois são utilizadas na demonstração de outras proposições
e na solução de muitos problemas. Portanto, guardem-nas para uso no
futuro . . .
Propriedades iniciais da divisibilidade

nos naturais
Não vamos, simplesmente, apresentar as propriedades, vamos

justificá-las matematicamente. Assim, para cada uma delas vamos
fazer uma demonstraçãozinha! Para tentar entendê-las, sigam as
orientações abaixo.
Bons estudos!
Orientações iniciais para o estudo das

propriedades
Para cada propriedade:

Pegar papel e lápis, ler com bastante atenção o enunciado e fazer
vários exemplos numéricos para entender o que esse enunciado
está garantindo.
Em seguida, tentar utilizar as definições para sair dos exemplos

particulares utilizados. E não faz mal se não conseguir fazer isso:
o importante é botar a cabeça para funcionar e amadurecer os
conceitos.
Ler com cuidado a demonstração apresentada.
Tentar reproduzir a demonstração apresentada.
Tentar fazer uma demonstração da propriedade diferente da

apresentada.
Todas as propriedades são do tipo
se P, então Q ;
portanto, em suas justificativas, admitiremos que P ocorre e, utilizando

argumentos matemáticos, concluiremos que também ocorre Q.
Propriedades iniciais da divisibilidade nos

números naturais
Sejam a e b números naturais não nulos e m e n
números naturais quaisquer. Então:
Propriedade 1: Se a ∣ b e b ∣ a, então a = b.
Informalmente... Demonstração
Propriedade 2: Se a ∣ b e b ∣ m, então a ∣ m.
Propriedade 3: Se a ∣ m e a ∣ n, então a ∣ m + n.
Propriedade 4: Se a ∣ m, então a ∣ mn.
Propriedade 5: Se a ∣ m e a ∣ n, então a ∣ xm + yn , para

quaisquer números naturais x e y.
Vamos discutir, agora, algumas maneiras de sabermos se um número

natural a é divisor de outro, sem realizar a divisão entre eles.
É o que eu estou esperando!
É divisor?
O nosso objetivo neste tópico será o de discutir

maneiras que nos permitam decidir se um número
natural d divide ou não um dado número natural a,
sem realizar a divisão de a por d .
Apresentaremos dois caminhos, cada um deles

baseados em maneiras distintas de representarmos os
números naturais.
Vamos lá?
Inicialmente, vamos estabelecer alguns dos chamados

“Critérios de Divisibilidade“.
Fixado um número natural não nulo d, um critério de
divisibilidade por d é uma condição necessária e suficiente para

que um número seja divisível por d. Assim, os critérios de
divisibilidade são regras que nos permitem concluir se um número
natural é ou não divisível por determinados números naturais.
Mas antes da apresentação, uma observação: quando se

apresenta, simplesmente, uma regra, ou um macete, talvez
alguém possa se perguntar:
– De onde saiu essa regra?
– Ela funciona sempre?
– Ela foi testada?
– Será que, de repente, não vou encontrar algum caso

particular para o qual ela não funciona?
Para tentar evitar que alguém fique com esse tipo de

pergunta na cabeça, cada critério apresentado será acompanhado
de, pelo menos, uma justificativa.
Para conferir os critérios de divisibilidade por

2, 3, 4, 5, 6, 7, 8, 9 e 10 e suas justificativas, cliquem no
próximo botão.
Critérios de divisibilidade
(http://clubes.obmep.org.br/blog/?p=51881)
Quem preferir somente conhecer vários critérios, sem suas

respectivas justificativas, é só clicar nos próximos botões: para
apenas consultar, clique no botão da esquerda; para baixar o
arquivo, clique no botão da direita.
Consultar Baixar o arquivo

(http://clubes.obmep.org.br/blog/? (http://clubes.obmep.org.br/blog/wp-
p=52717) content/uploads/2018/08/criterios_final.pdf)
Uma maneira eficaz de se procurar divisores de um número

natural n, n > 1 é analisar a representação de n como produto de
números primos.
Vejamos alguns exemplos para ter certeza da eficácia desse

caminho. Para isso, consideremos o número natural
⋅ 7.
4 2
1008 = 2 ⋅ 3
1008 é divisível por 2 ?
Sim, já que 1008 = 2 ⋅ (2 ⋅ 3 ⋅ 7 )

3 2
e, então, 1008 = 2k,

k
com k ∈ N.
Sim, já que e, então, 1008 = 9t , com

2 4
1008 = 3 ⋅ (2 ⋅ 7 )

t
t ∈ N.
Sim, já que e, então, 1008 = 21z,

4
1008 = 3 ⋅ 7 ⋅ (2 ⋅ 3 )

z
com z ∈ N.
Não, pois a decomposição de 1008 não contém o fator

primo 5.
Sim. Observe que e ⋅ 7;

4 2 3 2
1008 = 2 ⋅ 3 ⋅ 7 504 = 2 ⋅ 3
portanto, 1008 = 2 ⋅ (2
3
⋅ 3
2
⋅ 7) = 2 × 504 .
Observem que o método apresentado é muito simples, desde

que tenhamos em mãos os números a serem analisados escritos
como produtos de fatores primos. Assim, cabem duas perguntas:
(1) Todo número natural pode ser escrito como

produto de números primos?
(2) Em caso positivo, como obter essa decomposição

em fatores primos?
As respostas para essas duas perguntas
vocês podem encontrar clicando no botão abaixo.
TFA (http://clubes.obmep.org.br/blog/?p=52359)
E para relaxar, que tal um joguinho?
Achando os divisores (http://clubes.obmep.org.br/blog/?p=52454)
São muitos critérios…
Fiquei aqui pensando: não podemos utilizar uma calculadora e fazer a

divisão de a por b para saber se b divide a ?
Sim, mas com os devidos cuidados quanto às limitações do visor e da

memória da maquina que você estiver utilizando…
Vamos comentar sobre isso antes de propormos alguns problemas.
Praticando . . .
Nos dias de hoje, a tecnologia desempenha um papel importante na

informação e na educação das pessoas.
A calculadora, por exemplo, é uma ferramenta que faz parte do material

escolar de parte dos alunos e pode ajudar com tarefas escolares e, também,
com pequenas tarefas do dia a dia. No entanto quem dela se utiliza não deve
ter uma confiança cega no que esta ferramenta produz. Por mais avançada e
moderna que seja, uma calculadora tem limitações naturais inerentes à sua
natureza eletrônica.
Se for “para adiantar o serviço” e ficar com mais tempo para raciocinar,
generalizar e tirar conclusões, cálculos rotineiros e enfadonhos que vocês já
entendam como são feitos podem ser feito com uma calculadora. Mas, mesmo
nesses casos, é bom ficarmos atentos, pois a quantidade de dígitos que o
visor de uma calculadora comporta é limitada; assim, corremos dois riscos:
um determinado número a ser utilizado não cabe no visor;
pode acontecer de a calculadora exibir como resultado final um

arredondamento; o que não faz sentido, por exemplo, para a
divisibilidade, que trabalha com números naturais ou inteiros.
Sugerimos que vocês conversem com seus respectivos professores de

matemática sobre esse assunto, mas não tenham preguiça de fazer cálculos
do mesmo tipo várias vezes, pois isso vai ajudá-los quando a calculadora
falhar ou, mesmo, não estiver presente.
Só para um exemplo dessa última observação, peguem uma calculadora

de dez dígitos e tentem determinar quantos divisores o número
981663141888 tem. Mesmo que vocês trabalhem com uma máquina de
calcular que tenha mais dígitos, imaginem o tempo que cada um de vocês
levaria para fazer todas as divisões necessárias para responder a essa
pergunta…
Esse e outros problemas interessantes vocês poderão encontrar clicando

nos botões a seguir.
Bons estudos!
Boa diversão ! ! !
981663141888 Outros problemas

(http://clubes.obmep.org.br/blog/? (http://clubes.obmep.org.br/blog/?
p=52852) p=52537)
Retomando um problema já resolvido
(http://clubes.obmep.org.br/blog/?p=53229)
A ideia de divisibilidade pode ser estendida para números inteiros.
Que tal vocês pesquisarem !
Equipe COM – OBMEP
Referências:
✓ DOMINGUES, H. H., Fundamentos de Aritmética. São Paulo: Atual Editora, 1991.
✓ FOMIN, D; GENKIN, S.; ITENBERG, I., Círculos Matermáticos. Rio de Janeiro: IMPA, 2010.
✓ HEFEZ, A., Elementos de Aritmética. Coleção Textos Universitários. Rio de Janeiro: Sociedade
Brasileira de Matemática, 2005.
✓ MILIES, C. P.; COELHO, S. P., Números: Uma Introdução à Matemática. São Paulo: Editora da
Universidade de São Paulo, 2001.
✓ MUNIZ NETO, A. C., Tópicos de Matemática Elementar: teoria dos números. Rio de Janeiro:
Sociedade Brasileira de Matemática, 2012.
Link permanente para este artigo: http://clubes.obmep.org.br/blog/teoria-dos-numeros-

um-pouco-sobre-divisibilidade-parte-2/
(http://clubes.obmep.org.br/blog/teoria-dos-numeros-um-pouco-sobre-divisibilidade-parte-
2/um-pouco-sobre-divisibilidade-criterios-de-divisibilidade/)
Um pouco sobre divisibilidade –

Critérios de divisibilidade
(http://clubes.obmep.org.br/blog/teoria-
dos-numeros-um-pouco-sobre-
divisibilidade-parte-2/um-pouco-
sobre-divisibilidade-criterios-de-
divisibilidade/)
Critérios de divisibilidade Nesta Sala, apresentaremos alguns dos tradicionais
critérios de divisibilidade e suas respectivas justificativas. Fixado um número natural
não nulo d , um critério de divisibilidade é uma condição P necessária e suficiente
para que um número natural seja divisível por d , portanto algo do tipo: Um número
natural n é divisível por d …
2/um-pouco-sobre-divisibilidade-tfa/)
Um pouco sobre divisibilidade – TFA

sobre-divisibilidade-tfa/)
TFA Sabemos que toda matéria é formada por pequenas partículas: os átomos. Os
gregos antigos foram os primeiros a saber que a matéria é formada por tais
partículas e o filósofo grego Demócrito (que viveu entre 546 e 460 a.C.) foi quem
denominou essas partículas de átomos (do grego – a: não; tomo: divisão), pois …
2/um-pouco-sobre-divisibilidade-tfa-problemas/)
Um pouco sobre divisibilidade: TFA –

problemas
sobre-divisibilidade-tfa-problemas/)
Teorema Fundamental da Aritmética Problemas Problema 1: O número 24 ⋅ 5 é
divisível por 2? Sim, já que 2 é um dos fatores na decomposição do número dado.
Problema 2: O número 24 ⋅ 5 é divisível por 3? Não, já que a decomposição deste
número não contém o número primo 3. Problema 3: O …
2/um-pouco-sobre-divisibilidade-divisibilidade-nos-naturais-problemas/)

Divisibilidade nos naturais:
Problemas
sobre-divisibilidade-divisibilidade-nos-
naturais-problemas/)
Divisibilidade nos naturais Problemas Problema 1: Existem números naturais a , b e c
tais que a ∣ bc , mas a ∤ b e a ∤ c ? Justificar a resposta. Problema 2: Sejam a , b e c
números naturais, com c ≠ 0 . Mostrar que a ∣ b se, e somente se, ac ∣ bc .
Problema 3: …
2/um-pouco-sobre-divisibilidade-numero-de-divisores/)

Contagem de divisores
sobre-divisibilidade-numero-de-
divisores/)
Ué . . . Aqui não é a sala para discussão do problema envolvendo o número
981663141888 ? Contagem de divisores Se você chegou até aqui procurando pela
solução do problema que pede para determinar quantos divisores o número

981663141888 tem, fique tranquilo, você está na Sala certa! Nesta Sala, vamos
obter uma propriedade que …
2/um-pouco-sobre-divisibilidade-contagem-de-divisores-problemas/)
Um pouco sobre divisibilidade:

Contagem de divisores – problemas
sobre-divisibilidade-contagem-de-
divisores-problemas/)
Contagem de divisores Problemas Problema 1 Qual o número de divisores naturais
de 7! ? Observe que 7! = 5040 = 2
4
⋅ 3
2 1
⋅ 5 ⋅ 7
1
, assim os divisores naturais de
5040 são da forma d = 2a ⋅ 3b ⋅ 5c ⋅ 7
d
. Vamos para as escolhas dos expoentes da
decomposição de d : expoente …
2/um-pouco-sobre-divisibilidade-retomando-um-problema-ja-resolvido/)

Retomando um problema já resolvido
sobre-divisibilidade-retomando-um-
problema-ja-resolvido/)
Retomando um problema já resolvido Nas Salas de Problemas do nosso Blog, pode

ser encontrada a solução deste problema: São tantos armários … Uma escola possui
mil alunos e cada um deles possui um armário. Os armários estão enfileirados num
corredor e numerados de 1 a 1000. Indicando cada aluno pelo número de seu
armário, …

Sala de Estudo - Um Pouco Sobre Divisibilidade (Parte 2) - Clubes de Matemática Da OBMEP

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Sala de Estudo - Um Pouco Sobre Divisibilidade (Parte 2) - Clubes de Matemática Da OBMEP

Enviado por

Direitos autorais:

Formatos disponíveis

07/10/2022 14:42 Sala de Estudo: Um pouco sobre divisibilidade (Parte 2) – Clubes de Matemática da OBMEP

Sala de Estudo: Um pouco sobre divisibilidade (Parte 2)

Um pouco sobre divisibilidade

Nesta Sala, apresentaremos o conceito de divisibilidade e

Utilizaremos uma linguagem mais formal do que aquela utilizada pela

A divisibilidade é a continuação natural da discussão sobre

Apresentando a divisibilidade nos

Em particular, se r = 0, temos que a = q × b e podemos relacionar os

a divisão de a por b é exata;

(Seis nomenclaturas para designar o mesmo fato: a = q × b, com a, b e q

Mas, nesta Sala, não utilizaremos a ideia da divisão, pois será

Esta sétima e clássica nomenclatura da Teoria dos Números e a sua, não

Definição: Sejam a e b números naturais quaisquer.

Diremos que b divide a quando existir um número natural

Assim, diremos que b não divide a quando b não puder

Para esses dois casos, utilizaremos as notações:

b ∤ a, para indicar que b não divide a.

A relação entre dois números naturais aqui definida é

Cuidado para não confundir a notação b ∣ a com a notação b/a . A

Mas 15 ∤ 5, pois não existe um número natural t tal que 5 = t × 15 .

Com efeito, observem que

● se t > 1, então t × 15 > 15 > 5 e, assim, t × 15 ≠ 5.

0 ∣ 0, pois, por exemplo, 0 = 7 × 0 e 7 ∈ N.

Se a é um número natural qualquer, a ∣ a, uma vez que

1) Nesta Sala, também denotaremos o produto do número m pelo número n

por m ⋅ n ou, simplesmente, por mn.

2) Se b ∣ a e b ≠ 0, então o número natural t tal que a = tb é único. Com

neste caso, teríamos que kb = tb . Mas, estamos supondo b ≠ 0; logo,

O único número natural t tal que a = tb , b ≠ 0, chama-se

3) Já observamos que 0 ∣ 0, mas notem que, particularmente, 0 = 1 × 0;

0 = 3 × 0 ; 0 = 27 × 0; 0 = 18745 × 0; ou seja, o número natural t tal que

4) Devido à não unicidade tratada na observação anterior e ao fato de que

0 ∣ a se, e somente se, a = 0,

5) Mesmo com a possibilidade de termos b = 0, ainda podemos utilizar as

No entanto, as outras três expressões:

• a divisão de a por b tem resto 0 ;

• a divisão de a por b é exata;

não podem ser utilizadas, se b = 0.

A convenção da observação (4) eu entendi, mas a sua justificativa eu não

Não se preocupe, vamos falar um

Algumas observações sobre a

Na matemática, as palavras têm sentido preciso, já que as informações

Se vocês não têm dificuldades com o uso de linguagem matemática,

Linguagem matemática (http://clubes.obmep.org.br/blog/?

Vamos voltar à observação (4) que motivou toda essa

0 ∣ a se, e somente se, a = 0

Em símbolos, podemos escrever a afirmação “ 0 ∣ a se, e

(i) Mostraremos, inicialmente, a primeira implicação. Para

Com efeito, seja a um número natural tal que 0 ∣ a .

Mas sabemos que k⋅0 = 0 ; logo, a = 0 .

(ii) Mostraremos, agora, a segunda das duas implicações.

Suponhamos, então, que a = 0 .

Já vimos que 0 ∣ 0 , logo, como a = 0 , então 0 ∣ a .

Por (i) e (ii), podemos concluir que

ou seja, que 0 ∣ a se, e somente se, a = 0 .

A seguir, vamos apresentar as primeiras propriedades satisfeitas pela

Propriedades iniciais da divisibilidade

Não vamos, simplesmente, apresentar as propriedades, vamos

Orientações iniciais para o estudo das

Para cada propriedade:

Em seguida, tentar utilizar as definições para sair dos exemplos

Ler com cuidado a demonstração apresentada.