1

Nmeros Naturais
Sumrio
1.1

Introduo

. . . . . . . . . . . . . . . . . . . . . . .

1.2

O Conjunto dos Nmeros Naturais . . . . . . . . . .

1.3

O Axioma da Induo . . . . . . . . . . . . . . . . .

1.4

As Duas Operaes: Adio e Multiplicao

. . . .

1.5

A Ordenao nos Nmeros Naturais . . . . . . . . .

1.6

Exerccios Recomendados . . . . . . . . . . . . . . .

1.7

Textos Complementares . . . . . . . . . . . . . . . .

10

1.1

Introduo
Deus criou os nmeros naturais. O resto obra dos homens.

Leopold Kronecker
Enquanto os conjuntos constituem um meio auxiliar, os nmeros so um dos dois
objetos principais de que se ocupa a Matemtica. O outro objeto o espao,
juntamente com as guras geomtricas nele contidas. Os nmeros so objetos
abstratos que foram desenvolvidos pelo homem para servir como modelos que
permitem contar e medir e, portanto avaliar as diferentes quantidades de uma
grandeza.
Os compndios tradicionais dizem o seguinte:
Nmero o resultado da comparao entre uma grandeza e a unidade. Se
a grandeza discreta, essa comparao chama-se uma contagem e o resultado
um nmero inteiro; se a grandeza contnua, a comparao chama-se uma
medio

e o resultado um nmero real.

Nos padres atuais de rigor matemtico, o trecho acima no pode ser considerado como uma denio matemtica, pois faz uso de idias (como grandeza,
unidade, discreta, contnua) e processos (como comparao) de signicado no
estabelecido.

Entretanto, todas as palavras que nela aparecem possuem um

sentido bastante claro na linguagem do dia-a-dia. Por isso, embora no sirva

para demonstrar teoremas a partir dela, a denio tradicional tem o grande
mrito de nos revelar para que servem e por qual motivo foram inventados os
nmeros. Isto muito mais do que se pode dizer sobre a denio que encontramos no nosso dicionrio mais conhecido e festejado, conforme reproduzimos
a seguir.

Nmero.

[Do lat. numeru.] S.m. 1. Mat. O conjunto de todos os conjuntos

equivalentes a um conjunto dado.

Discutiremos este ponto logo mais, quando tratarmos de nmeros cardinais.

Para Saber Mais - Comentrios sobre Denies e axiomas - Cli-

que para ler

Unidade 1

Nmeros Naturais

+ Na Sala de Aula - Reexes sobre a sala de aula - Clique para ler

1.2

O Conjunto dos Nmeros Naturais

Lentamente, medida em que se civilizava, a humanidade apoderou-se desse

modelo abstrato de contagem (um, dois, trs, quatro, ...) que so os nmeros
naturais.

Foi uma evoluo demorada.

apenas um, dois, muitos.

As tribos mais rudimentares contam

A lngua inglesa ainda guarda um resqucio desse

estgio na palavra thrice, que tanto pode signicar trs vezes como muito
ou extremamente.
As necessidades provocadas por um sistema social cada vez mais complexo
e as longas reexs, possveis graas disponibilidade de tempo trazida pelo
progresso econmico, conduziram, atravs dos sculos, ao aperfeioamento do
extraordinrio instrumento de avaliao que o conjunto dos nmeros naturais.
Decorridos muitos milnios, podemos hoje descrever concisa e precisamente
o conjunto

dos nmeros naturais, valendo-nos da notvel sntese feita pelo

matemtico italiano Giuseppe Peano no limiar do sculo 20.

um conjunto, cujos elementos so chamados nmeros naturais.

essncia da caracterizao de
quando
de

n,

n, n N, dizer que n

reside na palavra sucessor. Intuitivamente,

n signica que n0 vem logo depois

0
entre n e n . Evidentemente, esta

o sucessor de

no havendo outros nmeros naturais

explicao apenas substitui sucessor por logo depois, portanto no uma

denio. O termo primitivo sucessor no denido explicitamente. Seu uso
e suas propriedades so regidos por algumas regras, abaixo enumeradas:

a)

Todo nmero natural tem um nico sucessor;

b)

Nmeros naturais diferentes tm sucessores diferentes;

c)

Existe um nico nmero natural, chamado um e representado pelo smbolo

