PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.

com OS NMEROS REAIS FORMAM UM CORPO Isto quer dizer que existem objetos matemticos chamados de nmeros reais e duas operaes primitivas sobre os mesmos que satisfazem a especficos nove axiomas descritos abaixo. As duas operaes primitivas so: Adio: Que a cada par de nmeros reais (x e y) associa um nico nmero real denominado a sua soma (x + y) e Multiplicao: Que a cada par de nmeros reais (x e y) associa um nico nmero real denominado o seu produto (x.y). Como apresentados nas linhas anteriores no sabemos o que so os nmeros reais, muito menos como adicion-los e multiplic-los. Sabemos apenas que tais conceitos so regidos por estes especficos nove axiomas: I) Axiomas de comutatividade: a) Para quaisquer dois nmeros reais x e y:

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 b) Para todo nmero real diferente de zero x existe um nico nmero real diferente de zero x-1 (chamado de inverso multiplicativo de x, ou de inverso de x ou de recproco de x) tal que: x . (x-1) = (x-1) . x = 1 V) Axioma de distributividade: Para quaisquer nmeros reais x, y e z: x.(y + z) = (y + z).x = (x.y) + (x.z) A partir do que foi estabelecido at aqui podemos definir as outras duas operaes tradicionais (subtrao e diviso) sobre os nmeros reais: Subtrao: Que a cada par ordenado de nmeros reais (x e y) associa um nico nmero real denominado a sua diferena: x y = x + (-y) Diviso: Que a cada par ordenado de nmeros reais (x e y, com y diferente de zero) associa um nico nmero real denominado o seu quociente: x / y = x.(y-1). Concluses imediatas:

x+y=y+x a) Para todo nmero real x temos que (-(-x)) = x. b) Para quaisquer dois nmeros reais x e y: x.y = y.x II) Axiomas de associatividade: a) Para quaisquer trs nmeros reais x, y e z: (x + y) + z = x + (y + z) b) Para quaisquer trs nmeros reais x, y, z: (x.y).z = x.(y.z) Propriedade I: Para todo real x: 0.x = 0 III) Axiomas dos neutros: PROVA: a) Existe um nico nmero real 0 (chamado de zero ou de neutro aditivo) tal que para todo real x: x+0=0+x=x b) Existe um nico nmero real 1 (chamado de um ou de neutro multiplicativo e diferente de 0) tal que para todo real x: x.1=1.x=x IV) Axiomas dos inversos: a) Para todo nmero real x existe um nico nmero real x (chamado de inverso aditivo de x, ou de simtrico de x ou de oposto de x) tal que: x + (-x) = (-x) + x = 0 x + (x) = 0 ((1).x) + (x) = 0 ((0 + 1).x) + (x) = 0 ((0.x) + (1.x)) + (x) = 0 ((0.x) + x) + (x) = 0 (0.x) + (x + (x)) = 0 (0.x) + 0 = 0 0.x = 0 C.Q.D
Professor Castanheira Pgina 1

b) Pra todo nmero real (diferente de zero) x temos que ((x-1)-1) = x. c) So equivalentes as afirmaes: x = y e x y = 0. d) So equivalentes as afirmaes x = y e x / y = 1, desde que x e y sejam ambos diferentes de zero. A partir da caracterizao dos nmeros reais como um corpo, podem ser demonstradas inmeras propriedades teis, aqui esto as principais:

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade II: Para todo real x: (-1).x = -x PROVA: (0).x = 0 ((1) + (-1)).x = 0 ((1).x) + ((-1).x) = 0

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Propriedade IV (Lei de Corte Aditiva): Para quaisquer nmeros reais x, y e z, as seguintes afirmaes so equivalentes: x = y e x + z = y + z. PROVA: i) Se x = y ento x + z = y + z, bastando somar z aos dois lados da igualdade. ii) Se x + z = y + z ento

x + ((-1).x) = 0 (x + z) + (-z) = (y + z) + (-z), E da unicidade do inverso aditivo: x + (z + (-z)) = y + (z + (-z)), (-1).x = -x x+0=y+0e C.Q.D x=y Concluses imediatas: Pondo x = -1 na ltima igualdade temos que: (-1).(-1) = -(-1) = 1. E tambm temos que: (1).(-1) = (-1).(1) = -1 e (1).(1) = 1. Propriedade III (Regra dos Sinais): Para quaisquer nmeros reais x e y: a) (-x).(y) = -(x.y) b) (x).(-y) = -(x.y) c) (-x).(-y) = x.y PROVA: x=y a) (-x).(y) = x + (-y) = 0 ((-1).(x)).(y) = (x + (-y)).z = 0 (-1).((x).(y)) = (x.z) + (-(y.z)) = 0 -(x.y) x.z = y.z b) (x).(-y) = C.Q.D. (-y).(x) = -(y.x) = -(x.y) c) (-x).(-y) = -((x).(-y)) = -(-(x.y))= x.y C.Q.D. PROVA: Supondo (por absurdo) que os dois fatores (x e y) so ambos diferentes de zero e usando a lei de corte multiplicativa (em y) na igualdade x.y = 0.y (observe que 0.y = 0), obtemos x = 0. O que uma contradio! Logo pelo menos um dos fatores igual a zero. A recproca trivial, uma vez que: 0.0 = 0.y = x.0 = 0. C.Q.D.
Professor Castanheira Pgina 2

Conclui-se de i e ii que as duas afirmaes dadas so equivalentes. C.Q.D Propriedade V (Lei de Corte Multiplicativa): Para quaisquer nmeros reais x, y e z (z diferente de zero), as seguintes afirmaes so equivalentes: x = y e x.z = y.z. PROVA: So equivalentes as seguintes afirmaes:

Propriedade VI: Se x e y so nmeros reais ento so equivalentes as afirmaes: a) x.y = 0 e b) x = 0 ou y = 0.

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade VII: Se x, y e z so nmeros reais ento so equivalentes as afirmaes: a) x.y = x.z e b) x = 0 ou y = z. PROVA: So equivalentes as afirmaes: x.y = x.z (x.y) + (-(x.z)) = 0 (x.y) + (x.(-z)) = 0 x.(y + (-z)) = 0 x = 0 ou y + (-z) = 0 x = 0 ou y z = 0 x = 0 ou y = z C.Q.D. Duas propriedades imediatas: a) Se x um nmero real, definimos o seu quadrado (x2) pela igualdade x2 = x.x, onde 2 = 1 + 1. Deixamos para o leitor provar o fato trivial de que so equivalentes as afirmaes: x2 = 0 e x = 0. b) Se x um nmero real e n um nmero natural, definimos a ensima potncia de x (xn) como o produto de n fatores iguais a x se n for diferente de um. Definimos ainda x1 = x. Fica para o leitor provar o fato tambm trivial de que so equivalentes as afirmaes: xn = 0 e x = 0. Propriedade VIII: Para todos os nmeros reais x e y: (x + y).(x y) = x2 y2. PROVA: (x + y).(x y) = C.Q.D

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Propriedade IX: Se x e y so nmeros reais, so equivalentes as afirmaes: a) x2 = y2 e b) x = y. PROVA: So equivalentes as afirmaes: x2 = y2 x2 y2 = 0 (x + y).(x y) = 0 x + y = 0 ou x y = 0 x = -y ou x = y x=y C.Q.D. Propriedade X: Se a e b so nmeros reais (com a diferente de zero) ento existe um nico nmero real x = b/a tal que a.x = b. PROVA (So equivalentes as afirmaes): a.x = b (a-1).(a.x) = b.(a-1) ((a-1).a).x = b/a 1.x = b/a x = b/a

