The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
177 views

How well do random projections preserve the distance between a point and a linear subspace?

Let $x_1,\ldots,x_k \in \mathbb{R}^d$ be $k$ unit vectors in $d$ dimensional Euclidean space, and let $S = \mathrm{span}(x_1,\ldots,x_k)$ be a linear subspace defined by these points. Let $P \in ...
11
votes
0answers
366 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
5answers
852 views

Definition of area

I am looking for an attractive, but rigorous definition of area; say in Euclidean plane. Probably there is no short definition. It is OK to make it even longer, but can it be built from useful parts ...
10
votes
0answers
330 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 ...
0
votes
1answer
159 views

Length of intersection of intervals

Can anyone prove this statement? It seems true, but I'm finding it tricky to give a concise proof. Fix $\alpha\in[0,1]$. Let $\mu$ be Lebesgue measure. Define $B(c,r)\equiv[c-r,c+r]$, where $[\cdot, ...
2
votes
0answers
119 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
174 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 ...
18
votes
6answers
1k views

Does every ellipse inside a tetrahedron inside a ball fit in a triangle inside the ball?

In three-dimensional euclidean space, consider the closed unit ball $B$. Let $T$ be a tetrahedron, and $E$ an ellipse, with $E \subset T \subset B$. Does there necessarily exist a triangle $T'$ with ...
2
votes
2answers
96 views

Worst-case nearest-neighbor distances between regions

Suppose that $S_1,\dots,S_n$ is a collection of disjoint shapes in the plane, and let $\mathcal{X}$ denote the set of all $n$-tuples of points $\lbrace x_1,\dots,x_n\rbrace$ such that $x_i\in S_i$ for ...
2
votes
1answer
683 views

Why 2 as an exponent in the euclidean vector space?

Let us develop the question: Let us focus on finite real vector space, equiped with a norm. A priori, one does not make the hypothesis that the norm is derived from a scalar product. Which ...
2
votes
1answer
163 views

Inter-Kissing Number for Non-Spheres

In 3D, the maximum number of spheres which can inter-touch is 5 (mathoverflow.net/questions/106120). This maximum reduces to 4 for unit spheres. Is there a different shape (e.g., an egg, or a ...
4
votes
1answer
188 views

Inter-Kissing Number for Spheres of Different Sizes

What is the maximum number of spheres that can be placed in 3D such that all inter-touch? One can of course place four unit spheres tetrahedrally and then add a smaller sphere in the middle, so this ...
3
votes
0answers
401 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 ...
7
votes
10answers
3k views

College (Euclidean) geometry textbook recommendations

I will be teaching a mid-level undergraduate course in Euclidean geometry this fall. Has anyone taught such a course, who can recommend a good textbook? My students will mostly be future high school ...
0
votes
0answers
86 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 ...
3
votes
3answers
491 views

Reconstructing an Euclidean point cloud from their pairwise distances

I have a collection of points $P_1, ..., P_N$ in some Euclidean space $\mathbb R^m$ and the coordinates $x_1, x_2, ..., x_N$ respectively associated with them, where $x_i$ is the usual Cartesian tuple ...
14
votes
3answers
969 views

Can Morley's theorem be generalized?

Morley's theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle. In a talk some years ago, David Rusin made the ...
6
votes
1answer
592 views

Quadrature of the Lune

What is a good reference for the following result which I believe is proved by Tchebotarev. There are exactly 5 types of Lunes that are squarable. (Hippocrates produced three and then two more were ...
3
votes
1answer
153 views

Flattening a corner in a convex $d$-polytope (into $d-1$ dimensions, without overlap)?

I'm interested in the following question, which seems to be assumed all over the place (at least for 3 dimensions) in convex geometry, and which I cannot find a proof of. Suppose we have a corner ...
3
votes
0answers
192 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 ...
5
votes
4answers
409 views

Isomorphic but non-conjugate subgroups of $GL(n,\mathbb{Z})$ ?

I've been asked some questions by a friend interested in crystallography, and the following questions (I'm not an expert) came spontaneous to me: 1) Are there two finite subgroups ...
6
votes
1answer
289 views

Reorienting a ladder among $\mathbb{Z}^2$ poles

Imagine an object, which I'll call a ladder $\cal{L}$, a "racetrack" shape composed of a rectangle of length $L$ capped at either end by semicircles of radius $r$; so it is $L+2r$ tip-to-tip. View ...
5
votes
1answer
591 views

theorems equivalent to the parallel postulate

Is there a good survey article listing all the theorems of Euclidean geometry that are equivalent to the parallel postulate?
2
votes
0answers
212 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 ...
1
vote
2answers
287 views

Triangles with Congruent Corresponding Sides that Cannot fold into a Tetrahedron

I've been trying to find, without much success, 4 triangles whose corresponding sides are congruent that cannot be folded into a tetrahedron. Anyone has any clue how to approach this problem?
6
votes
0answers
663 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 ...
20
votes
4answers
869 views

Pinball on the infinite plane

Imagine pinball on the infinite plane, with every lattice point $\mathbb{Z}^2$ a point pin. The ball has radius $r < \frac{1}{2}$. It starts just touching the origin pin, and shoots off at angle ...
0
votes
1answer
313 views

Action of Isometries on a Line in the Plane

I'm trying to determine the stabilizer of a line in a plane when acted upon by the group of isometries of the plane. Please note that I'm using the notation found in the Wikipedia article on Euclidean ...
0
votes
0answers
154 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 ...
10
votes
1answer
444 views

