Orientador: Parham Salehyan / Banca: Ali Tahzibi / Banca: Luciana de Fátima Martins / O PROFMAT - Programa de Mestrado Profissional em Matemática em Rede Nacional é coordenado pela Sociedade Brasileira de Matemática e realizado por uma rede de Instituições de Ensino Superior. / Resumo: O objetivo principal deste trabalho é provar o Teorema de Dehn. Esse teorema é resposta ao Terceiro Problema de Hilbert, este problema refere-se à seguinte situação: Se dois poliedros possuem o mesmo volume eles são congruentes por corte, ou seja, é sempre possível tomar dois poliedros de mesmo volume e decompor um em poliedros menores de tal maneira que os reorganizando seja possível montar o outro. A resposta para esta questão é negativa e sua prova ficou conhecida como teorema de Dehn. Inicialmente estudaremos conceitos de área, volume e congruência por corte para figuras planas e no espaço. Nesta etapa discutiremos a decomposição de figuras em polígonos e poliedros. Em seguida usando algumas propriedades de funções aditivas e os ângulos diedros de um poliedro, construiremos um invariante que será a ferramenta principal na demonstração do Teorema de Dehn. Como considerações finais, cito o Paradoxo de Banach-Tarski, uma vez que o mesmo é relacionado naturalmente ao problema de congruência por corte e decomposição de figuras no espaço e apresento um capítulo com algumas atividades que podem ser desenvolvidas na educação básica / Abstract: The main object of this work is study the Third Problem of Hilbert and the Dehn Theorem / Mestre

Uno de los procesos del diseño de circuitos integrados digitales es la preparación de la información de las máscaras, o MDP por sus siglas en inglés (Mask Data Preparation). La preparación de máscaras recibe el diseño de un circuito y lo convierte en una secuencia de instrucciones que son leídas por una máquina generadora de máscaras. Este proceso es realizado por una serie de algoritmos, ordenados en forma de pipeline, donde la salida de uno es la entrada del siguiente. Uno de los primeros algoritmos ejecutado es el llamado Windfrac, encargado de particionar, o fracturar, polígonos complejos en conjuntos de rectángulos y trapecios horizontales (cuyos lados paralelos son horizontales). Esta fractura inicial tiene gran importancia ya que, al reducir los distintos posibles polígonos de entrada a sólo rectángulos y trapecios horizontales, los algoritmos ejecutados después pueden ser simplificados e incluso tomar menos tiempo. En esta memoria se estudia y documenta el funcionamiento del algoritmo Windfrac, y se reimplementa de una forma más legible y mantenible. El estudio del algoritmo, el cual fue el tema central y lo que más tiempo ocupó, contempla la revisión de ciertos conceptos geométricos y de geometría computacional necesarios para la total comprensión de éste. Debido a que sólo existe un paper que explica un algoritmo parecido, toda la información acerca de cómo funciona Windfrac debió ser deducido a partir del código fuente mismo, cuya implementación era muy difícil de leer. El funcionamiento fue descifrado, principalmente, utilizando casos de prueba y depuradores para ir viendo, paso a paso, lo que el algoritmo hacía dado un polígono. Una vez entendido el funcionamiento completo de Windfrac se reimplementó teniendo en cuenta legibilidad, mantenibilidad y ciertos detalles para mejorar la calidad de los resultados. La legibilidad y mantenibilidad se lograron con una implementación modular, es decir, utilizando estructuras de datos más especializadas y separando funcionalidades en archivos y funciones. La mejora de la calidad se logró escribiendo código para manejar esos casos particulares. Finalmente, se realiza una discusión acerca del tema en estudio y sobre posibles mejoras que pueden ser llevadas a cabo en el futuro, las cuales podrían tener un gran impacto en el desempeño de la aplicación completa. Y, se concluye que el algoritmo fue satisfactoriamente comprendido y que su reimplementación soluciona los problemas de la implementación antigua.