Propriedade XI (Lei de Corte Simplificativa): Se a, b e c so nmeros reais (com a e c diferentes de zero) ento b/a = (b.c)/(a.c). PROVA (So equivalentes as afirmaes):

(x + y).(x + (-y)) = a.x = b (x.(x + (-y))) + (y.(x + (-y))) = ((x2) + (-(x.y))) + ((x.y) + (-(y2))) = (((x2) + (-(x.y))) + (x.y)) + (-(y2)) = ((x2) + ((-(x.y)) + (x.y))) + (-(y2)) = ((x2) + 0) + (-(y2)) = (x2) + (-(y2)) = x2 y2 C.Q.D.
Professor Castanheira Pgina 3

c.(a.x) = b.c (c.a).x = (b.c) (a.c).x = (b.c) x = (b.c)/(a.c). Mas sabemos da propriedade anterior que x nico e igual a b/a. Logo (b.c)/(a.c) = b/a. C.Q.D.

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade XII: Sendo a, b, c e d nmeros reais (com b e d diferentes de zero): a) A igualdade a/b = c/d equivale a igualdade a.d = c.b. b) (a/b) + (c/d) = ((a.d) + (c.b)) / (b.d) c) (a/b) (c/d) = ((a.d) (c.b)) / (b.d) d) b = 1/b d) (b.d) = (b ).(d ) (a.c)/(b.d) e) (a/b) . (c/d) = (a.c) / (b.d) f) (a/b)-1 = b/a (a 0) g) (a/b) / (c/d) = (a/b) . (d/c) (c 0) h) Se a/b = c/d ento (a.c)/(b.d) = (a/b)2 = (c/d)2. PROVA: a) So equivalentes as afirmaes: a/b = c/d (a.d)/(b.d) = (c.b)/(b.d) (a.d) . ((b.d)-1) = (c.b) . ((b.d)-1) a.d = c.b b) (a/b) + (c/d) = ((a.d)/(b.d)) + ((c.b)/(b.d)) = ((a.d) . ((b.d)-1)) + ((c.b) . ((b.d)-1)) = ((a.d) + (c.b)) . ((b.d)-1) = ((a.d) + (c.b)) / (b.d) c) Basta trocar c por -c no item anterior. d) O inverso multiplicativo (x = b-1) do nmero real diferente de zero b o nico nmero real diferente de zero (x) tal que b.x = 1. Donde imediato que x = b-1 = 1/b. d) Afirmamos que o inverso multiplicativo (que sabemos ser nico) do nmero real diferente de zero b.d o nmero real diferente de zero (b-1).(d-1). O que imediato uma vez que (b.d).((b-1).(d-1)) = 1. Com efeito: (b.d).((b-1).(d-1)) = (b).(((b-1).(d-1)).d) = (b).((b-1).((d-1).d)) = (b).((b-1).(1)) = (b).(b-1) = 1 PROVA:
-1 -1 -1 -1

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 e) (a/b) . (c/d) = (a . (b-1)) . (c . (d-1)) = ((a . (b-1)) . c) . (d-1) = (d-1) . ((b-1) . (a . c)) = ((b-1) . (d-1)) . (a . c) = (a . c) . ((b.d)-1) =

f) Afirmamos que o inverso multiplicativo (que sabemos ser nico) do nmero real diferente de zero a/b o nmero real diferente de zero b/a. O que imediato uma vez que (a/b).(b/a) = (a.b)/(b.a) = 1. g) imediato da definio de diviso e do item anterior. h) Seja o nmero real x tal que x = a/b = c/d. Logo: x2 = (a/b).(c/d) = (a/b)2 = (c/d)2 e (a.c)/(b.d) = (a/b)2 = (c/d)2 C.Q.D. Propriedade XIII: Sendo a, b, c e d nmeros reais (com b e d diferentes de zero) tais que a/b = c/d e x, y, x e y nmeros reais arbitrrios (com (b.x) + (d.y) 0 e (b.x) + (d.y) 0) ento: a/b = c/d = ((a.x) + (c.y)) / ((b.x) + (d.y)) = ((a.x) + (c.y)) / ((b.x) + (d.y))

Seja o nmero real w tal que w = a/b = c/d, donde imediato que a = b.w e c = d.w. O seguinte quociente est bem definido e os posteriores desenvolvimentos provam o que pedido. ((a.x) + (c.y)) / ((b.x) + (d.y)) = (((b.w).x) + ((d.w).y)) / ((b.x) + (d.y)) = (((b.x).w) + ((d.y).w)) / ((b.x) + (d.y)) = (((b.x) + (d.y)).w) / (((b.x) + (d.y)).1) = w/1 = w C.Q.D.

Professor Castanheira Pgina 4

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com COMENTRIOS (CORPO) a) Foi apresentada a caracterizao dos nmeros reais como um corpo e ainda as principais propriedades advindas de tal fato. Tudo que foi dito acima para o corpo dos nmeros reais vale para um corpo qualquer, por exemplo: o corpo dos nmeros racionais e o corpo dos nmeros complexos. O mtodo axiomtico foi utilizado de forma estrita na maior parte do tempo, mas nem sempre, sendo clara exceo quando se disse algo relacionado a potenciao. Os nove axiomas utilizados foram um pouco diferentes dos usuais axiomas de corpo uma vez que incluem embutidas as unicidades dos neutros e dos inversos, bem como a condio de ser sempre diferente de zero o inverso multiplicativo quando existe. Como o aprendizado matemtico nunca se d de forma passiva, recomendamos como complemento os exerccios: i) Retire tais afirmaes embutidas do seio dos axiomas e as prove como propriedades independentes (no desenvolvimento da teoria apresentada tais provas devem constar logo antes da definio da subtrao e da diviso). ii) Todas as concluses tomadas e descritas como imediatas (ou triviais) no texto devem ser cuidadosamente consideradas. iii) As provas apresentadas so mais longas e detalhadas do que de costume, justamente para que possam ser entendidas precisamente. Etapas por acaso omitidas devem ser identificadas como ausentes e construdas. b) A intuio do aluno preparada desde cedo para aceitar os axiomas de comutatividade, associatividade e dos neutros. Ele sabe em seu ser que na soma e no produto de vrios nmeros quaisquer, ele pode permut-los de toda a forma e associ-los como bem entender com a certeza que o resultado sempre se mostrar o mesmo, nico e correto (o que um fato ainda no provado da teoria aqui construda e cuja justificativa fica como exerccio). A distributividade no costuma trazer problemas desde que retomada com diferentes enfoques ao longo do tempo (numrico, algbrico e geomtrico). O inverso multiplicativo normalmente aparece antes do aditivo na matemtica elementar e nos dois casos se recomenda muito cuidado nas suas respectivas apresentaes. De uma maneira geral interessante se (re) visitar a lgebra Geomtrica de Euclides. Cabe salientar ainda que: no se divide por zero (a diviso por zero no est definida) uma vez que o zero no possui inverso multiplicativo. c) A Propriedade I garante que todo nmero real multiplicado por zero igual a zero. d) A Propriedade II mostra como obter o inverso aditivo de qualquer nmero real multiplicando-o por -1. e) A Propriedade III a famosa regra dos sinais da lgebra Elementar. Como vista aqui ela decorre dos apresentados nove axiomas, em particular do axioma de distributividade. e.1) Com efeito, dispensando a Propriedade II e partindo direto para o item a da Propriedade III, temos que para quaisquer nmeros reais x e y: (0).y = 0

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053

