Open problems in Euclidean geometry?

Question

What are some (research level) open problems in Euclidean geometry ?

(Edit: I ask just out of curiosity, to understand how -and if- nowadays this is not a "dead" field yet)

I should clarify a bit what I mean by "Euclidean geometry". By this term I mean, loosely, the study of the geometry of certain subsets of Euclidean space $\mathbb{E}^n$ from a point of view which is either the "classical" one (i.e. axiomatic), or one that involves more modern tools, but the problem in question has not to be "clearly" a problem within some other branch of maths such as differential or algebraic geometry, algebraic or general topology, analysis, or measure theory.

Some examples to clarify:

• the study of configurations of lines or affine subspaces is EG; but the algebro-topological study of hyperplane arrangements is not.
• plane conics as defined via their metric property are objects of EG; but "algebraic curves" are not, unless they're defined by some "elementary enough property" (intentionally vague) involving the Euclidean metric.
• root systems of Lie algebras are EG.
• polyhedral cones are EG.
• polytopes are EG.
• tessellations of space with polytopes or analogous objects are in EG.
• minimal surfaces in $\mathbb{E}^3$ are not EG.
• fractal geometry (Julia sets, self-affine fractals...) is not EG.
• not sure about convex bodies. If they're polyhedral I'd say their study fits in EG.
• packings of spheres are EG.

Answer 1

The Unit Distance Problem asks:

For a set of $n$ points in the plane, what is the maximal number $g(n)$ of unit distances realized among the ${n \choose 2}$ pairs?

A properly scaled square grid gives a lower bound of something like $g(n) \ge n^{1 + \frac{c}{\log \log{n}}}$, and a beautiful application of the crossing number lemma gives that $g(n) = O(n^{4/3})$.

A closely related problem where great progress was made very recently is the Distinct Distance problem, asking for the minimum number $f(n)$ of distinct distances among $n$ points in the plane. (Clearly $f(n)g(n) \ge {n \choose 2}$.)

Guth and Katz recently obtained a sharp exponent for $f(n)$. Terence Tao and János Pach wrote nice summaries of this work.

Answer 2

