Numeros Reais 2

Nmeros Reais
Grupo de Matemtica da Universidade Tcnica de Lisboa: Antnio St. Aubyn, Maria Carlos Figueiredo, Lus de Loura, Lusa Ribeiro, Francisco Viegas Lisboa, Maro de 2004
O documento presente foi obtido directamente do cdigo TeX fornecido pelos autores com alteraes de formatao e alguma reviso editorial. A verso corrente de 13 de Maio de 2006. A reviso deste texto do ponto de vista grco ainda no est completa. Novas verses podero car disponveis no futuro a partir de http://preprint.math.ist.utl.pt/les/ppgmutlreais.pdf. O DMIST agradece ao Grupo de Matemtica da UTL a possibilidade de facultar o texto aos alunos das disciplinas introdutrias de Matemtica do IST.
Na mesma srie: Lgica matemtica. Conjuntos. Nmeros reais. Sucesses. Funes. Funes reais de varivel real. Funes trigonomtricas. Funo exponencial. Continuidade. Derivadas.
Nmeros reais
ndice
ndice 1 2 3 4 5 Introduo Marcao na recta real dos nmeros racionais Uma pedra no meio do caminho Uma interpretao geomtrica dos nmeros reais Esboo de uma teoria axiomtica para os nmeros reais 3 5 9 20 28 57 70 72
ndice remissivo Nomenclatura
Grupo de Matemtica da UTL
Nmeros reais
Introduo
Os nmeros so a cincia do tempo e a geometria a cincia do espao. Parfrase de uma ideia na Crtica da Razo Pura de Immanuel Kant.
Frases deste gnero so sempre radicais se, por um lado, podem revelar relaes profundas entre certos entes, por outro, fazem-no de forma extremamente exagerada: o tempo geometrizou-se na recta e na circunferncia e a geometria procurou nos nmeros medida para os seus elementos. Mesmo nas tcnicas mais rudimentares se utilizam rguas e relgios que so instrumentos mistos. Assim, embora o estudo dos nmeros e da geometria se possa fazer de forma independente, o que tem a sua virtude porque permite determinar as respectivas caractersticas puras, no desrazovel estudar e complementar o nosso conhecimento sobre os nmeros reais utilizando, como suporte, resultados geomtricos que esto ao nosso dispor. isso que iremos fazer, naturalmente de forma muito sucinta de incio (porque j conhecida), levantando-se depois algumas questes que, tanto pela sua delicadeza como pela diculdade de formalizao, so pouco tratadas no ensino secundrio. Referimos, ainda, que no nosso objectivo uma apresentao formal nem dos nmeros reais nem da geometria euclidiana, porque a achamos desajustada dos conhecimentos dos alunos e at inconveniente ao propsito deste texto. Nesta perspectiva as provas dos resultados que se apresentam baseiam-se, em ltima anlise, em certas propriedades dos nmeros e dos elementos geomtricos que consideramos ser do senso comum.
Algumas observaes de natureza geomtrica Na representao dos nmeros reais na recta real utilizamos apenas resultados bem conhecidos do ensino secundrio. Sobre os entes (ponto, recta, rgua, compasso, etc.) que intervm nesses resultados, faremos, apenas, algumas observaes ingnuas. 5
Grupo de Matemtica da UTL O ponto No foi h muito tempo que me contaram a histria (verdica) de uma criana, com no mais de 4 anos, que colocava ao pai a seguinte diculdade que o preocupava: . . . que sabes, pai, por mais que ae o lpis apenas consigo fazer uma bolinha e nunca um ponto. No foi certamente esta a frase que ele disse e muito provavelmente tambm no foi a que me contaram. Mas foi isto, e no creio ter adulterado o sentido, que me cou e maravilhou. To novo, aquele menino conseguia distinguir entre o que se podia fazer com meios materiais (o lpis e o aa lpis) e o ente ideal que o ponto. Quando falamos de um ponto entendmo-lo no sentido que este menino deu a esse termo.
A recta Quando falamos de uma recta no estamos a pensar nalgum risco que algum fosse fazer numa folha de papel com uma rgua e um lpis vulgares. Por muito aado que esteja o lpis e por muito perfeita e longa que seja a rgua vulgar, nunca obtemos aquele ente matemtico que, no s no tem espessura como se prolonga indenidamente nos dois sentidos. A rgua A rgua um instrumento geomtrico que nos serve apenas para traar segmentos de recta que unem dois pontos distintos. Trata-se de uma rgua no graduada, que no serve, portanto, para medir distncias. Admitimos que um segmento de recta com mais de um ponto, determina uma e uma s recta. O compasso O compasso um instrumento geomtrico que nos serve apenas para traar arcos de circunferncia. Um compasso, como o referido, no se pode utilizar para transportar distncias supomos que as hastes do compasso colapsam depois da sua utilizao.
Nmeros reais A recta real A recta real R uma recta que supomos escolhida de uma vez por todas e onde foram marcados dois pontos distintos que designamos por O e I. Uma representao grosseira ser
PSfrag replacements O I
Figura 1: Recta real R.
As letras O e I no foram escolhidas ao acaso a letra O ser a imagem geomtrica do nmero real zero e a letra I ser a imagem geomtrica do nmero real um. Como se sabe uma recta pode ser percorrida em dois sentidos distintos. Ora, o facto de terem sido marcados dois pontos (O e I) em R, permite a determinao, por conveno, de um sentido de percurso. Escolhemos o sentido de percurso de O para I. Assim a recta real tem um sentido de percurso privilegiado, o que, dados dois pontos X e Y de R, distintos, nos permite dizer que um precede o outro. Escrevemos X Y sse X precede Y e distinto de Y. Esta relao, , introduzida na recta real, tem propriedades semelhantes s da relao menor (<) no conjunto dos nmeros reais. Escrevemos X = Y para dizer que X e Y designam o mesmo ponto da recta real. O smbolo colocado entre dois pontos da recta real tem o signicado seguinte: X Y sse X=Y ou X Y.
So geometricamente evidentes as seguintes propriedades da relao : i) XR ii) X,YR iii) X,Y,ZR X X X X. Y Y Y Y X Z X = Y. X Z.
igualmente evidente que iv) Sendo X e Y dois pontos de R, verdadeira uma e uma s das proposies seguintes: X Y, X = Y, Y X. 7
Grupo de Matemtica da UTL Denotaremos por R+ o conjunto dos pontos X da recta real tais que O X. A R+ chamaremos a semi-recta real positiva. Analogamente, designaremos por R o conjunto dos pontos X da recta real tais que X O e chamaremos a R a semi-recta real negativa.
Um breve resumo deste captulo Apresentaremos, agora, um breve resumo das orientaes gerais deste Captulo. (1) Do conjunto R dos nmeros reais, admitimos que so bem conhecidos os nmeros racionais, bem como as suas propriedades elementares. Naturalmente, supomos que sabida a existncia de nmeros reais que no so racionais os chamados nmeros irracionais cuja denio e propriedades, por terem sido apenas ligeiramente abordadas no ensino secundrio, nos merecero uma anlise mais detalhada. (2) Admitimos que do conhecimento geral que os nmeros reais tm uma representao geomtrica como pontos da recta real R, de tal forma que: a cada nmero real x corresponde um e um s ponto X de R (a representao geomtrica de x), e que para cada ponto X R existe e um e um s x R tal que X a representao geomtrica de x. A anlise desta correspondncia, que se presumiu existir mas nunca foi totalmente denida, ser o o condutor que nos guiar na reviso que vamos fazer dos nmeros reais, bem como dos complementos que, necessariamente, teremos que apresentar. (3) Assim comeamos por uma apresentao sucinta da representao dos nmeros racionais na recta real, dedicando-nos em seguida, aps um pargrafo intermdio onde se estabelece a insucincia dos nmeros racionais, introduo dos nmeros irracionais e a algumas das suas propriedades, tendo sempre em vista uma perspectiva geomtrica. (4) No ltimo pargrafo deste Captulo faremos um esboo de uma Teoria Axiomtica para os nmeros reais. 8
Nmeros reais
Marcao na recta real dos nmeros racionais
Dissemos atrs que so bem conhecidos os nmeros racionais. Trata-se, agora, de lhes dar uma representao geomtrica. Marcao dos nmeros reais na recta real Comecemos, ento, a marcar na recta real os nmeros naturais. O nmero 1 no oferece diculdade, uma vez que j dissemos que a sua imagem geomtrica o ponto I da recta real. Para marcar o nmero 2 basta considerar o nico ponto A R+ da interseco com a recta real, da circunferncia de centro em I e com raio igual ao comprimento do segmento OI, como sugerido pela gura seguinte:
PSfrag replacements
Figura 2: A a imagem geomtrica de 2.
Para marcar o nmero 3 basta repetir a construo anterior, mantendo o raio e considerando agora, como centro da circunferncia, o ponto A
PSfrag replacements
Figura 3: B a imagem geomtrica de 3.
Obtivemos, assim, o ponto B que a imagem geomtrica de 3. Se prosseguirmos indenidamente com este processo iremos marcando sucessivamente os nmeros naturais. Note-se que, se M a imagem geomtrica do nmero natural m e N a imagem geomtrica do nmero natural n que se lhe segue (n = m + 1), ento o ponto P da recta real a imagem geomtrica do nmero natural que se segue a n, ou seja, de n + 1. 9

PSfrag replacements
Figura 4: P a imagem geomtrica de n + 1.
Assim, o processo gerador dos nmeros naturais que (intuitivamente) consiste em dizer que 1 um nmero natural e que todos os outros se obtm deste por sucessivas adies da unidade tem aqui a seguinte verso geomtrica I a imagem geomtrica de 1 e todas as outras imagens geomtricas de nmeros naturais obtm-se desta por sucessivas aplicaes do processo considerado na gura 4 (ao qual damos o nome de processo elementar). Exerccio 1. Seja n um nmero natural e designemos por N a sua imagem geomtrica. O exerccio consiste em marcar1 na recta real o nmero n + 1, utilizando apenas rgua e compasso e tendo apenas conhecimento prvio dos pontos O e I de R. Note-se que, para aplicar o processo elementar (gura 4), necessitava-se do ponto M (imagem geomtrica de n 1) e que s se dispe agora dos pontos O, I e N.
Designaremos, como usual, por N o conjunto dos nmeros naturais, e designaremos por N o conjunto das suas imagens geomtricas. Assim, o conjunto N pode ser denido como sendo o conjunto dos pontos X R que so imagens geomtricas de elementos de N. Mas, curiosamente, o conjunto N pode tambm ser denido da seguinte forma: N o subconjunto de R que satisfaz as condies seguintes: (i) I N. (ii) dado X R, X pertence a N sse X = I ou pode ser obtido de I por um conjunto nito de aplicaes sucessivas do processo elementar.
Pressupe-se que num nmero de passos independente de n, caso contrrio poderse-ia repetir a construo anterior.
1
10
Nmeros reais Esta introduo do conjunto N interessante, porque permite deni-lo em termos puramente geomtricos, sem fazer apelo a um conhecimento prvio de N.
Vejamos agora qual a representao geomtrica da soma de dois nmeros naturais. Sejam m e n dois nmeros naturais e sejam M e N as suas (respectivas) imagens geomtricas. Como podemos representar geometricamente m + n? Comecemos por notar que m + 3 igual a m + (1 + 1 + 1) e que, portanto, m + 3 = {[(m + 1) + 1] + 1}. Assim, para obter m + n, basta adicionar n vezes ao nmero m o nmero 1. Desta forma, sendo M a imagem geomtrica de m, para obter o ponto P R correspondente a m + n, basta tomar o ponto M e utilizar n vezes o processo elementar.
Como vimos atrs, no s os nmeros naturais tm uma representao geomtrica, como a adio de dois nmeros naturais tambm se pode interpretar geometricamente. Ficou assim denida uma operao em N (ou seja, uma aplicao de N N em N) que, a cada par (M, N) N N associa um (e um s) S N N N (M, N) S N
onde, sendo M a representao geomtrica de m e N a representao geomtrica de n, S a representao geomtrica de m + n. A m de distinguir a adio em N da correspondente operao em N, designamos esta ltima por . Escrevemos assim S = M N.
11
Grupo de Matemtica da UTL Como se sabe, a adio comutativa e associativa, o que se pode expressar da forma seguinte: m, n N m + n = n + m m, n, p N (m + n) + p = m + (n + p). Claro que a estas propriedades da adio em N correspondem as seguintes propriedades da operao em N: M, N N M N = N M M, N, P N (M N) P = m (N P). Ora, tal como o conjunto N podia ser introduzido sem o conhecimento de N (ver atrs), tambm, como vimos, a operao pode ser denida sem recurso adio em N. E, o que mais, a comutatividade e associatividade de so geometricamente evidentes.
Para falar da multiplicao em N (ou em N) podemos seguir, passo a passo, o que zemos com a adio, utilizando o mesmo tipo de discurso e s o modicando quando tal fosse necessrio o que ter forosamente de acontecer, uma vez que a adio e a multiplicao so operaes diferentes. Deixamos este trabalho ao cuidado do leitor.
Marcao dos nmeros inteiros na recta real O conjunto dos nmeros inteiros Z surge para que se possa denir a subtraco de um nmero natural m por um nmero natural n. Para que se entenda a impossibilidade de denir a subtraco em N (e, portanto, a necessidade de introduo do conjunto Z) indispensvel saber o que a subtraco. Comecemos com a subtraco em N: dados dois nmeros naturais m e n, pretendemos que a subtraco de m por n (m n) seja o nico nmero natural p tal que m=n+p Posta assim a questo, temos dois problemas a resolver: 12
Nmeros reais (1) (existncia) dados m, n N, existir pelo menos um p N tal que m = n + p? (2) (unicidade) mesmo que exista um tal p, ser ele nico? Como se sabe, (1) e (2) tm resposta armativa sse m > n. Na sequncia, utilizaremos a representao geomtrica dos nmeros naturais para justicar a armao precedente.
Sejam M e N as imagens geomtricas de m e n, respectivamente, e suponhamos M N (o que corresponde a m > n). Ora N obtm-se de I utilizando (n 1) vezes o processo elementar, o mesmo acontecendo com M, utilizando-se, agora, o processo elementar (m 1) vezes. Resulta daqui que, partindo de I e depois de atingido o ponto N, alcanamos o ponto M aps um nmero nito de passos elementares. tambm evidente que atingido este ponto (M), quaisquer novas utilizaes do processo elementar nos conduzem a pontos Q M. Assim, sendo p o nmero de vezes que utilizamos o processo elementar para, partindo de N, atingir o ponto M, se tem NP = M e portanto n+p = m (ver gura 5).
PSfrag replacements
Figura 5: Caso p = 3, ou seja, m = n + 3, ou ainda, m n = 3.
Conclui-se daqui que a subtraco m n nica em N, se m > n. Se m = n, um argumento semelhante prova da unicidade, mostra que a subtraco impossvel em N.
De acordo com o que foi dito anteriormente, para calcular 72 basta contar o nmero de processos elementares que, partindo da imagem geomtrica de 2, atingem a imagem geomtrica de 7. 13