1, que no sucessor de nenhum outro;

d)

Seja

1 X e se,
o sucessor de todo elemento de X ainda pertence a X , ento

um conjunto de nmeros naturais (isto ,

alm disso,

X = N.

X N).

Se

O Axioma da Induo

Unidade 1

As armaes (a), (b), (c) e (d) acima so conhecidas como os axiomas de

Peano.

Tudo o que se sabe sobre os nmeros naturais pode ser demonstrado

como consequncia desses axiomas.

+ Para Saber Mais - Sobre o sistema de numerao - Clique para ler

+ Para Saber Mais - Um comentrio gramatical - Clique para ler
+ Na Sala de Aula - Uma recomendao - Clique para ler
1.3

O Axioma da Induo

O ltimo dos axiomas de Peano conhecido como o axioma da induo. Ele

a base de um eciente mtodo de demonstrao de proposies referentes a
nmeros naturais (demonstraes por induo, ou por recorrncia). Enunciado
sob a forma de propriedades em vez de conjuntos, ele se formula assim:
Seja
i)

P (1)

P (n) uma propriedade relativa ao nmero natural n.

Suponhamos que

vlida;

ii) Para todo

sucessor de
Ento

n N,

a validez de

P (n)

implica a validez de

P (n0 ),

onde

n0

n.

P (n)

vlida qualquer que seja o nmero natural

Com efeito, se chamarmos de

P (n) vlida, veremos que:

1 X em virtude de (i); e que
n X n0 X em virtude de

n.

o conjunto dos nmeros naturais

para

os quais

(ii).

Logo, pelo axioma da induo, conclumos que

Definio 1

X = N.

Esta formulao do Axioma da Induo chamada de Princpio de Induo

Matemtica

Unidade 1

Nmeros Naturais

+ Para Saber Mais - Cuidado!

1.4

- Clique para ler

As Duas Operaes: Adio e Multiplicao

Entre os nmeros naturais esto denidas duas operaes fundamentais:

a adio, que aos nmeros
multiplicao,

A soma

n, p N

faz corresponder a soma

que lhes associa o produto

n+p

o nmero natural que se obtm a partir de

2+2=4

n, n + 2

o sucessor do sucessor de

simplesmente porque

e a

np.

vezes seguidas a operao de tomar o sucessor.

sucessor de

n+p

n,

aplicando-se

Em particular,

n+1

etc. Por exemplo, tem-se

o sucessor do sucessor de

De agora em diante, o sucessor do nmero natural

2.

ser designado por

n + 1.
Quanto ao produto, pe-se
soma de

parcelas iguais a

n1 = n

por denio e, quando

p 6= 1, np

n.

Em ltima anlise, a soma

n + p e o produto np tm mesmo os signicados

que lhes so atribudos pelas explicaes dadas acima.

Entretanto, at que

saibamos utilizar os nmeros naturais para efetuar contagens, no tem sentido

falar em  p vezes e  p parcelas. Por isso, as operaes fundamentais devem
ser denidas por induo, como se segue.

n + (p + 1) = (n + p) + 1 . Esta ltima
igualdade diz que se sabemos somar p a todos os nmeros naturais n, sabemos
tambm somar p + 1: a soma n + (p + 1) simplesmente o sucessor (n + p) + 1
de n + p . O axioma da induo garante que a soma n + p est denida para
quaisquer n, p N.
Multiplicao: n1 = n e n(p+1) = np+n. Ou seja: multiplicar um nmero
n por 1 no o altera. E se sabemos multiplicar todos os nmeros naturais n por
p, sabemos tambm multiplic-los por p+1: basta tomar n(p+1) = np+n. Por
induo, sabemos multiplicar todo n por qualquer p. Estas operaes gozam das
Adio:

n+1

= sucessor de

conhecidas propriedades de associatividade, comutatividade e distributividade.

As demonstraes so feitas por induo. (Voltaremos ao assunto na Unidade
5 de MA12, onde mais detalhes sero apresentados.)

A Ordenao nos Nmeros Naturais

Unidade 1

1.5

A Ordenao nos Nmeros Naturais

Nossa breve descrio do conjunto

m < n.
m, n N, diz-se

dos nmeros naturais termina com a

relao de ordem
Dados

m menor do que n, e escreve-se m < n,

