For questions about geometric shapes, congruences, similarities, transformations, as well as the properties of classes of figures, points, lines, angles.

learn more… | top users | synonyms (1)

23
votes
0answers
300 views

Geometric way to view the truncated braid groups?

This is perhaps a vague question, but hopefully there exists literature on the subject. The question is motivated by an answer I gave to this question. I also asked a related question on MO, although ...
20
votes
0answers
143 views

Painting the plane red and blue: Is it possible for each unit circumference to contain exactly $n$ blue points?

I recently stumbled upon the following problem: Consider the plane: You may color each point either red or blue. Is there a way to color it such that each unit circumference (centred anywhere) ...
13
votes
0answers
447 views

Computing the volume of a region on the unit $n$-sphere

I would like to compute the surface volume of a region on the unit $n-1$-sphere: $$\sum_{i=1}^n x_i^2 = 1,$$ bounded by an ellipsoid $$\sum_{i=1}^n a_ix_i^2 \leq a_2,$$ where $1=a_1 < a_2 ...
12
votes
0answers
145 views

Intuitive/geometric way of thinking about effective divisors?

What is the motivation/intuition/geometric way of thinking about an effective divisor? I know that a divisor is effective if all its coefficients are non-negative. We write $D \ge 0$ for ...
10
votes
0answers
1k views

Integer Triangle Radicals conjecture

An integer sided triangle has an area $A$. Heronian triangle areas have no radical, or radical 1. Otherwise, $4 A$ will always be of the form $a\sqrt{r}$, where $r$ is the squarefree radical of the ...
10
votes
0answers
283 views

How small parallelograms are we guaranteed to get, when we select the two sides from different plane lattices?

This a shortened version (motivation from telecommunications stripped away) of a question I asked in MO in late May (no answers). I am mostly checking, if somebody has seen this or a related question ...
9
votes
0answers
174 views

Dividing a unit square into rectangles

I've been given this task: A unit square is cut into rectangles. Each of them is coloured by either yellow or blue and inside it a number is written. If the color of the rectangle is blue then ...
9
votes
0answers
110 views

Point set where each point has unity distance to all other points ($L_1$ metric)

I want to construct a point set where each point has the same (w.l.o.g., unit) distance to all other points in the $L_1$ metric. Example: The points $\left(\frac{1}{2},0\right)$, ...
9
votes
0answers
217 views

What is the shape of the convex $n$-gon which gives the maximum of a function?

Supposing that the length of every edge of the convex $n$-gon $P_1P_2$$\cdots$$P_n$ is 1, what is the shape of the $n$-gon which gives the maximum of the following function $A_n$? ...
8
votes
0answers
268 views

Rotations of a tetrahedron

Let $P$ be a tetrahedron inside an sphere such that all of its vertices are on the surface of the sphere. Suppose that three quarters of sphere's surface is colored black. Show that there is a ...
7
votes
0answers
168 views

Another chain of six circles

I found a conjecture: A chain of six circles associated with six points on a circle (in Mobius plane). This is a generalization of the last my previous question in Three chains of six circles. ...
7
votes
0answers
47 views

Reference Request: Complete Proof of Braikenridge–Maclaurin Theorem

Where can I find a reference to a complete proof of the Braikenridge–Maclaurin theorem, which is stated as: If the three pairs of opposite sides of (an irregular) hexagon meet at three collinear ...
7
votes
0answers
83 views

Fast search of local positive quadruples on the sphere