PSfrag replacements
Figura 6: P a imagem geomtrica de 2 e Q a imagem geomtrica de 7.
Assim 7 2 = 5. Note-se que, nesta gura 6, indicamos um sentido de percurso do compasso (o de 2 para 7) em cada um dos processos elementares, sentido esse que foi assinalado por uma seta. Note-se ainda que o resultado da subtraco o nmero de processos elementares que se utilizaram para, partindo de P (imagem geomtrica de 2), atingir o ponto Q (imagem geomtrica de 7). Utilizando o mesmo exemplo (7 2 = 5), vamos, agora, indicar um outro processo geomtrico que nos permite obter o mesmo resultado. Neste outro processo, em vez de partirmos do ponto P, partimos do ponto Q e utilizamos processos elementares com sentido de processo inverso. Vejamos como se procede no exemplo (7 2 = 5) (ver gura 7). Comeando no ponto Q (imagem geomtrica de 7), utilizamos 2 vezes o processo elementar (com sentido de percurso inverso), o que determina um ponto S da recta real.
PSfrag replacements
Figura 7: Q a imagem geomtrica de 7.
O resultado da subtraco , ento, o nico natural (5) cuja imagem geomtrica S, o que obviamente verdadeiro neste caso. Ora esta equivalncia dos dois processos geomtricos no uma casualidade ela permanece verdadeira sempre que pretendemos fazer a subtraco de m por n, com m > n. Embora sendo redundantes, queremos salientar que na primeira construo o resultado da subtraco determinado pelo nmero de processos elementares, enquanto que na segunda construo, o resultado da subtraco o natural cuja imagem geomtrica o ponto S obtido. 14
Nmeros reais
Esta segunda ideia para obter o resultado da subtraco de 7 por 2, no um mero processo alternativo. Ela contm, em potncia, o processo gerador da imagem geomtrica dos nmeros inteiros no naturais. Vejamos porqu. Consideremos, em primeiro lugar, a subtraco de 3 por 3, que j sabemos no poder ser um nmero natural. Ora, se utilizarmos o segundo processo, obtemos o ponto O que corresponde ao nmero 0. O mesmo aconteceria, como fcil ver, se quisssemos subtrair m de m (m N). Isto conduz-nos a considerar o conjunto N0 = N{0} (bem como N0 = N {O}), no qual a subtraco de m por n j sempre possvel (e nica) desde que m n.
PSfrag replacements O I
Figura 8: 3 3 = 0.
Consideremos, agora, a subtraco de 3 por 4. Uma aplicao automtica do processo anterior (ver gura 9) conduz-nos ao ponto J a que, naturalmente, chamamos a imagem geomtrica de 1.
PSfrag replacements
Figura 9: J a imagem geomtrica de 3 4.
Note-se que J, estando mesma distncia de O do que o ponto I, tem um papel semelhante em R , ao que I tinha em R+ . Em R+ , marcavam-se os naturais por aplicaes sucessivas, feitas a partir do ponto I, do processo elementar (descrito no sentido de O para I). Da mesma forma podemos proceder em R , marcando os pontos que se obtm a partir do ponto J, por sucessivas aplicaes do processo elementar descrito, agora, no sentido de O para J designamos tal conjunto por N. 15
Grupo de Matemtica da UTL Encontra-se, desta forma, um conjunto Z Z = N {O} N (que a imagem geomtrica de Z), onde se encontram todas as imagens geomtricas de m n (m, n N), quer m seja maior que n (caso em que a imagem geomtrica est em N); quer m seja igual a n (caso em que a imagem geomtrica O); quer m seja menor que n (caso em que a imagem geomtrica est em N).
muito fcil, agora, determinar as construes geomtricas2 que correspondem s operaes de adio e multiplicao no conjunto Z . Partindo de tais construes, constata-se, sem diculdade, que as propriedades elementares da adio, da subtraco e da multiplicao em Z, tm um paralelo geomtrico que lhes d um caracter de evidncia.
Das quatro operaes elementares (adio, subtraco, multiplicao e diviso), falta-nos tratar a diviso. Ora, se a impossibilidade de subtraco em N, nos obrigou a passar de N para Z, o problema da diviso vai-nos conduzir criao de um novo conjunto de nmeros o conjunto Q dos nmeros racionais. esse o assunto que tratamos na sequncia.
Marcao dos nmeros racionais na recta real O conjunto dos Q surge para que se possa denir a diviso de um nmero inteiro m, por outro nmero inteiro n distinto de zero. Qual a razo da impossibilidade de uma boa diviso em Z? Isso resulta da denio de diviso, que ainda no foi dada. Ora,
Estas construes utilizam apenas o processo elementar, quer descrito no sentido de O para I, quer descrito no sentido de O para J, com as excepes que a seguir se referem: m Z m + 0 = 0 + m, m Z m 0 = 0 m.
2
16
Nmeros reais sendo m Z e n Z \ {0}, diz-se que o nmero r divide m por n sse m = nr. Tal como no caso da subtraco temos aqui dois problemas: (1) (existncia) dados m Z e n Z \ {0}, existir pelo menos um r Z tal que m = n r? (2) (unicidade) mesmo que exista um tal r, ser ele nico? Como sabemos, s em certos casos a diviso de m Z por n Z \ {0} um nmero inteiro tal acontece, por exemplo, quando dividimos 4 por 2, ou 15 por 3, ou 120 por 6. Mas, se pretendermos dividir 1 por 2, sabemos que o resultado no vai ser um nmero inteiro. Pensamos que, mais uma vez, uma interpretao geomtrica pe em evidncia o problema e esclarece o seu processo de resoluo. Comecemos por pensar em m e n nmeros naturais. Para se ter uma ideia prvia do processo geomtrico que a seguir apresentamos, convm notar que se pretende que 1 m =m . n n Assim, introduziremos, em primeiro lugar, as imagens geomtricas dos 1 nmeros da forma n (n N), seguindo-se depois a apresentao da cons1 truo que nos permite obter a imagem geomtrica de m n .
1 A representao geomtrica de n est relacionada com o problema de dividir o segmento OI em n segmentos com igual comprimento. Vejamos como o podemos fazer. Para simplicar a exposio, vamos descrever um processo geomtrico que permite dividir o segmento OI em trs partes iguais. Comeamos, em primeiro lugar, por marcar na recta real os pontos A (imagem geomtrica de 2) e B (imagem geomtrica de 3). Seguidamente (ver gura 10) considerase uma outra recta r, passando pelo ponto O e no coincidente com a recta real, na qual marcamos, utilizando o compasso, os pontos I , A e B . Tracemos agora, usando a rgua, o segmento IB e faamos passar por I uma recta l paralela3 determinada por IB . Seja R o ponto de interseco da recta l com a recta real. O ponto R a imagem geomtrica de 1 , uma 3
Traar uma paralela a uma recta passando por um ponto algo possvel com rgua e compasso. Verique! (N.E.)
17
PSfrag replacements
R S I
1 Figura 10: A a imagem geomtrica de 2, B a imagem de 3 e R a imagem de 3 .
vez que so iguais os comprimentos dos segmentos OR, RS e SI (como facilmente se prova utilizando apenas argumentos geomtricos faa a demonstrao!). 1 1 Assim como se marcou 1 , se marcariam os nmeros 2 , 1 ou 20 . Proce3 5 1 dendo desta forma podemos ir marcando os pontos da forma n com n to grande quanto se queira.
Consideremos, agora, o problema de marcar na recta real os pontos da forma m , com m, n N. Trata-se, surpreendentemente, de uma questo n trivial. Quando se escolheu o ponto I como imagem geomtrica de 1, tal foi feito de forma arbitrria qualquer outro ponto L (O L) poderia ter sido o escolhido. Assim, xado n N, se escolhssemos para I o ponto L 1 imagem geomtrica de n , e procedssemos com L tal como procedamos com I, iramos marcando sucessivamente os pontos da forma m (m N). n Para uma marcao dos pontos da forma m (com m Z \ {0} e n N)4 n recorremos ao mesmo argumento e ao procedimento de marcao dos nmeros inteiros. As guras 11 e 12 ilustram o discurso anterior.
Se m for zero a imagem geomtrica de
m n
(n N) o ponto O.
18
Nmeros reais
PSfrag replacements
R
1 3
P
e P a imagem
Figura 11: Marcao de 4 . R a imagem geomtrica de 3 4 geomtrica de 3 .
PSfrag replacements
1 Figura 12: Marcao de 5 . R a imagem geomtrica de 2 ; R a imagem 2 geomtrica de 1 ; P a imagem geomtrica de 5 . 2 2
Para obter construes geomtricas correspondentes s operaes algbricas em Q, basta-nos notar que: p, r Z q, s N p, r Z q, s N p, r Z q, s N p q p q
p q r s
r ps+rq = , s qs r pr = , s qs + = ps . qr
Para obter, por exemplo, a imagem geomtrica do produto p r q s basta considerar o natural n (= q s) e marcar seguidamente a imagem geomtrica de m , onde m = p r. n
19
Uma pedra no meio do caminho5
Vimos atrs como podamos marcar na recta real os nmeros racionais e quais as construes geomtricas que ilustravam as operaes de adio, subtraco, multiplicao e diviso entre esses nmeros. Como estas operaes tm as propriedades desejveis (comutatividade, associatividade, distributividade, etc.) poderamos pensar ter atingido o nosso objectivo, ou seja, uma representao geomtrica dos nmeros e das operaes entre eles. Recordemos, contudo, que, no incio deste Captulo, tnhamos admitido existir uma correspondncia bijectiva (dada pela representao geomtrica) entre os nmeros e os pontos da recta real. Ora, se a cada nmero racional x corresponde um e um s ponto X de R, falta ver se, dado um X R existe um e um s x racional cuja imagem geomtrica seja X. Ser esta a questo de que nos iremos ocupar, utilizando para isso um problema de do qual daremos uma viso ingnua, que se revelar extremamente signicativa, e onde faremos simultaneamente uso das propriedades dos nmeros e da sua representao geomtrica. Um problema de medio Marquemos na semi-recta positiva um ponto P e procuremos medir o
PSfrag replacements O P
Figura 13: O ponto P na semi-recta positiva.
comprimento do segmento OP utilizando a rgua (ideal).

