Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the Elements. Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from ...

learn more… | top users | synonyms

4
votes
1answer
599 views

Explicitly describing the region of the plane “outward of” a simple, open, oriented, cubic curve $c:(0,1)\to\mathbb{R}^2$

Some Context: I'm working with some data given in the form of Bezier curves. I need to sort these (partially ordered) Bezier curves by "outwardness" (described below) and have come across an ...
15
votes
0answers
496 views

Does every connected set that is not a line segment cross some dyadic square?

A dyadic square is a subset of $R^2$ of the form $x + 2^{-n} [0,1]^2$ with $x \in 2^{-m} Z^2$, for integers $m,n \geq 0$. We say that a set $A$ crosses a square $S$ if there exists a connected subset ...
12
votes
0answers
167 views

Dividing a convex region to minimize average distances

Let $C$ be a convex region in the plane with area 1 that contains distinct points $p_1,\dots,p_n$. Say I'd like to divide $C$ into $n$ pieces $C_1,\dots,C_n$, each of area $1/n$, and I'd like to ...
10
votes
0answers
379 views

What is the field generated by an Archimedean Spiral?

Let $F \subset \mathbb R$ be the set of lengths of line segments that one can construct, starting from the points $(0,0)$ and $(1,0)$, using a straightedge, compass, and an Archimedean spiral - the ...
10
votes
0answers
1k views

3-piece dissection of square to equilateral triangle?

At a workshop it was suggested that it likely remains an open problem whether or not there is a 3- or 2 -piece dissection of a square to an equilateral triangle. Can anyone confirm that this is ...
8
votes
0answers
174 views

Ricocheting pinball-like shot: Complexity?

Suppose one has $n$ perfect two-sided mirror segments in the plane $\mathbb{R}^2$. The segments are open, excluding their endpoints. They are disjoint as closed segments, i.e., no pair shares an ...
6
votes
0answers
117 views

Paradoxical spherical caps

All spherical caps (i.e. sets $C_L:=\{(x,y,z)|x^2+y^2+z^2=1, z\geq L\}$) admit a paradoxical decomposition in the sense of Banach-Tarski, meaning $C_L \tilde{} 2C_L$; here $\tilde{}$ stands for the ...
6
votes
0answers
154 views

Can a closed disc in the plane be partitioned into three disjoint sets which are pair-wise isometric?

Any progress on the following: Can a closed disc in the plane be partitioned into three disjoint sets which are pair-wise isometric, i.e. each set is an image of the others under an isometry?
6
votes
0answers
996 views

Interpolating points with minimum curvature constraint