(x + (-x)).y = 0 (x.y) + ((-x).y) = 0 E da unicidade do inverso aditivo: (-x).y = -(x.y). Donde se seguem os itens b e c da Propriedade III. e.2) Para um professor explicando a um seu aluno cabe talvez uma prova numrica. Fazendo (por exemplo): x = 2 e y = 5, tm-se que: (0).(5) = 0 ((2) + (-2)).(5) = 0 ((2).(5)) + ((-2).(5)) = 0 E da unicidade do inverso aditivo: (-2).(5) = -((2).(5)) = -10. Donde se seguiriam as demais provas numricas, anlogas s provas dos itens b e c da Propriedade III. f) De uma maneira geral as Propriedades IV a X so todas importantes para a resoluo de equaes, sendo as Propriedades IV e V as fundamentais no assunto. g) A Propriedade VI pode ser enunciada em sua forma geral assim: Um produto de nmeros reais igual a zero se, e somente se, pelo menos um dos nmeros igual a zero. A sua contraposio to til quanto: Um produto de nmeros reais diferente de zero se, e somente se, todos os nmeros so diferentes de zero. h) A Propriedade VII deveras relevante, sendo (curiosamente) uma das mais desprezadas. Muitos simplesmente insistem vez aps vez em no considerar a possibilidade de ser x = 0. i) As Propriedades VIII e IX so bsicas para a resoluo de equaes quadrticas. Em particular a (curiosamente nebulosa para alguns) notao: x = y. j) A Propriedade X garante a existncia e a unicidade da soluo de uma equao linear com a diferente de zero. Propriedade utilizada na demonstrao de algumas das propriedades seguintes. k) A Propriedade XI uma espcie de generalizao da clssica propriedade de simplificao das fraes ordinrias. l) As Propriedades XII e XIII algo que generalizam todas as demais propriedades tradicionais das fraes ordinrias e cobrem ainda todas aquelas propriedades normalmente apresentadas nos captulos de razo e proporo dos antigos compndios de Aritmtica.

Professor Castanheira Pgina 5

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com OS NMEROS REAIS FORMAM UM CORPO ORDENADO Isto quer dizer que existem destacados nmeros reais, chamados de positivos, regidos pelos seguintes dois axiomas: I) Axioma de fechamento: A soma e o produto de quaisquer dois nmeros reais positivos so tambm nmeros reais positivos. II) Axioma de tricotomia: Dado um nmero real x qualquer, tem-se sempre que uma, e somente uma, das seguintes afirmaes verdadeira: a) x positivo (-x negativo) b) x = 0 c) x positivo (x negativo). Definies fundamentais: a) A afirmao x > y (l-se: x maior do que y) equivale a dizer que x y positivo (x y > 0). b) A afirmao x < y (l-se: x menor do que y) equivale a dizer que x y negativo (x y < 0). c) A afirmao x y (l-se: x maior do que ou igual a y) equivale a dizer que: x > y ou x = y. d) A afirmao x y (l-se: x menor do que ou igual a y) equivale a dizer que: x < y ou x = y. Propriedades imediatas: x + (z) > 0 a) Se x um nmero real positivo e y um nmero real negativo, ento: x > 0 > y. Onde a ltima afirmao deve ser entendida (e de modo anlogo todas aquelas deste tipo) do seguinte modo: x > 0 e 0 > y. b) Se x e y so nmeros reais quaisquer, verdadeira uma, e somente uma, das seguintes trs possibilidades: i) x > y ii) x = y iii) x < y Propriedade I: Para todo nmero real x: x2 0. PROVA: Se x igual a zero: x2 = (0)2 = (0).(0) = 0. Se x positivo: x2 = x.x > 0. Se x for negativo, ento x positivo e: x2 = x.x = (-x).(-x) > 0. C.Q.D. x>z C.Q.D.

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Observao importante: Pode se concluir ento que no possvel um nmero real x tal que x2 < 0. Tambm imediato que o nmero real 1 positivo (sendo -1 negativo, claro).Com efeito: 1 = (1).(1) = (1)2 > 0. Propriedade II: Sejam x e y nmeros reais quaisquer: a) Se x > 0 e y > 0 ento x.y > 0. b) Se x > 0 e y < 0 ou x < 0 e y > 0, ento x.y < 0. c) Se x < 0 e y < 0 ento x.y > 0. PROVA: a) Imediato. b) (x).(-y) = (-x).(y) = -(x.y) > 0, donde x.y < 0. c) (-x).(-y) = x.y > 0. C.Q.D. Observao importante: Considerando um nmero real diferente de zero e o seu inverso multiplicativo, ambos so positivos ou ambos so negativos. Propriedade III: Para quaisquer nmeros reais x, y e z se x > y e y > z ento x > z. PROVA: x>yey>z x + (y) > 0 e y + (z) > 0 (x + (y)) + (y + (z)) > 0

Propriedade IV: Para quaisquer nmeros reais x, y e z, so equivalentes as afirmaes: a) x > y e b) x + z > y + z. PROVA: So equivalentes as seguintes afirmaes: x>y x + (-y) > 0 (x + (-y)) + 0 > 0 (x + (-y)) + (z + (-z)) > 0 (x + z) + (-(y + z)) >0 x+z>y+z C.Q.D.

Professor Castanheira Pgina 6

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade V: Para quaisquer nmeros reais x, y e z (z positivo), as seguintes afirmaes so equivalentes: a) x > y e b) x.z > y. z. PROVA: So equivalentes as seguintes afirmaes: x>y x + (-y) > 0 (x + (-y)).z > 0 (x.z) + (-(y.z)) > 0 x.z > y.z C.Q.D. Propriedade VI: Para quaisquer nmeros reais x, y e z (z negativo), as seguintes afirmaes so equivalentes: a) x > y e b) x.z < y. z. PROVA: So equivalentes as seguintes afirmaes: x>y x + (-y) > 0

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Da Propriedade V: x.x > y.x e y.x > y.y E da Propriedade III: x.x > y.y C.Q.D. Observaes importantes: a) Fica como exerccio para o leitor a comparao das ltimas propriedades apresentadas (de III a VIII) envolvendo desigualdades com aquelas correspondentes envolvendo igualdades. b) No foi vista anteriormente a propriedade anloga a ltima Propriedade III apresentada, s que para igualdades. A propriedade omitida se resume ao seguinte fato trivial: Se a = b e b = c ento a = c. c) No foram tambm introduzidas anteriormente as propriedades anlogas as ltimas Propriedades VII e VIII apresentadas, s que para igualdades. Fatos que agora introduzimos e cujas respectivas provas ficam tambm como exerccio: c.1) Para quaisquer nmeros reais z, x, y, x e y so equivalentes as afirmaes: i) x = y e x = y