PSfrag replacements O O P I
Figura 14: Comprimento do segmento OP (neste caso 1).
Ora, como se mede um segmento, utilizando uma rgua? Em primeiro lugar fazemos coincidir o ponto O da rgua com o ponto O da recta real e
Uma pedra no meio do caminho uma citao de um poema de Carlos Drummond de Andrade.
5
20
Nmeros reais marcamos nesta o ponto I (que, alis, j estava marcado). Se P I ento no conseguimos, com esta rgua, determinar o comprimento de OP. Se I coincidir com P dizemos que o comprimento de OP 1. Se I P ento deslocamos a recta fazendo agora coincidir o ponto O da rgua com o ponto I da recta real e, mais uma vez, uma e uma s das trs situaes pode acontecer:
PSfrag replacements O O I I O I R P
Figura 15: Comprimento do segmento OP.
i) P R, caso em que, com esta rgua, no podemos medir o comprimento do segmento OP; ii) R = P, caso em que dizemos que o comprimento de OP 2 (2 o nmero de vezes que utilizmos a rgua); iii) R P, caso em que temos de repetir o processo, deslocando de novo a nossa rgua. Repetindo este processo conclumos que: ou a rgua, aps n utilizaes, faz coincidir o ponto I com o ponto P (o comprimento de OP , ento, n), ou tal no acontece e ao m de um certo nmero de utilizaes o ponto I da rgua ultrapassa o ponto P da recta real. Neste ltimo caso podemos dizer que, com esta rgua, no se consegue medir o comprimento de OP. o que se passa com pontos P que sejam imagem geomtrica de 1/3, ou de 5/2, ou de 33/7. Como podemos ultrapassar esta diculdade? A primeira ideia que nos ocorre a de que a nossa rgua muito pobre apenas os pontos O e I estavam marcados. Se utilizarmos uma rgua onde se encontrem marcados os pontos O, I e D, sendo este ltimo o ponto mdio do segmento OI (ou seja, a imagem geomtrica de 1/2), facilmente se verica que a imagem geomtrica de 5/2 se obtm aps 5 utilizaes da sub-rgua OD. No entanto esta rgua (OD) no nos permite calcular o comprimento dos segmentos OP, quando P designa a imagem geomtrica de 1/3 ou de 33/7. 21
Grupo de Matemtica da UTL Somos assim levados a dividir o segmento OI num nmero cada vez maior de partes iguais. Se o dividirmos em 3 partes podemos medir o comprimento do segmento OP, onde P a imagem geomtrica de 1/3, mas no o caso em que P corresponde a 33/7. Para este ltimo caso no basta dividir OI em quatro, cinco pu seis partes iguais. No entanto uma diviso em 7 partes iguais j o permite medir bastar fazer 33 utilizaes da sub-rgua correspondente. Estas consideraes levam-nos seguinte questo: Dado um ponto P na semi-recta positiva, existir alguma diviso do segmento OI num nmero nito de partes iguais, tal que uma destas partes caiba um nmero nito de vezes no segmento OP? Esta pergunta equivale seguinte: Ser que todo o ponto X R imagem geomtrica de um nmero racional? Vamos ver que no! Uma Consequncia Importante do Teorema de Pitgoras Considerando a recta real R e, tomando o segmento OI como cateto, construamos um tringulo rectngulo issceles OIJ, onde IJ o outro cateto, como se ilustra na gura seguinte (gura 16)6 .
J
PSfrag replacements
I
Figura 16: Tringulo OIJ.
Utilizando o compasso com centro em O e raio OJ marquemos o ponto R de interseco da circunferncia descrita pelo compasso com a semi-recta positiva.
um bom e fcil exerccio construir os dois tringulos possveis utilizando apenas rgua e compasso.
6
22
Nmeros reais
J PSfrag replacements
Figura 17: Tringulo OIJ e ponto R.
Vamos provar que no existe nenhuma diviso do segmento OI em partes iguais tal que uma qualquer delas caiba um nmero m de vezes no segmento OR, ou seja, tal que o comprimento do segmento OR se possa escrever na forma m , com m e n nmeros naturais. n Designando por d o comprimento do segmento OR (que igual ao do segmento OJ), sabemos, pelo teorema de Pitgoras, que d2 = 1 + 1 = 2. (1)
Queremos, ento, provar que d no pode ser da forma m/n, com m e n nmeros naturais. Faamos a demonstrao por reduo ao absurdo, ou seja, suponhamos que d da forma m/n (com m e n nmeros naturais) e cheguemos a uma contradio. Supomos, sem perca de generalidade, que m e n no so ambos pares, porque os podemos escolher primos entre si, ou seja, sem factores comuns. Escrevamos ento (1) na forma m n
2
=2
onde m e n so nmeros naturais que no so ambos nmeros pares. Resulta daqui que m2 = 2n2 (2) donde se conclui que m2 um nmero par. Ora, o quadrado de um natural mpar ainda um nmero mpar (exerccio), pelo que m ter de ser um nmero natural par, portanto da forma 2k, onde k um nmero natural. Mas, sendo m = 2k, segue-se de (2) que 4k2 = 2n2 donde n2 = 2k2 . 23
Grupo de Matemtica da UTL Assim, n2 par, e, portanto, usando o mesmo raciocnio que zemos com m, podemos concluir que n um nmero par. Chegamos assim a uma contradio: por um lado m e n so nmeros naturais que no so ambos pares, e, por outro, m e n so nmeros naturais pares. A demonstrao est ento concluda o comprimento do segmento OR no um nmero racional, o que equivalente a dizer que o ponto R no imagem geomtrica de qualquer nmero racional. Uma Histria Verdica e uma Experincia Imaginria H j alguns anos, estando eu num caf perto do Instituto onde trabalho, dei por mim a ouvir a conversa entre dois alunos do ensino secundrio. E o que me chamou a ateno foi a seguinte pergunta que um deles fez: . . . mas e o que so os nmeros irracionais? ao qual o outro deu uma resposta lapidar: Olha, o 2 um nmero irracional e parece-me que o tambm mas no te preocupes porque eles so muito poucos. Fiquei arrepiado! e s a muito custo me contive de lhes gritar: Vocs esto completamente enganados! Depois, mais calmo, pensei que o erro (e um erro tremendo) que eles cometiam tinha a sua razo de ser. Com efeito, os nmeros racionais no s so bem conhecidos como tambm so usados nas mais elementares medies e transaces, bem como em todos os clculos feitos nas calculadoras e nos computadores. E os nmeros irracionais?!. . . Ora esse. . . bem. . . para esses basta ver o trabalho que tivemos para demonstrar que d(= 2) um nmero irracional!; e o , como se demonstra que irracional?!; e o nmero e, que tambm irracional. At o facto de usarmos designaes especiais (por exemplo , e) para certos irracionais d a sensao que eles so poucos ou raros. Para termos algum vislumbre de como esta ideia (a de que os nmeros irracionais so raros) incorrecta, consideremos a seguinte experincia imaginria e ideal: Suponhamos que, numa sala de aula, algum traa no quadro um segmento da recta real7 (o que, como sabemos, impossvel, e, por isso dissemos que se trata de uma experincia imaginria) e suponhamos tambm
7
Segmento com mais de um ponto.
24
Nmeros reais que tenho na mo um ponteiro to ideal que, se colocar a sua extremidade no segmento de recta, determino nele um e um s ponto. Posto isto, fecho os olhos e, com alguma (muitssima) sorte, consigo que a extremidade do ponteiro toque no segmento de recta. Perguntem-me agora: o ponto que determinaste no segmento da recta corresponde a um nmero racional ou a um nmero irracional? A uma tal pergunta, a minha resposta imediata: trata-se de um nmero irracional. Como posso eu ter tanta certeza de que acertei num nmero irracional? que a esperana de ter acertado num nmero racional muito, muito menor do que ganhar um bilio de bilies de vezes seguidas a sorte grande. Quer isto dizer que, em qualquer segmento da recta real (com mais de um ponto), quase todos os pontos correspondem a nmeros irracionais. Poucos so aqueles que correspondem a nmeros racionais, embora, como veremos j a seguir, o conjunto por eles formado seja innito. Este ltimo pargrafo pode (e deve!) causar alguma confuso no leitor. Adivinhamos a questo: Ento, se num segmento da recta real, o conjunto dos pontos correspondentes aos nmeros racionais innito, e se existem muitos, muitos mais pontos correspondentes a nmeros irracionais, o conjunto destes deveria ser mais innito do que o outro innito, o que parece no fazer sentido. O que espantoso que tudo isto possa fazer sentido, se utilizarmos denies apropriadas e teis8 . Com estas denies pode-se estabelecer uma hierarquia entre os innitos e pode-se demonstrar que o innito do conjunto dos nmeros racionais o menor dos innitos. Os racionais so poucos mas esto muito bem distribudos na recta real Dissemos atrs, sem o demonstrar, que, em qualquer segmento (com mais de um ponto) da recta real, existe uma innidade de elementos de Q9 . Signica isto que entre dois nmeros reais distintos (por mais prximos que estejam) existem sempre innitos nmeros racionais. Ora isto algo de extraordinrio porque, se bem que na hierarquia dos innitos eles estejam em ltimo lugar, os nmeros racionais tm imagens
To teis que me permitem dizer que o ponto que a contem no segmento da recta real corresponde a um nmero irracional. 9 De forma similar s convenes j adoptadas Q designa a imagem de Q em R.
8
25
Grupo de Matemtica da UTL geomtricas to bem distribudas na recta real, que, dados dois pontos A PSfrag A B, existe e B distintos, comreplacements sempre uma innidade de pontos R Q satisfazendo A R B.
O I A B
Figura 18: Os pontos A e B na recta real.
Se bem que o nosso objectivo seja demonstrar tal proposio, vamos comear por provar um resultado mais modesto e que o seguinte: Proposio 1. Se C R+ ento existe R Q tal que O R C. Demonstrao. Se I C, tem-se R = I. Suponha-se, ento, que C I. geometricamente evidente que, aps um nmero sucientemente grande de utilizaes do processo ilustrado na gura 19 se obtm um ponto P tal que I PSfrag replacements P.
Figura 19: Os pontos C e P na recta real.
Designemos por m um nmero de utilizaes do compasso que conduza a um ponto P, com I P, e tomemos para R a imagem geomtrica do 1 nmero racional m+1 . Se R C o problema est resolvido. Se R = C basta considerar o ponto mdio do segmento OR (que ainda a imagem geomtrica de um nmero racional) para obter a soluo do problema. Finalmente, provemos, por reduo ao absurdo, que impossvel que se tenha C R. Suponhamos, ento, que C R. Como R a imagem geomtrica de 1 , aps m utilizaes do processo ilustrado na gura, obtemos o ponto I. m+1 Por outro lado, sendo agora o raio das circunferncias o comprimento do segmento OR (em vez do comprimento do segmento OC), resulta imediatamente de C R, que o ponto S que iremos obter satisfaz a I S, donde resulta a contradio (S = I e I S). Na proposio anterior provou-se que entre O e C (C R+ ) existe pelo menos um R Q. Na proposio seguinte provaremos que o mesmo acontece em qualquer segmento AB (A, B R+ , com A B). 26
Nmeros reais
PSfrag replacements R O C I P S
Figura 20: Os pontos C, R e S na recta real.
Proposio 2. Sendo A e B dois pontos da semi-recta real positiva (com A existe R Q tal que A R B.
B),
Demonstrao. Consideremos, ento, dois pontos A e B da semi-recta real positiva e suponhamos que A B. Designemos por C o nico ponto da semi-recta real positiva tal que OC tem comprimento igual ao de AB, como PSfrag replacements ilustrado na gura seguinte:
Figura 21: Os pontos A, B e C na recta real.
Exerccio 2. Utilizando apenas rgua e compasso, construa o ponto C. Sabemos, pela proposio anterior, existir um P Q tal que O P Q. Consideremos, agora, os pontos da recta real que se obtm por sucessivas aplicaes ao ponto P do processo indicado na gura. Aps um nmero (que pode ser grande) de utilizao deste processo, obtemos um ponto S tal que A S. Designemos por n o menor nmero de utilizaes do processo que conduza a um ponto R, com A R, e provemos que tal ponto R no s satisfaz a A R como tambm a R B. Ora, (n 1) vezes a utilizao do processo referido conduz-nos a um ponto L A e uma nova utilizao desse processo leva-nos ao ponto R (A R). Atendendo a que o comprimento do segmento LR igual ao de OP, conclui-se imediatamente que R B. Proposio 3. Sendo A e B dois pontos da recta real (com A tal que A R B.10
10
B), existe R Q
A demonstrao trata-se dum exerccio geomtrico simples (N. E.).
27
Grupo de Matemtica da UTL Proposio 4. Sendo A e B dois pontos da recta real (com A {R Q : A R B} innito.11 B), o conjunto
Uma interpretao geomtrica dos nmeros reais
Encontramo-nos na seguinte situao: (i) sabemos que existe uma correspondncia bijectiva (dada pela representao geomtrica) entre R e R; (ii) sabemos, tambm, marcar na recta real os nmeros racionais, mas vimos que existem pontos de R que no so imagem geomtrica de nenhum elemento de Q; (iii) foi-nos dito que Q um subconjunto (innito) de R com poucos elementos, ou seja, que quase toda a recta real formada pelas imagens geomtricas de nmeros que no sabemos quais so (mas a que chamamos nmeros irracionais). Uma vez que no sabemos denir os nmeros irracionais (aqueles cuja imagem geomtrica no est em Q), mas acreditamos que eles preenchem os inmeros buracos da recta real, vamos aceitar que os nmeros reais so as suas imagens geomtricas. Assim, em vez de falarmos de Q, falamos de Q (o que corresponde a identicar cada nmero racional com a sua imagem geomtrica) e os restantes pontos de R sero (aceite a identicao entre R e R) os nmeros irracionais.
Os irracionais tambm esto muito bem distribudos na recta real Seja Y um nmero irracional e seja m um nmero natural maior que 1. Designamos por m Y o nmero real que se obtm de Y atravs de (m 1) utilizaes do processo elementar12 . Seja W um nmero irracional e n N. Para denir W , utilizaremos o n 1 mesmo processo que foi usado para introduzir a imagem geomtrica de n W (ver gura 10). A gura 22 sugere o processo de construo de n (o ponto Z) e evidencia que, se X = W , ento n X = W. n
Se fossem em nmero nito existe um, deseignemo-lo por C, que precede os restantes; aplique-se a proposio anterior a A e C (N. E.). 12 Naturalmente, supomos, que, se m = 1, ento 1 Y = Y. Consideramos 0 Y = Y.
11
28
Nmeros reais
PSfrag replacements
Z R W
Figura 22: Caso em que n = 3, sendo, ento, Z = W . A 2W e B 3W. 3 Note que os tringulos W OZ, A OR e B OW so semelhantes, o que implica 3Z = W.
Assim, sendo X um nmero irracional e m, n N, se mX =L n tem-se mX = nL e, portanto, n L. m Estamos, agora, em condies de provar a seguinte proposio. X=
mX n
Proposio 5. Se X um nmero irracional, m Z \ {0} e n N, ento um nmero irracional.
Demonstrao. Consideremos, em primeiro lugar, o caso em que m e n so nmeros naturais, e faamos a demonstrao por reduo ao absurdo. Suponhamos, ento, que mX n um nmero racional, que designamos por l. De mX =l n 29
Grupo de Matemtica da UTL segue-se que nl m o que absurdo, uma vez que, sendo l Q, se tem imediatamente, nl Q, m o que est em contradio com o facto de X ser irracional. O caso em que m Z \ {0} obtm-se de forma anloga, desde que se tenha denido previamente m X, com m inteiro no nulo. X= Resulta desta proposio que basta encontrar um nmero irracional X, para provar que o conjunto por eles formado innito. Com efeito, todos os nmeros da forma X n so irracionais. Ora, ns j conhecemos um nmero irracional o 2. Estamos agora em condies de provarmos, para os irracionais, uma proposio anloga quela que mostrava que os racionais estavam muito bem distribudos na recta real (proposio 4). Proposio 6. Se A e B (com A < B)13 so dois pontos da recta real, ento existe uma innidade de pontos R R \ Q tais que A < R < B. Demonstrao. Recorde-se que a proposio 4 era o culminar de uma sequncia de trs proposies (as proposies 1, 2 e 3), onde o resultado nal ia sendo apresentado de uma forma cada vez mais geral. A demonstrao da proposio 6 pode seguir uma via anloga. Acontece, contudo, que as provas das proposies 2, 3 e 4 permanecem, com os ajustes naturais, vlidas nesta nova situao. S a prova da proposio correspondente proposio 1 necessita de algumas (poucas) consideraes suplementares, que passaremos a apresentar. Como a escolha de I (na recta real) foi arbitrria, a proposio 1 permanece verdadeira se tivermos escolhido para imagem geomtrica da uni dade, o ponto 2. Leiamos, ento, a proposio 1, com esta nova escolha: m 2 + Se C R , existe um R da forma (m Z, n N), tal que n O < R < C. Ora, a proposio 5 diz-nos que R irracional.
Tendo identicado R com R, passamos a utilizar (em R) o smbolo < em vez do smbolo .
13
30
Nmeros reais As operaes algbricas em R Em Q tnhamos introduzido as operaes de adio, subtraco, multiplicao e diviso. Temos, agora, o problema de introduzir tais operaes em R.14 Pretende-se, naturalmente, que as construes geomtricas que denem as operaes algbricas em R, satisfaam s condies seguintes (que, para simplicar a exposio se referem, apenas, adio): (1) devemos saber adicionar dois elementos de R; (2) se os dois elementos a adicionar pertencerem a Q, ento a nova adio deve dar o mesmo resultado que obtnhamos anteriormente em Q; (3) esta nova adio em R deve satisfazer, se possvel, a todas as propriedades que eram verdadeiras em Q. Claro que o que se disse para a adio tambm vlido para as outras operaes. Nota. Uma observao sobre o ponto (2): trata-se de uma questo de coerncia quando, sobre os mesmos entes, denimos, de duas formas distintas, uma operao, cabe-nos provar que o resultado no depende das denies dadas.
Apresentamos, agora, as construes geomtricas que denem as operaes de adio, subtraco, multiplicao e diviso em R. A tais construes, ilustradas por guras, segue-se a descrio do modo como foram obtidas. Para cada uma das construes, que no carece de prova porque se trata de uma denio, apresenta-se o argumento que esteve na origem e motivou a construo escolhida. Os argumentos que apresentamos baseiam-se em resultados geomtricos conhecidos os dois primeiros (sobre a adio e subtraco) relativos
Quando atrs tratmos da boa distribuio dos irracionais em R, j, sem o referir, havamos abordado tal assunto: considermos reais da forma mX n (X irracional)
14
o que corresponde ao produto de um racional por um irracional. No entanto o tratamento sumrio a feito destinava-se exclusivamente a ser usado na prova da proposio 6 e, tendo cumprido o seu objectivo, pode agora ser esquecido.
31
Grupo de Matemtica da UTL igualdade de tringulos, os dois seguintes (sobre a multiplicao e diviso) relativos semelhana de tringulos. Referimos atrs que as construes geomtricas so ilustradas por certas guras. Em tais guras est sempre presente uma representao (grosseira) da recta real, onde se encontram marcados, no s os pontos O e I, como tambm os pontos X e Y que iro ser adicionados, subtrados, multiplicados e divididos. Para o resultado de cada uma destas operaes escolhemos a letra Z. Em todas as guras, alm da recta real, foi escolhido um ponto P, no pertencente a R, que determina com o ponto O, uma recta que designamos por r.
r PSfrag replacements P
Figura 23: Recta real e recta r.
Uma gura deste tipo estar sempre presente nas denies de adio, subtraco, multiplicao e diviso.
Adio Comecemos por ilustrar com uma gura a adio de X com Y, que vamos designar por Z (Z = X + Y). Descrio do modo como foi obtido Z (1) Faa-se passar por P uma recta paralela recta real. (2) Trace-se o segmento de recta XP. 32
Nmeros reais
r
PSfrag replacements P
Figura 24: Adio de X com Y.
(3) Faa-se passar por Y uma recta paralela recta determinada por OP e designe-se por Q o ponto de interseco desta recta com a recta referida em (1). (4) Faa-se passar por Q uma recta paralela recta determinada por XP. (5) Designe-se por Z o ponto de interseco da recta referida em (4) com a recta real. Nota. Observe-se que no passo (2) traou-se o segmento XP e no o segmento YP. , no entanto, um exerccio (faa-o!) provar que indiferente ter comeado com o segmento XP ou com o segmento YP o ponto Z obtido seria o mesmo. Resulta desta observao que X + Y = Y + X. Argumento que motivou a construo Note-se que os tringulos OPX e YQZ so iguais os lados OP e YQ, bem como os lados XP e ZQ so iguais e os ngulos OPX e YQZ tambm o so. Assim o comprimento do segmento OX igual ao comprimento do segmento YZ, o que nos conduziu a chamar a Z a soma de X com Y. Exerccio 3. Determine X + Y nos casos em que (i) X R e Y R ; (ii) X R e Y R+ ; (iii) X = O e Y R+ .
33
Grupo de Matemtica da UTL Subtraco Comecemos por ilustrar com uma gura a subtraco de X por Y, que vamos designar por Z (Z = X Y).
PSfrag replacements P
Figura 25: Subtraco de X por Y.
Descrio do modo como foi obtido Z (1) Faa-se passar por P uma recta paralela recta real. (2) Trace-se o segmento de recta YP (note-se que se escolheu YP e no XP). (3) Faa-se passar por X uma recta paralela recta determinada por YP e designe-se por Q o ponto de interseco desta recta com a recta referida em (1). (4) Faa-se passar por Q uma recta paralela recta determinada por OP. (5) Designe-se por Z o ponto de interseco da recta referida em (4) com a recta real. Argumento que motivou a construo Note-se que os tringulos OPY e ZQX so iguais e que, portanto, o comprimento do segmento OY igual ao comprimento do segmento ZX. Nota. Observe-se que, neste caso, no indiferente a escolha de Y no passo (2) a adio comutativa mas a subtraco no o ! Exerccio 4. Determine X Y nos casos em que (i) X, Y R+ e X < Y; (ii) X, Y R+ e X = Y; 34
Nmeros reais (iii) X, Y R e X < Y; (iv) X R e Y R+ . Que a construo geomtrica apresentada est de acordo com o que pretendemos para a subtraco, o objectivo do exerccio seguinte. Exerccio 5. Prove que Z = X Y sse X = Z + Y.
Multiplicao Comecemos por ilustrar com uma gura a multiplicao de X por Y, que vamos designar por Z (Z = X Y).
Q PSfrag replacements P
X I
Figura 26: Multiplicao de X por Y.
Descrio do modo como foi obtido Z (1) Trace-se os segmentos de recta XP e IP. (2) Faa-se passar por Y uma recta paralela recta determinada por IP, e designe-se por Q o ponto de interseco desta recta com a recta determinada por OP. (3) Faa-se passar por Q uma recta paralela recta determinada por XP. (4) Designe-se por Z o ponto de interseco da recta referida em (3) com a recta real. 35
Grupo de Matemtica da UTL Argumento que motivou a construo Note-se que os tringulos OPX e OQZ so semelhantes, pelo que15 c(OP) c(OX) = . c(OZ) c(OQ) Tambm os tringulos OPI e OQY so semelhantes, pelo que c(OI) c(OP) = . c(OY) c(OQ) Assim c(OX) c(OI) = , c(OZ) c(OY) c(OX) c(OY) = c(OZ) c(OI), o que se interpreta como X Y = Z. Nota. Observe-se que no passo (1) da descrio do modo como foi marcado o ponto Z, se traou o segmento XP e no o segmento YP. , no entanto indiferente ter comeado com o segmento XP ou com o segmento YP o ponto Z obtido seria o mesmo. Este resultado, a cuja prova nos iremos referir adiante, equivalente comutatividade da multiplicao (X Y = Y X). Exerccio 6. Determine X Y nos casos em que (i) X R e Y R ; (ii) X R e Y R+ ; (iii) X = 0 e Y R; (iv) X = I e Y R.
donde
Exerccio 7. Considere a gura 27, onde 0 < X < Y. Utilizando resultados relativos semelhana de tringulos, prove que c(OZ) = c(OX) c(OY).
15
Dado um segmento AB designamos por c(AB) o comprimento desse segmento.
36
Nmeros reais
PSfrag replacements r I X O X I Z Y
Figura 27: Utilizando o compasso, marcaram-se os pontos X e I . Traou-se o segmento de recta I Y e fez-se passar por X uma recta paralela determinada por I Y. Designou-se por Z o ponto de interseco desta recta com a recta real.
Diviso Comecemos por ilustrar com uma gura a diviso de I por Y I vamos designar por Z (Z = Y ).
PSfrag replacements P Q O Z I Y r
0, que
Figura 28: Diviso de I por Y.
Descrio do modo como foi obtido Z (1) Trace-se os segmentos de recta YP e IP. (2) Faa-se passar por I uma recta paralela recta determinada por YP e designe-se por Q o ponto de interseco desta recta com a recta determinada por OP. (3) Faa-se passar por Q uma recta paralela recta determinada por IP. 37
Grupo de Matemtica da UTL (4) Designe-se por Z o ponto de interseco da recta referida em (3) com a recta real. Argumento que motivou a construo Note-se que os tringulos OQZ e OPI so semelhantes, pelo que c(OZ) c(OQ) = . c(OI) c(OP) Tambm os tringulos OQI e OPY so semelhantes, pelo que c(OI) c(OQ) = . c(OY) c(OP) Assim c(OZ) c(OI) = , c(OI) c(OY) I . Y nos casos em que Z=
o que se interpreta como
Exerccio 8. Determine (i) O < Y < I; (ii) Y R .
I Y
O exerccio seguinte mostra que a construo ilustrada pela gura 28 est de acordo com o que pretendemos para o inverso de um nmero real distinto de zero. I Exerccio 9. Prove que X = Y sse Y X = I. Finalmente, denimos a diviso de X por Y (X R, Y R \ {0}) por X I =X . Y Y Exerccio 10. Considere a gura 29, onde 0 < X < Y. Utilizando resultados relativos semelhana de tringulos, prove que: (i) c(OZ) = c(OX) . c(OY)
(ii) Releia o exerccio onde se encontra a gura 27 (bem como a observao que se lhe segue) e mostre que a construo ilustrada pela gura 29 conduz noo de diviso desejada, quaisquer que sejam X R e Y R \ {0}. 38
Nmeros reais
r PSfrag replacements Y X O Z X I Y
Figura 29: Utilizando o compasso, marcaram-se os pontos X e Y . Traou-se o segmento de recta Y I e fez-se passar por X uma recta paralela determinada por Y I. Designou-se por Z o ponto de interseco desta recta com a recta real.
Algumas propriedades das operaes algbricas Proposio 7. X, Y R X+Y=Y+X.
Demonstrao. o exerccio proposto na nota que se segue gura 24. Proposio 8. X, Y, Z R