Este trabalho aborda dois problemas de geometria computacional: união de círculos e união de (vários) polígonos. Para o problema da união de círculos, os principais algoritmos da literatura são revisados e um algoritmo simples, porém ineficiente, é introduzido. Este algoritmo é então adaptado para resolver o problema da união de polígonos, produzindo um algoritmo que é competitivo com o estado da arte e, dependendo da aplicação, utiliza menos armazenamento. / This work deals with two problems from the field of computational geometry: union of circles and union of (many) polygons. For the union of circles problem, the main algorithms in the literature are revised and a simple, albeit inefficient, algorithm is introduced. This algorithm is then adapted to solve the union of polygons problem, resulting in an algorithm that is competitive with the state of the art and, depending on the application, makes use of less storage.

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

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2017-07-21T18:27:42Z No. of bitstreams: 1 texto completo.pdf: 3531280 bytes, checksum: a1a72b63df7d624b915fe1412ad45c1a (MD5) / Made available in DSpace on 2017-07-21T18:27:42Z (GMT). No. of bitstreams: 1 texto completo.pdf: 3531280 bytes, checksum: a1a72b63df7d624b915fe1412ad45c1a (MD5) Previous issue date: 2017-02-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este estudo aborda novas construções de emparelhamentos de arestas generalizados de polígonos hiperbólicos associados a tesselacão hiperbólica {8g - 4, 4} (Capítulo 4). Aos quais, mediante o Teorema de Poincaré construímos superfícies compactas pelo quociente H2/ Γ onde H2 e o plano hiperbólico, Γ é um grupo discreto de isometrias gerado pelos emparelhamentos e g ≥ 2 representa o gênero da superfície. Essa tesselacão apresenta propriedades geométricas interessantes, e os resultados ligados a essa teoria têm aplicações na teoria de códigos. Um desses emparelhamentos é obtido ao unir o emparelhamento Φ 12β−16 que construímos associado a tesselacão {12β - 16,4} com emparelhamentos Φ 12η−8 e Φ 12μ−12 construídos em [19] associados às tesselações {12η −8, 4} e {12μ−12, 4}. Construímos quatro maneiras distintas de emparelhar as arestas do polígono hiperbólico P 8g−4, com 8g−4 arestas, associados a tesselacão hiperbólica regular {8g-4, 4} e quatro casos particulares de emparelhar as arestas de P 8g−4, onde em três desses casos g ≥ 3 é ímpar e em um caso g ≥ 4 é par. / This study deals with new constructions of generalizes edge pairing of hyperbolic polygons associated with hyperbolic tessellation {8g - 4, 4}(Chapter 4). To Which, through the Poincaré Theorern we construct compact surfaces by the quotient H2/ Γ, Where H2 is the hyperbolic plane, Γ Is a discrete group of isometries generated by pairings of the edges and g ≥ 2 represents the surface genre. This tessellation presents interesting geometric properties, and the results connected with this theory have applications in code theory. One of these pairings is obtained by joining the Φ 12β−16 pairing we construct associated With the tessellation {12β − 16, 4} with pairings Φ 12η−8 and Φ 12μ−12 constructed in [19] associated With the tessellations {12η −8, 4} and {12μ−12, 4}. We construct four distinct ways of pairing the edges of the hyperbolic polygon P 8g−4, with 8g−4 edges, associated With regular hyperbolic tessellating {8g-4, 4} e Four particular cases of pairing the edges of P 8g−4, Where in three of these cases g ≥ 3 and in one case g ≥ 4 pair.

Orientador: Jamil Viana Pereira / Banca: Paulo Leandro Dattori da Silva / Banca: Suzinei Aparecida Siqueira Marconato / Resumo: 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 / Abstract: 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 / Mestre

