Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2017. / Submitted by Raquel Viana (raquelviana@bce.unb.br) on 2018-05-21T19:01:43Z No. of bitstreams: 1 2017_WelingtonFernandesdeSousa.pdf: 1199428 bytes, checksum: 7487603a1128f85955d7f9d7b6191552 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-05-21T19:02:54Z (GMT) No. of bitstreams: 1 2017_WelingtonFernandesdeSousa.pdf: 1199428 bytes, checksum: 7487603a1128f85955d7f9d7b6191552 (MD5) / Made available in DSpace on 2018-05-21T19:02:54Z (GMT). No. of bitstreams: 1 2017_WelingtonFernandesdeSousa.pdf: 1199428 bytes, checksum: 7487603a1128f85955d7f9d7b6191552 (MD5) Previous issue date: 2018-05-21 / Este trabalho mostra, com ênfase na geometria plana, o modelo dedutivo formulado por Euclides de Alexandria pelo qual ele constrói e organiza todo o conhecimento geométrico conhecido até então. Este modelo euclidiano, chamado axiomático, com o passar dos anos revelou falhas em demonstrações de algumas proposições que são citadas e comentadas neste trabalho. As tentativas para corrigir as falhas e formalizar o modelo axiomático de Euclides, levou a um novo modelo axiomático mais formal, que corrige as falhas cometidas por Euclides e traz uma linguagem mais coerente com a proposta da matemática moderna. Tal modelo foi publicado por David Hilbert em seu trabalho Grundlagen der Geometrie, e também está presente neste trabalho. Após mostrar como a geometria euclidiana plana foi formulada em função de seus axiomas, o trabalho chega ao seu ponto principal: mostrar que a geometria euclidiana plana pode ser demonstrada na geometria sobre corpos (geometria analítica). E para isso, este trabalho disponibiliza a demonstração de todos os axiomas de Hilbert, para a geometria euclidiana plana, em um plano cartesiano sobre um corpo. Veremos que não haverá necessidade de trabalharmos sobre o corpo dos números reais para que esta geometria euclidiana plana seja demonstrada pela geometria analítica. Além disso o trabalho traz um pouco das características e propriedades de corpos e suas extensões à medida que as demonstrações se aprofundam. Chegaremos à conclusão de que todos os axiomas da geometria euclidiana plana podem ser demonstrados na geometria analítica, sobre um corpo ordenado com extensão às raízes quadradas de elementos positivos. / This work shows, with emphasis on plane geometry, the deductive model formulated by Euclid of Alexandria by which he constructed and organized all known geometric knowledge until then. This Euclidean model, called axiomatic, over the years revealed aws in demonstrations of some propositions that are cited and commented on in this work. The attempts to correct the failures and formalizing the axiomatic model of Euclid led to a new more formal axiomatic model that corrects Euclid's failures which is more and uses a language more consistent to proposal of modern mathematics. Such a model was published by David Hilbert in his work Grundlagen der Geometrie, and is also present in this work. After showing how Euclidean geometry is formulated in terms of its axioms, the work reaches its main point: to show that Euclidean plane geometry can be demonstrated in geometry over elds (analytic geometry). And for this, we provide the demonstration of all axioms of Hilbert, for Euclidean plane geometry, in a Cartesian plane over a eld. We will see that there will be no need to work on the eld of real numbers for this Euclidean plane geometry to be demonstrated by analytic geometry. In addition the work brings some of the characteristics and properties of elds and their extensions as the demonstrations deepen. We will arrive at the conclusion that all the axioms of Euclidean plane geometry can be demonstrated in analytical geometry, on an ordered eld with extension to the square roots of positive elements.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-11-07T16:23:55Z No. of bitstreams: 1 2017_VitorSoaresRabeloAdriano.pdf: 10962275 bytes, checksum: c8cb507a31646087a77dfce259e055db (MD5) / Approved for entry into archive by Patrícia Nunes da Silva (patricia@bce.unb.br) on 2018-05-28T15:45:45Z (GMT) No. of bitstreams: 1 2017_VitorSoaresRabeloAdriano.pdf: 10962275 bytes, checksum: c8cb507a31646087a77dfce259e055db (MD5) / Made available in DSpace on 2018-05-28T15:45:45Z (GMT). No. of bitstreams: 1 2017_VitorSoaresRabeloAdriano.pdf: 10962275 bytes, checksum: c8cb507a31646087a77dfce259e055db (MD5) / Este trabalho mostra, com ênfase na geometria plana, o modelo dedutivo formulado por Euclides de Alexandria pelo qual ele constrói e organiza todo o conhecimento geométrico conhecido até então. Este modelo euclidiano, chamado axiomático, com o passar dos anos revelou falhas em demonstrações de algumas proposições que são citadas e comentadas neste trabalho. As tentativas para corrigir as falhas e formalizar o modelo axiomático de Euclides, levou a um novo modelo axiomático mais formal, que corrige as falhas cometidas por Euclides e traz uma linguagem mais coerente com a proposta da matemática moderna. Tal modelo foi publicado por David Hilbert em seu trabalho Grundlagen der Geometrie, e também está presente neste trabalho. Após mostrar como a geometria euclidiana plana foi formulada em função de seus axiomas, o trabalho chega ao seu ponto principal: mostrar que a geometria euclidiana plana pode ser demonstrada na geometria sobre corpos (geometria analítica). E para isso, este trabalho disponibiliza a demonstração de todos os axiomas de Hilbert, para a geometria euclidiana plana, em um plano cartesiano sobre um corpo. Veremos que não haverá necessidade de trabalharmos sobre o corpo dos números reais para que esta geometria euclidiana plana seja demonstrada pela geometria analítica. Além disso o trabalho traz um pouco das características e propriedades de corpos e suas extensões à medida que as demonstrações se aprofundam. Chegaremos à conclusão de que todos os axiomas da geometria euclidiana plana podem ser demonstrados na geometria analítica, sobre um corpo ordenado com extensão às raízes quadradas de elementos positivos. / This work shows, with emphasis on plane geometry, the deductive model formulated by Euclid of Alexandria by which he constructed and organized all known geometric knowledge until then. This Euclidean model, called axiomatic, over the years revealed aws in demonstrations of some propositions that are cited and commented on in this work. The attempts to correct the failures and formalizing the axiomatic model of Euclid led to a new more formal axiomatic model that corrects Euclid's failures which is more and uses a language more consistent to proposal of modern mathematics. Such a model was published by David Hilbert in his work Grundlagen der Geometrie, and is also present in this work. After showing how Euclidean geometry is formulated in terms of its axioms, the work reaches its main point: to show that Euclidean plane geometry can be demonstrated in geometry over elds (analytic geometry). And for this, we provide the demonstration of all axioms of Hilbert, for Euclidean plane geometry, in a Cartesian plane over a eld. We will see that there will be no need to work on the eld of real numbers for this Euclidean plane geometry to be demonstrated by analytic geometry. In addition the work brings some of the characteristics and properties of elds and their extensions as the demonstrations deepen. We will arrive at the conclusion that all the axioms of Euclidean plane geometry can be demonstrated in analytical geometry, on an ordered eld with extension to the square roots of positive elements.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2017. / Submitted by Gabriela Lima (gabrieladaduch@gmail.com) on 2017-11-29T12:54:58Z No. of bitstreams: 1 2017_FabríciodeJesusLeiteGomes.pdf: 921400 bytes, checksum: 36fcaf8f9aa9950428b1d796239a7717 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-01-25T14:26:43Z (GMT) No. of bitstreams: 1 2017_FabríciodeJesusLeiteGomes.pdf: 921400 bytes, checksum: 36fcaf8f9aa9950428b1d796239a7717 (MD5) / Made available in DSpace on 2018-01-25T14:26:43Z (GMT). No. of bitstreams: 1 2017_FabríciodeJesusLeiteGomes.pdf: 921400 bytes, checksum: 36fcaf8f9aa9950428b1d796239a7717 (MD5) Previous issue date: 2018-01-25 / Neste trabalho estamos interessados em saber se, com ferramentas prescritas, é possível realizar teoricamente determinada construção geométrica. No início estudaremos as construções euclidianas com régua e compasso e os problemas clássicos da antiguidade: a duplicação do cubo, a trissecção do ângulo e a quadratura do círculo. Em seguida veremos como esses problemas podem ser resolvidos com compasso e régua marcada. Por fim, estudaremos as construções de Mascheroni apenas com o compasso. / In this work we are interested in discovering if, with prescribed tools, it is theoretically possible to do some geometrical construction. We begin by studying the euclidean ruler and compass constructions and the classical problems from the antiquity: the duplication of the cube, the angle trisection and the quadratura circuli. Next, we will see how to solve these problems with compass and marked ruler. In the end we will discuss the Mascheroni constructions with compass alone.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-07-22T13:34:06Z No. of bitstreams: 1 2016_LumenaPauladeJesusBorges.pdf: 1020349 bytes, checksum: ccdbb2f9573ac7e8a5dfab408b8cdbf9 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-08-19T21:12:40Z (GMT) No. of bitstreams: 1 2016_LumenaPauladeJesusBorges.pdf: 1020349 bytes, checksum: ccdbb2f9573ac7e8a5dfab408b8cdbf9 (MD5) / Made available in DSpace on 2016-08-19T21:12:40Z (GMT). No. of bitstreams: 1 2016_LumenaPauladeJesusBorges.pdf: 1020349 bytes, checksum: ccdbb2f9573ac7e8a5dfab408b8cdbf9 (MD5) / Os objetos de estudo nesta dissertação são as curvas de interseção entre duas superfícies no espaço Euclidiano e no espaço de Lorentz-Minkowski. As interseções podem ser do tipo transversal ou tangencial. As superfícies podem ser paramétricas ou implícitas e, portanto, os casos estudados são Paramétrica-Paramétrica, Paramétrica-Implícita e Implícita-Implícita. Quando as superfícies estão no espaço Euclidiano, o objetivo principal é apresentar algoritmos para se obter propriedades geométricas da curva de interseção, tais como curvatura, torção e vetor tangente, em cada caso das interseções. O propósito para o espaço de Lorentz-Minkowski é similar, no qual considera-se curvas de interseção transversal entre duas superfícies tipo espaço, bem como entre duas superfícies tipo tempo, apresentando-se expressões para a curvatura, torção e vetor tangente. Quando as superfícies são tipo espaço, a curva de interseção é também tipo espaço. Quando elas são tipo tempo, a curva pode ser tipo espaço, tipo tempo ou tipo luz. Uma análise para os casos tipo espaço e tipo tempo é feita neste trabalho. Além disso, para superfícies tipo espaço, são dadas condições para que a curva de interseção seja uma geodésica ou uma linha de curvatura das duas superfícies. Exemplos que ilustram esta teoria são acrescentados no final. ________________________________________________________________________________________________ ABSTRACT / The objects of study in this dissertation are the intersection curves of two surfaces in Euclidean space and Lorentz-Minkowski space. Intersections can be of transversal or tangential type. Surfaces can be parametric or implicit and, therefore, the cases studied are Parametric-Parametric, Parametric-Implicit and Implicit-Implicit. When the surfaces are in Euclidean space, the main objective is presenting algorithms to obtain geometrical properties of the intersection curve, such as curvature, torsion and tangent vector, in each case of the intersections. The purpose for Lorentz-Minkowski space is similar, in which is considered transversal intersection curves between two spacelike surfaces as well as between two timelike surfaces, presenting expressions for the curvature, torsion and tangent vector. When the surfaces are spacelike, the intersection curve is spacelike. When they are timelike, the curve can be spacelike, timelike or lightlike. An analysis for cases spacelike and timelike is considered in this work. Furthermore, for spacelike surfaces, conditions are given so that the intersection is a geodesic curve or line of curvature of both surfaces. Examples illustrating this theory are added at the end.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2012. / Submitted by Tania Milca Carvalho Malheiros (tania@bce.unb.br) on 2012-10-30T15:41:28Z No. of bitstreams: 1 2012_AnyelleNogueiradeSouza_Parcial.pdf: 420183 bytes, checksum: df24c295285167df4a6fdb987159dcda (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2012-11-22T11:47:50Z (GMT) No. of bitstreams: 1 2012_AnyelleNogueiradeSouza_Parcial.pdf: 420183 bytes, checksum: df24c295285167df4a6fdb987159dcda (MD5) / Made available in DSpace on 2012-11-22T11:47:50Z (GMT). No. of bitstreams: 1 2012_AnyelleNogueiradeSouza_Parcial.pdf: 420183 bytes, checksum: df24c295285167df4a6fdb987159dcda (MD5) / Caracterizamos uma transformacão de Ribaucour de uma hipersuperfície na esfera ou no espaço hiperbólico, através de uma transformação de Ribaucour de uma hipersuperfície no espaçio euclidiano. Demonstramos um teorema de comutatividade da transformação de Ribaucour com a projeção estereográfica.Fornecemos condições necessárias e suficientes para que uma transformação de Ribaucour preserve a propriedade de ser hipersuperfície de Dupin,em formas espaciais,estendendo o resultado já conhecido no espaço euclidiano. Apresentamos um teorema semelhante sobre a comutatividade da transformação de Ribaucour com a projeção estereográfica,restrito às hipersuperfícies de Dupin. Aplicações da teoria fornecem novas famílias de hipersuperfícies de Dupin cujas curvaturas de Lie e de Moëbius não são constantes. ______________________________________________________________________________ ABSTRACT / We characterize a Ribaucour transformation of a hypersurface of the unit sphere or of the hyperbolic space using a Ribaucour transformation of a hypersurface of the euclidean space. We prove that the Ribaucour transformation comutes with the stereographic projection. We give necessary and sufficient conditions for a Ribaucour transformation to preserve the property of being a Dupin hypersurface. Similarly, we prove that the Ribaucour transformation restricted to Dupin hypersurface commutes with the stereographic projection. Aplications of the theory provide new families of Dupin hypersurfaces whose Lie curvature and Möebius curvature are not constant.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2010. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-05-18T14:09:38Z No. of bitstreams: 1 2010_BiankaCarneiroLeandro.pdf: 409098 bytes, checksum: 18adb739fc0294fc9cfca6e7913914af (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-05-26T00:34:11Z (GMT) No. of bitstreams: 1 2010_BiankaCarneiroLeandro.pdf: 409098 bytes, checksum: 18adb739fc0294fc9cfca6e7913914af (MD5) / Made available in DSpace on 2011-05-26T00:34:11Z (GMT). No. of bitstreams: 1 2010_BiankaCarneiroLeandro.pdf: 409098 bytes, checksum: 18adb739fc0294fc9cfca6e7913914af (MD5) / Consideramos o espaço pseudo-Euclidiano (Rn, g), com coordenadas x = (x1, ..., xn), n _ 3, e gij = _ij"i, "i = ±1. Seja T um tensor simétrico de ordem 2, definido por T = nXi,j=1 "jFij(xk)dxi dxj , onde k ´e fixo, "jFij(xk) = "iFji(xk), 8i, j tais que i 6= j e para j0 fixo, Fij(xk) = cij , 8i, j tais que i, j, j0 s˜ao distintos, com cij 2 R. Além disso, assumimos que existem um intervalo aberto I _ R e l0 6= j0 tais que F0 l0j0(xk) 6= 0, 8xk 2 I. Obtemos condições necessrias e suficientes para que tal tensor admita métrica ¯g, conforme a g, que resolva a equação do tensor de Ricci, Ric ¯g = T. _________________________________________________________________________________ ABSTRACT / We consider the pseudo-Euclidean space (Rn, g), with coordinates x = (x1, ..., xn), n _ 3, and gij = _ij"i. Let T be a symmetric tensor of order 2, defined by T = nXi,j=1 "jFij(xk)dxidxj , where k is fixed, "jFij(xk) = "iFji(xk), 8i, j such that i 6= j and for j0 fixed, Fij(xk) = cij , 8i, j such that i, j, j0 are distinct, with cij 2 R. Moreover, we assume that there is an open interval I _ R and l0 6= j0 such that F0 l0j0(xk) 6= 0, 8xk 2 I. We provide necessary and sufficient conditions for such a tensor to admit a metric ¯g, conformal to g, that solves the Ricci tensor equation, Ric ¯g = T.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-04-15Bitstream added on 2014-06-13T20:55:44Z : No. of bitstreams: 1 favaneto_i_me_sjrp.pdf: 928050 bytes, checksum: aefb0d77acb73254cd4aadc4846dbcd1 (MD5) / O presente trabalho foi desenvolvido com o objetivo de apresentar uma nova noção de distância, a distância da Geometria do Táxi. A Geometria do Táxi é uma Geometria não Euclidiana intuitiva. A distância desta Geometria foi abordada como motivadora no ensino de diversos temas da matemática, destacando a sua grande influência no dia-a-dia das pessoas, principalmente nos seus deslocamentos pelas ruas e de forma a confrontá-la com a distância da Geometria Euclidiana, no que diz respeito a conceitos e resultados relacionados a ela. Sendo assim, também foi proposta uma sequência de atividades abordando as distâncias: euclidiana e do táxi, com a finalidade de estimular a aprendizagem do aluno e permitir que ele faça conexões com o seu cotidiano / This current work was developed with the aim of presenting a new concept of distance, the distance of the geometry of Taxi. The Geometry of Taxi is a non-Euclidean intuitive Geometry. The distance of this Geometry was approached as a motivator in teaching various topics in mathematics, emphasizing its great influence in day-by-day lives, especially in their movement through the streets and in order to compare it with the distance of Euclidean Geometry, as regards the concepts and results related to it. So it is also proposed a sequence of activities addressing the distances: euclidean and taxi, in order to stimulate student learning and allow him to make connections with their daily lives

Made available in DSpace on 2016-05-17T16:51:27Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-08-24. Added 1 bitstream(s) on 2016-05-17T16:54:14Z : No. of bitstreams: 1 000864552.pdf: 940388 bytes, checksum: 9434dc3881bd56d95761d7780a369193 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho e apresentar um estudo sobre o c alculo de areas de pol gonos atrav es das coordenadas de seus v ertices. Faremos isto utilizando determinantes de ordem 2 e conceitos b asicos de Geometria Euclidiana Plana / The aim of this work is to present a study on areas of polygons through their vertex coordinates. We treat the subject using determinants of order 2 and basic Euclidean Geometry

Orientador: Jamil Viana Pereira / Banca: Thiago de Melo / Banca: Márcio de Jesus Soares / Resumo: Esta dissertação tem por finalidade oferecer um método alternativo para o ensino de Geometria Euclidiana para estudantes dos Ensinos Fundamental e Médio. Este método proporciona: momentos de descontração, melhora da concentração, aprimoramento das funções motoras e da performance dos estudantes, incorporando novos elementos a linguagem formal da Matemática / Abstract: This work aims to offer an alternative method for teaching Euclidean Geometry for Middle and High School students. This method includes: relaxation techniques, enhancement of concentration, improving motor function and academic performance of students, incorporating new elements to the formal language of Mathematics / Mestre

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2008. / Submitted by wesley oliveira leite (leite.wesley@yahoo.com.br) on 2009-09-22T18:47:49Z No. of bitstreams: 1 2008_TaniaMariaMachadoCarvalho.pdf: 389698 bytes, checksum: 98751823d73806f7e487fe92fc857171 (MD5) / Approved for entry into archive by Gomes Neide(nagomes2005@gmail.com) on 2010-10-05T12:59:17Z (GMT) No. of bitstreams: 1 2008_TaniaMariaMachadoCarvalho.pdf: 389698 bytes, checksum: 98751823d73806f7e487fe92fc857171 (MD5) / Made available in DSpace on 2010-10-05T12:59:17Z (GMT). No. of bitstreams: 1 2008_TaniaMariaMachadoCarvalho.pdf: 389698 bytes, checksum: 98751823d73806f7e487fe92fc857171 (MD5) Previous issue date: 2008 / Consideramos uma métrica de Finsler do tipo Randers Fb = (alfa) + (beta), onde (alfa) é a métrica euclidiana e (beta) uma 1-forma com coeficientes constantes e norma b, 0 < b < 1, sobre um espaço vetorial real tridimensional (V3; Fb). Introduzimos o conceito de curvatura média constante não nula na direção de um campo normal unitário neste espaço. Obtemos a equação diferencial ordinária que caracteriza as superfícies de rotaçao de curvatura média constante (cmc) na direçao de um campo normal unitário em (V3; Fb), a qual reduz-se à equação clássica das superfícies de rotação cmc no espaço euclidiano, quando b = 0. Reduz-se também à equação que caracteriza as superfícies mínimas de rotação em (V3; Fb) quando H = 0, obtida por Souza e Tenenblat. Para 0 < b < (raiz de 3 sobre 3) fazemos uma análise qualitativa das soluções da equação diferencial ordinária. _________________________________________________________________________________ ABSTRACT / We consider a Randers metric Fb = (alpha) + (beta), where (alpha) is the euclidean metric and (beta) is a 1-form with the norm b, 0 < b < 0, on a tridimensional real vector space (V3; Fb). We introduce the concept of constant mean curvature in the direction of a unitary normal vector field in this space. We obtain an ordinary differential equation that characterizes the rotational surfaces of constant mean curvature (cmc) in the direction of a unitary normal vector field in the space (V3; Fb), which reduces to the classical equation of the rotational cmc surfaces in euclidean space, when b = 0. It also reduces to the equation that characterizes the minimal rotational surfaces in (V3; Fb) when H = 0, obtained by Souza and Tenenblat. For 0 < b < (root three over three) we provide a qualitative analysis of the ordinary differential equation.