PSfrag replacements
X + (Y + Z) = (X + Y) + Z.
Demonstrao. Considera-se a gura 30.
X+Y =T
Y + Z = U (X + Y) + Z = V
Figura 30: Marcou-se a trao contnuo a construo de (X+Y)+Z e a tracejado a construo de X + (Y + Z). Resulta destas construes que OP YQ ZR US, PX QT, PY RU e PT RV.
Para provar a proposio faa-se, em primeiro lugar, a construo de (X + Y) + Z. Seguidamente construa-se Y + Z. Para obter X + (Y + Z) faa-se passar por U (= Y + Z) uma recta paralela determinada por OP, que intersecta a recta determinada por PQ num ponto S. Se provarmos 39
Grupo de Matemtica da UTL que, fazendo passar por S uma recta paralela determinada por PX, ela intersecta a recta real no ponto V, demonstrmos que X + (Y + Z) = (X + Y) + Z. Ora, a prova desse resultado uma consequncia de serem iguais os tringulos OPT e ZRV, os tringulos OPY e ZRY, e os tringulos YQT e USV. Proposio 9. (a) Se A e B so nmeros reais tais que X R X R ento A = B. (b) X R X+O=X (5) X+A=X X+B=X (3) (4)
Demonstrao. (a) diz-nos que, se existir elemento neutro da adio, ele nico. (b) diz-nos que O o (nico) elemento neutro da adio. Prova de (a). De (3) resulta que B + A = B e de (4) resulta que A + B = A. Como A + B = B + A (proposio 7), vem A = B. Prova de (b). um exerccio (geomtrico) simples. Proposio 10. X R 1 Y R X + Y = O.16
Demonstrao. Para provar a existncia, escolha-se para Y o ponto O X (que passaremos a designar, apenas, por X), e mostre-se que X+(X) = O. Para provar a unicidade, suponha-se que, dado X R, A um nmero real satisfazendo a X+A=O (6) e mostremos que A = X. Ora A = A + O = A + (X + (X)) = (A + X) + (X) = (X + A) + (X) = O + (X) = (X) + O = X. (a primeira igualdade resulta de (5); a segunda resulta da primeira parte desta prova; a terceira resulta da proposio 8; a quarta da proposio 7; a quinta de (6); a sexta da proposio 7; a stima da proposio 9). Proposio 11. X R (X) = X X, Y R X Y = X + (Y) X, Y R (X + Y) = (X) Y
16 1
(7) (8) (9)
Y R l-se existe um e um s Y em R.
40
Nmeros reais Demonstrao. (7) e (8) Provas geomtricas simples. (9) Como (X + Y) o nico real que adicionado a (X + Y) d zero (proposio 10), basta provar que (X + Y) + ((X) Y) = O. Ora, (X + Y) + ((X) Y) = (X + Y) + ((X) + (Y)) = (X + (X)) + (Y + (Y)) = O + O = O. (a primeira igualdade resulta de (8); a segunda resulta de um uso repetido da comutatividade e associatividade; a terceira da proposio 10; a quarta de (5)). Proposio 12. X, Y, Z R XY=Z X =Z+Y (10)
Demonstrao. (10) j tinha sido proposto como exerccio (geomtrico) quando introduzimos a subtraco em R. Esboaremos a prova de uma das implicaes sem recorrer a argumentos geomtricos. Omitiremos alguns detalhes e aconselhamos o leitor a fazer a prova da outra implicao. Se adicionarmos Y a ambos os membros da igualdade X Y = Z, obtemos (X Y) + Z = Z + Y. Ora, (X Y) + Y = (X + (Y)) + Y = X + (Y + (Y)) = X.
Relacionaremos, agora, as operaes de adio e subtraco com as relaes de ordem < e . Por comodidade de escrita, introduzimos as relaes maior (>) e maior ou igual (), que se denem por: X, Y R X, Y R Proposio 13. X R Y > X X < Y; Y X X Y. X < O X > O (11)
Demonstrao. um exerccio (geomtrico) simples. 41
Grupo de Matemtica da UTL Proposio 14. (a) X, Y R (b) X, Y R X < Y X Y < O.
X < Y (Y X) R+ .
Demonstrao. (a) um exerccio (geomtrico) simples provar que X, Y R X < Y X Y < O.
Para provar a outra implicao, suponha que X = Y ou X < Y e mostre que, em ambos os casos, se obtm uma contradio. (b) Como Z R+ equivalente a Z > O, basta provar que X, Y R X Y < O (Y X) R+ ,
o que resulta de (11), (9) e (8). Proposio 15. X, Y, Z R X < Y X + Z < Y + Z.
Demonstrao. Comecemos por notar que (proposio 14 (b)): X, Y R X < Y (Y X) R+ X, Y, Z R X + Z < Y + Z ((Y + Z) (X + Z)) R+ . Assim, para provar a proposio 15, basta ver que, se (X Y) R+ , ento ((Y + Z) (X + Z)) R+ . Ora, fcil vericar (verique!) que (Y + Z) (X + Z) = (Y X) + (Z Z) = Y X.
Nas proposies 7 a 15 provmos algumas das propriedades que se consideravam desejveis para as noes de adio e subtraco em R. Vamos, agora, fazer o mesmo para as noes de multiplicao e diviso. Antes, porm, conveniente fazer algumas observaes. 42
Nmeros reais As proposies 7 e 8 (comutatividade e associatividade da adio) so de fcil demonstrao. Ora, o mesmo no acontece com as correspondentes propriedades para a multiplicao17 . Por esta razo, deixmos para um sub-pargrafo posterior as suas provas. Nas restantes proposies utilizaremos, quando tal for necessrio, as proposies 16 e 17 (comutatividade e associatividade da multiplicao). Se este procedimento chocar o esprito cartesiano do leitor, ele pode ler as demonstraes das proposies referidas quando quiser. Proposio 16. X, Y R Proposio 17. X, Y, Z R X Y = Y X. X (Y Z) = (X Y) Z.
Proposio 18. (a) Se A e B so nmeros reais tais que X R X A = X X R X B = X ento A = B. (b) X R X I = X.
Demonstrao. (a) diz-nos que, se existir elemento neutro da multiplicao, ele nico. (b) diz-nos que I o (nico) elemento neutro da multiplicao. A prova de (a) anloga da proposio 9 (a). A prova de (b) um exerccio (geomtrico) simples. Proposio 19. X R \ {O} 1 Y R X Y = I.
I Demonstrao. Para a existncia escoha-se para Y o nmero real X (que tambm designaremos por X1 ) e resolva o segundo exerccio do sub-pargrafo diviso. Para provar a unicidade adapte a correspondente demonstrao feita no proposio 10.
Proposio 20. X, Z R
17
Y R \ {O}
X Y
=Z X =ZY.
A razo desta inesperada diculdade resulta dos factos seguintes: A construo geomtrica para a multiplicao foi sugerida pelas propriedades dos tringulos semelhantes. Ora, tais propriedades fazem intervir a multiplicao e diviso de nmeros reais (os comprimentos dos segmentos) pelo que no as podemos usar para justicar as proposies que, agora, pretendemos demonstrar. O mesmo no acontece com a construo geomtrica para a adio, uma vez que ela foi sugerida pelos casos de igualdade de tringulos, onde no necessrio nenhum conhecimento prvio dos nmeros reais.
43
Grupo de Matemtica da UTL Demonstrao. Seja X = Z e multipliquemos ambos os membros desta Y igualdade por Y. Obtm-se X Y = Z Y. Y Ora, X I I Y= X Y=X Y =XI =X Y Y Y o que demonstra uma das implicaes da proposio 20. Para provar a I outra implicao, multiplique-se por Y ambos os membros da igualdade X = Z Y. Obtm-se I I I = (Z Y) = Z Y =ZI =Z Y Y Y com o que termina a prova. X
Vamos agora relacionar a multiplicao com a adio, a subtraco e a relao de ordem18 . O resultado que escolhemos para fazer a ligao entre a multiplicao e a adio , naturalmente, a propriedade distributiva. Antes de a provarmos, convm referir um resultado, que passamos a enunciar, e que deixamos como exerccio (geomtrico) simples. Exerccio 11. A construo geomtrica da adio foi feita utilizando o ponto P, que supnhamos xo. Se na recta r (determinada por O e P) escolhermos um qualquer outro ponto distinto de O, a construo correspondente feita utilizando este ponto (em vez de P) conduz ao mesmo Z (= X + Y). Proposio 21. X, Y, Z R X (Y + Z) = X Y + X Z.
Demonstrao. Considere-se a gura 31. Construo de X (Y + Z) (a) Constri-se S (SY PI). (b) Constri-se Y + Z, usando S em vez de P.
18
Na proposio 20 j relacionvamos a multiplicao com a diviso.
44
Nmeros reais
PSfrag replacements U
T S
P O
Z X Y
Y+Z
XZ
X (Y + Z )
Figura 31: Marcou-se a trao contnuo a construo de X (Y + Z) e a tracejado a construo de X Y + X Z.
(c) Constri-se X (Y + Z), determinando primeiro o ponto U e fazendo seguidamente passar por U uma recta paralela a PX. Note que a recta, paralela a PI, que passa por Y + Z e determina o ponto U, tambm passa pelo ponto Q, uma vez que o segmento Q(Y + Z) paralelo a SY, que paralelo a PI. Construo de X Y + X Z Em primeiro lugar constri-se X Y e X Z. Para determinar a soma de X Y com X Z (onde voltamos a utilizar o ponto S em vez do ponto P), fazemos passar por X Z uma recta paralela a OP e determinamos o ponto de interseco desta recta com a recta que passa por S e paralela recta real. Se tal ponto for o ponto R o resultado est demonstrado, uma vez que UR PX e PX paralelo recta determinada pelo segmento S(X Y). Assim, para concluirmos a demonstrao, basta provar que o segmento (X Z)R paralelo ao segmento OS. o que vamos fazer. Comecemos por ver que o tringulo QUR igual ao tringulo cujos vrtices so Z, T e X Z. Para tal basta ver que so iguais os segmentos TZ e UQ (o que resulta de ser um paralelogramo, o quadriltero de vrtices T, U, Q, Z) e que tambm se tem UQR = TZ(X Z) QUR = ZT(X Z). 45
Grupo de Matemtica da UTL Finalmente, considere-se o quadriltero de vrtices Z, Q, R, (X.Z). Como os segmentos QR e Z(XZ) so paralelos e iguais (o que resulta da igualdade dos tringulos que acima considermos), segue-se que este quadriltero um paralelogramo, pelo que R(X Z) QZ OP, o que conclui a prova. A proposio seguinte um resultado auxiliar para a demonstrao da distributividade da multiplicao relativamente subtraco. Proposio 22. (a) (b) X R X = (I) X, X, Y R X (Y) = (X) Y = (X Y).
(12)
Demonstrao. (a) um exerccio (geomtrico) simples. (b) Primeira igualdade de (12). X (Y) = X ((I) Y) = (X (I)) Y = ((I) X) Y = (X) Y. Segunda igualdade de (12). (X) Y = ((I) X) Y = (I) (X Y) = (X Y).
Proposio 23. X, Y, Z R Demonstrao.
X (Y Z) = X Y X Z.
X (Y Z) = X (Y + (Z)) = X Y + X (Z) = X Y + ((X Z)) = X Y X Z (a primeira igualdade resulta de (8); a segunda resulta da proposio 21; a terceira de (12); a quarta de (8)). Finalmente, em (13) da proposio seguinte, faremos a ligao entre a multiplicao e a relao de ordem <. Proposio 24. (a) X, Y R+ X Y R+ (b) X, Y R Z R+ X < Y X Z < Y Z (13) (14)
Demonstrao. (13) um exerccio (geomtrico) simples. (14) Sejam X e Y pertencentes a R e Z R+ . De acordo com a proposio 14 (b), queremos provar que, se X Y R+ 46 (15)
Nmeros reais ento
(Y Z X Z) R+ . Y Z X Z = (Y X) Z.
Ora, das proposies 23 e 16 resulta que
(14) , ento, consequncia de (13), (15) e de Z R+ .
Vamos agora provar, como tnhamos prometido, as proposies 16 e 17. Para tal necessitamos de um resultado, de natureza puramente geomtrica, provavelmente desconhecido dos leitores. Trata-se do chamado teorema de Pascal19 , cuja demonstrao omitiremos. Teorema 1 (Pascal). Sejam A, B, C e A , B e C dois ternos de pontos sobre cada uma de duas rectas que se intersectam num ponto U distinto de qualquer daqueles pontos, respectivamente; se CB paralelo a BC e CA paralelo a AC , ento tambm BA paralelo a AB . Consoante a disposio dos pontos de cada um dos ternos, na recta onde se encontram, podemos obter guras essencialmente diferentes.
C PSfrag replacements B A U A B C
Figura 32: O teorema de Pascal (exemplo 1).
Nas guras 32, 33 e 34, supusemos que os pontos de cada um dos ternos estavam na mesma semi-recta com origem em U. As trs guras descrevem todos os casos possveis para as semi-rectas escolhidas.
O resultado que apresentaremos , na realidade, um caso particular do teorema de Pascal das seces cnicas.
19
47
C PSfrag replacements B A
PSfrag replacements A C B U A C B
Nas guras 32, 33 e 34 deu-se nfase grca aos segmentos que o teorema de Pascal arma serem paralelos. Estamos agora em condies de demonstrar as proposies 16 e 17. Proposio 25. (proposio 16) X, Y R X Y = Y X.
Demonstrao. Considere a gura 35. Para provar que X Y = Y X basta mostrar que o segmento de recta Q(X Y) paralelo ao segmento PY. Ora, isso resulta do teorema de Pascal (gura 33). Proposio 26. (proposio 17) X, Y, Z R X (Y Z) = (X Y) Z.
Demonstrao. Como j provmos a comutatividade da multiplicao, 48
Nmeros reais
R PSfrag replacements
P Q O X I XY Y
Figura 35: Marcou-se a trao contnuo a construo de X Y e a tracejado a construo de Y X. Resulta destas construes que RY PI QX e R(X Y) PX.
basta mostrarmos que X (Z Y) = Z (X Y). (16)
Considere a gura 36. Constri-se, em primeiro lugar, X Y e depois Z (X Y). Seguidamente construiu-se Z Y e fez-se passar por este ponto uma paralela a PI, que intersecta a recta determinada por OP no ponto S. Para determinar X(ZY), fazemos passar por este ponto uma recta paralela a PX e determinamos a sua interseco com a recta real. Assim, para provar (16), basta-nos ver que SV paralelo a PX. Considere-se o teorema de Pascal (gura 32) com C = R, B = Q, A = S, A = T, B = V, C = W.
Note-se que os resultados de paralelismo includos na legenda da gura 36, permitem-nos justicar que as hipteses do teorema de Pascal so satisfeitas. Obtm-se, assim, SV QT, mas como QT PX (ver legenda da gura 36) segue-se que SV PX, como queramos provar. Radiciao e trs problemas famosos No pargrafo 3 tnhamos visto que no existia nenhum nmero racional x tal que x2 fosse igual a 2. Este aparentemente pequeno problema (na realidade enorme!) fez-nos rever as nossas concepes sobre a noo de nmero. Como os nmeros racionais no nos bastavam, identicou-se R 49
PSfrag replacements
Q R P
X I XY=TY
X (X Y) = V
ZY =W
Figura 36: Marcou-se a trao contnuo a construo de Z (X Y) e a tracejado a construo de X (Z Y). Resulta destas construes que RT PI, QW PZ, QT PX, RV PZ e SW PI.
com R e desta identicao resultou que no s os nmeros no racionais eram muitos20 , como tambm estavam muito bem distribudos na recta real. Ao (nico) nmero real X > tal que X2 (= X X) igual a 2, chammos 0 a raiz de 2 e designmo-la por 2. Veremos, agora, que, em R, possvel, no s determinar 2, como tambm a raiz de qualquer nmero real X positivo, que designamos por X. Pretende-se, assim, introduzir uma operao em R+ R+ X X R+
a que chamamos radiciao. Comecemos por ilustrar com a gura 37 a raiz de X, que vamos designar por Z (= X). A descrio do modo como foi obtido Z encontra-se na legenda da gura 37.
20
At armmos que, num sentido a precisar, eles eram quase todos os nmeros reais.
50
Nmeros reais
PSfrag replacements
X X+I = Y
Figura 37: Marcou-se na recta real os pontos X e X + I = Y e traou-se uma semi-circunferncia que tem OY por dimetro (C o centro dessa semicircunferncia). Seguidamente fez-se passar por X uma recta perpendicular recta real e designou-se por W o ponto de interseco desta recta com a semi circunferncia. Ser ao comprimento de XW que chamaremos X, mas, como os nmeros reais so pontos da recta real, devemos marcar o comprimento deste segmento em R+ . esse o objectivo das construes seguintes que dispensam qualquer descrio.
Argumento que motivou a construo Designe-se por x o comprimento de OX y o comprimento de XW u o comprimento de CX v o comprimento de CW (igual ao comprimento de OC) e considere-se o tringulo rectngulo CWX. Como v = (x + 1)/2, tem-se x+1 2 donde
2
= y2 + x
x+1 2
(x + 1)2 (x 1)2 = y2 + 4 4 4y2 + x2 2x + 1 = x2 + 2x + 1 51
pelo que
Grupo de Matemtica da UTL o que permite concluir que y2 = x. Justica-se, assim, que, ao comprimento do segmento XW (ou seja, ao ponto Z), se chame a raiz de x.
Vimos atrs (Proposio 5) que todos os nmeros reais da forma r 2 onde r Q \ {0}, eram nmeros irracionais. Na proposio seguinte provaremos a irracionalidade de outros nmeros reais. Proposio 27. (1) Se p N no um quadrado perfeito21 , ento p um nmero irracional. (2) Se p N no um quadrado perfeito, ento os nmeros reais da forma r p onde r Q \ {0}, so nmeros irracionais. Demonstrao. Comearemos por provar que, sendo s um nmero racional positivo escrito na forma k s= (17) l com k, l N primos entre si22 , ento s N sse l = 1 (18)
Ora, se l = 1, ento s = k e portanto s N. Reciprocamente, de (17) conclui-se que k = s l e, como k e l so primos entre si, tem de se ter l = 1 (l divide tanto k como l). (1) Sendo p N, vamos provar que, se p um nmero racional, ento p um quadrado perfeito (o que equivalente a (1)). Ora, se p um nmero racional ele pode escrever-se na forma m p= n
Um natural p diz-se um quadrado perfeito sse existir m N tal que p = m2 . Recorde-se que dois naturais k e l se dizem primos entre si sse 1 o nico divisor comum a k e l.
21 22
52
Nmeros reais com m e n primos entre si. ento fcil ver que p= m2 n2
e que m2 e n2 so primos entre si23 . Assim, como p N, segue-se de (18) que n2 = 1 e, portanto, que p = m2 . (2) Suponhamos que r Q \ {0} e que p no um quadrado perfeito, e demonstremos, por reduo ao absurdo, que r p um nmero irracional. Ora, se r p fosse um nmero s racional, ento s p= r donde se concluiria que p era um nmero racional, o que est em contradio com (1), uma vez que se admitiu que p no era um quadrado perfeito.
Observaes (1) Evidentemente, se p (= m2 ) um quadrado perfeito, ento p (= m) no irracional. (2) Se X um irracional positivo, ento X tambm um nmero irra cional. Com efeito, se X fosse racional ele poderia escrever-se na forma m X= n com m e n pertencentes a N. Assim, ter-se-ia, X= m2 n2
o que absurdo, porque, ento, X seria racional.
23
Se m e n no tm factores comuns, o mesmo acontece com m2 e n2 .
53
Grupo de Matemtica da UTL Depois de termos tratado com tanto detalhe as propriedades das operaes algbricas em R, seria de esperar que zssemos algo de semelhante com a radiciao, no s por uma questo de equidade, mas tambm porque foi a radiciao que nos permitiu introduzir alguns nmeros irracionais primeiro o 2, depois os da forma r 2 (r Q \ {0}) e, nalmente, os da forma r p (r Q \ {0}; p natural, no quadrado perfeito). Surpreendentemente, vamos comear por referir trs problemas clebres da antiguidade (formulados durante o sculo quinto antes de Cristo), cuja resoluo apenas foi feita na segunda metade do sculo XVIII e no sculo XIX, e que achamos serem esclarecedores, tanto para as virtudes como para as insucincias, do mtodo de abordagem dos nmeros reais que at agora descrevemos. Esses trs problemas clebres so: (i) a quadratura do crculo; (ii) a duplicao do cubo; (iii) a trisseco do ngulo. Estes so os nomes, vejamos quais os problemas. O problema da quadratura do crculo consiste em encontrar, utilizando apenas rgua e compasso, o lado de um quadrado cuja rea seja igual de um crculo previamente dado. O problema da duplicao do cubo consiste em encontrar, utilizando apenas rgua e compasso, a aresta de um cubo cuja volume seja o dobro daquele de um cubo previamente dado. O problema da trisseco do ngulo consiste em encontrar, utilizando apenas rgua e compasso, um ngulo cuja medida seja um tero da de um ngulo previamente dado. Estes problemas foram resolvidos, e de diversas maneiras, pelos gregos antigos, mas recorrendo a processos de construo que no usavam exclusivamente rgua e compasso argumentos utilizando processos mecnicos so conhecidos desde o sculo V antes de Cristo. A matemtica grega antiga (dos sculos VI a.c. a III a.c.) foi frtil em resultados e em problemas. Muitos dos problemas s foram resolvidos durante e depois do sculo XVIII e bastantes ainda esto por resolver. Entre os resolvidos encontram-se os trs problemas clebres citados (que 54
Nmeros reais so, de longe, os mais populares), o problema dos irracionais e o problema dos nmeros construtveis com rgua e compasso. Ora, no que concerne os problemas (i), (ii), (iii), o que se demonstrou foi a sua impossibilidade, ou seja, que o resultado desejado em cada um deles era impossvel de obter utilizando apenas rgua e compasso. Vamos ver, na sequncia, qual a importncia que os problemas (i) e (ii) (os nicos a que nos iremos referir) tm para ns. Comecemos com o segundo problema (duplicao do cubo). Consideremos um cubo cujo comprimento da aresta seja 1 (o seu volume ser, ento, 1 1 1 = 1) e outro cubo cujo comprimento de aresta seja a e cujo volume seja o dobro do do cubo precedente (ou seja, 2). Dever, ento, ter-se a3 = 2, pelo que a o (nico) nmero real que, usualmente, se designa 3 por 2. 3 Assim, da impossibilidade de resolver este problema, resulta que 2 no s no um nmero racional, como tambm no construtvel com rgua e compasso. Segue-se daqui, como facilmente se v, que os nmeros da forma 3 r 2 com r Q \ {0}, so tambm nmeros irracionais que no podem ser construdos utilizando apenas rgua e compasso. Analisemos, agora, o primeiro problema (quadratura do crculo). Consideremos um crculo de raio 1 (cuja rea ) e procuremos um quadrado (com comprimento de lado a) tal que a sua rea, a2 , seja igual rea do crculo dado. Trata-se do problema algbrico simples a2 = cuja nica soluo (evidentemente positiva, porque a o comprimento do lado de um quadrado) a = . Resulta da impossibilidade de resoluo deste problema que a no pode ser obtido com o uso exclusivo da rgua e compasso. Daqui se segue que o mesmo acontece com a2 , pois que, se ele o fosse, tal acontecia tambm com a2 (note que a radiciao s utiliza rgua e compasso). Assim um nmero real que no pode ser marcado em R utilizando apenas rgua e compasso. As consideraes anteriores evidenciam as limitaes do mtodo que utilizmos para introduzir os nmeros reais. Com efeito as razes cbicas 55
Grupo de Matemtica da UTL de uma innidade de naturais (por exemplo, todos eles da forma 2n3 , com n N) no podem ser denidas pelos processos at agora usados. precisamente porque algo de diferente tem de ser feito que tratmos sumariamente a raz quadrada. Quanto ao nmero , note-se que a nica denio que dele demos foi a da rea de um crculo com raio 1. Ora, mesmo admitindo uma ideia intuitiva de rea, tal nmero, que dever pertencer recta real, impossvel de marcar com os instrumentos que foram at agora utilizados.
Resumimos, agora, o estado em que nos encontramos (1) Os nmeros racionais (poucos mas cujo conjunto innito) esto muito bem distribudos na recta real (Proposio 4). (2) Todos os nmeros racionais so construtveis com rgua e compasso. (3) Existem nmeros reais que no so racionais (irracionais, portanto) e que tambm so construtveis com rgua e compasso. O conjunto por eles formado innito, uma vez que so seus elementos todos os reais da forma (r Q \ {0}; p natural, no quadrado perfeito). r p (4) Existem nmeros reais no construtveis com rgua e compasso, como 3 e 2. Ora fcil ver que todos os nmeros da forma 3 (r Q \ {0}) r ou r 2 tambm no so construtveis com rgua e compasso, e, uma adaptao da prova da proposio , mostra que tambm eles esto muito bem distribudos na recta real. (5) Obtm-se (recorrendo a (2) das observaes anteriores) novos nmeros irracionais, utilizando a radiciao. Por exemplo, todos os nmeros da forma r p, r 3 2, r , r , etc.
(onde r Q \ {0}, e p N no um quadrado perfeito) so tambm nmeros irracionais. 56
Nmeros reais
Muito zemos at agora com rgua e compasso. Chegou a altura de passarmos a outra abordagem dos nmeros reais, que, fazendo uso desta, nos permita dar resposta aos problemas que levantmos.
Esboo de uma teoria axiomtica para os nmeros reais
O pargrafo anterior termina num impasse a rgua e o compasso no nos chegam para provarmos tudo o que pretendemos dos nmeros reais, identicados como pontos da recta real. Como prosseguir? O processo que nos ocorre em primeiro lugar o de introduzir outros instrumentos geomtricos para alm da rgua e compasso. Mas quais? E quantos seriam precisos? A estas dvidas podemos acrescentar mais uma, que de peso: embora tenhamos uma melhor intuio para a geometria do que a que temos para os nmeros, no nos devemos esquecer que sobre os fundamentos da geometria sabemos to pouco como sobre os fundamentos dos nmeros reais e o to pouco aqui um eufemismo: at agora sobre os fundamentos no sabemos nada. Foi por esta razo que logo no incio da introduo dissemos que as provas dos resultados que se apresentam baseiam-se, em ltima anlise, em certas propriedades dos nmeros reais e dos elementos geomtricos que consideramos ser do senso comum. Ora, numa teoria matemtica (que no pode, de maneira nenhuma, dispensar a intuio na sua concepo e na sua aprendizagem) no se pode fundamentar no senso comum utilizando o senso comum, e no cometendo erros grosseiros, muitos disparates se podem dizer em matemtica. Denir e demonstrar com rigor essencial numa teoria matemtica. Os fundamentos de uma teoria matemtica so a base (cuidadosamente explicitada) a partir da qual se do as denies e se demonstram as proposies. Estas consideraes conduzem-nos ao problema seguinte: devemos fundamentar a geometria euclidiana ou devemos fundamentar directamente os nmeros reais? A escolha da segunda hiptese parece-nos bvia (porque dos nmeros reais que estamos a tratar) desde que tal fundamentao seja possvel (e !) e que ela no seja muito mais difcil do que a fundamentao da geometria euclidiana (e no ! consideramo-la mesmo mais simples). 57
Grupo de Matemtica da UTL O trabalho feito no pargrafo precedente, embora sendo de natureza geomtrica, no ser esquecido e, como veremos na sequncia, ser dele feito um uso constante. Nota. Existem, essencialmente, duas vias de fundamentar os nmeros reais. Na primeira comea-se por fundamentar os nmeros naturais construindo-se depois, a partir destes, os nmeros inteiros, os nmeros racionais e nalmente os nmeros reais. Na segunda via (que ser a escolhida, por ser mais rpida) apresenta-se directamente uma fundamentao para os nmeros reais.
Vamos introduzir axiomaticamente o conjunto dos nmeros reais. Convm recordar24 que uma teoria axiomtica se apresenta e desenvolve segundo o seguinte padro: (i) Certos termos (chamados os termos primitivos) no so denidos. Todos os outros termos so denidos custa dos termos primitivos, ou de termos que j haviam sido denidos recorrendo aos termos primitivos. (ii) Certas proposies, chamadas axiomas ou proposies primitivas, no so demonstradas. Todas as outras proposies da teoria (apelidadas Teoremas) devero ser demonstradas a partir dos axiomas ou de proposies que j foram demonstradas recorrendo aos axiomas. Numa teoria matemtica as palavras denio e demonstrao so fundamentais. Com efeito gostaramos (a) de denir todos os termos da nossa Teoria e , precisamente, a impossibilidade de tudo denir que nos conduz a aceitar alguns termos sem denio os termos primitivos. (b) de demonstrar todas as proposies da nossa teoria e , precisamente, a impossibilidade de tudo demonstrar que nos conduz a aceitar algumas proposies sem demonstrao os axiomas.
24
Ver o captulo Lgica.
58
Nmeros reais Os axiomas utilizam, alm dos smbolos lgicos e dos smbolos prprios da teoria dos conjuntos25 , os termos primitivos, muitas vezes tambm designados por smbolos primitivos. Assim o signicado, de incio indeterminado, dos termos primitivos ca, de certa forma, condicionado pelo facto de terem de satisfazer aos axiomas. Podemos, ento, pensar que os termos primitivos designam quaisquer entes que satisfaam aos axiomas a maneira como operam entre si que se considera fundamental, privilegiando-se assim o aspecto formal e no o seu contedo, que se considera irrelevante para a formulao da teoria (se bem que no para a sua concepo). Se pensarmos nas aplicaes este aspecto formal que d matemtica o estatuto de cincia base das outras cincias a igualdade 3 + 5 = 8 no depende de estarmos a falar de grandezas medidas em metros, quilmetros, quilos, ohms, ou de casas, ou de pessoas.
Os smbolos primitivos Os smbolos primitivos da teoria axiomtica dos nmeros reais que vamos apresentar, so R + R+ dos quais diremos apenas que: R um conjunto (aos elementos de R chamaremos nmeros reais). R+ um conjunto (aos elementos de R+ chamaremos nmeros reais positivos). + uma aplicao (a que chamaremos adio) de R R em R. A cada par (x, y) R R associamos assim um (e um s) elemento de R, que designaremos por x + y (soma de x com y) RR (x, y) (x + y) R.
+
uma aplicao (a que chamaremos multiplicao) de R R em R. A cada par (x, y) R R associamos assim um (e um s) elemento de R, que designaremos por x y (produto de x por y) RR
25
(x, y) (x y) R.
E de smbolos de outras teorias que se tenham anteriormente desenvolvido.
59
Grupo de Matemtica da UTL Os smbolos primitivos R, + e so naturais R porque o que pretendemos denir axiomaticamente, a adio e a multiplicao porque, tendo destas operaes apenas uma denio geomtrica, e querendo prescindir da geometria, a sua escolha como smbolos primitivos o que nos ocorre em primeiro lugar. O que nos pode causar confuso no termos, igualmente, introduzido smbolos primitivos para a subtraco e diviso, que tambm foram denidos recorrendo geometria. A razo porque no o zemos, no , por enquanto, clara, mas adiantaremos que os axiomas que iremos escolher para a adio e multiplicao, nos permitem denir as operaes de subtraco e diviso. Ora, se elas podem ser denidas, no h necessidade de introduzir smbolos primitivos para estas operaes. O smbolo primitivo R+ , talvez, o mais misterioso. Os nmeros reais positivos, considerados como pontos da recta real, foram introduzidos a partir da relao <, que resultara do facto de termos xado os pontos O e I numa recta xa (a que depois chammos recta real). Pareceria, assim, natural que o smbolo primitivo escolhido fosse < (a relao menor) ou (a relao menor ou igual). Deixamos a resposta a esta questo (pertinente) para quando tratarmos dos axiomas relativos ao smbolo primitivo R+ .
Sobre a escolha dos axiomas Vamos, agora, indicar o critrio utilizado para a escolha dos axiomas. Os enunciados das proposies 7 a 24 do pargrafo precedente podem classicar-se em dois grupos: num grupo colocamos aqueles cuja demonstrao geomtrica, num segundo grupo os que so demonstrados sem recurso a qualquer argumento geomtrico, a partir de resultados j obtidos. Esto no primeiro grupo, por exemplo, as proposies 7, 8 e 9(b) (mas no 9(a)), 16, 17, 21. No segundo grupo encontram-se, entre outras, as proposies 9(a), 11(9)), 12, 23. Como no podemos utilizar argumentos geomtricos (dado que estamos a fazer uma teoria axiomtica dos nmeros reais e s admitimos como conhecimento prvio alguns elementos de lgica matemtica e da teoria dos conjuntos) o que nos ocorre, em primeiro lugar, introduzir como axiomas todos os enunciados cuja demonstrao utiliza algum resultado de natureza geomtrica. este, em geral, o critrio que iremos utilizar na escolha dos axiomas, mas, como veremos, no vai ser necessrio impor como axiomas todos 60
Nmeros reais esses enunciados26 .
Os axiomas da adio Vamos agora listar os axiomas que dizem respeito apenas adio. Naturalmente os enunciados das proposies 7 e 8 devem ser postos como axiomas. Axioma 1 (comutatividade da adio). x, y R x+y= y+x (19)
Axioma 2 (associatividade da adio). x, y, z R x + (y + z) = (x + y) + z (20)
Com a proposio 9 tem de se ter algum cuidado. Ela diz-nos que O o nico elemento neutro da adio. Ora, no sendo O um smbolo primitivo, o mais que podemos armar, nesse sentido, que existe um e um s elemento neutro para a adio. Contudo, basta-nos introduzir como axioma a existncia de pelo menos um elemento neutro Axioma 3 (existncia de elemento neutro da adio). a R x R x+a=x (21)
Com efeito, o raciocnio feito na demonstrao da proposio 9(a) mostra-nos, sem recorrer a algum argumento geomtrico, que, se existir elemento neutro, ele nico tal raciocnio faz apenas uso do axioma 1. Assim, de (19) e de (21) segue-se que 1 a R x R x+a=x
o que, embora no o tenhamos escrito nessa forma, o primeiro teorema da nossa teoria. A esse nico elemento a chamamos zero (trata-se da nossa primeira denio) e designamo-lo por 0. Algo de semelhante se passa com a proposio 10, onde se prova em R a existncia e unicidade de simtrico no axioma, bastando-nos supor a sua existncia:
Isso resulta de podermos denir a subtraco e a diviso a partir da adio e da multiplicao e dos respectivos axiomas, e a relao de ordem a partir de R+ e seus axiomas.
26
61
Grupo de Matemtica da UTL Axioma 4 (existncia de elemento simtrico). x R y R x + y = 0.
A demonstrao da unicidade faz-se de forma anloga efectuada na prova da proposio 10. Podemos, assim, escrever (trata-se do nosso segundo teorema): x R 1 y R x + y = 0.
Designamos este nico y por (x). Tem-se, ento x + (x) = 0 ou, pelo axioma 1, (x) + x = 0.
Conclumos, assim, do axioma 4 e da unicidade do simtrico, que x o simtrico de (x), pelo que, de acordo com a notao utilizada acima, x R x = (x)
que um novo teorema da nossa teoria. Note que a prova desta proposio (11) no pargrafo precedente, era de natureza geomtrica e que, aqui, no foi utilizado nenhum argumento geomtrico. Dissemos atrs que no era necessrio introduzir um smbolo primitivo para a subtraco. Com efeito, dados x, y R, podemos denir x y por27 x y = x + (y). Que x, y R (x + y) = (x) y
(novo teorema desta teoria) prova-se da mesma forma que a proposio 11(9). Finalmente o enunciado da proposio 12 x, y, z R xy=z x=z+y
que um novo teorema, tem a mesma demonstrao. As proposies 13, 14 e 15 do pargrafo precedente, ainda no fazem sentido nesta teoria, uma vez que nos falta denir o smbolo <. Exerccio 12. Prove o seguinte teorema (lei do corte): x, y, z R x+z= y+z x = y.
27
O que, no pargrafo precedente, era uma proposio (11(b)), agora uma denio!
62
Nmeros reais Os axiomas da multiplicao Os axiomas relativos adio e algumas das suas consequncias foram tratados com bastante detalhe, no s na sua apresentao como tambm na sua ligao s proposies 7 a 24 do pargrafo precedente. Seremos, no concerne multiplicao, muito mais sucintos. Os dois axiomas seguintes so de escolha natural: Axioma 5 (comutatividade da multiplicao). x, y R x y = y x.
Axioma 6 (associatividade da multiplicao). x, y, z R x (y z) = (x y) z.
Quanto existncia e unicidade de elemento neutro para a multiplicao, as consideraes e resultados so idnticos aos feitos para a adio. Escolhe-se como axioma a proposio Axioma 7 (existncia de elemento neutro da multiplicao). a R x R x a = x.
e prova-se que o elemento neutro nico, o que permite escolher um smbolo para o designar o smbolo 1. Quanto existncia e unicidade de elemento inverso (questo correspondente posta para o elemento simtrico) a escolha natural a proposio Axioma 8 (existncia de elemento inverso28 ). x R \ {0} y R x y = 1.
demonstrando-se posteriormente a unicidade de elemento inverso. Uma vez provada a unicidade podemos, para cada x R \ {0}, escolher um smbolo para designar o inverso de x escolhe-se o smbolo 1 . x Estamos, agora, em condies de denir a diviso de x R por y R \ {0}, que designaremos por29 x . Por denio y x 1 =x . y y
Que 0 no deve ter inverso resultar de um exerccio que formularemos depois de apresentar outros axiomas. 29 Como tnhamos anunciado, a diviso pode ser denida recorrendo multiplicao e seus axiomas.
28
63
Grupo de Matemtica da UTL Demonstra-se facilmente o seguinte resultado (outro teorema da nossa teoria) x x, z R y R \ {0} =z x= yz y
Axiomas de ligao entre a adio e a multiplicao usual, numa teoria axiomtica, que medida que so introduzidos novos smbolos primitivos, se listem axiomas que estabeleam ligaes entre o smbolo primitivo introduzido e os anteriores, por forma a que se possa trabalhar, no s com cada um deles individualmente, mas tambm com todos em conjunto. No nosso caso, em que temos a adio e a multiplicao como smbolos primitivos (cada um com os seus axiomas), um axioma que ligue estas duas operaes , naturalmente, o Axioma 9 (distributividade da multiplicao relativamente adio30 ). x, y, z R x (y + z) = x y + x z.
Curiosamente, ainda vamos necessitar de um outro axioma que surge de uma forma mais subtil. Recordemos que a recta real R era uma recta xa onde se marcaram dois pontos O e I distintos. Estando ns a axiomatizar o conjunto dos nmeros reais, que anteriormente considervamos ser R, e sendo inerente construo de R que O e I sejam pontos distintos, natural conjecturar que esse facto se repercuta na axiomtica. Ora, como O a imagem geomtrica de 0 e I a imagem geomtrica de 1, somos conduzidos a impor o Axioma 10 (distino dos elementos neutros). 0 1.
Exerccio 13. Prove o seguinte teorema: x R x 0 = 0.
(Sugesto: Note que x 0 = x (0 + 0).)