(x + (-y)).z < 0 ii) x = y e (z.x) + x = (z.y) + y. (x.z) + (-(y.z)) < 0 x.z < y.z C.Q.D. Propriedade VII: Para quaisquer nmeros reais x, y, x e y se x > y e x > y ento x + x > y + y. PROVA: Da Propriedade IV: x + x > y + x e y + x > y + y E da Propriedade III: x + x > y + y C.Q.D. Propriedade VIII: Para quaisquer nmeros reais x, y, x e y se x > y > 0, x > y e x > 0 ento x.x > y.y. PROVA: c.2) Para quaisquer nmeros reais x, y, x e y so equivalentes as afirmaes: i) x = y 0 e x = y ii) x = y 0 e x.x = y.y iii) x = y 0 e x / x = y / y. d) Se x e y so nmeros reais quaisquer as seguintes afirmaes so equivalentes: x > y e x < y. e) As Propriedades de III a VIII permanecem vlidas se trocarmos cada > por um correspondente < e vice-versa, exceto o ltimo > da Propriedade VIII. f) As Propriedades de III a VIII (e as variantes estabelecidas no ltimo item) permanecem vlidas se trocarmos cada > por um correspondente e cada < por um correspondente . g) Demais variaes das Propriedades de III a VIII (e quaisquer propriedades em geral no discutidas neste texto) devem ser estabelecidas e demonstradas vlidas quando necessrias caso a caso.

Professor Castanheira Pgina 7

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade IX: Se x e y so nmeros reais verdade que: a) So equivalentes as afirmaes: 0 < x < y e 0 < 1/y < 1/x b) So equivalentes as afirmaes: 0 < x y e 0 < 1/y 1/x c) So equivalentes as afirmaes: x < 0 < y e 1/x < 0 < 1/y d) So equivalentes as afirmaes: y < x < 0 e 1/x < 1/y < 0 PROVA:

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Propriedade XI: Se x, y, x e y so nmeros reais (com y e y positivos) ento: x/y (x + x) / (y + y) x/y ou x/y (x + x) / (y + y) x/y

Fica para o leitor provar que vale somente de forma simultnea a dupla igualdade e unicamente no caso em que se tem: x/y = x/y. Provaremos o caso de ser x/y < x/y com o caso x/y > x/y ficando para o leitor. a) So equivalentes as afirmaes:

e) So equivalentes as afirmaes: x/y < (x + x) / (y + y) y x < 0 e 1/x 1/y < 0 x.(y + y) < y.(x + x) PROVA: (x.y) + (x.y) < (x.y) + (x.y) a) Basta dividir por x.y (que positivo) a primeira dupla desigualdade. Os detalhes ficam como exerccio. b) Idem. c) Dizer que um nmero diferente de zero positivo (respectivamente negativo) o mesmo que dizer que o seu inverso multiplicativo positivo (respectivamente negativo). Donde decorre imediatamente o resultado. d) Como na prova de a. (x.y) + (x.y) < (x.y) + (x.y) e) Idem. x.y < x.y C.Q.D. x/y < x/y Propriedades imediatas: Fica como exerccio provar que, se x um nmero real, verdade que: a) So equivalentes as afirmaes: 0 < x < 1 e 1 < 1/x b) So equivalentes as afirmaes: 0 < x 1 e 1 1/x c) So equivalentes as afirmaes: -1 < x < 0 e 1/x < -1 a) So equivalentes as afirmaes: d) So equivalentes as afirmaes: -1 x < 0 e 1/x -1 Propriedade X: Se x e y so nmeros reais, so equivalentes as afirmaes: x2 + y2 = 0 e x = y = 0. PROVA: Considerando x2 = -(y2), o primeiro membro positivo ou zero, enquanto o segundo negativo ou zero. Logo a nica forma de valer a igualdade se ter x = y = 0. A recproca trivial. C.Q.D. PROVA: uma conseqncia da Propriedade VIII, os detalhes ficando para o leitor como exerccio. C.Q.D. x < y e x 2 < y 2. b) So equivalentes as afirmaes: x y e x2 y2. De a e b tem-se o resultado desejado. C.Q.D. Propriedade XII: Se x e y so nmeros reais no negativos: x.y < x.y x/y < x/y b) So equivalentes as afirmaes: (x + x) / (y + y) < x/y y.(x + x) < x.(y + y)

Professor Castanheira Pgina 8

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade XIII: Se x e y so nmeros reais (sendo Min (a, b) o menor valor dentre a e b, Max (a, b) o maior valor dentre a e b e sendo necessariamente garantido que Min (a, a) = Max (a, a) = a) verdade que: a) So equivalentes as afirmaes: Min (y, -y) < x < Max (y, -y) e x2 < y2 b) So equivalentes as afirmaes: x < Min (y, -y) ou x > Max (y, -y) e x2 > y2 PROVA: a) So equivalentes as afirmaes: x2 < y2 x2 y2 < 0 (x + y).(x y) < 0 (x < -y e x > y) ou (x < y e x > -y)

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Conseqncias imediatas: Existem pelo menos mais duas definies alternativas para valor absoluto de um nmero real (ficando para o leitor provar a equivalncia das trs definies aqui apresentadas): a) x = Max (x, -x) b) x = - Min (x, -x) Propriedades imediatas: Fica como exerccio provar que se x e y so nmeros reais quaisquer e n um nmero natural qualquer ento: a) x 0 b) x = 0 equivale a x = 0 c) x = x equivale a x 0 d) x x -x e) x.y = x. y f) x/y = x/ y (y 0) g) xn = xn h) xn = xn (n par) Propriedade XIV: Se x e y so nmeros reais verdade que: a) So equivalentes as afirmaes:

Min (y, -y) < x < Max (y, -y) b) So equivalentes as seguintes afirmaes: x2 > y2 x y >0 (x + y).(x y) > 0 (x < -y e x < y) ou (x > y e x > -y) x < Min (y, -y) ou x > Max (y, -y) C.Q.D. Definio (valor absoluto de um nmero real): O valor absoluto (x) de um nmero real x qualquer (um nmero real) definido da seguinte forma: i) x = x, se x > 0 ii) x = 0, se x = 0 iii) x = -x, se x < 0
2 2

x2 = y2 e x = y b) So equivalentes as afirmaes: x2 > y2 e x > y c) So equivalentes as afirmaes: x2 < y2 e x < y PROVA: Se pelo menos um dos dois nmeros for igual a zero as equivalncias so de fcil verificao o que fica a cargo do leitor. Prossigamos supondo que ambos os nmeros so diferentes de zero. a) So afirmaes equivalentes: x = y x2 = y2 x2 = y2 b) e c) Seguem anlogas (ficando como exerccio) C.Q.D.
Professor Castanheira Pgina 9

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade XV: Se x e y so nmeros reais (com y no negativo) verdade que: a) So equivalentes as afirmaes: x=y e x = y b) So equivalentes as afirmaes: x < -y ou x > y e x > y c) So equivalentes as afirmaes: -y < x < y e x < y PROVA: a) So equivalentes as afirmaes: x = y x = y x =y
2 2

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Observao importante: Uma conseqncia importante do item a da ltima propriedade que x o nico nmero real no negativo cujo quadrado igual a x2. Propriedade XVI (Desigualdade triangular): Se x e y so nmeros reais quaisquer: a) x + y x + y b) x - y x + y c) x - y x - y x + y d) x - y x - y x - y PROVA: a) So equivalentes as afirmaes: x + y x + y (x + y)2 (x + y)2 (x + y)2 (x + y)2 (x2 + y2) + (2.(x.y)) (x2 + y2) + (2.(x.y)) (x2 + y2) + (2.(x.y)) (x2 + y2) + (2.(x.y)) 2.(x.y) 2.(x.y) x.y x.y Que uma afirmao sempre verdadeira para quaisquer nmeros reais x e y. b) Basta trocar y por y em a. c) Use o item a. d) Basta trocar y por y em c. C.Q.D. Outras propriedades: Fica como exerccio provar que dados quaisquer nmeros reais no negativos x e y e um nmero natural n verdade que: a) x = y equivale a xn = yn b) x > y equivale a xn > yn c) x < y equivale a xn < yn d) O item a tambm verdadeiro no caso de x e y serem ambos no positivos. e) Os itens b e c so tambm verdadeiros no caso de x e y serem ambos no positivos desde que invertamos o sentido das segundas respectivas desigualdades se n for par.
Professor Castanheira Pgina 10

