The tag has no usage guidance.

learn more… | top users | synonyms

-4
votes
0answers
68 views

Size of a point [on hold]

I know this may sound too simple or maybe too absurd to discuss, but I am having a hard time visualizing a point in space! In Euclid's Elements a 'Point' is defined as Something which has no part.Now, ...
4
votes
2answers
137 views

Inequality from a point in plane to a triangle OR Inequality on a quadrilateral

If points $A$, $B$, $C$ form a triangle in euclidean space and $D$ is another point in the plane of the triangle, the problem is to show that : $\frac{AB}{DA + DB} + \frac{BC}{DB + DC} \ge ...
2
votes
0answers
103 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 ...
9
votes
1answer
192 views

Generalization of Stewart's theorem?

I'm curious about the generalization of Stewart's theorem to more dimensions. MathWorld mentions that there is a generalization done by Bottema, but I could not find much information on it. All I ...
3
votes
1answer
98 views

Existence or otherwise of a set of “sufficiently intricate” open sets

Fix $d \in \mathbb{N}$. Do there exist mutually disjoint connected open sets $V_1,\ldots,V_n \subset \mathbb{R}^d$ and $\mathbf{v} \in \mathbb{R}^d$ such that $\mathbb{R}^d \setminus ...
16
votes
2answers
810 views

Probability of two vectors lying in the same orthant

Let $S^{d-1} = \{x \in \mathbb R^d: \|x\| = 1\}$ denote the unit sphere in $\mathbb R^d$. Let $v$, $w$ be drawn uniformly at random from $S^{d-1}$, conditioned on their inner product being equal to ...
4
votes
1answer
368 views

Is every complex rational algebraic variety simply connected for the Euclidean topology?

Is it true that every quasi-projective rational irreducible algebraic complex variety is simply connected for the Euclidean topology? Of course, this is false if we replace "complex" with "real" or ...
0
votes
0answers
58 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 ...
3
votes
0answers
59 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 ...
12
votes
1answer
299 views

Limiting shape for Brillouin zones

Is it true that the limiting shape for Brillouin zones (for any lattice) is a circle? You can find the definition and the step by step construction of Brillouin zones here. This picture is taken from ...
7
votes
2answers
300 views

Closed curve whose neighborhood is as large as possible

Let $C$ be a closed curve in the plane and let $N_\epsilon(C)$ be an $\epsilon$-neighborhood of $C$, like this: (ignore the fact that the "curve" is polygonal in this picture, I drew it in MATLAB) ...
5
votes
0answers
137 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 ...
2
votes
1answer
137 views

Is it possible to construct an isosceles triangle by using a ruler and without using a pair of compasses?

It is well known that on Euclidean plane one can construct an isosceles triangle on given straight line by using a ruler and a pair of compasses. Also it is possible to construct straight line ...
12
votes
1answer
703 views

A problem in elementary geometry

Let us have a triangle ABC in the Cartesian plane and consider the following transformation of this triangle: On the ray AB starting at A, select a point B' so that so that |AB'|=|AC|. Likewise, ...
12
votes
1answer
457 views

Maximal Number of Pairs of Orthogonal vectors in a set of $n$ vectors in $\mathbb{R}^3$

Suppose you are given a set of $n$ non-zero vectors in $\mathbb{R}^3$. What is the maximum number of pairs of them that are orthogonal? The current guess is $\le 2n$. EDIT: I forgot to add that no ...
3
votes
4answers
321 views

Terminology for polygons

As you may know term "polygon" might mean few different things and its meaning has to guessed from context. By some reason I have to use few of these meaning in one place. So I converge to the ...
0
votes
2answers
82 views

Pairwise distance distribution for point clouds (normal distribution) [closed]