Note que este axioma corresponde proposio 21 cuja demonstrao de natureza geomtrica.
30
64
Nmeros reais Exerccio 14. Prove o seguinte teorema: x R (1) x = x.
Exerccio 15. (a) Considere uma teoria axiomtica cujos smbolos primitivos sejam R, +, , e cujos axiomas sejam os axiomas 1 a 10 excepto o 8. Introduza ainda (em vez do axioma 8) o axioma seguinte x R y R x y = 1.
Mostre que esta teoria conduz a uma contradio. (b) (difcil) Suprima na teoria axiomtica da alnea (a), o axioma 10. Ser esta nova teoria contraditria?
Os axiomas de R+ Quando zemos algumas consideraes sobre os termos primitivos, tnhamos manifestado estranheza pela escolha de R+ como um tal smbolo. Dissemos, ento, que o que acharamos natural seria a introduo da relao < como smbolo primitivo, uma vez que ela determinava, em R, o conjunto dos nmeros reais positivos. Vamos, agora, ver que o smbolo R+ e os seus axiomas, permitem denir uma relao de ordem com as propriedades desejadas31 . Comecemos por listar os axiomas que dizem respeito apenas a R+ . Axioma 11. R+ R.
Nota. Convm, neste ponto, ser muito cuidadoso. O facto de termos chamado aos elementos de R+ nmeros reais positivos32 , destinou-se apenas a que se no perdesse a intuio sobre o que se iria fazer na sequncia. Poderamos ter dado aos elementos de R+ o nome de elementos e, se assim tivssemos procedido, por que razo deveriam os elementos serem nmeros reais? muito importante, quando trabalhamos com os elementos de R+ , saber distinguir entre o que queremos que eles sejam, e o que efectivamente sabemos deles. Por enquanto sabemos que todos os elementos de R+ so nmeros reais.
Poderamos tambm ter escolhido como smbolo primitivo, a relao <, mas optmos por outra soluo (a escolha de R+ ). Esta escolha deve-se, essencialmente, ao facto de no havermos denido o termo relao. 32 o que poderia levar a pensar que eles eram necessariamente nmeros reais
31
65
Grupo de Matemtica da UTL Denimos o conjunto R (a cujos elementos chamamos nmeros reais negativos) como sendo o subconjunto de R formado pelos nmeros reais cujo simtrico pertence a R+ . R = {x R; (x) R+ }
ou, o que equivalente33 , pelo subconjunto de R formado pelos simtricos dos elementos de R+ R = {x R; Axioma 12. Axioma 13. y R+ x = (y)}.
R+ R = . R \ {0} (R+ R ).
O axioma 12 diz-nos que no existem nmeros reais que sejam ao mesmo tempo positivos e negativos. O axioma 13 diz-nos que todo o nmero real no nulo ou positivo ou negativo. Vejamos, agora, alguns resultados (teoremas) que se podem provar usando, apenas, estes dois axiomas e consequncias dos axiomas anteriores. Do exerccio 14, vem que (1) 0 = 0 e do exerccio 13 que (1) 0 = 0, donde se segue34 que 0 = 0. Assim (axioma 12), 0 R+ e 0 R . Concluise daqui que, se x R+ ou se x R , ento x um nmero real diferente de zero, o que nos permite armar que (R+ R ) R \ {0} o que, em conjunto com o axioma 13, demonstra a proposio seguinte: R \ {0} = R+ R . Tem-se, portanto R = R {0} R+ (22)
sendo esta reunio disjunta, o que signica que nenhum dos conjuntos tem algum elemento comum com os outros conjuntos R {0} = ,
33 34
R+ {0} = ,
R R+ = .
A equivalncia resulta de se ter (x) = x para todo o x R. 0 = 0 tambm uma consequncia fcil dos primeiros quatro axiomas.
66
Nmeros reais
Estamos, agora, em condies de denir a relao menor. Dados dois nmeros reais x e y, dizemos que x menor que y, e escrevemos x < y, sse35 (y x) R+ . Assim x, y R x<y (y x) R+ (23) Vejamos, sucintamente, alguns resultados (teoremas) que se podem obter utilizando a relao menor. (i) R+ = {y R; 0 < y}. Basta, em (23), escolhermos x = 0. (ii) R = {x R; x < 0}. Basta, em (23), escolhermos y = 0. (iii) Para cada x e y reais verica-se uma e uma s das proposies seguintes x < y, x = y, y < x. Considere y x e utilize (22) para provar que verdadeira uma e uma s das proposies seguintes: (y x) R , (iv) x, y, z R x<y (x + z) < (y + z). Reveja a demonstrao da proposio 15. (y x) {0}, (y x) R+ .
35
O que, no pargrafo precedente, era uma proposio (14(b)) agora uma denio.
67
Grupo de Matemtica da UTL Axiomas de ligao entre a adio, a multiplicao e R+ A proposio 24(13) estabelece uma ligao (de prova geomtrica) entre a multiplicao e R+ , o que a torna, assim, uma candidata natural a axioma. Para a adio escolhemos como axioma uma proposio semelhante. Axioma 14. x, y R+ Axioma 15. x, y R+ (x + y) R+ . (x y) R+ .
Vejamos, sucintamente, algumas consequncias (teoremas) destes axiomas. (i) x, y, z R (x < y y < z) (x < z).
Basta ver que, (y x) R+ e (z y) R+ , ento (z x) R+ . Ora, z x = (z y) + (y x). (ii) x, y, u, v R (x < y u < v) (x + u) < (y + v).
Basta ver que, (y x) R+ e (v u) R+ , ento ((y + v) (x + u)) R+ . Ora, (y + v) (x + u) = (y x) + (v u). (iii) x, y R z R+ x<y x z < y z.
Reveja a demonstrao da proposio 24(14).
No meu m est o meu princpio36 Teremos acabado a lista dos axiomas? Basta reler a ltima parte da seco 4 para suspeitar que no! A radiciao foi a introduzida utilizando rgua e compasso37 , e no foi denida custa das operaes elementares se a pudssemos denir agora, certamente a poderamos ter denido ento. E foi a radiciao que nos deu o primeiro exemplo de um nmero real que no era racional!
. . . in my end is my beginning, frase amplamente citada (por exemplo, por Jorge Lus Borges) e atribuda a Mary Stuart, ranha da Esccia, como um comentrio sua prpria vida. 37 O compasso no intervinha nas denies das operaes de adio, subtraco, multiplicao e diviso.
36
68
Nmeros reais Pensando melhor, conclumos que os axiomas 1 a 15, no nos permitem introduzir muitos dos irracionais. Com efeito, se pudssemos agora denir 3 o nmero 2, tambm anteriormente o poderamos ter feito, o que implicaria que ele podia ser construdo com rgua e compasso, o que sabemos ser falso. Para concluir estas consideraes, observemos (e este um argumento decisivo) que os racionais (tal como os conhecemos, satisfazem38 aos axiomas 1 a 15. Segue-se daqui que tudo o que se possa deduzir desses axiomas tem de ser verdadeiro para os nmeros racionais. Assim, da actual teoria axiomtica, nem a existncia de 2 possvel demonstrar. A nossa teoria est, ento, incompleta. Faltam-nos axiomas (e, quem sabe, mesmo termos primitivos) que nos permitam distinguir os nmeros racionais dos irracionais e dar destes ltimos propriedades bastantes que nos habilitem a deduzir delas tudo o que pretendemos. Parece que voltmos de novo ao princpio. certo que formalizmos os nmeros racionais, mas o que falta (os irracionais que so quase todos os reais) deve requerer um esforo ainda maior do que aquele at agora feito quantos mais termos primitivos sero necessrios? E quantos mais axiomas? A resposta a esta questo surpreendente: No necessitamos de mais smbolos primitivos e apenas introduzimos mais um axioma. Como pode isto ser possvel! E s mais um axioma? No se esquea o leitor que os primeiros quinze axiomas tambm so impostos para os nmeros irracionais e que um novo axioma s destinado a estes, tem a sua aco potenciada pelos quinze axiomas! Qual ento, este ltimo axioma? Poderamos dar j o seu enunciado (que requer, apenas, algumas poucas denies), mas pensamos que no captulo das sucesses que a sua necessidade nos conduzir a uma formulao natural. Assim a teoria axiomtica esboada para os nmeros reais s car completa no captulo das sucesses.
38
Verique, cuidadosamente, esta observao.
69
ndice remissivo
adio, 11, 32 associatividade da adio, 39 da multiplicao, 43, 48 axioma da associatividade da adio, 61 da associatividade da multiplicao, 63 da comutatividade da adio, 61 da comutatividade da multiplicao, 63 da distributividade da multiplicao relativamente adio, 64 da existncia de elemento neutro da adio, 61 da existncia de elemento neutro da multiplicao, 63 da existncia de simtrico, 62 da existncia do inverso, 63 da no existncia de reais simultaneamente positivos e negativos, 66 de incluso dos reais positivos nos reais, 65 de ligao entre a adio e R+ , 68 de ligao entre a multiplio e R+ , 68 que garante que um real no nulo positivo ou negativo, 66 compasso, 6 comutatividade da adio, 39 da multiplicao, 43, 48 da multiplicao em relao subtraco, 46 diviso, 16, 37 duplicao do cubo, 54 elemento neutro da adio, 40 medio, 20 menor, 67 multiplicao, 12, 35 nmeros racionais, 16 inteiros, 12 naturais, 9 racionais, 8, 16 reais negativos, 66 positivos, 65 ponto, 6 produto, ver multiplicao quadratura do crculo, 54 rgua, 6 radiciao, 50 raiz, 50 recta, 6 real, 7 semi-recta real negativa, 8 positiva, 8 sentido, 7 simtrico, 40 soma, ver adio subtraco, 12, 34
distributividade da multiplicao em relao adio, 44 teorema 70
Nmeros reais de Pascal, 47 trisseco do ngulo, 54 unicidade do elemento neutro da multiplicao, 43
71
Nomenclatura
+ N < > N Q R Z adio, 59 imagem dos inteiros negativos na recta real, 15 menor, 67 maior, 41 imagem dos naturais na recta real, 10 imagem dos racionais na recta real, 25 recta real, 7 imagem dos inteiros na recta real, 16 maior ou igual, 41 adio em N, 11 precede na recta real, 7 R+ R R+ R reais positivos, 59 reais negativos, 66 semi-recta real positiva, 8 semi-recta real negativa, 8
72

Numeros Reais 2

Enviado por

Dados do documento

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

Numeros Reais 2

Enviado por

Direitos autorais:

Formatos disponíveis

Nmeros Reais

ndice remissivo Nomenclatura

Grupo de Matemtica da UTL

So geometricamente evidentes as seguintes propriedades da relao : i) XR ii) X,YR iii) X,Y,ZR X X X X. Y Y Y Y X Z X = Y. X Z.