existe algum p N tal que n = m + p. (Isto quer dizer
do sucessor... do sucessor de m, o ato de tomar o sucessor

para signicar que

que

o sucessor

sendo iterado
A relao

p vezes.)
m < n tem

Transitividade:

Se

que

as seguintes propriedades:

m<n

n<p

m, n N,
m = n, m < n ou n < m.

Tricotomia:

Dados

Monotonicidade:

Se

ento

m < p.

vale uma, e somente uma, das alternativas:

m < n ento, para qualquer p N, tem-se m+p < n+p

mp < np.

X N possui um menor elemento. Isto signica que existe um elemento m0 X que menor do que
todos os demais elementos de X . A boa-ordenao pode muitas vezes

Boa-ordenao:

Todo subconjunto no-vazio

substituir com vantagem a induo como mtodo de prova de resultados

referentes a nmeros naturais.
So muito raros e pouco interessantes os exemplos de demonstrao por
induo que podem ser dados sem usar as operaes fundamentais e as desigualdades.

Por isso, somente agora apresentamos um deles, seguido de uma

demonstrao por boa-ordenao.

Exemplo 1.

Queremos provar a validez, para todo nmero natural

n,

da

igualdade

P (n) : 1 + 3 + 5 + . . . + (2n 1) = n2
Usaremos induo. Para

n = 1, P (1)

se resume a armar que

1 = 1.

Supondo

P (n) verdadeira para um certo valor de n, somamos 2n+1 a ambos os membros

da igualdade acima, obtendo

1 + 3 + 5 + . . . + (2n 1) + (2n + 1) = n2 + 2n + 1,

Unidade 1

Nmeros Naturais

ou seja:

1 + 3 + 5 + . . . + [2(n + 1) 1] = (n + 1)2 .
Mas esta ltima igualdade
vale para todo

n N.

P (n + 1).

Logo

P (n)

primeiros

n.

Exemplo 2. (Usando boa-ordenao.)

Lembremos que um nmero natural

p = mn de dois
outro igual a p);

quando no pode ser expresso como produto

