Related papers: On Spaces of Inscribed Triangles

We define symmetric spaces in arbitrary dimension and over arbitrary non-discrete topological fields $\K$, and we construct manifolds and symmetric spaces associated to topological continuous quasi-inverse Jordan pairs and -triple systems.…

If we label the vertices of a triangle with 1, 2 and 4, and the orthocentre with 7, then any of the four numbers 1, 2, 4, 7 is the nim-sum of the other three and is their orthocentre. Regard the triangle as an orthocentric quadrangle.…

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…

Let $M_n(R)$ be the algebra of all $n\times n$ matrices over a unital commutative ring $R$ with 6 invertible. We say that $A\in M_n(R)$ is a Jordan product determined point if for every $R$-module $X$ and every symmetric $R$-bilinear map…

In this paper we provide a proof of the Carleson $\varepsilon^2$-conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated…

For every smooth Jordan curve $\gamma$ and cyclic quadrilateral $Q$ in the Euclidean plane, we show that there exists an orientation-preserving similarity taking the vertices of $Q$ to $\gamma$. The proof relies on the theorem of…

We prove the Jordan curve theorem by generalizing the sweepline algorithm for trapezoidal decomposition of a polygon. Our proof uses Zorn's lemma (or, equivalently the axiom of choice). Though several proofs have been given for the Jordan…

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…

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.

A Jordan loop is a commutative loop satisfying the Jordan identity $(x^2 y) x = x^2 (y x)$. We establish several identities involving powers in Jordan loops and show that there is no nonassociative Jordan loop of order $9$.

If P is a point inside triangle ABC, then the cevians through P extended to the circumcircle of triangle ABC create a figure containing a number of curvilinear triangles. Each curvilinear triangle is bounded by an arc of the circumcircle…

We prove a multiplicity result for rectangular pegs that there is a generic class of smooth Jordan curves in which every curve admits two geometrically distinct similar inscribed rectangles with aspect angle in $(0,\frac{\pi}{2})$, based on…

An elliptic curve defined over a number field possesses only a finite number of torsion points defined over the cyclotomic closure of its field of definition. In analogy to the relative version of the Manin-Mumford conjecture stated by…

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…

A tensor space is a vector space equipped with a finite collection of multilinear forms. The length of a tensor space is its length as a representation of its symmetry group. Infinite dimension tensor spaces of finite length are special,…

In earlier work of two of the authors, two 1-loop polynomial invariants of cusped 3-manifolds were constructed using combinatorial data of ideal triangulations, and conjectured to be equal to the $\mathbb{C}^2$ and the…

There have been several propositions for a geometric and essentially non-linear formulation of quantum mechanics. From a purely mathematical point of view, the point of view of Jordan algebra theory might give new strength to such…

We obtain the following version of Lidskii theorem. Let L, M, N be p-dimensional subspaces in R^n. Let \psi_j be the angles between L and M, let \phi_j be the angles between M and N, and let \theta_j be the angles between L and N. Consider…

Jordan isomorphisms of rings are defined by two equations. The first one is the equation of additivity while the second one concerns multiplicativity with respect to the so-called Jordan product. In this paper we present results showing…

A commutative loop is Jordan if it satisfies the identity $x^2 (y x) = (x^2 y) x$. Using an amalgam construction and its generalizations, we prove that a nonassociative Jordan loop of order $n$ exists if and only if $n\geq 6$ and $n\neq 9$.…