The happy ending problem ( https://en.wikipedia.org/wiki/Happy_Ending_problem ) says that any set of five points in the plane in general position has a subset of four points that form the vertices of a convex quadrilateral. More generally, Erdös and Szekeres proved that for any positive integer $N$, there is a minimal integer $f(N)$ such that any set of $f(N)$ points in the plane in general position has a subset of $N$ points that form the vertices of a convex polygon, and it is known that $f(N)$ is at least $1+2^{N-2}$.

An open question is: does $f(N)=1+2^{N-2}$ hold?

Added in edit: As pointed out by Suvrit in comment, a recent progress has been posted on the arXiv, showing that $f(N)=2^{N+o(N)}$.

Answer 3

Chromatic Number of the Plane or Hadwiger–Nelson problem asks for the minimum number of colors required to color the plane such that no two points at distance $1$ from each other have the same color. It is only known that $$5 ≤ \chi ≤ 7.$$

Answer 4

W. Wernick has tabulated 139 triangle construction problems using a list of sixteen points associated with the triangle. In each case three points are given and the goal is to construct a triangle for which the three 'special' points listed are the points given. There are still some open problems in Wernick's list. Notation:

$A$, $B$, $C$ Three vertices,

$M_a$, $M_b$, $M_c$ Three midpoints of the sides,

$H_a$, $H_b$, $H_c$ Three feet of the altitudes,

$T_a$, $T_b$, $T_c$ Three feet of the internal angle bisectors,

$G$, $H$, $I$, $O$ The centroid, orthocenter, incenter and circumcenter.

All problems are divided into the following four distinct types:

$R$ – Redundant. Given the location of two of the points of the triple, the location of the third point is determined. An example would be: $A$, $B$, $M_c$.

$L$ – Locus Restricted. Given the location of two points, the third must lie on a certain locus. Example: $A$, $B$, $O$.

$S$ – Solvable. Known ruler and compass solutions exist for these triples.

$U$ – Unsolvable. By using algebraic means, it is possible to prove that no ruler and compass solution exists for these triples. Example: $O$, $H$, $I$.

Update:

Wernick's list has been completed by Pascal Mathis and Pascal Schreck, see Determining automatically compass and straightedge unconstructibility in triangles.

Answer 5

I might as well air this question (first posed by Keith Ball) that has sweeping ramifications in convex geometry in high dimensions if the answer is yes:

Let $K$ be a centrally symmetric convex body in $\mathbb{R}^n$, and let $K^\circ$ be the polar or dual convex body. Define a statistic $e(K)$ as the expected value of $(\vec{x} \cdot \vec{y})^2$, where $\vec{x}$ is chosen randomly from $K$ and $\vec{y}$ is chosen randomly from $K^\circ$. Then for each fixed $n$, is $e(K)$ maximized when $K$ is an ellipsoid? The question is even open in two dimensions.

A much weaker conjecture is that the integral of $(\vec{x} \cdot \vec{y})^2$ over $K \times K^\circ$, as opposed to the average value, is maximized when $K$ is an ellipsoid. It is known that $K \times K^\circ$ has the most volume when $K$ is an ellipsoid; this fact is called Santaló's inequality.

It is known that the answer to the first conjecture is no if $K$ is not centrally symmetric, even if the origin is the only points fixed by the symmetries of $K$. (Central symmetry means specifically that $K = -K$.)

Answer 6

An important open problem in combinatorial Euclidean geometry is the question of how many different halving lines a set of $2n$ points in the Euclidean plane may have, in the worst case. A halving line is a line through two of the points such that $n-1$ of the points are on each of its sides. The number of halving lines is known to be $O(n^{4/3})$, and there are examples of point sets for which this number is $n2^{\sqrt{\Omega(\log n)}}$, but there remains a large gap between these upper and lower bounds.

Answer 7

I am reposting my own answer from Not especially famous, long-open problems which anyone can understand for it answers this question as well.

Are there eight points on the plane, no three on a line, no four on a circle, with integer pairwise distances?

The analogous question for seven points was posed by Paul Erdős and answered positively by Kreisel, Kurz 2008, who then asked this question.

Tobias Kreisel, Sascha Kurz, There Are Integral Heptagons, no Three Points on a Line, no Four on a Circle, Discrete & Computational Geometry 39/4 (2008), 786-790. (Internet Archive)

Answer 8

In recent years there have been a good amount of surveys and publications on "computational" or "combinatorial" geometry, and looking at them may give you a good idea of current questions. Specifically, there is the excellent recent book "Research Problems in Discrete Geometry" by Brass, Moser, and Pach. You may want to start by looking there and at the references it provides. Besides a good deal of information on classical questions, among many other topics, you find:

• Density problems for packings and coverings.
• Distance problems.
• Lattice point problems.
• Graph drawings and geometric graphs.
• Geometric inequalities.

Answer 9

Among the many choices one might get from an Internet search, I suggest Unsolved Problems in Geometry by Hallard Croft, Kenneth Falconer, and Richard Guy (Springer-Verlag, 1991). It may include references to non-Euclidean geometries.

As an aside, I would like to see a geometric proof that the configuration of Pappus is implied by that of Desargues for finite geometric spaces.

Gerhard "Ask Me About System Design" Paseman, 2011.01.30

Answer 10

What is the largest integer $k$ such that any $k$ points in the plane, no matter how they are arranged, can always be covered with disks with pairwise-disjoint interior having radius $1$?

See Covering Points with Disjoint Unit Disks for the history.

Answer 11

The classification of all pentagons tiling the plane is not completely finished, see for example MR3037862. (Bagina, O. G. Convex pentagons that tile the plane (types: 11112, 11122). (Russian) Sib. Èlektron. Mat. Izv. 9 (2012), 478–530.)

Update: This problem is now probably solved: see e.g. https://en.wikipedia.org/wiki/Pentagonal_tiling and references therein.

Answer 12

Polynomial Hirsch Conjecture?

Answer 13

In addition to the Croft-Falconer-Guy and Brass-Moser-Pach books others have mentioned, there's Victor Klee and Stan Wagon, Old and New Unsolved Problems in Plane Geometry and Number Theory, No. 11 in the MAA series, Dolciani Mathematical Expositions, from 1991.

Answer 14

Let $L_0,L_1,L_2,L_3,L_4$ be five lines in general position on the Euclidean plane---think of the subscripts mod $5$ and draw $L_i$ as the consecutive lines of a (not necessarily regular!) pentagram. Let $C_i$ be the circle inscribed about the triangle formed by $L_i$, $L_{i-2}$, and $L_{i+2}$. Then $C_{i-1}$ and $C_{i+1}$ meet at the intersection of $L_{i-1}$ and $L_{i+1}$, and again at some other point $P_i$ (which we take to be the same point if the two circles are tangent there). Show that these five points $P_i$ are concyclic.
.
Actually, it isn't open, but some years ago presented to me as open, with computer-graphical evidence for it...