I have a point cloud (2D for now) of $N$ normally distributed points (with a certain $\sigma$). My first question would be how the pairwise distance distribution looks (just by chance I discovered a ...
2
votes
1answer
73 views

Equality of Euclidean numbers / constructible numbers

Euclidean numbers are those real number that can be constructed from the natural numbers by a finite chain of +,-,*,/ and $\sqrt{}$. They are also called Constructible Numbers. I am now interested in ...
7
votes
1answer
125 views

Elementary proof of a triangular grid lemma

I am looking for an elementary proof of the following lemma, which concerns what Green and Tao call "triangular grids" (see arXiv:1208.4714). Let $a_1$, $a_2$, $a_3$, $a_4$, $b_1$, $b_2$ be six ...
5
votes
1answer
103 views

Penrose tiling substitution is bijective

Let $\mathcal{P}$ a Penrose tiling built by a substitution $\omega$ with two triangles. It is claimed, for instance, in the article of Anderson and Putnam "Topological invariants for substitution ...
4
votes
1answer
502 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 ...
1
vote
0answers
46 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 ...
16
votes
1answer
384 views

What sort of models did Bolyai and Lobachevsky use to demonstrate the consistency of their models of non-Euclidean Geometry?

As is well-known, in the 1820s both Bolyai and Lobachevsky showed, at long last, the independence of the Parallel Postulate from the rest of the axioms of Euclidean geometry by developing what we now ...
2
votes
1answer
166 views

What is the distribution of the maximum nearest-neighbor distance of a point cloud sampled from a solid body like?

Let $\mathcal{B} \subseteq \mathbb{R}^n$ be an $n$-dimensional solid body. Assume that we sample $N$ points, say $S = \{ x_1, ..., x_N \}$, from $\mathcal{B}$ uniformly at random. Consider the ...
11
votes
0answers
158 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 ...
4
votes
1answer
181 views

Segments on a family of parallel lines

Let $\{l_i:i\in I\}$ be a family of parallel lines on the plane $\mathbb{R}^2$. Suppose for each $i\in I$ there is a closed segment $s_i\subset l_i$. Moreover, for each triple $i_1,i_2,i_3$ there ...
0
votes
0answers
128 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 ...
6
votes
1answer
139 views

Angle subtended by the shortest segment that bisects the area of a convex polygon

Let $C$ be a convex polygon in the plane and let $s$ be the shortest line segment (I believe this is called a "chord") that divides the area of $C$ in half. What is the smallest angle that $s$ could ...
6
votes
1answer
174 views

Did Lucas discover Lucas circles?

MathWord's article on Lucas circles traces the name to a little-known 1973 publication. These interesting circles have found their way into several 21st century publications, including the online ...
8
votes
0answers
173 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 ...
4
votes
1answer
107 views

Geometric realization of an abstract triangulation of the plane

Can every abstract simplicial complex whose geometric realization is homeomorphic to $\mathbb{R}^2$ be realized by a rectilinear triangulation of the Euclidean plane? Alternatively put, can a curvy ...
2
votes
0answers
118 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 ...
4
votes
1answer
587 views

Focus of parabola using only a ruler

It is an easy exercise that using ruler and compass one find the focus of a given parabola. Can one do the same using only a ruler? -- if not, why?
2
votes
1answer
98 views

Measuring the Randomness and Statistics of Convex Polygons

How can I tell, how likely it is, that a given convex polygon with a sufficiently high number of edges is random and, if so, what kind of randomness it is (e.g. white noise)? What is known about ...
10
votes
5answers
554 views

ten concurrent lines

this relates to a question asked at MSE. i was able to find an answer using complex numbers. here is the question: there are five points on a circle. take any three points, through the centroid of ...
9
votes
0answers
287 views

How can we join two points with a small ruler? [closed]

We want to join by a line two distinct points $A$ and $B$. We have only a ruler of length $l>0$ and a pen. If $AB>l$ how can we do this? Imagine a method that works when $AB$ is really huge and ...
8
votes
1answer
735 views

How large can you draw an island on a map?

A cartographer friend asked me this question: could you classify (shapes of) islands by how much space they occupy on a map (comparatively to how much space is occupied by water) if you draw them as ...
2
votes
1answer
88 views

Calculating the “Belvedere Hull” of a Simple Planar Polygon

As an informal motivation the problem, imagine a tower with polygonal footprint, that is located in a beautiful landscape, the "Belvedere Hull" is then related to the directions, in which one would ...
28
votes
2answers
699 views

Term for “uncheckable constructions”

Is there a term for "uncheckable geometric constructions"? Say, Angle Trisection and Doubling the Cube are checkable; i.e., if the answer is given one can do finite Compass-and-straightedge ...
3
votes
1answer
139 views

Three-dimensional Apollonian spirals

Given mutually (externally) tangent spheres $S_1$, $S_2$, $S_3$, $S_4$, let $S_n$ be the unique sphere externally tangent to $S_{n-1}$, $S_{n-2}$, $S_{n-3}$, and $S_{n-4}$ for $n \geq 5$. Let ...
6
votes
4answers
240 views

Inside-out polygonal dissections

A dissection of a polygon $P$ is a partition of $P$ into a finite number of pieces, which can then be rearranged (via planar translations and rotations) and joined (without overlap) to form a new ...
6
votes
2answers
342 views

Are angles between points enough to decide the realizability?

Let n points in the plane be given whose coordinates we don't know. Assume, however, that for any triple of the points we know the angle. Question: Can we decide whether the n points are realizable ...
0
votes
1answer
69 views

Existence of half-planes with respect to regular open sets of the Euclidean plane

I initially asked this question at math.stackexchange.com but there was no reaction, so I thought this may be a good idea to transfer it to mathoverflow.net Let ...
10
votes
1answer
353 views

Generalized Hlawka inequality

Let $E$ be a vector space over the real (the complex case is interesting too). We consider functions $f:E\rightarrow\mathbb R$ which satisfy the homogeneity property $$f(\lambda x)=|\lambda|\,f(x).$$ ...
3
votes
1answer
255 views

Random non-intersecting circles in the plane

If I give a finite region of $\mathbb{R}^{2}$ and place $k$ circles of radius $r(k)$ uniformly at random inside, are there any known results for the probability that the circles do not overlap? ...
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 ...
5
votes
1answer
232 views

Maximum number of general-position points with mutual rational distances?

Richard Guy has shown that there are six points in the plane—no three collinear, no four cocircular—such that all interpoint distances are rational. Guy, Richard. Unsolved Problems in ...
8
votes
1answer
323 views

Dubins car shortest paths: Decidable?

A Dubins car follows a Dubins path in $\mathbb{R}^2$, with constant wheel speed and limited turning radius. It is known that the shortest Dubins path in the absence of obstacles follows circular arcs ...
6
votes
4answers
382 views

What can be said of the structure of a metric space without isosceles triangles?

This is a question that has been bothering me in the back of my head for quite some time. Suppose we have a metric space $X$ with metric $\mathrm{d}$. By an isosceles triangle we mean a tuple of ...
2
votes
2answers
126 views

Maximum possible number of similar three-colored triangles

I want to maximize the number of similar triangles with vertices from three fixed sets, one vertex from each set. For example, if you fix two points $X$, $Y$ (i.e. two sets with only one member), then ...