All Questions
4,827 questions
42
votes
2
answers
3k
views
Can one "hear" the shape of a polygon via external reflections?
This question is a rough analog of Kac's "Can One Hear the Shape of a Drum?"
A closer analog is the recent "Bounce Theorem" that says, roughly, the shape of a polygon is determined by its billiard-...
- 151k
42
votes
2
answers
3k
views
Randall Munroe's Lost Immortals
In Randall Munroe's book What If?, the "Lost Immortals" question asks:
If two immortal people were placed on opposite sides of an uninhabited Earthlike planet, how long would it take them ...
- 82.7k
41
votes
3
answers
15k
views
Distributing points evenly on a sphere
I am looking for an algorithm to put $n$-points on a sphere, so that the minimum distance between any two points is as large as possible.
I have found some related questions on stackoverflow but ...
- 742
41
votes
2
answers
2k
views
Can we find lattice polyhedra with faces of area 1,2,3,...?
I asked this question two months ago on MSE, where it earned the rare
Tumbleweed badge for garnering zero votes, zero answers, and 25 views over 61 days.
Perhaps justifiably so! Here I repeat it with ...
- 151k
40
votes
7
answers
15k
views
How might M.C. Escher have designed his patterns?
I realize this question isn't strictly mathematical, and if it doesn't fit with the content on this site then feel free (moderators/high-rep users) to close it. But when I thought up the question it ...
- 461
40
votes
5
answers
5k
views
"Entropy" proof of Brunn-Minkowski Inequality?
I read in an information theory textbook the Brunn-Minkowski inequality follows from the Entropy Power inequality.
The first one says that if $A,B$ are convex polygons in $\mathbb{R}^d$, then
$$ m(...
- 22.8k
39
votes
5
answers
3k
views
Surfaces filled densely by a geodesic
Which smooth, closed surfaces $S \subset \mathbb{R}^3$ have no
single geodesic $\gamma$ that fills $S$ densely?
Say a geodesic $\gamma$ "fills $S$ densely" if the closure of the set of points
...
- 151k
39
votes
1
answer
1k
views
What shapes can be gears?
I am interested in gears. Sadly most of the writing on this is very practical and does not get into abstract theory. I have been trying to formalize these ideas to be able to ask what shapes can ...
- 481
38
votes
10
answers
6k
views
Why is the Laplacian ubiquitous?
The title says it all.
I'm wondering why the Laplacian appears everywhere, e.g. number theory, Riemannian geometry, quantum mechanics, and representation theory. And people seems to care about their ...
- 3,806
38
votes
7
answers
5k
views
Shortest path connecting two opposite points on a cube
Is it true, that a path connecting two opposite points (i.e. such that the segment joining them passes through the centre of mass of the cube) on the surface of the $d$-dimensional unit cube (with $d&...
- 1,431
38
votes
3
answers
4k
views
Parabolic envelope of fireworks
The envelope of parabolic trajectories from a common launch point is itself a parabola.
In the U.S. soon many will have a chance to observe this fact directly, as the 4th of July is traditionally ...
- 151k
38
votes
1
answer
2k
views
Sofa in a snaky 3D corridor
What is the largest volume object that can pass though a
$1 \times 1 \times L$ "snaky" corridor, where $L$ is large
enough to be irrelvant, say $L > 6$.
...
- 151k
37
votes
4
answers
2k
views
What polygons can be shrunk into themselves?
Let's call a polygon $P$ shrinkable if any down-scaled (dilated) version of $P$ can be translated into $P$. For example, the following triangle is shrinkable (the original polygon is green, the ...
- 3,549
37
votes
3
answers
3k
views
"Softness" vs "rigidity" in Geometry
According to common wisdom, there are structures in Geometry that have a more "topological" flavor, others that are more "geometrical", and others that are halfway between. Usually,...
- 23.3k
37
votes
3
answers
3k
views
What is the structure preserved by strong equivalence of metrics?
Let $X$ be a set. Then we can define at least three equivalence relations on the set of metrics on $X$. We say that two metrics $d_1$ and $d_2$ are topologically equivalent if the identity maps $i:(...
- 4,587
36
votes
10
answers
6k
views
Determining a surface in $\mathbb{R}^3$ by its Gaussian curvature
A curve in the plane is determined, up to orientation-preserving
Euclidean
motions, by its curvature function, $\kappa(s)$.
Here is one of my favorite examples, from
Alfred Gray's book,
Modern ...
- 151k
36
votes
2
answers
2k
views
Bodies of constant width?
In two-dimensional case one can generalize figures of constant width as figures which can rotate in a convex polygon.
Here is one example which can be used to drill triangular holes:
I would like to ...
- 45k
35
votes
17
answers
6k
views
Which theorems have Pythagoras' Theorem as a special case?
Loomis famously wrote hundreds of proofs of Pythagoras' Theorem (reference below), but these are all basically proofs "from below". Today on Twitter @panlepan mentioned Carnot's theorem ...
35
votes
6
answers
6k
views
How to explain the concentration-of-measure phenomenon intuitively?
One way to phrase the
"concentration-of-measure"
phenomenon is that,
for a Euclidean sphere $S^d$ in $d$ dimensions, for large $d$,
"most of the mass is close to the equator, for any equator."1
Q. ...
- 151k
35
votes
5
answers
3k
views
Tiling the plane with incongruent isosceles triangles
It is not difficult to tile the plane with incongruent triangles.
One could tile with equilateral triangles, and then partition
each equilateral into three triangles, displacing their common
...
- 151k
35
votes
4
answers
5k
views
Why are optimization problems often called "programs"?
Why are optimization problems often called programs?
linear programming
geometric programming
convex programming
Integer programming
...
- 461
35
votes
17
answers
3k
views
Equivalent definitions of Gromov hyperbolicity
Let $X$ be a metric space. I'd like to collect as many definitions of Gromov hyperbolicity or $\delta$-hyperbolicity of $X$ as possible.
I'm happy for the definitions to require some niceness ...
35
votes
3
answers
2k
views
The kissing number of a square, cube, hypercube?
How many nonoverlapping unit squares can (nonoverlappingly) touch one unit square?
By "nonoverlapping" I mean: not sharing an interior point.
By "touch" I mean: sharing a boundary point.
&...
- 151k
34
votes
5
answers
7k
views
How should you explain parallel transport to undergraduates?
The title is a bit deceiving, because what I really mean is the parallel transport that corresponds to the Levi–Civita connection.
This is in the vein of many other questions on mathoverflow:
What is ...
- 2,071
34
votes
6
answers
8k
views
Covering a unit ball with balls half the radius
This is a direct (and obvious) generalization of the recent MO question, "Covering disks with smaller disks":
How many balls of radius $\frac{1}{2}$ are needed to cover completely a ball of ...
- 151k
34
votes
4
answers
2k
views
About the ratio of the areas of a convex pentagon and the inner pentagon made by the five diagonals
Question : Letting $S{^\prime}$ be the area of the inner pentagon made by the five diagonals of a convex pentagon whose area is $S$, then find the max of $\frac{S^\prime}{S}$.
...
- 4,757
34
votes
3
answers
3k
views
What is the best way to peel fruit?
A mango made me wonder about this. (See also this question, which is in a similar spirit.)
Fix $L >0$ and a smooth body (possibly nonconvex—pears or bananas are fair game!) $B \subset \mathbb{R}^3$...
- 15.4k
34
votes
1
answer
3k
views
Tiling a square with rectangles
Is it possible to completely tile a square with different rectangles of integer sides but all with the same area?
The original problem, not requiring integer sides for rectangles, was proposed by Joe ...
- 3,707
33
votes
3
answers
5k
views
Do bubbles between plates approximate Voronoi diagrams?
For example, soap bubbles:
Image from UPenn:
"A 2-dimensional foam of wet soap bubbles squashed between glass plates, after 10 hours ...
- 151k
33
votes
3
answers
3k
views
Understanding sphere packing in higher dimensions
In a recent publication by the Ukrainian mathematician Maryna Viazovska the Kepler problem for dimension $8$ and $24$, namely the densest packing of spheres, was solved.
Admittedly it is very ...
user88381
33
votes
4
answers
3k
views
Does there exist a shot in ideal pocket billiards?
Assume you have one shot with the cue ball in pocket billiards (a.k.a. pool), with
the game idealized in that no spin is placed on the cue ball in
the initial shot, all collisions between billiard ...
- 151k
33
votes
3
answers
2k
views
Polar body of a convex body that avoids a lattice
Let $K \subset {\bf R}^d$ be a symmetric convex body (an open bounded convex neighbourhood of the origin with $K = -K$) with the property that $K + {\bf Z}^d \neq {\bf R}^d$, i.e. the projection of $K$...
- 114k
33
votes
2
answers
1k
views
Can $[0,1]^4$ be partitioned into copies of $(0,1)^3$?
Is there a partition of $[0,1]^4$ such that every member of the partition is homeomorphic to $(0,1)^3$?
More generally, I would like to know for which values of $m$ and $n$ there is a partition of $[0,...
- 18.5k
32
votes
5
answers
6k
views
What is a good method to find random points on the n-sphere when n is large?
As part of a more complex algorithm, I need a fast method to find random points of the n-sphere, $S^n$, starting with a RNG (random number generator). A simple way to do this (in low dimensions at ...
- 15.3k
32
votes
8
answers
4k
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 provocative ...
- 82.7k
32
votes
5
answers
1k
views
Can every $\mathbb{Z}^2$ disk be pinball-reached?
Let every point of $\mathbb{Z}^2$ be surrounded by a mirrored disk of radius $r < \frac{1}{2}$,
except leave the origin $(0,0)$ unoccupied by a disk.
Q. Is it the case that every disk can be hit ...
- 151k
32
votes
4
answers
4k
views
Largest hyperbolic disk embeddable in Euclidean 3-space?
Hilbert proved that there's no complete regular ($C^k$ for sufficiently large $k$) isometric embedding of the hyperbolic plane into $\mathbb{R}^3$. On the other hand, the pseudosphere is locally ...
- 13.6k
32
votes
5
answers
2k
views
Nonconvex manhole covers
One common reason given for the circularity of manhole covers is that they can't fall through the manhole. For convex manhole covers, this property is equivalent to having constant width — if ...
- 5,275
32
votes
1
answer
1k
views
Optimal sphere packings ==> Thinnest ball coverings?
It was proved by Kershner long ago that the thinnest (least density)
covering of the plane by congruent disks can be obtained
by enlarging the radii of the optimal circle packing to just cover
the ...
- 151k
32
votes
2
answers
1k
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 ...
- 45k
32
votes
1
answer
1k
views
Does projection of 3D points reduce distances by exactly 1/3?
Let $P$ be a set of $n$ random points uniformly distributed inside
a unit-radius sphere centered on the origin.
Orthogonally project $P$ to a random plane through the origin;
call the projected points ...
- 151k
32
votes
2
answers
2k
views
Gromov-Hausdorff distance between a disk and a circle
The Hausdorff distance between the closed unit disk $D^2$ of $\mathbb R^2$ (equipped with the standard Euclidean distance) and its boundary circle $S^1$ is obviously one.
Interestingly, the Gromov-...
- 920
32
votes
0
answers
921
views
Isometric embeddings of finite subsets of $\ell_2$ into infinite-dimensional Banach spaces
Question: Does there exist a finite subset $F$ of $\ell_2$ and an infinite-dimensional Banach space $X$ such that $F$ does not admit an isometric embedding into $X$?
There are some results of the ...
- 4,878
31
votes
11
answers
16k
views
Is there any geometry where the triangle inequality fails?
We know from elementary school that the triangle inequality holds in Euclidean geometry. Some where in High School or in Univ., we come across non-Euclidean geometries (hyperbolic and Riemannian) and ...
- 2,855
31
votes
5
answers
1k
views
Fair cutting of the plane with lines
An infinite countable family $\cal{L}$ of straight lines in the plane $\mathbb{R}^2$ forms a fair cutting of the plane if the following conditions are satisfied:
$\bullet$ No circle intersects ...
- 7,276
31
votes
6
answers
2k
views
If a triangle can be displaced without distortion, must the surface have constant curvature?
Suppose $S$ is a Riemannian 2-manifold (e.g. a surface in $\mathbb{R}^3$).
Let $T$ be a geodesic triangle on $S$: a triangle whose edges are geodesics.
If $T$ can be moved around arbitrarily on $S$ ...
- 151k
31
votes
1
answer
2k
views
Can R^3 be expressed as a disjoint union of pairwise linked circles?
We can express $\mathbb{R}^3$ as a disjoint union of circles. There are some constructive ways of doing this, although it's easier to construct them sequentially by transfinite induction, applying the ...
- 12.4k
31
votes
2
answers
2k
views
Tiling of the plane with manholes
Some shapes, such as the disk or the Releaux triangle can be used as manholes,
that is, it is a curve of constant width.
(The width between two parallel tangents to the curve are independent of the ...
- 15.8k
30
votes
5
answers
16k
views
How to check if a box fits in a box?
How could I calculate if a rectangular cuboid fits in an other rectangular cuboid, it may rotate or be placed in any way inside the bigger one.
For example would, (650,220,55) fit in (590,290,160), ...
- 429
30
votes
2
answers
2k
views
Maneuvering with limited moves on $S^2$
This question comes to me via a friend, and apparently has something to do with quantum physics. However, stripped of all physics, it seems interesting enough on its own. I assume someone has asked ...
- 1,318