I have $n$ points $p_i$ strictly interior to a rectangle $R$, and I would like to connect them with a curve $C$ whose curvature is as low as possible. Let $\kappa_\max(C)$ be the sharpest (largest ...
5
votes
0answers
512 views

Dao's theorem on six circumcenters associated with a cyclic hexagon

This questions from Ngo Quang Duong's paper In 2013, O. T. Dao published without proof a theorem with title Another seven circles theorem in Cut the Knot, a free site for popular expositionsof many ...
5
votes
0answers
149 views

Determining N d-points yielding equal sums of Euclidean distances from M s-points

Given M source points (s-points), determine N, the number of destination points (d-points), and their locations (coordinates), such that the sum of the N Euclidean distances from each source point to ...
5
votes
0answers
170 views

Tetrahedra passing through a hole

Assume a plane $P\subset\mathbb R^3$ has a hole $H$, and that the hole is topologically a compact disc. Being so, $P\setminus H$ does not separate the space. A regular tetrahedron $\sigma^3$ (of ...
4
votes
0answers
462 views

sine and Archimedes' derivation of the area of the circle

The elementary "opposite over hypotenuse" definition of the sine function defines the sine of an angle, not a real number. As discussed in the article "A Circular Argument" [Fred Richman, The College ...
3
votes
0answers
106 views
+50

Optimal instructions for the modular construction of rectlinear Lego structures

Let $X$ be a compact (or periodic) union of integer translates of unit cubes such that the interior of $X$ is connected. (If it makes any difference, suppose that the dimension $n$ of $X$ is 3.) I am ...
3
votes
0answers
129 views

Conjecture generalization of Feuerbach theorem and somes another theorems

My question: I am looking for a solution of a conjecture generalization of the Feuerbach theorem in the end of the topic. But I think, I should let you know why I found this conjecture. I thank to ...
3
votes
0answers
61 views

Equidistribution of Brillouin zones

Answering the question about Limiting shape for Brillouin zones Victor Kleptsyn proved that $N$th Brillouin zone is very close to a circle of radius $c\sqrt N$ (you can find all necessary definitions ...
3
votes
0answers
44 views

Number of not self-intersecting closed paths spanning $n$ iid uniform points

Let $X_1,X_2,\dots,X_n$ be independent uniform variables in the square. What is the number of piece-wise linear paths which vertices are all the $X_i$ and that do not self-intersect? In other words, ...
3
votes
0answers
203 views

Finite subgroups of the unimodular group

This is related to this MO question (and others as well). Hoping that this will not turn out to be too broad, I would like to know about the 'state of the art' of: 1) The problem of classifying ...
3
votes
0answers
280 views

Minimum solid angle and aspect ratio of an $n$-simplex

In computational geometry and other fields, it is of interest to have degeneracy measures for shapes of simplices, which quantitatively seperate the regular simplex from degenerate simplices. In two ...
3
votes
0answers
325 views

Characterizations of Euclidean space

I posted this question at math.stackexchange.com but didn't get an answer. Is it a dumb question, eventually? There are three ways of characterizing the abstract Euclidean space $E^n$ that are quite ...
2
votes
0answers
108 views

Which Coxeter groups can be realized as affine reflection groups?

Every affine reflection group has a Coxeter presentation (https://en.wikipedia.org/wiki/Reflection_group#Relation_with_Coxeter_groups). How do you tell which Coxeter presentations arise from affine ...
2
votes
0answers
47 views

Projecting a convex partition onto a convex set

Say that $X$ and $Y$ are two convex regions in the plane, and suppose that $X \subset Y$. Further suppose that $Y$ is partitioned into disjoint convex subsets $Y_1 ,\dots, Y_n$. Is there a way of ...
2
votes
0answers
123 views

Examples of Geometric Constructions in Higher Dimensions

The classical problem of geometric construction seems to be restricted to planar Euclidean Geometry with straight edge and compass as the only admissible "construction-tools". I would like to ...
2
votes
0answers
99 views

Containing a “fuzzy” ellipsoid within an ordinary ellipsoid

Consider the ellipsoid described by the inequality $(x - x_c)^T P^{-1} (x - x_c) \leq 1$, where the vector $x_c \in \mathbb{R}^n$ denotes the center of the ellipsoid and the symmetric positive ...
2
votes
0answers
251 views

Continuity of minimizers to distance function from point to convex set

Suppose I am minimizing the Euclidean distance in $\mathbb{R}^{n}$ between a point $y$ and compact convex set $U$ (where $y\notin U$): $\min_{x\in U}\|x-y\|$. I believe the minimizer $x_{U}^{*}$ is ...
2
votes
0answers
164 views

Probability of 4 Points being in Convex Configuration

Background of my question is, that I would like to implement a parallel preprocessing for a constructing the convex hull of very huge number of points in the euclidean plane; the idea is to process ...
2
votes
0answers
249 views

Find minimum-area ellipse enclosing a set of ellipses, all centered at the origin

Given a set of N > 2 (two-dimensional and coplanar) ellipses, all centered at the origin, how do I find the ellipse with the minimum area which encloses all of them? Background: Thanks to Will Jagy ...
2
votes
0answers
151 views

Series for envelope of triangle area bisectors

The lines which bisect the area of a triangle form an envelope as shown in this picture It is not difficult to show that the ratio of the area of the red deltoid to the area of the triangle is ...
2
votes
0answers
223 views

Axiomatization of the incidence geometry of the Euclidean plane

There are several well-known axiomatizations of Euclidean plane geometry, the language of which is usually considered to include at least the relations of incidence (point-line, point-segment, or ...
1
vote
0answers
45 views

Components of Intersection of Ellipsoids

Let $\Sigma$ be an $n-1$ dimensional ellipsoid in $\textbf{R}^{n}$ and $S$ the unit sphere. I would like to understand the connected components $C$ of the intersection of $\Sigma$ and $S$. In my ...
1
vote
0answers
106 views

Boundary surfaces in a 3d Voronoi tessellation with obstacles

Let $x_1,\dots,x_n$ be a set of points in $\mathbb{R}^3$ and let $\mathcal{O}_1 ,\dots, \mathcal{O}_m$ denote a set of polyhedral obstacles. What is the name for the surfaces that describe the ...
0
votes
0answers
25 views

Statistics of Length Eccess in Shortest Path Calculations

I am trying to quantify the error that arises in the following problem: let $\mathcal{T}$ be a tiling of the plane and the task is to calculate shortest paths in the network $\mathcal{N}$ of the union ...
0
votes
0answers
65 views

Maximum value of linear function on the intersection of a parametrized family of balls

Let $C$ be a (nonempty) closed convex subset of $\mathbb{R}^n$ and $a, b \in \mathbb{R}^n$. Using the normal cone characterization of the euclidean projection operator $\mathrm{proj}_C$ (recall that ...
0
votes
0answers
133 views

How large can a set of nearly equidistant points be?

Suppose that $D$ is a set of points in $\mathbb{R}^{k}$ such that all pairwise distances between them belong to $[1,1+\epsilon]$. It seems that such a set cannot be very large and that its ...
0
votes
0answers
103 views

About the area of the region where the paper is twofold when you double a piece of paper in the shape of a triangle

Suppose that you have a piece of paper in the shape of a triangle $ABC$ whose area is $S_0$ and that the area of the region where the paper is twofold when you double the paper in two along a line is ...
0
votes
0answers
93 views

Error Metric which incorporates both mean & standard deviation of data in euclidean space

For simplicities sake (the actually problem is more complex)...Let say I have a set of n 3d points, whose position move over time. For all pairs, I have calculated the mean and standard deviation of ...
0
votes
0answers
164 views

Inertia/Gravity in Distance Geometry

The Cayley-Menger Determinant, D(N), slickly calculates the N-dimensional simplex volume of any N+1 points. One constraint in our 3D world is that D(4)=0. Give each point a mass (Mi) and dynamic ...