Marcao na recta real dos nmeros racionais

Figura 2: A a imagem geomtrica de 2.

Figura 3: B a imagem geomtrica de 3.

Grupo de Matemtica da UTL

Figura 4: P a imagem geomtrica de n + 1.

Figura 5: Caso p = 3, ou seja, m = n + 3, ou ainda, m n = 3.

Grupo de Matemtica da UTL

Figura 6: P a imagem geomtrica de 2 e Q a imagem geomtrica de 7.

Figura 7: Q a imagem geomtrica de 7.

Figura 9: J a imagem geomtrica de 3 4.

Grupo de Matemtica da UTL

1 Figura 10: A a imagem geomtrica de 2, B a imagem de 3 e R a imagem de 3 .

Se m for zero a imagem geomtrica de

Figura 11: Marcao de 4 . R a imagem geomtrica de 3 4 geomtrica de 3 .

1 Figura 12: Marcao de 5 . R a imagem geomtrica de 2 ; R a imagem 2 geomtrica de 1 ; P a imagem geomtrica de 5 . 2 2

Grupo de Matemtica da UTL

Uma pedra no meio do caminho5

Figura 13: O ponto P na semi-recta positiva.

comprimento do segmento OP utilizando a rgua (ideal).

Figura 14: Comprimento do segmento OP (neste caso 1).