nmeros naturais, a menos que um deles seja igual a 1 (e o

isto equivale a dizer que os fatores

p.

Assim,

Podemos ento armar que a soma dos

nmeros mpares igual ao quadrado de

p chama-se primo

P (n) P (n + 1).

m, n no podem ser ambos menores do que

Um resultado fundamental em Aritmtica diz que todo nmero natural

primo ou um produto de fatores primos. Provaremos isto por boa ordenao.

Usaremos a linguagem de conjuntos. Seja

o conjunto dos nmeros naturais

que so primos ou produtos de fatores primos.

X ento o produto mn pertence a X .

X . Assim, Y o conjunto dos nmeros naturais

pertencem a
de

Observemos que se

so produtos de fatores primos.

Seja

o complementar

que no so primos nem

Queremos provar que

vazio.

Isto ser

feito por reduo ao absurdo (como sempre se d nas demonstraes por boaordenao).

aY.

Com efeito, se

no fosse vazio, haveria um menor elemento

a pertenceriam a X . Como a
no primo, ter-se-ia a = m n, com m < a e n < a, logo m X e n X .
Sendo assim, mn X . Mas mn = a, o que daria a X , uma contradio.
Segue-se que Y = , concluindo a demonstrao.
Ento todos os nmeros menores do que

Unidade 1

Exerccios Recomendados
1.6

1.

Exerccios Recomendados
Dado o nmero natural

a,

seja

Y N

um conjunto com as seguintes

propriedades:

aY;
(2) n Y n + 1 Y .
Prove que Y contm todos os nmeros naturais maiores do que ou iguais
a a.
(1)

(Sugesto: considere o conjunto

naturais

2.

6 a,

e prove, por induo, que

onde

Ia

o conjunto dos nmeros

X = N.)

2n + 1 6 2n
n > 5.

Use o exerccio anterior para provar que

em seguida, que

3.

X = Ia Y ,

n2 < 2n

para todo

para todo

n>2

e,

Complete os detalhes da seguinte demonstrao do Princpio de Boa

Ordenao:

Seja

A N

um conjunto que no possui um menor ele-

X formado pelos nmeros naturais n tais

que 1, 2, ..., n no pertencem a A. Observe que 1 X e, alm disso, se
n X ento todos os elementos de A so > n + 1. Como n + 1 no
pode ser o menor elemento de A, conclua que n + 1 X . Logo, por
induo, segue-se que X = N. Portanto A vazio.
mento. Considere o conjunto

4.

Prove, por induo, que

 n + 1 n
n

para todo

n>3

6n

e conclua da que a sequncia

3
4
1, 2, 3, 4 . . .
decrescente a partir do terceiro termo.

5.

Prove, por induo, que

1 + 2 2 + 3 2 + + n2 =

6.

n(n + 1)(2n + 1)
.
6

Critique a seguinte argumentao: Quer-se provar que todo nmero natural pequeno. Evidentemente, 1 um nmero pequeno. Alm disso, se
for pequeno,

n+1

tambm o ser, pois no se torna grande um nmero

pequeno simplesmente somando-lhe uma unidade.

todo nmero natural pequeno.

Logo, por induo,

Nmeros Naturais
7.

Use a distributividade para calcular

(m + n)(1 + 1)

de duas maneiras

diferentes e em seguida use a lei do corte para concluir que

8.

9.

10.

m+n = n+m.

X N um conjunto no-vazio, com a seguinte propriedade: para

qualquer n N, se todos os nmeros naturais menores do que n pertencem a X ento n X . Prove que X = N. (Sugesto : boa ordenao.)
Seja

P (n) uma propriedade relativa ao nmero natural n. Suponha que

P (1), P (2) so verdadeiras e que, para qualquer n N, a verdade de
P (n) e P (n + 1) implica a verdade de P (n + 2). Prove que P (n)
verdadeira para todo n N.

Seja

Use induo para provar que

1
13 + 23 + 33 + + n3 = n2 (n + 1)2 .
4

Unidade 1

Unidade 1

Textos Complementares
1.7

Na Sala de Aula

Textos Complementares

Reexes sobre a sala de aula

Do ponto de vista do ensino em nvel do ensino mdio, no tem cabimento
expor a Matemtica sob forma axiomtica. Mas necessrio que o professor
saiba que ela pode ser organizada sob a forma acima delineada. Uma linha de
equilbrio a ser seguida na sala de aula deve basear-se nos seguintes preceitos:
1. Nunca dar explicaes falsas sob o pretexto de que os alunos ainda no tm
maturidade para entender a verdade. (Isto seria como dizer a uma criana que
os bebs so trazidos pela cegonha.) Exemplo: innito um nmero muito
grande. Para outro exemplo, vide RPM 29, pgs. 13-19.
2.

No insistir em detalhes formais para justicar armaes que, alm de

verdadeiras, so intuitivamente bvias e aceitas por todos sem discusso nem

dvidas. Exemplo: o segmento de reta que une um ponto interior a um ponto
exterior de uma circunferncia tem exatamente um ponto em comum com essa
circunferncia.
Em contraposio, fatos importantes cuja veracidade no evidente, como
o Teorema de Pitgoras ou a Frmula de Euler para poliedros convexos, devem
ser demonstrados (at mesmo de vrias formas diferentes).
Excetuam-se, naturalmente, demonstraes longas, elaboradas ou que faam uso de noes e resultados acima do alcance dos estudantes desse nvel
(como o Teorema Fundamental da Algebra, por exemplo).
Provar o bvio transmite a falsa impresso de que a Matemtica intil. Por
outro lado, usar argumentos elegantes e convincentes para demonstrar resultados inesperados uma maneira de exibir sua fora e sua beleza. As demonstraes, quando objetivas e bem apresentadas, contribuem para desenvolver o
raciocnio, o esprito crtico, a maturidade e ajudam a entender o encadeamento
lgico das proposies matemticas.
3. Ter sempre em mente que, embora a Matemtica possa ser cultivada por
si mesma, como um todo coerente, de elevado padro intelectual, formado por
conceitos e proposies de natureza abstrata, sua presena no currculo escolar
no se deve apenas ao valor dos seus mtodos para a formao mental dos
jovens.
A importncia social da Matemtica provm de que ela fornece modelos

10

Nmeros Naturais

para analisar situaes da vida real.

Assim, por exemplo, conjuntos so o

modelo para disciplinar o raciocnio lgico, nmeros naturais so o modelo para

contagem e nmeros reais so o modelo para medida; funes ans servem de
modelo para situaes, como o movimento uniforme, em que os acrscimos da
funo so proporcionais aos acrscimos da varivel independente. E assim por
diante.

11

Unidade 1

Unidade 1

Na Sala de Aula

Textos Complementares

Uma recomendao
No se deve dar muita importncia eterna questo de saber se 0 (zero) deve
ou no ser includo entre os nmeros naturais. (Vide Meu Professor de Matemtica, pg. 150.) Praticamente todos os livros de Matemtica usados nas
escolas brasileiras consideram

0 como o primeiro nmero natural (consequente-

mente 1 o segundo, 2 o terceiro, etc). Como se viu acima, no adotamos

esse ponto-de-vista. Trata-se, evidentemente, de uma questo de preferncia.
Deve-se lembrar que o smbolo

0 (sob diferentes formas grcas) foi empregado

inicialmente pelos maias, posteriormente pelos hindus, difundido pelos rabes e

adotado no ocidente, no como um nmero e sim como um algarismo, com o
utilssimo objetivo de preencher uma casa decimal vazia. (No caso dos maias, a
base do sistema de numerao era 20, e no 10.) De resto, a opo do nmero
natural para iniciar a sequncia no se limita a escolher entre

0 e 1.

Frequente-

mente esquecemos que, do mesmo modo que conhecemos e usamos o zero mas
comeamos os nmeros naturais com
sentada por Euclides, no considerava

1, a Matemtica grega, segundo apre1 como um nmero. Nos Elementos,

encontramos as seguintes denies:

Unidade aquilo pelo qual cada objeto um. Nmero uma multitude de
unidades.

12

Nmeros Naturais

Comentrios sobre Denies e axiomas

Para Saber Mais

Uma denio matemtica uma conveno que consiste usar um nome, ou

uma breve sentena, para designar um objeto ou uma propriedade, cuja descrio
normalmente exigiria o emprego de uma sentena mais longa. Vejamos algumas
denies, como exemplo.

ngulo

Primos entre si

a gura formada por duas semirretas que tm a mesma origem.

so dois ou mais nmeros naturais cujo nico divisor

comum a unidade.

Mas nem sempre foi assim. Euclides, por exemplo, comea os Elementos
com uma srie de denies, das quais selecionamos as seguintes:

Linha

Superfcie

Quando uma reta corta outra formando ngulos adjacentes iguais, cada

um comprimento sem largura.

o que possui comprimento e largura somente.

um desses ngulos chama-se reto e as retas se dizem perpendiculares.

As denies de ngulo e de nmeros primos entre si, dadas acima, bem

como as denies de ngulo reto e retas perpendiculares dadas por Euclides,
so corretas. Elas atendem aos padres atuais de preciso e objetividade. Por
outro lado, nas denies de linha e supercie, Euclides visa apenas oferecer ao
seu leitor uma imagem intuitiva desses conceitos. Elas podem servir para ilustrar
o pensamento geomtrico mas no so utilizveis nos raciocnios matemticos
porque so formuladas em termos vagos e imprecisos.
Na apresentao de uma teoria matemtica, toda denio faz uso de termos
especcos, os quais foram denidos usando outros termos, e assim sucessivamente. Este processo iterativo leva a trs possibilidades:
a) Continua indenidamente, cada denio dependendo de outras anteriores,
sem nunca chegar ao m.
b) Conduz a uma circularidade, como nos dicionrios. (Onde se v, por exemplo:
compreender

perceber, perceber

entender e entender

13

Unidade 1

compreender.)