Let $U = \{u_{1}, u_{2}, \ldots, u_{n}\} \subset \mathbb{R}^{3}$ be the finite set of points on the unit sphere in $\mathbb{R}^{3}$: $||u_{i}||_{2} = 1$ Definition: Quadruple of points $(u_{i}, ...
7
votes
0answers
104 views

Computing Hodge numbers of a complete intersection

The situation is this: I have a 5-dimensional irreducible projective variety $Y$ embedded in $\mathbb P^{13}$. This variety is singular, the singularities being a disjoint union of two curves. I have ...
7
votes
0answers
803 views

Random 3D points uniformly distributed on an ellipse shaped window of a sphere

How can I generate random points uniformly distributed on the surface of a sphere such that a line that originates at the center of the sphere, and passes through one of the points, will intersect a ...
7
votes
0answers
195 views

Knight's metric: ellipse and parabola.

Knight's metric is a metric on $\mathbb{Z}^2$ as the minimum number of moves a chess knight would take to travel from $x$ to $y\in\mathbb{Z}^2$. What does a parabola (or an ellipse) became with this ...
7
votes
0answers
219 views

Family of geometric shapes closed under division

The family of rectangles has the following nice properties: Every rectangle $R$ can be divided to two disjoint parts, $R_1 \cup R_2 = R$, such that both $R_1$ and $R_2$ are rectangles (i.e. belong ...
7
votes
0answers
257 views

What's the average distance between two discs in the plane?

Consider two discs in the plane of radius $r$ and $s$, with centers separated by a distance $l$. If we choose a point uniformly at random from each disc, what is the expected distance between the two ...
7
votes
0answers
176 views

Geometrical interpretation of a group action of $SU_2$ on $\mathbb S^3$

Background There're some nomenclatures from Michael Artin's Algebra to explain. 3-Sphere, or $\mathbb S^3$, is the locus of $x_0^2+x_1^2+x_2^2+x_3^2=1$, where $(x_0,x_1,x_2,x_3)\in\mathbb R^4$. ...
7
votes
0answers
241 views

What’s the best way to cut an apple?

Take the apple in one hand, and the knife in the other. In the first cut, the apple is divided in two pieces: a small one that drops into the plate and a big one that is still hold with the hand. This ...
7
votes
0answers
174 views

The rigorization of naive geometry angles and length

There are a number of claims from elementary school that I just remembered I don't actually mathematically know. Let's start with some specific examples and perhaps the rigorization will inspire me ...
7
votes
0answers
719 views

Gauss-Lucas Theorem (roots of derivatives)

Gauss-Lucas Theorem states: "Let f be a polynomial and $f'$ the derivative of $f$. Then the theorem states that the $n-1$ roots of $f'$ all lie within the convex hull of the $n$ roots ...
7
votes
0answers
497 views

Klein's Erlangen program taken seriously

Felix Klein suggested in his Erlangen program a way to classify geometries based on group theory. According to Wikipedia, we have the following definition: A Klein geometry is a pair (G, H) where ...
7
votes
0answers
968 views

How can I tell when two cubic Bézier curves intersect?

I'm working a little program that converges on vector-based approximations of raster images, inspired by Roger Alsing's genetic Mona Lisa. (I started on this after his first blog post two years ago, ...
6
votes
0answers
85 views

Why does the Ellipsograph/Trammel of Archimedes draw an ellipse, really?

Here's a diagram of the device I mean, hard at work drawing an ellipse. I find this quite surprising, and would like to get to the bottom of things. Essentially, a rod (black line in animation) is ...
6
votes
0answers
82 views

Different geometric figures from trapezoids

I have recently bought a very interesting a Brazilian kit to my kid to build mosaics: It is easy to see that I am able to generate equilateral triangles, hexagons, parallelograms, Rhombuses etc. ...
6
votes
0answers
75 views

Self-studying Information Geometry

I was recently exposed to the topic of Information Geometry by a friend of mine, and was looking for a good book to begin self-studying this topic. Any suggestions? Also, what subject matter would ...
6
votes
0answers
56 views

Find a region with maximum sum of top-K points

My problem is: we have $N$ points in a 2D space, each point has a positive weight. Given a query consisting of two real numbers $a,b$ and one integer $k$, find the position of a rectangle of size $a ...
6
votes
0answers
221 views

Is there a 4-dimensional picture making a geometrical proof of Heron's formula

Heron's formula states that if you have a triangle $T \subset \Bbb R^2$of sides $a,b,c$ then the hypervolume of a right-angled hyper-parallelepiped (is there a better word for this) of sides ...
6
votes
0answers
47 views

Related Rates - possible textbook error

Recently I've been asked to do some exercises from a textbook but I cannot understand how the author derived the correct answer. Here is the exercise in question: At $8$:$00$ boat $A$ is located ...
6
votes
0answers
69 views

Finding equations for projective curves, low genus, Riemann-Roch.

Let $C \subset \mathbb{CP}^n$ be a nonsingular projective curve, and let $L \subset \mathbb{CP}^n$ be a hyperplane. We have that $L \cdot C$ is a divisor $H$ on $C$ if $C \subset L$. Let $R = ...
6
votes
0answers
205 views

What is reflection across parabola?

Reflection across a line is well familiar, reflection across a circle is the inversion, the point at a distance $d$ from the center is reflected into a point on the same ray through the center, but at ...
6
votes
0answers
115 views

Fastest way to meet, without communication, in a toroidal palace?

I was interested by a similar question asked here, but wanted to pose a slightly different variant that avoids some of the pitfalls and ambiguities in the first question in order to ask something more ...
6
votes
0answers
88 views

Reference for Cavalieri's principle

Does someone know of a reference where I can see Cavalieri's principle (basically the principle that generalized areas can be obtained by multiplying "base times height" -- for constant ...
6
votes
0answers
105 views

Decorating eggs

I came across this question as I have been helping someone decorate styrofoam eggs by gluing wrapping paper onto it. The question is quite simple but I found myself stumped. Given an egg what is the ...
6
votes
0answers
113 views

Geometric interpretation of $x_1^2y_1^2+x_2^2y_2^2+x_3^2y_3^2+\dots$

Say $x$ and $y$ are two $L_2$ unit vectors of size $n$. In that case the inner product: $$x_1y_1+x_2y_2+x_3y_3+\dots+x_ny_n$$ Is the cosine of the angle between them. For an application I was ...
6
votes
0answers
175 views

Solution set of inequalities in $\mathbb{R}^6$

Let $\theta\in (0,1)$ fixed. We define $A_1$ be the set of all $(a_1,a_2,a_3,a_4,a_5,a_6)\in (0,1)^6$ such that the following conditions hold: \begin{equation} (1) \quad a_2\le a_1, a_4\le a_3, a_6 ...
6
votes
0answers
118 views

Shortest closed loop containing all extreme points of a convex set

Suppose $S\subset \mathbb{R}^2$ is compact and convex. Suppose $\Gamma:[0,1]\to\mathbb{R}^2$ is a continuous map with $\Gamma(0)=\Gamma(1)$. Suppose $\Gamma$ passes through all extreme points of $S$. ...
6
votes
0answers
381 views

Slices of a hypercube

Take the unit $d$-cube with vertices $\{0,1\}^d$, and restrict to the vertices that lie between (or within one of) a pair of parallel hyperplanes. These vertices form a graph whose edges are the edges ...
6
votes
0answers
154 views

Paper cylinder inside out

My question is related with paper folding: Given a cylinder of paper it is possible to turn it inside out using folding along lines. This is a Martin Gardner recreational puzzle. Secondly, ...
6
votes
0answers
158 views

Combinatorial vs. geometric symmetries of graphs and their drawings

Associated with a graph $G$ and its automorphism group $\text{Aut}(G)$ (reflecting its combinatorial symmetries) are drawings in the plane with - eventually - one or more (geometric) symmetry groups. ...
6
votes
0answers
153 views

Biggest ball included in an intersection of balls

I would like to prove that for any family of balls $\{B(c_i,r_i)\}_i \subset \mathbb{R}^d$ such that $\{c_1, \dots, c_n\} \subset \bigcap_i B(c_i,r_i) $ and $\forall i, r_i \geq 1$, there exists a ...
6
votes
0answers
96 views

Do balls optimize the boundary area for a fixed volume?

I recently saw this question, asking if the circle is the planar figure which has the least perimeter given the area. As far as I know, this is a classical problem, and the answer is affirmative. I am ...
6
votes
0answers
1k views

Good textbooks on Non-Euclidean Geometry?

I'm currently taking a class called Foundations of Geometry. We started with the stereographic projection and carried onward through fractional linear transformations, and now we are working with the ...
6
votes
0answers
419 views

Proof Strategy for a Dynamical System of Points on the Plane

I have a rather simple-looking system which exhibits a particular behaviour in simulation, and I would now like to attempt to prove this formally. The problem is, I don't really know where to start, ...
6
votes
0answers
396 views

Definition of Reshetikhin-Turaev TQFT

I am studying Reshetikhin-Turaev TQFT. In their paper or in the book " Quantum invariants of knots and 3-manifolds", they first define an invariant $\tau(M)$ for a closed orientable 3-manifold $M$ and ...
6
votes
0answers
109 views

Analytic caustics for 3D objects

Is it possible to efficiently calculate caustics for a given 3D object, like a torus, or a cube? To be more precise: let's assume that we have a 3d torus, resting on a 2d plane and a single light ...
5
votes
0answers
74 views

Can the boy escape the teacher for a regular $n$-gon?

This is related to Prove that the boy cannot escape the teacher Suppose there is a boy in the center of a regular $n$-gon. The teacher is on the edge of the $n$-gon (but cannot leave the edge) and ...
5
votes
0answers
24 views

Global Chart implies no cut locus?

If a manifold $M$ admits a global chart, does this imply that there exists a point $p\in M$ such that $Cut_p=\emptyset$? Recall: Definition of $Cut_p$: Let $\mathfrak{C}_p$ be defined as the set ...
5
votes
0answers
69 views

Interesting cube subdivisions: what is going on here, and what are these polytopes?

I was messing around recently with a unit cube. If you draw vertices on the midpoint of each edge of the cube, then connect those points by new edges, you will form the wireframe of what I figured ...