x=y b) So equivalentes as afirmaes: x > y x > y x2 > y2 x < Min (y, -y) ou x > Max (y, -y) x < -y ou x > y c) So equivalentes as afirmaes: x < y x < y x2 < y2 Min (y, -y) < x < Max (y, -y) -y < x < y C.Q.D.

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com COMENTRIOS (CORPO ORDENADO) a) Foi apresentada a caracterizao dos nmeros reais como um corpo ordenado e ainda as principais propriedades advindas de tal fato. Tudo que foi dito acima para o corpo ordenado dos nmeros reais vale para um corpo ordenado qualquer, por exemplo: o corpo ordenado dos nmeros racionais. O mtodo axiomtico foi utilizado de forma estrita na maior parte do tempo, mas nem sempre, sendo uma clara exceo quando se falou algo relacionado a potenciao. Os axiomas utilizados foram os tradicionais. Como o aprendizado matemtico nunca se d de forma passiva, recomendamos como complemento os seguintes exerccios: i) Todas as concluses tomadas e descritas como imediatas (ou triviais) no texto devem ser cuidadosamente consideradas. ii) As provas apresentadas so mais longas e detalhadas do que de costume, justamente para que possam ser entendidas precisamente. Etapas por acaso omitidas devem ser identificadas como ausentes e construdas. b) Que no fique dvidas quanto a possveis mltiplas definies, quando da apresentao das Definies fundamentais acima. Por exemplo: x > y equivale a dizer que x y positivo e por outro lado x y > 0 equivale a ser (x y) 0 = x y positivo. Logo estamos usando uma simples equivalncia e no oferecendo outra definio. c) A Propriedade I garante que em qualquer corpo ordenado um quadrado nunca negativo. d) A Propriedade II uma forma mais forte da regra dos sinais. e) A Propriedade III expressa transitividade. f) De uma maneira geral as Propriedades IV a VI so as fundamentais para a resoluo de inequaes. Tenha em mente que uma inequao qualquer sempre muito mais difcil do que a equao que lhe correspondente. Muito cuidado com o ensino de inequaes (de qualquer tipo). g) As Propriedades VII e VIII so teis em demonstraes (e so duas nas quais os alunos sentem muita insegurana em particular). Mas sempre tenha em mente que elas no so equivalncias. h) A Propriedade IX traz inmeros itens muito simples que devem ser muito bem entendidos para se dar o estudo de potenciao. i) A Propriedade X pode ser lida de maneira geral como: Uma soma de quadrados de nmeros reais igual a zero se, e somente se, cada um dos nmeros igual a zero. j) A Propriedade XI pode ser lida de forma geral como: Dados vrios quocientes de nmero reais, o quociente da soma dos seus primeiros termos e da soma dos seus segundos termos (todos positivos) sempre maior do que ou igual ao menor quociente dado e menor do que ou igual ao maior quociente dado.

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 k) A Propriedade XII importante no estudo introdutrio das chamadas inequaes irracionais. Desta propriedade em diante no texto foi utilizado implicitamente o seguinte fato: Se x e y so nmeros reais no negativos ento so equivalentes as afirmaes: x = y e x2 = y2. l) A Propriedade XIII traz o resultado mais geral a respeito do assunto que trata e se conecta naturalmente ao tpico de valor absoluto logo a seguir. Valor absoluto assunto em que os alunos costumam ter dificuldade, mxima ateno nas Propriedades XIV e XV que fazem uma espcie de conexo quadrtica com o mesmo. A Propriedade XVI traz a mais importante propriedade de valor absoluto, a Desigualdade Triangular. m) Aqui neste item iremos nos referir a uma coleo arbitrria de nmeros reais (com pelo menos um nmero) que denominaremos por A: m.1) Diremos que A limitada superiormente (inferiormente) se existir um nmero real, dito uma cota superior (cota inferior) de A, que seja maior do que (menor do que) ou igual a qualquer nmero de A. Uma cota (superior ou inferior) no precisa ser um dos nmeros de A. Uma dada coleo A no precisa ter uma cota superior (cota inferior), mas se tiver uma ter infinitas, uma vez que todo nmero real maior do que (menor do que) tal cota superior (cota inferior) tambm ser uma cota superior (cota inferior). Diremos ainda que A limitada se for limitada superiormente e inferiormente ao mesmo tempo. m.2) Diremos que A possui um mximo (mnimo) se existir um nmero real em A, dito um mximo (mnimo) de A, que seja maior do que (menor do que) ou igual a qualquer nmero de A. Mximo (mnimo) de A necessariamente um dos nmeros de A. Mximo (mnimo) quando existe sempre nico. Mximo (mnimo) quando existe sempre a menor cota superior (a maior cota inferior) de A. m.3) Chamaremos de supremo de A, a menor das suas cotas superiores e nfimo de A, a maior das suas cotas inferiores. Supremo (nfimo) de A no necessariamente um dos nmeros de A. Supremo (nfimo) quando existe sempre nico. Mximo (mnimo) de A quando existe tambm supremo (nfimo) de A. Se A no tem mximo (mnimo), mas tem supremo (nfimo), ento este ltimo maior do que (menor do que) qualquer nmero de A. m.4) A coleo de todos os nmeros reais positivos no tem cota superior, mximo e nem supremo, por outro lado limitada inferiormente (qualquer nmero real menor do que ou igual a zero uma cota inferior), no possui mnimo, mas tem o zero como nfimo. m.5) A coleo de todos os nmeros reais menores do que ou iguais a um no tem cota inferior, mnimo e nem nfimo, por outro lado limitada superiormente (qualquer nmero real maior do que ou igual a um uma cota superior) e tem mximo e supremo ambos iguais a um.