Unidade 1

Textos Complementares

c) Termina numa palavra, ou num conjunto de palavras (de preferncia dotadas

de conotaes intuitivas simples) que no so denidas, isto , que so tomadas
como representativas de conceitos primitivos. Exemplos: ponto, reta, conjunto.
Evidentemente, as alternativas (a) e (b) acima citadas no convm Matemtica. A alternativa (c) a adotada. Se prestarmos ateno, veremos que
foi assim que aprendemos a falar. Numerosas palavras nos foram apresentadas
sem denio e permanecem at hoje em nosso vocabulrio como conceitos
primitivos, que aprendemos a usar por imitao e experincia.
Para poder empregar os conceitos primitivos adequadamente, necessrio
dispor de um conjunto de princpios ou regras que disciplinem sua utilizao
e estabeleam suas propriedades.
postulados.

Tais princpios so chamados axiomas ou

Assim como os conceitos primitivos so objetos que no se denem,

os axiomas so proposies que no se demonstram.

Uma vez feita a lista dos conceitos primitivos e enunciados os axiomas
de uma teoria matemtica, todas as demais noes devem ser denidas e as
armaes seguintes devem ser demonstradas.
Nisto consiste o chamado mtodo axiomtico.
demonstradas

chamam-se

teoremas

suas