Polygons uniquely inducing arrangements

A beautiful, relatively recent result is that, Every simple arrangement $\cal{A}$ of $n$ lines in the plane is induced by a simple $n$-gon $P$. In a simple arrangement, every pair of lines ...
11
votes
1answer
466 views

Ratio of circumscribed/inscribed $(n{-}1)$-gons

As a discrete analog of the MO question, "Löwner-John Ellipsoid: incribed and circumscribed," I've been wondering what might be the maximum ratio of this quantity? Let $P$ be a convex polygon of $n$ ...
5
votes
1answer
332 views

What can be said about number-theoretic properties of the solid angle measures of polytopal cones in the weight lattice of sl(n)?

The following question might be elementary — it is too far from my area of expertise to tell. It has shown up in my research in an interesting way, which I will not go into here, but I'm happy to ...
11
votes
2answers
508 views

Maximum thickness of three linked Euclidean solid tori

Consider three circles of radius 1 in $\mathbb{R}^3$, linked with each other in the same arrangement as three fibers of the Hopf fibration. Now thicken the circles up into non-overlapping standard ...
9
votes
0answers
698 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 ...
0
votes
1answer
187 views

Special functions on the unit disk

Let $\mathbb{D} = \{ (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 \}$ be the unit disk. We say a function $f : \mathbb{D} \rightarrow \mathbb{D}$ is a winner if it satisfies the following: 1) it is a ...
3
votes
2answers
428 views

Covering a sphere using reflections of an intersection of three lunes

I have been trying to figure this problem out for a while, and while I believe someone must have figured it out hundreds of years ago, I still can't quite get it. Suppose we have a 3-dimensional ...
15
votes
9answers
2k views

Determine if circle is covered by some set of other circles

Suppose you have a set of circles $\mathcal{C} = \{ C_1, \ldots, C_n \}$ each with a fixed radius $r$ but varying centre coordinates. Next, you are given a new circle $C_{n+1}$ with the same radius ...
11
votes
1answer
743 views

What is the limit of the “knight” distance on finer and finer chessboards?

Consider the "infinite chessboard" on the plane. Think of it as the lattice $X_1:=\mathbb{Z}^2$, and also finer chessboards $X_n$ corresponding to $\frac{1}{n}\cdot \mathbb{Z}^2$, $n\geq 1$. Given two ...
2
votes
5answers
801 views

Circumference of convex shapes

Here is a puzzle I found in "Mitteilungen der DMV" (roughly "Letters of the German Society of Mathematicians") issue 19/2011. It was posed by Alfred Schreiber in "Wie man Hasen fangt" (How to catch ...
10
votes
3answers
838 views

(1-Lipschitz) + (length-preserving) = isometry

I am looking for an elementary way to prove the following theorem. Theorem. Let $\alpha$ and $\beta$ be two simple convex closed curves in $\mathbb R^2$. Assume $$\mathop{\rm length} ...
2
votes
3answers
1k views

How to solve geometry problems using involutions

Some geometry problems ( like this and this ) have short solutions if we use involutions. What references are there for solving geometry problems using involutions? I am particularly interested in ...
0
votes
0answers
277 views

Are XI.1 and XI.7 of Euclid’s Elements equivalent?

Are XI.1 and XI.7 of Euclid’s Elements equivalent? XI.1 A part of a straight line cannot be in the plane of reference and a part in plane more elevated. XI.7 If two straight lines are parallel and ...
13
votes
2answers
874 views

Why do all incidence theorems follow from Pappus' theorem?

In Hilbert and Cohn-Vossen's ``Geometry and the Imagination," they state in the last paragraph of Chapter 20 that "Any theorems concerned solely with incidence relations in the [Euclidean ...
11
votes
4answers
8k views

The Ramanujan Problems.

I originally thought of asking this question at the Mathematics Stackexchange, but then I decided that I'd have a better chance of a good discussion here. In the Wikipedia page on Ramanujan, there is ...
1
vote
5answers
1k views

Quadrilateral from 4 random points

Given 4 random points in 2D, how do I compute the area of the quadrilateral formed by the points? I'm aware of formulae giving the area when I know the sides a,b,c,d and the diagonals p & q. But ...
0
votes
0answers
337 views

space-filling polyhedra

Which polyhedra fill space such that each vertex has the same number of neighbours? (besides extruded triangle, square, or hexagon)
23
votes
3answers
2k views

An elementary problem in Euclidean geometry [closed]

This problem was first put to me by Luke Pebody (who did not know the answer at the time) and after some work I am yet to find a proof or counterexample. I would be grateful of any insights. Call a ...
10
votes
3answers
686 views

Efficient visibility blockers in Polya's orchard problem

Polya's orchard problem asks for which radius $\rho$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the exterior of the orchard. ...
5
votes
1answer
895 views

Geometric meaning of trigonometric relations

According to a paper by Zhiqin Lu in the Mathematical Gazette (the British publication, not the Boston-area newsletter, if that still exists (or even if it doesn't)) in 2007(?), if $u+v+w=\pi$ and ...
10
votes
2answers
455 views

Helix translates as geodesics

I believe one can fill $\mathbb{R}^3$ with horizontal translates of the helix $(\cos t, \sin t, t) \;,\; t \in \mathbb{R}$, so that every point of $\mathbb{R}^3$ lies in exactly one helix. I am ...