Figura 15: Comprimento do segmento OP.

Figura 17: Tringulo OIJ e ponto R.

Segmento com mais de um ponto.

Figura 18: Os pontos A e B na recta real.

Figura 19: Os pontos C e P na recta real.

Figura 20: Os pontos C, R e S na recta real.

Figura 21: Os pontos A, B e C na recta real.

A demonstrao trata-se dum exerccio geomtrico simples (N. E.).

Uma interpretao geomtrica dos nmeros reais

Proposio 5. Se X um nmero irracional, m Z \ {0} e n N, ento um nmero irracional.

Figura 23: Recta real e recta r.

Figura 24: Adio de X com Y.

Figura 25: Subtraco de X por Y.

Figura 26: Multiplicao de X por Y.

Dado um segmento AB designamos por c(AB) o comprimento desse segmento.

Figura 28: Diviso de I por Y.

o que se interpreta como

Exerccio 8. Determine (i) O < Y < I; (ii) Y R .

Algumas propriedades das operaes algbricas Proposio 7. X, Y R X+Y=Y+X.

Demonstrao. o exerccio proposto na nota que se segue gura 24. Proposio 8. X, Y, Z R

Demonstrao. Considera-se a gura 30.

(7) (8) (9)

Demonstrao. um exerccio (geomtrico) simples. 41

Grupo de Matemtica da UTL Proposio 14. (a) X, Y R (b) X, Y R X < Y X Y < O.

Demonstrao. (a) um exerccio (geomtrico) simples provar que X, Y R X < Y X Y < O.

o que resulta de (11), (9) e (8). Proposio 15. X, Y, Z R X < Y X + Z < Y + Z.

Proposio 18. (a) Se A e B so nmeros reais tais que X R X A = X X R X B = X ento A = B. (b) X R X I = X.

Na proposio 20 j relacionvamos a multiplicao com a diviso.

Figura 31: Marcou-se a trao contnuo a construo de X (Y + Z) e a tracejado a construo de X Y + X Z.

Proposio 23. X, Y, Z R Demonstrao.

Nmeros reais ento

Ora, das proposies 23 e 16 resulta que

(14) , ento, consequncia de (13), (15) e de Z R+ .

Figura 32: O teorema de Pascal (exemplo 1).

Grupo de Matemtica da UTL

Figura 33: O teorema de Pascal (exemplo 2).

Figura 34: O teorema de Pascal (exemplo 3).

Demonstrao. Como j provmos a comutatividade da multiplicao, 48

basta mostrarmos que X (Z Y) = Z (X Y). (16)

Grupo de Matemtica da UTL