As proposies a serem

consequncias

imediatas

so

denominadas corolrios. Uma proposio auxiliar, usada na demonstrao de

um teorema, chamada um lema.

Ser um axioma ou ser um teorema no uma caracterstica intrnseca de

uma proposio. Dependendo da preferncia de quem organiza a apresentao
da teoria, uma determinada proposio pode ser adotada como axioma ou ento
provada como teorema, a partir de outra proposio que a substituiu na lista
dos axiomas.
A seguir veremos um resumo da teoria matemtica dos nmeros naturais,
onde os conceitos primitivos so nmero natural e sucessor e os axiomas so
os de Peano.

14

Nmeros Naturais

Sobre o sistema de numerao

Para Saber Mais

Um engenhoso processo, chamado sistema de numerao decimal, permite

representar todos os nmeros naturais com o auxlio dos smbolos 0, 1, 2, 3, 4,
5, 6, 7, 8 e 9. Alm disso, os primeiros nmeros naturais tm nomes: o sucessor
do nmero um chama se dois, o sucessor de dois chama-se trs, etc. A partir
de um certo ponto, esses nomes tornam-se muito complicados, sendo prefervel
abrir mo deles e designar os grandes nmeros por sua representao decimal.
(Na realidade, os nmeros muito grandes no possuem nomes. Por exemplo,

101000 ?).
conjunto N = {1, 2, 3, . . .}

como se chamaria o nmero

Deve car claro que o

dos nmeros naturais

uma sequncia de objetos abstratos que, em princpio, so vazios de signicado.

Cada um desses objetos (um nmero natural) possui apenas um lugar determinado nesta sequncia. Nenhuma outra propriedade lhe serve de denio. Todo
nmero tem um sucessor (nico) e, com exceo de 1, tem tambm um nico
antecessor (nmero do qual sucessor).
Vistos desta maneira, podemos dizer que os nmeros naturais so nmeros
ordinais :

Unidade 1

1 o primeiro, 2 o segundo, etc.

15

Unidade 1

Para Saber Mais

Textos Complementares

Um comentrio gramatical
Quando dizemos o nmero um, o nmero dois ou o nmero trs, as
palavras um, dois e trs so substantivos, pois so nomes de objetos. Isto
contrasta com o uso destas palavras em frases como um ano, dois meses e
trs dias, onde elas aparecem para dar a ideia de nmero cardinal, isto , como
resultados de contagens. Nesta frase, um, dois e trs no so substantivos. Pertencem a uma categoria gramatical que, noutras lnguas (como francs,
ingls e alemo, por exemplo) chamada adjetivo numeral e que os gramticos
brasileiros e portugueses, h um par de dcadas, resolveram chamar de numeral
apenas. Este comentrio visa salientar a diferena entre os nmeros naturais,
olhados como elementos do conjunto

N,

e o seu emprego como nmeros cardi-

nais. Este segundo aspecto ser abordado no captulo seguinte.

16

Nmeros Naturais

Cuidado!

Para Saber Mais

O axioma da induo uma forma sagaz e operacional de dizer que qualquer

nmero natural

n pode ser alcanado se partirmos de 1 e repetirmos suciente-

mente a operao de tomar o sucessor de um nmero. Ele est presente (pelo

menos de forma implcita) sempre que, ao armarmos a veracidade de uma proposio referente aos nmeros naturais, vericamos que ela verdadeira para

n = 1, n = 2, n = 3

e dizemos e assim por diante....

cuidado com esta ltima frase. Ela pressupe que

n N.

Unidade 1

Mas preciso ter

P (n) P (n0 )

para todo

No nal deste captulo, apresentamos como exerccios algumas propo-

sies demonstrveis por recorrncia, bem como alguns curiosos paradoxos que
resultam do uso inadequado do axioma da induo.

17

Unidade 1

Textos Complementares

18