Related papers: The Six-Point Circle Theorem
In this paper, given two Banach spaces $X, Y$ and a $C^1$ functional $\Phi:X\times Y\to {\bf R}$, under general assumptions, we show that either $\Phi$ has a saddle-point in $X\times Y$ or, for each convex and dense set $S\subseteq Y$,…
A triangulation of a circle bundle $ E \xrightarrow[\text{}]{\pi} B$ is a triangulation of the total space $E$ and the base $B$ such that the projection $\pi$ is a simplicial map. In the paper we address the following questions: Which…
Motivated by the work of Razborov about the minimal density of triangles in graphs we study the minimal density of the 5-cycle $C_5$. We show that every graph of order $n$ and size $\left( 1-\frac{1}{k}\right)\binom{n}{2}$, where $k\ge 3$…
If P is a point inside triangle ABC, then the cevians through P divide triangle ABC into six smaller triangles. We give theorems about the relationship between the radii of the circles inscribed in these triangles.
We study surfaces in Euclidean space ${\mathbb R}^3$ that are minimal for a log-linear density $\phi(x,y,z)=\alpha x+\beta y+\gamma y$, where $\alpha,\beta,\gamma$ are real numbers not all zero. We prove that if a surface is $\phi$-minimal…
Given a set S of n points in the plane and a fixed angle 0 < omega < pi, we show how to find in O(n log n) time all triangles of minimum area with one angle omega that enclose S. We prove that in general, the solution cannot be written…
Given a polygon $P$ in the triangular grid, we obtain a permutation $\pi_P$ via a natural billiards system in which beams of light bounce around inside of $P$. The different cycles in $\pi_P$ correspond to the different trajectories of…
We show that the elastic energy $E(\gamma)$ of a closed curve $\gamma$ has a minimizer among all plane simple regular closed curves of given enclosed area $A(\gamma)$, and that the minimum is attained for a circle. The proof is of a…
Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of…
In a recent paper by a superset of the authors it was proved that for every primitive 3-constrained space $\Gamma$ of finite diameter $\delta$ from Cherlin's catalogue of metrically homogeneous graphs, there exists a finite family $\mathcal…
A set $W\subseteq V(G)$ is called a resolving set for $G$, if for each two distinct vertices $u,v\in V(G)$ there exists $w\in W$ such that $d(u,w)\neq d(v,w)$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The minimum…
In this pedagogical note we present a short proof of the following main result of arxiv.org/abs/0911.5319, and clarify its relation to the isoperimetric problem. On the hyperbolic plane consider triangles ABC with fixed lengths of AB and…
Minimal prime graphs (MPGs) are a special class of prime graphs (also known as Gruenberg-Kegel graphs) associated with finite solvable groups. A graph is an MPG if it has at least two vertices, is connected, its complement is triangle-free…
We use linear programming techniques to find points of absolute minimum over the unit sphere $S^{d}$ in $\mathbb R^{d+1}$ of the total potential of a point configuration $\omega_N\subset S^{d}$ which is a spherical $(2m-1)$-design contained…
We study the number of points in the family of plane curves defined by a trinomial \[ \mathcal{C}(\alpha,\beta)= \{(x,y)\in\mathbb{F}_q^2\,:\,\alpha x^{a_{11}}y^{a_{12}}+\beta x^{a_{21}}y^{a_{22}}=x^{a_{31}}y^{a_{32}}\} \] with fixed…
The Descartes circle theorem states that if four circles are mutually tangent with disjoint intersion, then their curvatures (or "bends) b_j = 1/r_j satisfy the relation (b_1 + b_2 + b_3 + b_4)^2 = 2(b_1^2 + b_2^2 + b_3^2 + b_4^2). We show…
Let $M$ be either the 2-sphere $\SS^2 \subset\RR^3$ or the hyperbolic plane $\HH^2 \subset \RR^3$. If $\Delta(abc)$ is a geodesic triangle on $M$ with corners at $a,b,c\in M$, we denote by $\alpha, \beta, \gamma\in M$ the midpoints of their…
If $P$ is a point inside $\triangle ABC$, then the cevians through $P$ divide $\triangle ABC$ into smaller triangles of various sizes. We give theorems about the relationship between the radii of certain excircles of some of these…
We show that for each \ell\geq 4 every sufficiently large oriented graph G with \delta^+(G), \delta^-(G) \geq \lfloor |G|/3 \rfloor +1 contains an \ell-cycle. This is best possible for all those \ell\geq 4 which are not divisible by 3.…
The optimality of the Erd\H{o}s-Rado theorem for pairs is witnessed by the colouring $\Delta_\kappa : [2^\kappa]^2 \rightarrow \kappa$ recording the least point of disagreement between two functions. This colouring has no monochromatic…