Search arXivSearch

arXiv · 1112.5705

The Perpendicular Bisectors Construction, the Isoptic Point and the Simson Line of a Quadrilateral

Abstract

Given a noncyclic quadrilateral, we consider an iterative procedure producing a new quadrilateral at each step. At each iteration, the vertices of the new quadrilateral are the circumcenters of the triad circles of the previous generation quadrilateral. The main goal of the paper is to prove a number of interesting properties of the limit point of this iterative process. We show that the limit point is the common center of spiral similarities taking any of the triad circles into another triad circle. As a consequence, the point has the isoptic property (i.e., all triad circles are visible from the limit point at the same angle). Furthermore, the limit point can be viewed as a generalization of a circumcenter. It also has properties similar to those of the isodynamic point of a triangle. We also characterize the limit point as the unique point for which the pedal quadrilateral is a parallelogram. Continuing to study the pedal properties with respect to a quadrilateral, we show that for every quadrilateral there is a unique point (which we call the Simson point) such that its pedal consists of four points on line, which we call the Simson line, in analogy to the case of a triangle. Finally, we define a version of isogonal conjugation for a quadrilateral and prove that the isogonal conjugate of the limit point is a parallelogram, while that of the Simson point is a degenerate quadrilateral whose vertices coincide at infinity.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Olga Radko, Emmanuel Tsukerman. 2011-12-24. The Perpendicular Bisectors Construction, the Isoptic Point and the Simson Line of a Quadrilateral. https://arxiv.org/abs/1112.5705

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

From the Steiner Inellipse to the John Ellipsoid of a Simplex: A Corner-Volume Characterization

For a triangle of area \(T\), a planar corner-area characterization states that an interior point \(M\) lies on the Steiner inellipse precisely when the three corner triangles cut off by the lines through \(M\) parallel to the sides have areas \(T_1,T_2,T_3\) satisfying $$ T_1+T_2+T_3=\frac12 T. $$ We give the corresponding statement for a simplex in arbitrary dimension. If \(S\) is a nondegenerate \(n\)-simplex of volume \(V\) and \(V_1(M),\ldots,V_{n+1}(M)\) are the volumes of the facet-parallel corner simplices determined by \(M\), then $$ M\in\partial E_J(S) \quad\Longleftrightarrow\quad \sum_{i=1}^{n+1}V_i(M)^{2/n}=\frac1n V^{2/n}, $$ where \(E_J(S)\) is the John ellipsoid of \(S\). We also identify the entire corner-volume functional with the central second-moment quadratic of the uniform simplex. The novelty claimed here is limited to the corner-volume formulations and their connections with the planar Steiner-inellipse result; the underlying barycentric, covariance, and John-ellipsoid facts are classical.

math.MG

The $L_p$ Minkowski problem for $C$-close sets: existence and continuity

Let $C$ be a pointed closed convex cone in $\mathbb{R}^n$ with nonempty interior, and let $S^{n-1}$ denote the unit sphere in $\mathbb{R}^n$. The $L_p$ Minkowski problem for $C$-close sets is to determine, for a real number $p$ and a nonzero finite Borel measure $μ$ defined on $Ω_{C^\circ}=S^{n-1}\cap \mathrm{int} C^{\circ}$, whether there exists a $C$-close set $\mathds{A}$ such that $μ$ is the $L_p$ surface area measure of $\mathds{A}$. In this paper, we will solve the problem for $p\in (0,1)$ and for $μ$ being a nonzero finite Borel measure on $Ω_{C^\circ}$. Moreover, we establish the continuity of solutions to the $L_p$ Minkowski problem for $p\in [0, 1]$ in several settings.

math.MG

Convergence of metric measure spaces via embeddings in the Urysohn universal space

We study different notions of convergence of metric measure spaces by means of isometric embeddings into the Urysohn universal metric space $\mathbb U$. Due to the universality of $\mathbb U$, the collection $\mathbb X_1$ of isomorphism classes of normalised metric measure spaces can be canonically identified with the quotient (set) $\mathscr P_\sim(\mathbb U)=\mathscr P(\mathbb U)/\sim$ of the space $\mathscr P(\mathbb U)$ of Borel probability measures on $\mathbb U$, where $μ\simν$ if $ν$ is the pushforward of $μ$ under an isometry between their respective supports. By making crucial use of the ultrahomogeneity of $\mathbb U$, we show that, under the above identification, Gromov's box topology on $\mathbb X_1$ coincides with the quotient topology induced by the weak topology of $\mathscr P(\mathbb U)$. More quantitatively, the truncated $1$-Wasserstein distance on $\mathscr P(\mathbb U)$ induces a complete and separable distance ${\sf d}_{\rm mG}$ on $\mathbb X_1\cong\mathscr P_\sim(\mathbb U)$, which metrises the quotient topology of $\mathscr P_\sim(\mathbb U)$ and is Hölder equivalent to the box distance $\square$.

math.MG