Related papers: The Six Circles Theorem revisited

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.

Nielsen's theorem states that any triangle can be inscribed in a planar Jordan curve. We prove a generalisation of this theorem, extending to any Jordan curve $J$ embedded in $\mathbb{R}^{n}$, for a restricted set of triangles. We then…

Let $G$ be a graph and let $\mathrm{cl}(G)$ be the number of distinct induced cycle lengths in $G$. We show that for $c,t\in \mathbb N$, every graph $G$ that does not contain an induced subgraph isomorphic to $K_{t+1}$ or $K_{t,t}$ and…

We present a geometric theorem on a porism about cyclic quadrilaterals, namely the existence of an infinite number of cyclic quadrilaterals through four fixed collinear points once one exists. Also, a technique of proving such properties…

The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded…

The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves…

We are concerned with the invariants of Steiner chains consisting of four circles. In particular, we compute the invariant moments of curvatures in Steiner 4-chains and give two applications of the obtained formulas. Specifically, we…

Several matroids can be defined on the edge set of a graph. Although historically the cycle matroid has been the most studied, in recent times, the bicircular matroid has cropped up in several places. A theorem of Matthews from late 1970s…

This paper studies circle patterns from the viewpoint of configurations. By using the topological degree theory, we extend the Koebe-Andreev-Thurston Theorem to include circle patterns with obtuse exterior intersection angles. As a…

We study the eleven points in the plane of a given triangle, whose pedal triangles are similar to the given one. We prove that the six points whose pedal triangles are positively oriented, lie on a single circle, while the five points,…

We give a short proof of a Ptolemy-style result first discovered and proved by Jane McDougall. It may be viewed as a generalization to any even number of points of the cubic relation connecting the six joint distances of four points on a…

Starting with the classical circle geometry of Sophus Lie, we give a survey about some of the developments in the area of chain geometries during the last three decades.

We compute the number of equivalence classes of nonperiodic covering cycles of given length in a non oriented connected graph. A covering cycle is a closed path that traverses each edge of the graph at least once. A special case is the…

We show that if G is a 4-critical graph embedded in a fixed surface $\Sigma$ so that every contractible cycle has length at least 5, then G can be expressed as $G=G'\cup G_1\cup G_2\cup ... \cup G_k$, where $|V(G')|$ and $k$ are bounded by…

In [B.Gruenbaum, G.C. Shephard, Spherical tilings with transitivity properties, in: The geometric vein, Springer, New York, 1981, pp. 65-98], they proved "for every spherical normal tiling by congruent tiles, if it is isohedral, then the…

The triangle graph of a graph $G$, denoted by ${\cal T}(G)$, is the graph whose vertices represent the triangles ($K_3$ subgraphs) of $G$, and two vertices of ${\cal T}(G)$ are adjacent if and only if the corresponding triangles share an…

A cycle C(k1,k2,...,kn) is the oriented cycle formed of n blocks of lengths k1,k2,...,kn-1 and kn respectively. In 2018 Cohen et al. conjectured that for every positive integers k1,k2,...,kn there exists a constant g(k1,k2,...,kn) such that…

The Cayley-Bacharach Theorem states that all cubic curves through eight given points in the plane also pass through a unique ninth point. We write that point as an explicit rational function in the other eight.

We describe some three-dozen curious phenomena manifested by parabolas inscribed or circumscribed about certain Poncelet triangle families. Despite their pirouetting motion, parabolas' focus, vertex, directrix, etc., will often sweep or…

Aperiodic tiling is a well-know area of research. First developed by mathematicians for the mathematical challenge they represent and the beauty of their resulting patterns, they became a growing field of interest when their practical use…