Synthetic geometry in various dimesions

Abstract

Tato disertační práce je zaměřena na syntetickou geometrii v různých di- menzích, počínaje rovinnou geometrií. Jejím cílem je ukázat možnost využití syntetické geometrie v matematických důkazech. Jako příklad používáme dva různé geometrické důkazy Pappus-Pascalovy věty, konstrukce oskulačních kružnic elipsy v libovolném bodě elipsy a grafické řešení kvadratické rovnice. Dále je v práci popsán způsob, jak vizualizovat n-dimenzionální prostor pomocí metody pohledu "za" a pomocí vrstevní ve směru kolmém. Práce se podrobně věnuje vizualizacím ve 4-dimenzionálním prostoru a konkrétně popisuje dva způsoby: zobecněné Mongeovo promítání (pravoúhlý průmět na dva navzájem kolmé podprostory) a zobecnění lineární perspektivy. Práce obsahuje také aplikace vizualizace 4-dimenzionálního prostoru. Využívá zobecněného Mongeova promítání a 4-dimenzionální perspektivy pro znázornění a práci s komplexní číselnou rovinou, pro syntetickou i algebraickou vizualizaci stínů ve 4-dimenzionálním prostoru a pro znázornění 4-dimenzionálních objektů pomocí 3D tisku. 1

This doctoral thesis focuses on synthetic geometry in various dimensions. We start with plane geometry to show how synthetic geometry can be used in proofs. We demonstrate the advantages of synthetic geometry on two different geometric proofs of the Pappus-Pascal theorem, the construction of the osculating circles of an ellipse at any point of the ellipse and the graphical solution of a quadratic equation. Moreover, the thesis describes visualisation of the n-dimensional space using the "behind" view method and perpendicular layering. Furthermore, the thesis focuses on visualisation of 4-dimensional space. It describes two possible methods: a generalisation of Monge's projection (orthogonal projection onto two mutually perpendicular subspaces) and a generalisation of linear perspective. Finally, the thesis contains applications of the visualisation of 4-dimensional space. For example, the usage of the generalised Monge's projection and 4-dimensional perspective for representation of the complex number plane. The application for visu- alisation of shadows in 4-dimensions synthetically and algebraically, and for representation of 4-dimensional objects using 3D printing. 1