Related papers: A Simple Vector Proof of Feuerbach's Theorem
In this paper we will give a short and direct proof that Wolfgang Kuehnel's 9-vertex triangulation of the complex projective plane really is the complex projective plane. The idea of our proof is to recall the trisection of the complex…
The nth relative Kauffman bracket skein modules are defined and two theorems are given relating them to the Kauffman bracket skein module of a 3-manifold. The first theorem covers the case when the 3-manifold is split along a separating…
We discuss Weber's formula which gives the quotient of two Thetanullwerte for a plane smooth quartic in terms of the bitangents. In particular, we show how it can easily be derived from the Riemann-Jacobi formula.
Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given…
The Erd\H{o}s-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter~$\delta$, at most $O(\delta^2)$ points…
A simple closed curve $\gamma$ in the real projective plane $P^2$ is called anti-convex if for each point $p$ on the curve, there exists a line which is transversal to the curve and meets the curve only at $p$. We shall prove the relation…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
Torelli's theorem is proven by the study of the convolution product of the intersection cohomology sheaf of the thetadivisor.
The purpose of this article is to present a "Groupoid proof" to the Lefschetz fixed point formula for elliptic complexes. We shall define a "relative version" of tangent groupoid, describe the corresponding pseudodifferential calculi and…
In this paper, the third in the series, we define the generalized orthocenter $H$ corresponding to a point $P$, with respect to triangle $ABC$, as the unique point for which the lines $HA, HB, HC$ are parallel, respectively, to $QD, QE,…
This paper provides a new simple proof of Hesse's theorem in projective geometry for any dimension.
We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…
A fluctuation theorem is proved for the macroscopic currents of a system in a nonequilibrium steady state, by using Schnakenberg network theory. The theorem can be applied, in particular, in reaction systems where the affinities or…
A classical theorem of Wonenburger, Djokovic, Hoffmann and Paige states that an element of the general linear group of a finite-dimensional vector space is the product of two involutions if and only if it is similar to its inverse. We give…
The aim of this note is to give two new conceptual proofs of Ionescu-Weitzenb\"ock's inequality. The first one, which is a vector proof, provides us a geometric interpretation of the difference between the two sides of this inequality and…
The main purpose of this article is to demonstrate three techniques for proving algebraicity statements about circle packings. We give proofs of three related theorems: (1) that every finite simple planar graph is the contact graph of a…
Quantum theory demands that, in contrast to classical physics, not all properties can be simultaneously well defined. The Heisenberg Uncertainty Principle is a manifestation of this fact. Another important corollary arises that there can be…
We study the number of rational points of smooth projective curves over finite fields in some relative situations in the spirit of a previous paper from an euclidean point of vue. We prove some kinds of relative Weil bounds, derived from…
We show that the theorem of the three perpendiculars holds in any n-dimensional space form.
In Euclidean geometry, the Pythagorean theorem is presented as an equation involving three squares. This paper explores how analogous expressions may be identified in spherical and hyperbolic geometries.