Related papers: Inscribed triangles of Jordan curves in $\mathbb{R…
Let $J$ be a simple closed curve in $\mathbb R^{k}$ $(k\geq2)$ that is differentiable with non-zero derivative at a point $A_0\in J$. For a tuple of positive reals $a_1,\cdots,a_n$ $(n\geq3)$, each of which is less than the sum of the…
Meyerson's Theorem says that all but at most 2 points of any Jordan loop are vertices of inscribed equilateral triangles. We show that for any Jordan loop there are uncountable many other triangle shapes for which this same result is true.…
We prove that a Jordan $\calc^1$-curve in the plane contains any non-flat triangle up to translation and homothety with positive ratio. This is false if the curve is not $C^1$. The proof uses a bit configuration spaces, differential and…
We classify the set of quadrilaterals that can be inscribed in convex Jordan curves, in the continuous as well as in the smooth case. This answers a question of Makeev in the special case of convex curves. The difficulty of this problem…
We show how inscription problems in the plane can be generalized to Riemannian surfaces of constant curvature. We then use ideas from symplectic and Riemannian geometry to prove these generalized versions for smooth Jordan curves in the…
The square-peg problem asks if every Jordan curve in the plane has four points which are the vertices of a square. The problem is open for continuous Jordan curves, but it has been resolved for various regularity classes of curves between…
We prove that for every smooth Jordan curve $\gamma$, if $X$ is the set of all $r \in [0,1]$ so that there is an inscribed rectangle in $\gamma$ of aspect ratio $\tan(r\cdot \pi/4)$, then the Lebesgue measure of $X$ is at least $1/3$. To do…
The classical Jordan curve theorem for digital curves asserts that the Jordan curve theorem remains valid in the Khalimsky plane. Since the Khalimsky plane is a quotient space of $\mathbb R^2$ induced by a tiling of squares, it is natural…
We use Batson's lower bound on the nonorientable slice genus of $(2n,2n-1)$-torus knots to prove that for any $n \geq 2$, every smooth Jordan curve has an inscribed rectangle of of aspect ratio $\tan(\frac{\pi k}{2n})$ for some $k\in…
We develop a connection between the inscribed square problem and the question of understanding relation avoiding paths in a complex vector space. Our main theorem is that a Jordan curve with no inscribed squares would have a seemingly…
We show that there always exists an inscribed square in a Jordan curve given as the union of two graphs of functions of Lipschitz constant less than $1 + \sqrt{2}$. We are motivated by Tao's result that there exists such a square in the…
We prove that every Jordan curve in $\mathbb{R}^2$ inscribes uncountably many rhombi. No regularity condition is assumed on the Jordan curve.
We prove that any cyclic quadrilateral can be inscribed in any closed convex $C^1$-curve. The smoothness condition is not required if the quadrilateral is a rectangle.
Let $M_n$ be the algebra of $n \times n$ complex matrices. We consider arbitrary subalgebras $\mathcal{A}$ of $M_n$ which contain the algebra of all upper-triangular matrices (i.e.\ block upper-triangular subalgebras), and their Jordan…
We show that for every positive integer n there is a simple closed curve in the plane (which can be taken infinitely differentiable and convex) which has exactly n inscribed squares.
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…
In this paper we prove that any nonlinear Jordan derivation on triangular algebras is an additive derivation. As a byproduct, we obtain that any nonlinear Jordan derivation on nest algebras over infinite dimensional Hilbert spaces is inner.
Using a definition of Jordan curve similar to that of Dieudonn\'e, we prove that our notion is equivalent to that used by Berg et al. in their constructive proof of the Jordan Curve Theorem. We then establish a number of properties of…
We explicitly construct simple, piecewise minimizing geodesic, arbitrarily fine interpolation of simple and Jordan curves on a Riemannian manifold. In particular, a finite sequence of partition points can be specified in advance to be…
A new elementary nonstandard proof of the Jordan curve theorem is given. The proof (the technical part consists of 4 pages) is self-contained, except for the Jordan theorem for polygons taken for granted.