CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / Este trabalho tem como objetivo mostrar que o conjunto dos nÃmeros reais à um corpo ordenado completo e que, a menos de um isomorfismo, à Ãnico. Este trabalho à voltado para todos aqueles que tenham interesse em MatemÃtica, sobretudo, para os professores de MatemÃtica do ensino mÃdio que utilizam as propriedades do conjunto dos nÃmeros reais sem conhecer a teoria matemÃtica envolvida. Para tanto, à necessÃrio caracterizar o conjunto dos reais a fim de provar suas propriedades. Aqui, utilizamos duas construÃÃes, a saber: os reais via sequÃncias de Cauchy devido a Cantor e os reais via Cortes de Dedekind. A partir dessas caracterizaÃÃes, conseguimos construir um corpo K munido das operaÃÃes de soma e multiplicaÃÃo onde mostramos que ele cumpre as condiÃÃes da definiÃÃo de corpo. Definida uma relaÃÃo de ordem em K, mostramos que tal corpo à ordenado e, alÃm disso, conseguimos mostrar que todo subconjunto de K admite supremo, o que quer dizer que tal corpo à completo. Finalmente, mostramos que qualquer outro corpo ordenado completo que possa, por ventura, existir à uma mera caracterizaÃÃo de ℝ, o que quer dizer que ℝ à Ãnico, a menos dessas possÃveis outras caracterizaÃÃes. Tal caracterizaÃÃo serà chamada de isomorfismo que à uma funÃÃo bijetora de ℝ para K. / This work aims to show that the set of real numbers is a complete ordered field that, within an isomorphism, is unique. This work is aimed at all those who are interested in mathematics, especially for that high school math teacher who uses the real numbers of the set of properties without knowing the mathematical theory involved. Therefore, it is necessary to characterize the set of the real in order to prove their properties. Here, we use two buildings, namely: the real via Cauchy sequences due to Cantor and the real via Dedekind cuts. From these characterizations, we can build a field K equipped with the addition and multiplication operations which show that it meets the definition of field conditions. Set an order relation in K, we show that such a body is ordered and in addition, we show that every subset of K admits supreme, which means that such a field is complete. Finally, we show that any complete ordered field that can, perchance appear is a mere characterization of ℝ, which means that ℝ is unique, unless these possible other characterizations. This characterization will be called isomorphism which is a function bijetora of ℝ to K.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / O trabalho traz inicialmente uma abordagem histÃrica, da GrÃcia (com os pitagÃricos), com o matemÃtico Eudoxo, fazendo referÃncia a talvez à maior obra matemÃtica, os livros de Euclides. Em seguida, trazemos definiÃÃes e construÃÃes sobre os nÃmeros reais com um corpo completo, os conceitos de Ãnfimo, supremo, sequÃncias infinitas com destaque as convergentes, sequÃncia de Cauchy e os trÃs teoremas fundamentais para o curso de cÃlculo, o teorema do anulamento, do valor intermediÃrio e de Weierstrass. Logo apÃs, definimos mÃtrica e espaÃo mÃtrico no plano, mostramos que o processo de comparar um segmento arbitrÃrio com outro fixado como unidade nos conduz aos diversos tipos de nÃmeros reais positivos: inteiros, racionais e irracionais, onde a noÃÃo de segmento comensurÃvel à explicada. O cÃlculo de Ãrea para figuras planas, onde sÃo apresentadas as fÃrmulas usuais para as Ãreas dos polÃgonos mais simples, apresentamos uma aplicaÃÃo, a fÃrmula de Pick, sem demonstraÃÃo do teorema, simples, divertida, prÃtica e eficiente para o cÃlculo de Ãrea, um conteÃdo da disciplina de matemÃtica presente em todo o ensino bÃsico do Brasil sempre presente em avaliaÃÃes externas como a OBMEP. / The work initially brings a historical approach, Greece (with the Pythagoreans), with the mathematician Eudoxus, referring to perhaps the greatest mathematical work, Euclidâs books. Then bring definitions and constructions of the real numbers as a complete body, the concepts of tiny, supreme, infinite sequences especially the convergent, Cauchy sequences and the three fundamental theorems for the calculus course, the annulment of the theorem, the intermediate value and Weierstrass. Soon after, we define metric and metric space in the plan, we show that the process of comparing an arbitrary segment with another set as unit leads to various types of positive real numbers: integers, rational and irrational, where the notion of measurable and immeasurable segment is explained. The area calculation for plane figures, where the usual formulas for the areas of simple polygons are presented, we present and application, Pickâs formula, without demonstration of the theorem, simple, fun, practical and efficient for area calculation, one this mathematical discipline of content throughout basic education in Brazil always present in external evaluation as OBMEP.