Professor Castanheira Pgina 11

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com OS NMEROS REAIS FORMAM UM CORPO ORDENADO COMPLETO Isto quer dizer que alm dos nmeros reais constiturem um corpo ordenado como aqui j estabelecido, eles ainda so regidos pelo seguinte axioma: Axioma do supremo: Toda coleo de nmeros reais (com pelo menos um nmero) limitada superiormente possui supremo. Propriedade do nfimo: Fica para o leitor provar (a partir do axioma do supremo) que: Toda coleo de nmeros reais (com pelo menos um nmero) limitada inferiormente possui nfimo. Observao importante: As duas ltimas proposies aludidas so equivalentes (prove isto!). Poderamos ter chamado a segunda de Axioma do nfimo e a primeira de Propriedade do supremo (e agido de acordo) sem prejuzo algum para o que se segue. Propriedade I: Se dado qualquer nmero real positivo a existir um nmero real positivo x tal que x2 = a (l-se: o quadrado de x igual a a), ento x nico. PROVA: Se existirem dois nmeros reais positivos (x e y) tais que x2 = a e y2 = a ento x = y, uma vez que sabemos que as afirmaes x2 = y2 e x = y so equivalentes neste caso. C.Q.D. Propriedade II: Dado qualquer nmero real positivo a existe um nico nmero real positivo x tal que x2 = a. PROVA: Suponhamos a diferente de um, uma vez que o caso em que a = 1 trivial (Justifique!). Seja F a coleo de todos os nmeros reais positivos cujo quadrado menor do que a. Seja f um nmero genrico de F. A coleo F possui sempre pelo menos um nmero (Min (1, a)). Seja E a coleo de todos os nmeros reais positivos cujo quadrado maior do que a. Seja e um nmero genrico de E. A coleo E possui sempre pelo menos um nmero (Max (1, a)). Do que foi apresentado, f2 < a < e2, o que implica f2 < e2 e por ltimo f < e. Donde se conclui que F limitada superiormente e possui supremo (Sup (F)) e E limitada inferiormente e possui nfimo (Inf (E)). A prova dividida em trs etapas ordenadas de maneira pouco usual. O resultado propriamente dito estabelecido logo na primeira parte e usa dois fatos que somente so estabelecidos nas duas partes seguintes respectivamente. Se preferir a ordem linear, veja as partes (ii) e (iii) primeiro e depois a concluso na parte (i).

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 i) Se F no tem mximo e E no tem mnimo ento x = Sup (F) = Inf (E). Se F no tem mximo ento a (Sup (F))2. Se E no tem mnimo ento (Inf (E))2 . a Logo: (Inf (E))2 . a (Sup (F))2 No se pode ter (Inf (E))2 < a o que levaria a uma cota inferior maior do que o nfimo (o que se mostra de modo anlogo a ser impossvel ter F um mximo). Absurdo! Tambm no possvel a < (Sup (F))2 o que conduziria a uma cota superior menor do que o supremo (o que se mostra de modo anlogo a ser impossvel ter E um mnimo). Absurdo! Logo: Sup (F) = Inf (E) e (Sup (F))2 = (Inf (E))2 = a. Com base no que acabou de ser estabelecido podemos concluir que existe um nmero real positivo (que j sabemos ser nico) x = Sup (F) = Inf (E), tal que x2 = (Sup (F))2 = (Inf (E))2 = a. ii) F no tem mximo. Isto equivale a dizer que no se pode ter um dado f como mximo de F, sendo sempre possvel construir f + > f em F (onde um nmero real positivo). Para provar isto analiticamente basta exibir, para todo f dado, um tal que f2 < (f + )2 < a. Se 0 < < 1 ento (f + )2 < f2 + .(2.f + 1) Se 0 < < (a f2) / (2.f + 1) ento f2 + .(2.f + 1) < a Pondo 0 < < Min (1, (a f2) / (2.f + 1)), a condio (f + )2 < a com certeza satisfeita. iii) E no tem mnimo. Isto equivale a dizer que no se pode ter um dado e como mnimo de E, sendo sempre possvel construir e - < e em E (onde um nmero real positivo e menor do que e). Para provar isto analiticamente basta exibir, para todo e dado, um tal que a < (e - )2 < e2 . Se 0 < < 1 ento e2 .(2.e) < (e - )2 Se 0 < < (e2 a) / (2.e) ento a < e2 .(2.e) Pondo 0 < < Min (1, (e2 a) / (2.e)), a condio a < (e - )2 com certeza satisfeita. C.Q.D.

Professor Castanheira Pgina 12

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade III: Se dado qualquer nmero real positivo a existir um nmero real positivo x tal que x3 = a (l-se: o cubo de x igual a a), ento x nico. PROVA: Se existirem dois nmeros reais positivos (x e y) tais que x3 = a e y3 = a ento x = y, uma vez que sabemos que as afirmaes x3 = y3 e x = y so equivalentes neste caso. C.Q.D. Propriedade IV: Dado qualquer nmero real positivo a existe um nico nmero real positivo x tal que x3 = a. PROVA: Suponhamos a diferente de um, uma vez que o caso em que a = 1 trivial (Justifique!). Seja F a coleo de todos os nmeros reais positivos cujo cubo menor do que a. Seja f um nmero genrico de F. A coleo F possui sempre pelo menos um nmero (Min (1, a)). Seja E a coleo de todos os nmeros reais positivos cujo cubo maior do que a. Seja e um nmero genrico de E. A coleo E possui sempre pelo menos um nmero (Max (1, a)). Do que foi apresentado, f3 < a < e3, o que implica f3 < e3 e por ltimo f < e. Donde se conclui que F limitada superiormente e possui supremo (Sup (F)) e E limitada inferiormente e possui nfimo (Inf (E)). A prova dividida em trs etapas ordenadas de maneira pouco usual. O resultado propriamente dito estabelecido logo na primeira parte e usa dois fatos que somente so estabelecidos nas duas partes seguintes respectivamente. Se preferir a ordem linear, veja as partes (ii) e (iii) primeiro e depois a concluso na parte (i). i) Se F no tem mximo e E no tem mnimo ento x = Sup (F) = Inf (E). Se F no tem mximo ento a (Sup (F))3. Se E no tem mnimo ento (Inf (E))3 . a Logo: (Inf (E))3 . a (Sup (F))3 No se pode ter (Inf (E))3 <. a o que levaria a uma cota inferior maior do que o nfimo (o que se mostra de modo anlogo a ser impossvel ter F um mximo). Absurdo! Tambm no possvel a < (Sup (F))3 o que conduziria a uma cota superior menor do que o supremo (o que se mostra de modo anlogo a ser impossvel ter E um mnimo). Absurdo! Logo: Sup (F) = Inf (E) e (Sup (F))3 = (Inf (E))3 = a.

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Com base no que acabou de ser estabelecido podemos concluir que existe um nmero real positivo (que j sabemos ser nico) x = Sup (F) = Inf (E), tal que x3 = (Sup (F))3 = (Inf (E))3 = a. ii) F no tem mximo. Isto equivale a dizer que no se pode ter um dado f como mximo de F, sendo sempre possvel construir f + > f em F (onde um nmero real positivo). Para provar isto analiticamente basta exibir, para todo f dado, um tal que f3 < (f + )3 < a. Se 0 < < 1 ento (f + )3 < f3 + .(3.f2 + 3.f + 1) Se 0 < < (a f3) / (3.f2 + 3.f + 1) ento: f3 + .( 3.f2 + 3.f + 1) < a Pondo 0 < < Min (1, (a f3) / (3.f2 + 3.f + 1)), a condio (f + )3 < a com certeza satisfeita. iii) E no tem mnimo. Isto equivale a dizer que no se pode ter um dado e como mnimo de E, sendo sempre possvel construir e - < e em E (onde um nmero real positivo e menor do que e). Para provar isto analiticamente basta exibir, para todo e dado, um tal que a < (e - )3 < e3. Se 0 < < 1 ento e3 .(3.e2 + 1) < (e - )2 Se 0 < < (e3 a) / (3.e2 + 1) ento a < e3 .(3.e2 + 1) Pondo 0 < < Min (1, (e3 a) / (3.e2 + 1)), a condio a < (e - )3 com certeza satisfeita. C.Q.D. Propriedade V: Se dado qualquer nmero real positivo a existir um nmero real positivo x tal que xn = a (l-se: a ensima potncia de x igual a a),onde n um nmero natural qualquer, ento x nico. PROVA: Se existirem dois nmeros reais positivos (x e y) tais que xn = a e yn = a ento x = y, uma vez que sabemos que as afirmaes xn = yn e x = y so equivalentes neste caso. C.Q.D.

