-
Ball characterizations in planes and spaces of constant curvature, I
Authors:
Jesús Jerónimo-Castro,
Endre Makai Jr
Abstract:
Let us have in S^2, R^2 or H^2 a pair of convex bodies, for S^2 different from S^2, such that the intersections of any congruent copies of them are centrally symmetric. Then our bodies are congruent circles. If the intersections of any congruent copies of them are axially symmetric, then our bodies are circles.
Let us have in S^2, R^2 or H^2 proper closed convex subsets K,L with interior points,…
▽ More
Let us have in S^2, R^2 or H^2 a pair of convex bodies, for S^2 different from S^2, such that the intersections of any congruent copies of them are centrally symmetric. Then our bodies are congruent circles. If the intersections of any congruent copies of them are axially symmetric, then our bodies are circles.
Let us have in S^2, R^2 or H^2 proper closed convex subsets K,L with interior points, such that the numbers of the connected components of the boundaries of K and L are finite. If the intersections of any congruent copies of K and L are centrally symmetric, then K and L are congruent circles, or, for R^2, parallel strips. We describe all pairs of such subsets K,L, whose any congruent copies have an intersection with axial symmetry. For S^2, R^2 and H^2 there are 1, 5 and 9 cases, resp.
Let us have in S^d, R^d or H^d proper closed convex C^2_+ subsets K,L with interior points, such that all sufficiently small intersections of their congruent copies are symmetric w.r.t. a particular hyperplane. Then the boundary components of both K and L are congruent, and each of them is a sphere, a parasphere or a hypersphere.
Let us have a pair of convex bodies in S^d, R^d or H^d, which have at any boundary points supporting spheres, for S^d of radius less than π/2. If the convex hull of the union of any congruent copies of these bodies is centrally symmetric, then our bodies are congruent balls, for S^d of radius less than π/2. An analogous statement holds for symmetry w.r.t. a particular hyperplane. For d=2 suppose the existence of the above supporting circles, for S^2 of radius less than π/2, and for S^2 smoothness of K and L. If we suppose axial symmetry of all the above convex hulls, then our bodies are circles, for S^2 of radii less than π/2.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
On characteristic properties of the ellipsoid in terms of circumscribed cones of a convex body
Authors:
Efrén Morales-Amaya,
Geronimmo Mondragón,
Jesús Jerónimo-Castro
Abstract:
We strongly believe that in order to prove two important geometrical pro\-blems in convexity, namely, the G. Bianchi and P. Gruber's Conjecture \cite{bigru} and the J. A. Barker and D. G. Larman's Conjecture \cite{Barker}, it is necessary obtain new characteristic properties of the ellipsoid, which involves the notions defined in such problems. In this work we present a series of results which int…
▽ More
We strongly believe that in order to prove two important geometrical pro\-blems in convexity, namely, the G. Bianchi and P. Gruber's Conjecture \cite{bigru} and the J. A. Barker and D. G. Larman's Conjecture \cite{Barker}, it is necessary obtain new characteristic properties of the ellipsoid, which involves the notions defined in such problems. In this work we present a series of results which intent to be a progress in such direction: Let $L,K\subset \mathbb{R}^n$ be convex bodies, $n\geq 3$, and $L$ be a subset in the interior of $K$. Then each of the following conditions i), ii) and iii) implies that $L$ is an ellipsoid.
i) $L$ is $O$-symmetric and, for every $x$ in the boundary of $K$, the support cone $S(L,x)$ is ellipsoidal.
ii) there exists a point $p\in \mathbb{R}^n$ such that for every $x$ in the boundary of $K$, there exists a point $y$ in the boundary of $K$ and hyperplane $Π$, passing through $p$, such that \[ S(L,x)\cap S(L,y)=Π\cap \textrm{bd } K. \]
iii) $K$ and $L$ are $O$-symmetric, every $x$ in the boundary of $K$ is a pole of $L$ and $Ω_x:=S(L,x)\cap S(L,-x)$ is contained in the interior of $K$.
In the case ii), $K$ is also an ellipsoid and it is concentric with $L$. On the other hand, let $K\subset \mathbb{R}^n$ be a $O$-symmetric convex body, $n\geq 3$, and let $B$ in $\mathbb{R}^n$ be a ball with centre at $O$. We are going to prove that if $B$ is small enough and all the sections of $K$ given by planes tangent to $B$ are $(n-1)$-ellipsoids, then $K$ is an $n$-ellipsoid.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
An equichordal characterization of the ellipsoid and the sphere
Authors:
Victor A. Aguilar-Arteaga,
Rafael Iván Ayala-Figueroa,
Jesús Jerónimo-Castro,
Efrén Morales-Amaya
Abstract:
Let $K$ and $L$ be two convex bodies in $\mathbb R^n$, $n\geq 3$, with $L\subset \text{int}\, K$. In this paper we prove the following result: if every two parallel chords of $K$, supporting $L$ have the same length, then $K$ and $L$ are homothetic and concentric ellipsoids. We also prove a similar theorem when instead of parallel chords we consider concurrent chords. We may also replace, in both…
▽ More
Let $K$ and $L$ be two convex bodies in $\mathbb R^n$, $n\geq 3$, with $L\subset \text{int}\, K$. In this paper we prove the following result: if every two parallel chords of $K$, supporting $L$ have the same length, then $K$ and $L$ are homothetic and concentric ellipsoids. We also prove a similar theorem when instead of parallel chords we consider concurrent chords. We may also replace, in both theorems, supporting chords of $L$ by supporting sections of constant width. In the last section we also prove similar theorems where we consider projections instead of sections.
△ Less
Submitted 5 August, 2023;
originally announced August 2023.
-
Characterization of the sphere and of bodies of revolution by means of Larman points
Authors:
María Angeles Alfonseca,
Michelle Cordier,
Jesús Jerónimo-Castro,
Efrén Morales-Amaya
Abstract:
Let $K\subset \Rn$, $n\geq 3$, be a convex body. A point $p\in \Rn$ is said to be a \textit{Larman point} of $K$ if, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry. If a point $p \in \Rn$ is a Larman point and if, in addition, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry which contains $p$,…
▽ More
Let $K\subset \Rn$, $n\geq 3$, be a convex body. A point $p\in \Rn$ is said to be a \textit{Larman point} of $K$ if, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry. If a point $p \in \Rn$ is a Larman point and if, in addition, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry which contains $p$, then we call $p$ a \textit{revolution point} of $K$. In this work we prove that if $K\subset \Rt$ is a strictly convex centrally symmetric body with centre at $o$, $p$ is a Larman point of $K$ and there exists a line $L$ such that $p\notin L$ and, for every plane $Γ$ passing through $p$, the section $Γ\cap K$ has a line of symmetry which intersects $L$, then $K$ is a body of revolution (in some cases, we conclude that $K$ is a sphere). On the other hand, we also prove that if $p$ is a revolution point such that $p\not=o$, then $K$ is a body of revolution.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Some results about equichordal convex bodies
Authors:
Jesús Jerónimo-Castro,
Francisco G. Jimenez-Lopez,
Efrén Morales-Amaya
Abstract:
Let $K$ and $L$ be two convex bodies in $\mathbb R^n$, $n\geq 2$, with $L\subset \text{int}\, K$. We say that $L$ is an equichordal body for $K$ if every chord of $K$ tangent to $L$ has length equal to a given fixed value $λ$. J. Barker and D. Larman proved that if $L$ is a ball, then $K$ is a ball concentric with $L$. In this paper we prove that there exist an infinite number of closed curves, di…
▽ More
Let $K$ and $L$ be two convex bodies in $\mathbb R^n$, $n\geq 2$, with $L\subset \text{int}\, K$. We say that $L$ is an equichordal body for $K$ if every chord of $K$ tangent to $L$ has length equal to a given fixed value $λ$. J. Barker and D. Larman proved that if $L$ is a ball, then $K$ is a ball concentric with $L$. In this paper we prove that there exist an infinite number of closed curves, different from circles, which possess an equichordal convex body. If the dimension of the space is more than or equal to 3, then only Euclidean balls possess an equichordal convex body. We also prove some results about isoptic curves and give relations between isoptic curves and convex rotors in the plane.
△ Less
Submitted 29 August, 2021;
originally announced August 2021.
-
A characterization of centrally symmetric convex bodies in terms of visual cones
Authors:
E. Morales-Amaya,
J. Jerónimo-Castro,
D. J. Verdusco-Hernández
Abstract:
In this work we prove the following result: Let $K$ be a strictly convex body in the Euclidean space $\mathbb{R}^n, n\geq 3$, and let $L$ be a hypersurface, which is the image of an embedding of the sphere $\mathbb{S}^{n-1}$, such that $K$ is contained in the interior of $L$. Suppose that, for every $x\in L$, there exists $y\in L$ such that the support double-cones of $K$ with apexes at $x$ and…
▽ More
In this work we prove the following result: Let $K$ be a strictly convex body in the Euclidean space $\mathbb{R}^n, n\geq 3$, and let $L$ be a hypersurface, which is the image of an embedding of the sphere $\mathbb{S}^{n-1}$, such that $K$ is contained in the interior of $L$. Suppose that, for every $x\in L$, there exists $y\in L$ such that the support double-cones of $K$ with apexes at $x$ and $y$, differ by a translation. Then $K$ and $L$ are centrally symmetric and concentric.
△ Less
Submitted 3 August, 2021;
originally announced August 2021.
-
Sections and projections of nested convex bodies
Authors:
I. González-García,
J. Jerónimo-Castro,
E. Morales-Amaya,
D. J. Verdusco-Hernández
Abstract:
One of the most important problems in Geometric Tomography is to establish properties of a given convex body if we know some properties over its sections or its projections. There are many interesting and deep results that provide characterizations of the sphere and the ellipsoid in terms of the properties of its sections or projections. Another kind of characterizations of the ellipsoid is when w…
▽ More
One of the most important problems in Geometric Tomography is to establish properties of a given convex body if we know some properties over its sections or its projections. There are many interesting and deep results that provide characterizations of the sphere and the ellipsoid in terms of the properties of its sections or projections. Another kind of characterizations of the ellipsoid is when we consider properties of the support cones. However, in almost all the known characterizations, we have only a convex body and the sections, projections, or support cones, are considered for this given body. In this article we proved some results that characterizes the Euclidean ball or the ellipsoid when the sections or projections are taken for a pair of nested convex bodies, i.e., two convex bodies $K$, $L$ such that $L\subset\text{int}\, K.$ We impose some relations between the corresponding sections or projections and some apparently new characterizations of the ball or the ellipsoid appear. We also deal with properties of support cones or point source shadow boundaries when the apexes are taken in the boundary of $K$.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Convex bodies with equipotential circles
Authors:
Iván González-García,
Jesús Jerónimo-Castro,
Valentín Jiménez-Desantiago,
Efrén Morales-Amaya
Abstract:
Given a convex body $K\subset \mathbb R^2$ we say that a circle $Ω\subset \text{int} \ K$ is an equipotential circle if every tangent line of $Ω$ cuts a chord $AB$ in $K$ such that for the contact point $P=Ω\cap AB$ it holds that $|AP|\cdot|PB|=λ$, for a suitable constant number $λ$. The main result in this article is the following: Let $K\subset\mathbb R^2$ be a convex body which has an equipoten…
▽ More
Given a convex body $K\subset \mathbb R^2$ we say that a circle $Ω\subset \text{int} \ K$ is an equipotential circle if every tangent line of $Ω$ cuts a chord $AB$ in $K$ such that for the contact point $P=Ω\cap AB$ it holds that $|AP|\cdot|PB|=λ$, for a suitable constant number $λ$. The main result in this article is the following: Let $K\subset\mathbb R^2$ be a convex body which has an equipotential circle $\mathcal B$ with centre $O$ in its interior. Then $K$ has centre of symmetry at $O$, moreover, if none chord of $K$ which is tangent to $\mathcal B$ subtends an angle $π/2$ from $O$, then $K$ is a disc. We also derive some results which characterizes the ellipsoid and the sphere in $\mathbb R^3$ and introduce also the concept of equireciprocal disc.
△ Less
Submitted 24 July, 2021;
originally announced July 2021.
-
Ball characterizations in spaces of constant curvature
Authors:
J. Jerónimo-Castro,
E. Makai, Jr
Abstract:
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and hyperbolic spaces, under some regularity assumptions. Suppose that in any of these spaces there is a pair of closed convex sets of class $C^2_+$ with interior points, di…
▽ More
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and hyperbolic spaces, under some regularity assumptions. Suppose that in any of these spaces there is a pair of closed convex sets of class $C^2_+$ with interior points, different from the whole space, and the intersections of any congruent copies of these sets are centrally symmetric (provided they have non-empty interiors). Then our sets are congruent balls. Under the same hypotheses, but if we require only central symmetry of small intersections, then our sets are either congruent balls, or paraballs, or have as connected components of their boundaries congruent hyperspheres (and the converse implication also holds).
Under the same hypotheses, if we require central symmetry of all compact intersections, then either our sets are congruent balls or paraballs, or have as connected components of their boundaries congruent hyperspheres, and either $d \ge 3$, or $d=2$ and one of the sets is bounded by one hypercycle, or both sets are congruent parallel domains of straight lines, or there are no more compact intersections than those bounded by two finite hypercycle arcs (and the converse implication also holds).
We also prove a dual theorem. If in any of these spaces there is a pair of smooth closed convex sets, such that both of them have supporting spheres at any of their boundary points --- for $S^d$ of radius less than $ π/2$ --- and the closed convex hulls of any congruent copies of these sets are centrally symmetric, then our sets are congruent balls.
△ Less
Submitted 4 July, 2018; v1 submitted 3 August, 2017;
originally announced August 2017.
-
Pairs of convex bodies in $S^d$, ${\Bbb R}^d$ and $H^d$, with symmetric intersections of their congruent copies
Authors:
J. Jerónimo-Castro,
E. Makai Jr
Abstract:
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical and hyperbolic planes. If in any of these planes, or in ${\Bbb R}^2$, there is a pair of closed convex sets with interior points, and the intersections of any congruent copies of these…
▽ More
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical and hyperbolic planes. If in any of these planes, or in ${\Bbb R}^2$, there is a pair of closed convex sets with interior points, and the intersections of any congruent copies of these sets are centrally symmetric, then, under some mild hypotheses, our sets are congruent circles, or, for ${\Bbb R}^2$, two parallel strips. We prove the analogue of this statement, for $S^d$, ${\Bbb R}^d$, $H^d$, if we suppose $C^2_+$: again, our sets are congruent balls. In $S^2$, ${\Bbb R}^2$ and $H^2$ we investigate a variant of this question: supposing that the numbers of connected components of the boundaries of both sets are finite, we exactly describe all pairs of such closed convex sets, with interior points, whose any congruent copies have an intersection with axial symmetry (there are 1, 5 or 9 cases, respectively).
△ Less
Submitted 18 January, 2016;
originally announced January 2016.
-
Configuration spaces of plane polygons and a sub-Riemannian approach to the equitangent problem
Authors:
J. Jeronimo-Castro,
S. Tabachnikov
Abstract:
The equitangent locus of a convex plane curve consists of the points from which the two tangent segments to the curve have equal length. The equitangent problem concerns the relation between the curve and its equitangent locus. An equitangent n-gon of a convex curve is a circumscribed n-gon whose vertices belong to the equitangent locus. We are interested in curves that admit 1-parameter families…
▽ More
The equitangent locus of a convex plane curve consists of the points from which the two tangent segments to the curve have equal length. The equitangent problem concerns the relation between the curve and its equitangent locus. An equitangent n-gon of a convex curve is a circumscribed n-gon whose vertices belong to the equitangent locus. We are interested in curves that admit 1-parameter families of equitangent n-gons. We use methods of sub-Riemannian geometry: we define a distribution on the space of polygons and study its bracket generating properties. 1-parameter families of equitangent polygons correspond to the curves, tangent to this distribution. This distribution is closely related with the Birkhoff distribution on the space of plane polygons with a fixed perimeter length whose study, in the framework of the billiard ball problem, was pioneered by Yu. Baryshnikov, V. Zharnitsky and J. Landsberg
△ Less
Submitted 16 August, 2014;
originally announced August 2014.
-
On a problem by Dol'nikov
Authors:
Jesús Jerónimo-Castro,
Alexander Magazinov,
Pablo Soberón
Abstract:
In 2011 at an Oberwolfach workshop in Discrete Geometry, V. Dol'nikov posed the following problem. Consider three non-empty families of translates of a convex compact set $K$ in the plane. Suppose that every two translates from different families have a point of intersection. Is it always true that one of the families can be pierced by a set of three points?
A result by R. N. Karasev from 2000 g…
▽ More
In 2011 at an Oberwolfach workshop in Discrete Geometry, V. Dol'nikov posed the following problem. Consider three non-empty families of translates of a convex compact set $K$ in the plane. Suppose that every two translates from different families have a point of intersection. Is it always true that one of the families can be pierced by a set of three points?
A result by R. N. Karasev from 2000 gives, in fact, an affirmative answer to the "monochromatic" version of the problem above. That is, if all the three families in the problem coincide. In the present paper we solve Dol'nikov's problem positively if $K$ is either centrally symmetric or a triangle, and show that the conclusion can be strengthened if $K$ is an euclidean disk. We also confirm the conjecture if we are given four families satisfying the conditions above.
△ Less
Submitted 7 April, 2015; v1 submitted 17 October, 2013;
originally announced October 2013.
-
Helly type theorems for the sum of vectors in a normed plane
Authors:
Imre Bárány,
Jesús Jerónimo-Castro
Abstract:
The main results here are two Helly type theorems for the sum of (at most) unit vectors in a normed plane. Also, we give a new characterization of centrally symmetric convex sets in the plane.
The main results here are two Helly type theorems for the sum of (at most) unit vectors in a normed plane. Also, we give a new characterization of centrally symmetric convex sets in the plane.
△ Less
Submitted 3 October, 2013;
originally announced October 2013.
-
The equal tangents property
Authors:
J. Jeronimo-Castro,
G. Ruiz-Hernandez,
S. Tabachnikov
Abstract:
Let M be a smooth strictly convex closed surface in space and denote by H the set of points x in the exterior of M such that all the tangent segments from x to M have equal lengths. In this note we prove that if H is either a closed surface containing M or a plane then M is an Euclidean sphere. Moreover, we shall see that the situation in the Euclidean plane is very different.
Let M be a smooth strictly convex closed surface in space and denote by H the set of points x in the exterior of M such that all the tangent segments from x to M have equal lengths. In this note we prove that if H is either a closed surface containing M or a plane then M is an Euclidean sphere. Moreover, we shall see that the situation in the Euclidean plane is very different.
△ Less
Submitted 4 May, 2012; v1 submitted 1 May, 2012;
originally announced May 2012.
-
Two characterizations of ellipsoidal cones
Authors:
Jesús Jerónimo-Castro,
Tyrrell B. McAllister
Abstract:
We give two characterizations of cones over ellipsoids. Let $C$ be a closed pointed convex linear cone in a finite-dimensional real vector space. We show that $C$ is a cone over an ellipsoid if and only if the affine span of $\partial C \cap \partial(a - C)$ has dimension $\dim(C) - 1$ for every point $a$ in the relative interior of $C$. We also show that $C$ is a cone over an ellipsoid if and onl…
▽ More
We give two characterizations of cones over ellipsoids. Let $C$ be a closed pointed convex linear cone in a finite-dimensional real vector space. We show that $C$ is a cone over an ellipsoid if and only if the affine span of $\partial C \cap \partial(a - C)$ has dimension $\dim(C) - 1$ for every point $a$ in the relative interior of $C$. We also show that $C$ is a cone over an ellipsoid if and only if every bounded section of $C$ by an affine hyperplane is centrally symmetric.
△ Less
Submitted 6 March, 2013; v1 submitted 17 April, 2012;
originally announced April 2012.