Submitted by Karem Dantas (karem.c.dantas@gmail.com) on 2018-10-08T13:33:57Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Teorema de Pick.pdf: 18162866 bytes, checksum: b5924b5d514e4978acc23fddace5a5cb (MD5) / Approved for entry into archive by Marcos Roberto Gomes (mrobertosg@gmail.com) on 2018-10-08T14:49:39Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Teorema de Pick.pdf: 18162866 bytes, checksum: b5924b5d514e4978acc23fddace5a5cb (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-10-09T17:15:54Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Teorema de Pick.pdf: 18162866 bytes, checksum: b5924b5d514e4978acc23fddace5a5cb (MD5) / Made available in DSpace on 2018-10-09T17:15:54Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Teorema de Pick.pdf: 18162866 bytes, checksum: b5924b5d514e4978acc23fddace5a5cb (MD5) Previous issue date: 2018-06-20 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The purpose of this project is Pick’s Theorem, which is about of the calculation of simple polygons with vertices in the points of mesh grid at the plane. The theorem let us to calculate the area using counting, analyzing the points in the edge and the interior of the polygon at the mesh grid. We going to talk about a little bit of Georg Alexander Pick history, beyond the necessary observations to understand the theorem’s demonstration and complexity. At last, we going to show you Pick’s Theorem activities, in the Geoboard and on the GeoGebra software as didactic resources for classroom. / O foco deste trabalho é o Teorema de Pick. Esse teorema se refere ao cálculo de áreas de polígonos simples com vértices nos pontos de uma malha quadriculada no plano, o teorema permite calcular a área usando contagem, analisando os pontos do bordo e do interior do polígono em uma malha quadriculada. Apresentaremos um pouco da história de Georg Alexander Pick, além de observações necessárias para se compreender a demonstração do teorema e sua extensão. Finalmente mostramos atividades com o teorema de Pick no Geoplano e no software GeoGebra como recursos didáticos para a sala de aula.

Este trabalho aborda dois problemas de geometria computacional: união de círculos e união de (vários) polígonos. Para o problema da união de círculos, os principais algoritmos da literatura são revisados e um algoritmo simples, porém ineficiente, é introduzido. Este algoritmo é então adaptado para resolver o problema da união de polígonos, produzindo um algoritmo que é competitivo com o estado da arte e, dependendo da aplicação, utiliza menos armazenamento. / This work deals with two problems from the field of computational geometry: union of circles and union of (many) polygons. For the union of circles problem, the main algorithms in the literature are revised and a simple, albeit inefficient, algorithm is introduced. This algorithm is then adapted to solve the union of polygons problem, resulting in an algorithm that is competitive with the state of the art and, depending on the application, makes use of less storage.

Made available in DSpace on 2015-03-26T13:45:34Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1893968 bytes, checksum: ce37a1814e775a74aa222b17583fdc19 (MD5) Previous issue date: 2012-02-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation aims to study two topics related to modern topology and geometry. The first of these themes is dedicated to the study of packaging and record covering spheres in the hyperbolic plane, in which we treat the study results due to Bavard (1996) [3]. The second issue that was addressed refers to the study of edges pairing for irregular polygons. In this part we try to expose an example, created during our studies, for a pairing that generates a tiling of the hyperbolic plane by an irregular polygon. Also use the techniques developed by Mercio Botelho Faria, Catarina Mendes de Jesus and Panteleón D. R. Sanchez in [14] to obtain matching of edges of regular polygons through surgeries in surfaces associated with trivalent graphs. / Esta dissertação tem como objetivo o estudo de dois temas ligados a topologia e a geometria moderna. O primeiro destes temas é dedicado ao estudo de empacotamento e coberturas de discos do plano hiperbólico, no qual tratamos de estudar resultados devidos a Bavard (1996) [3]. Já o segundo tema que foi abordado se refere ao estudo de emparelhamento de arestas para polígonos irregulares. Nesta parte tratamos de expor um exemplo, criado durante nossos estudos, para um emparelhamento que gera um ladrilhamento do plano hiperbólico por um polígono irregular. Além disso utilizamos as técnicas desenvolvidas por Mercio Botelho Faria, Catarina Mendes de Jesus e Panteleón D. R. Sanchez em [14] para obtermos emparelhamentos de arestas de polígonos regulares por meio de cirurgias em superfícies associadas a grafos trivalentes.

A classic problem Computational Geometry is finding all euclidean shortest paths in a simple polygon from a given source vertex to every other vertex in the boundary. In this text, we give a detailed description of the Visibility Graph and Shortest Path Tree structures that solve this problem and also present the Shortest Path Map structure that extends the solution to shortest paths to every point inside the polygon. / Um problema clássico em Geometria Computacional é: encontrar todos os caminhos mínimos euclidianos dentro de um polígono simples a partir de um dado vértice fonte para todos os outros vértices da borda. Neste texto, apresentamos detalhadamente as estruturas de Grafo de Visibilidade e Árvore de Caminhos Mínimos que resolvem este problema e descrevemos também a estrutura Mapa de Caminhos Mínimos que estende a solução para todos os pontos contidos dentro do polígono.