Professor Castanheira Pgina 13

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com Propriedade VI: Dado qualquer nmero real positivo a existe um nico nmero real positivo x tal que xn = a (onde n um nmero natural maior do que um). PROVA: Suponhamos a diferente de um, uma vez que o caso em que a = 1 trivial (Justifique!). Seja F a coleo de todos os nmeros reais positivos cuja ensima potncia menor do que a. Seja f um nmero genrico de F. A coleo F possui sempre pelo menos um nmero (Min (1, a)). Seja E a coleo de todos os nmeros reais positivos cuja ensima potncia maior do que a. Seja e um nmero genrico de E. A coleo E possui sempre pelo menos um nmero (Max (1, a)). Do que foi apresentado, fn < a < en, o que implica fn < en e por ltimo f < e. Donde se conclui que F limitada superiormente e possui supremo (Sup (F)) e E limitada inferiormente e possui nfimo (Inf (E)). A prova dividida em trs etapas ordenadas de maneira pouco usual. O resultado propriamente dito estabelecido logo na primeira parte e usa dois fatos que somente so estabelecidos nas duas partes seguintes respectivamente. Se preferir a ordem linear, veja as partes (ii) e (iii) primeiro e depois a concluso na parte (i). i) Se F no tem mximo e E no tem mnimo ento x = Sup (F) = Inf (E). Se F no tem mximo ento a (Sup (F))n. Se E no tem mnimo ento (Inf (E))n . a Logo: (Inf (E))n . a (Sup (F))n No se pode ter (Inf (E))n <. a o que levaria a uma cota inferior maior do que o nfimo (o que se mostra de modo anlogo a ser impossvel ter F um mximo). Absurdo! Tambm no possvel a < (Sup (F))n o que conduziria a uma cota superior menor do que o supremo (o que se mostra de modo anlogo a ser impossvel ter E um mnimo). Absurdo! Logo: Sup (F) = Inf (E) e (Sup (F))n = (Inf (E))n = a. Com base no que acabou de ser estabelecido podemos concluir que existe um nmero real positivo (que j sabemos ser nico) x = Sup (F) = Inf (E), tal que xn = (Sup (F))n = (Inf (E))n = a. ii) F no tem mximo. Isto equivale a dizer que no se pode ter um dado f como mximo de F, sendo sempre possvel construir f + > f em F (onde um nmero real positivo).

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 Para provar isto analiticamente basta exibir, para todo f dado, um tal que fn < (f + )n < a. Se 0 < < 1 ento (f + )n < fn + .K (*) Se 0 < < (a fn) / K ento fn + .K < a Pondo 0 < < Min (1, (a fn) / K), a condio (f + )n < a com certeza satisfeita. (*) Fica como exerccio para o leitor provar que existe o nmero real positivo K (independente de ) que satisfaz tal condio (Sugesto: Prove por induo!). iii) E no tem mnimo. Isto equivale a dizer que no se pode ter um dado e como mnimo de E, sendo sempre possvel construir e - < e em E (onde um nmero real positivo e menor do que e). Para provar isto analiticamente basta exibir, para todo e dado, um tal que a < (e - )n < en. Se 0 < < 1 ento en .K < (e - )n (**) Se 0 < < (en a) / K ento a < en .K Pondo 0 < < Min (1, (en a) / K), a condio a < (e - )n com certeza satisfeita. (**) Fica como exerccio para o leitor provar que existe o nmero real positivo K (independente de ) que satisfaz tal condio (Sugesto: Prove por induo!). C.Q.D. Observaes Importantes: a) Dado a negativo e n mpar, existe um nico nmero real positivo y tal que yn = a, o que equivale a se ter um nico nmero real negativo x = y tal que xn = a. A concluso que dado um nmero natural mpar arbitrrio (n) e um nmero real qualquer (a) existe um nico nmero real x tal que xn = a e sempre com x.a 0 (valendo a igualdade somente quando a = 0). b) Dado a positivo e n par, existe um nico nmero real positivo y tal que yn = a, e tambm existe um nico nmero real negativo y tal que (y)n = a. A concluso que dado um nmero natural par arbitrrio (n) e um nmero real positivo qualquer (a) existem exatamente dois distintos valores reais para x (um sendo o inverso aditivo do outro) que satisfazem a: xn = a. c) Se a = 0 no item anterior, existe um nico x (x = 0) tal que xn = a. d) Os trs itens anteriores preparam o caminho para o estudo completo de potenciao.
Professor Castanheira Pgina 14

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com e) Podemos destacar certos nmeros reais, que chamaremos inicialmente de nmeros naturais, partindo das seguintes bvias desigualdades: 0<1 1<1+1 1+1<1+1+1 1+1+1<1+1+1+1 E assim por diante. Estes nossos nmeros naturais so ento os seguintes: 1 1+1 1+1+1 1+1+1+1 ... Pode se provar (o que fica como exerccio de pesquisa) que tais nmeros naturais podem ser identificados com os nmeros naturais (descrito de modo informal faz se corresponder simplesmente: 1 com 1, 1 + 1 com 2, 1 + 1 + 1 com 3, 1 + 1 + 1 + 1 com 4 etc.) e se relacionam entre si do mesmo modo que aqueles outros. Posto isto, cometeremos um certo abuso de linguagem e chamaremos a partir de agora estes nossos nmeros naturais simplesmente de nmeros naturais e, neste sentido, diremos que todo nmero natural um nmero real. Destacamos ainda os nmeros reais constitudos pela reunio de todos os nmeros naturais, todos os seus respectivos inversos aditivos e o zero. Identificaremos tais nmeros com os nmeros inteiros, chamando-os da mesma maneira. E neste sentido diremos que todo nmero natural um nmero inteiro e que todo nmero inteiro um nmero real. Reunindo todos os quocientes da forma m/n (onde m um nmero inteiro e n um nmero natural), caracterizamos nmeros reais que identificaremos com os nmeros racionais, chamando-os da mesma maneira. E neste sentido, diremos que todo nmero natural um nmero inteiro, todo nmero inteiro um nmero racional e todo nmero racional um nmero real. (Que tenha sido notado pelo leitor do que foi mostrado que existem infinitos nmeros: naturais, inteiros, racionais e reais.) Existem infinitos nmeros reais que no so racionais (que chamaremos de irracionais), como o prprio leitor ir concluir aps fazer os seguintes: Exerccios Dirigidos.

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 f) Exerccio Dirigido: Se m e n so nmeros naturais quaisquer prove que: f.1) So equivalentes as afirmaes: m par e m2 par. f.2) So equivalentes as afirmaes: m mpar e m2 mpar. f.3) So equivalentes as afirmaes: m par e m2 mltiplo de quatro. f.4) Se m e n so primos entre si impossvel ser m2/n2 =2. f.5) No existe nmero racional positivo r, tal que r2 = 2. g) Exerccio Dirigido: Com base no que foi estabelecido no item anterior, conclua que o nmero real positivo x tal que x2 = 2 no um nmero racional positivo. Ele um exemplo de nmero irracional positivo. (Considerando o item anterior e o desenvolvimento da Propriedade II acima s que agora com as colees F e E constitudas de nmeros racionais positivos e sendo a = 2, fica claro nestas condies que F no tem por supremo um nmero racional e E no tem por nfimo um nmero racional. Isto constitui uma deficincia dos nmeros racionais, que formam sim um corpo ordenado, porm no completo) h) Exerccio Dirigido: Prove que dado qualquer nmero primo (p), o nmero real positivo x, tal que xn = p (onde n um nmero natural maior do que um qualquer), irracional. Conclua que existem infinitos irracionais positivos. Tome os inversos aditivos de tais nmeros e conclua ento que existem infinitos irracionais negativos. i) Prove que entre quaisquer dois nmeros reais (racionais) distintos existem infinitos nmeros reais (racionais). j) Prove que entre quaisquer dois nmeros inteiros (naturais) distintos, existe somente um nmero finito de nmeros inteiros (naturais). k) Prove ainda que se o valor absoluto da diferena de dois nmeros inteiros (naturais) igual a um, no existe nmero inteiro (natural) entre os mesmos. l) Prove que so equivalentes as seguintes trs afirmaes: l.1) No existe nmero real maior do que todo nmero natural. l.2) Dados os nmeros reais x e y (com y positivo), existe um nmero natural n tal que n.y > x. l.3) Dado o nmero real positivo y, existe um nmero natural n tal que 0 < 1/n < y. m) Prove que dados dois nmeros reais distintos quaisquer existem infinitos nmeros racionais e tambm infinitos nmeros irracionais entre os mesmos.

Professor Castanheira Pgina 15

PROFESSOR CASTANHEIRA EMAIL: lccs1701@yahoo.com COMENTRIOS (CORPO ORDENADO COMPLETO) a) Foi apresentada enfim a caracterizao dos nmeros reais como um corpo ordenado completo, enfatizando a propriedade do supremo (e do nfimo). Como exemplo concreto da aplicao de tal propriedade (que para muitos parece realmente no inteligvel e no aplicvel em um primeiro momento) optou-se por introduzir a clssica fundamentao terica para o estudo inicial da operao de radiciao, presumido a ser feito logo a seguir. Recomenda-se afinco do leitor nos trs casos tratados (da igualdade xn = a), primeiro com n = 2, depois n = 3 e finalmente um n qualquer. Elimine todas as dvidas desta etapa antes de seguir em frente, isto crucial. (Na apresentao dos fundamentos da radiciao como descrito logo acima, foram colocados dois casos particulares e depois o geral, para que a repetio traga justamente uma maior clareza aos pouco acostumados a raciocnios deste tipo. Dentro de cada uma das demonstraes deixada a possibilidade de se estudar os fatos em duas diferentes ordens, mais uma vez procurando esclarecer a metodologia usada para os no iniciados. Por outro lado, um leitor mais crtico poderia dizer que necessrio apenas uma das colees F e E em cada caso. Isto verdade, mas no se pode escapar da dupla desigualdade subjacente mesmo assim, logo preferimos utilizar sempre as duas colees no somente devido a bela simetria, mas tambm por expandir o vocabulrio do leitor.) b) Sob o nome de Observaes Importantes foram tratados de vrios tpicos. Os quatro primeiros itens versam sobre a preparao final para o estudo de potenciao (a radiciao faz parte de tal estudo, reparem) na seqncia. O item e faz as identificaes numricas usuais que esperamos tenham ressonncia com a bagagem prvia do leitor, sendo mais importante aqui entender as linhas gerais do que falado do que completar os detalhes tcnicos deixados como exerccio (ainda que tudo que for deixado como tal deva ser feito eventualmente mesmo assim). Os itens f, g e h formam um trabalho dirigido crucial para o bom entendimento de tudo que foi tratado nesta ltima parte, tomando como ponto de partida a alegada descoberta dos Pitagricos de que a raiz quadrada positiva de dois no um nmero racional, o que fica para ser provado em tal exerccio guiado e muito mais. Os fatos mencionados nos itens de i a m devem ser familiares ao leitor, suas provas no so difceis, sendo a mais rebuscada a do item m. Este ltimo diz basicamente que os nmeros racionais (e tambm os irracionais) so densos nos nmeros reais. (Aos realmente curiosos por detalhes a respeito do item e, existe sim uma correspondncia biunvoca, chamada tecnicamente de isomorfismo, entre os nmeros naturais, como denominados no texto, e os nmeros naturais. Este isomorfismo preserva as operaes de adio e multiplicao, bem como a relao menor do que. Os detalhes, mais uma vez, ficam a cargo do leitor)

INTRODUO AOS NMEROS REAIS TELEFONE: (0XX21) 33504053 (O item f orienta o leitor na demonstrao do fato que a raiz quadrada positiva de dois no um nmero racional, tal prova guiada no utiliza em sua concepo a reduo ao absurdo como usual em quase todos os livros disponveis. Cabe ao leitor fazer o desenvolvimento. Antes, porm, recorde o que nmero natural par e mpar, o que um nmero natural mltiplo de outro natural e tambm o que so nmeros naturais primos entre si.) (Para desenvolver o item h recomendado que o leitor faa uma reviso do assunto nmeros primos, em particular do fato que existem infinitos primos e tambm do Teorema Fundamental da Aritmtica.) (Desenvolvimento do item i: Consideremos dois nmeros reais (racionais) distintos a e b tais que a < b (sem perda de generalidade). verdade (verifique isto!) que a recorrncia x1 = (a + b)/2 e x(n + 1) = ((xn) + b)/2) gera infinitos nmeros reais (racionais) entre a e b, e que ainda satisfazem a condio: a < ... < x1 < x2 < x3 < ... < xn < x(n + 1) < ... < b.) Finalizando... O presente texto (considerado no seu todo) apresenta uma introduo aos nmeros reais cobrindo todos os fundamentos necessrios (sob um ponto de vista algbrico) ao Ensino e a Aprendizagem da lgebra do Ensino Fundamental. Tal enfoque tendo que ser complementado eventualmente pelas correspondentes vises numrica e geomtrica do assunto. Supomos que o leitor tenha acabado de fazer uma reviso de tpicos incluindo: noes de lgica, linguagem de conjuntos e tcnicas de demonstrao. Uma bvia continuao para os contedos aqui tratados seria um estudo inicial da operao de potenciao, mesmo daquelas potncias cuja base um nmero real positivo e o expoente um nmero irracional. Este material particularmente destinado a Alunos de Licenciatura e Professores de Matemtica e demais entusiastas da Rainha das Cincias. Aqui os interessados encontram um exemplo da utilizao do mtodo axiomtico ainda que no se objetive em ltima instncia um completo rigor. Vrias tcnicas de demonstrao so utilizadas e apresentada uma grande gama de construes de provas. Recomenda-se que o leitor refaa os desenvolvimentos oferecidos e depois crie os prprios como uma ltima etapa. Um j grande (e assustadoramente maior a cada ano) nmero de pessoas no consegue aceitar muito bem qualquer tipo de tpico envolvendo demonstraes. Alguns simplesmente as odeiam, outros tm extrema dificuldade nas mesmas e outros ainda no tem a menor idia do que se trata. Neste nvel especialmente, alguns resistem por no quererem demonstrar o bvio. Se forem incapazes de justificar o bvio, o que sero capazes de provar ento? Pessoa do meio, porm sem entendimento do mtodo axiomtico, estar eternamente condenada a uma conduta meramente utilitria, incapaz de explicar aquilo j estabelecido e ser vastamente inadequada a desenvolver algo de fato novo. Abracem as demonstraes, os benefcios vo muito alm do campo Matemtico. Acreditem!

Professor Castanheira Pgina 16