All Questions
1,020 questions
3
votes
1
answer
103
views
Equal sums of line segments
I would like to see a proof of the following
Claim. Let $A_1,A_2,A_3,A_4,A_5$ be vertices of bicentric pentagon. Let $B_1$ be the intersection point of $A_1A_3$ and $A_2A_5$, $B_2$ the intersection ...
- 2,661
1
vote
0
answers
45
views
Analytic lower-bound for minimal value of $\|x\|^2$ such that $\|Cx-b\|^2 \le c^2$ (a hyperellipsoid)
Let $C$ be an $n \times p$ matrix and $b$ be a column vector of length $n$, and $c>0$. Let $E := \{x \in \mathbb R^p \mid \|Cx-b\| \le c\}$, a hyperellipsoid in nonstandard position.
Question 1. ...
- 6,853
5
votes
0
answers
214
views
Covering the sphere with an approximately planar grid
Consider a triangulation of a radius $R$ sphere into $n$ triangles. Must $Ω(\sqrt n)$ triangles have $Ω(1)$ relative difference from being an equilateral triangle of area $4πR^2/n$? ($Ω$ is from ...
- 7,545
6
votes
0
answers
428
views
A spherical version of the generalized half-angle formulas
The following is a generalization of the half-angle formulas presented at Nabla - Applications of Trigonometry.
Generalization. Let $a$, $b$, $c$, $d$ be the sides of a general convex quadrilateral, $...
18
votes
2
answers
602
views
Which knots appear as the singular locus of a polyhedral metric on the 3-sphere?
What can be said about a knot $K\subseteq S^3$ for which there exists a (Euclidean) polyhedral metric (aka Euclidean cone-manifold structure) on $S^3$ whose singular locus is precisely $K$? I'm ...
- 458
6
votes
4
answers
584
views
Necessary and sufficient condition for quadrilateral to be cyclic
Can you provide a proof for the following proposition:
Proposition. Given any quadrilateral $ABCD$. Let $P,Q,R,S$ be nine-point centers of triangles $\triangle ABD$,$\triangle ABC$,$\triangle BCD$ ...
- 2,661
8
votes
4
answers
2k
views
Three circles intersecting at one point
Can you provide a proof for the following proposition:
Proposition. Let $\triangle ABC$ be an arbitrary triangle with nine-point center $N$ and circumcenter $O$. Let $A',B',C'$ be a reflection points ...
- 2,661
3
votes
1
answer
123
views
Collinearity of three significant points of bicentric pentagon
Can you provide a proof for the following claim?
Claim. Given bicentric pentagon. Consider the triangle whose sides are two diagonals drawn from the same vertex and side of pentagon opposite from ...
- 2,661
-9
votes
1
answer
271
views
Most natural definition of Euclidean geometry [closed]
What is the "least" amount of structure in terms of axioms and assumptions that is needed to define a Euclidean geometry.
For example, is any set {p} a with a not necessarily explicitly ...
45
votes
2
answers
3k
views
Can the fugitive escape?
A fugitive is surrounded by $N$ police officers, with the nearest one at distance $1$ away. The fugitive and the officers move alternatively.
In a fugitive move, the fugitive can travel no more than ...
- 2,619
8
votes
1
answer
339
views
Is Tarskian hyperbolic geometry consistent, complete & decidable?
Tarski developed an axiomatic description of Euclidean geometry in first order logic. Its primitive notions are points and its primitive relations are betweeness and congruence of points. The Parallel ...
- 2,369
0
votes
0
answers
93
views
Number of vertices in a polyhedron
Consider polytopes
$$A_1[x_{1,1},\dots,x_{1,m_1},z_{1}]'\leq b_1$$
$$A_2[x_{2,1},\dots,x_{2,m_2},z_{2}]'\leq b_2$$
$$B[z_{1},z_{2},z]'\leq c$$
having vertex count $v_1,v_2$ and $v$ respectively.
We ...
- 13.9k
1
vote
1
answer
115
views
$\mathrm{LP}$ formulation for $\mathrm{k}$-$\operatorname{opt}$ moves
$\mathrm{k}$-$\operatorname{opt}$ moves are an idea to improve non-optimal Hamilton cycles in weighted symmetric graphs by exchanging $\mathrm{k}$ tour-edges with $\mathrm{k}$ edges that do not belong ...
- 13.2k
1
vote
0
answers
172
views
continuity of linear programming
I have the following conjecture:
Given a closed convex set $S \subseteq \mathbb{R}^n$ and one of its exposed face $F=\{x \in S \mid \pi x = \pi_0\}$, where $\pi x =\pi_0$ is the supporting hyperplane ...
- 37
11
votes
1
answer
228
views
The set of boundary vectors of compact convex body has empty interior
Let $K$ be a compact convex body in the Euclidean space $\mathbb R^n$ and $\partial K$ be its topological boundary in $\mathbb R^n$.
Definition. A vector $\mathbf v\in\mathbb R^n$ is called $K$-...
- 41.8k
1
vote
1
answer
98
views
Optimality gap between a joint linear program and decoupled sub programs
Let $\mathbf{c}_i,\mathbf{s}_i$ be given entry-wise positive $n\times 1$ vectors for $i\in[1,\dots,d]$. Let $\tau, \alpha_1,\dots, \alpha_d$ be given positive constants.
Consider the linear ...
- 1,421
1
vote
0
answers
81
views
Algorithm for deciding feasibility of linear programs [closed]
Suppose I have the simple linear program
$$Ax \geq 0, \quad x \geq 0$$
We know that this system has a solution (for example, $x=0$). But, what if we made this rule for this system?
$$Ax \geq 0, \quad ...
4
votes
1
answer
320
views
Collinearity in bicentric polygons
Can you provide a proofs for the following two claims?
Claim 1. The circumcenter, the incenter, and the intersection of the principal diagonals in a bicentric even-sided polygon are collinear.
Claim ...
- 2,661
5
votes
0
answers
599
views
Looking for journal (without fees) to publish a research paper in Euclidean geometry
I am looking for a place to publish a research paper in Euclidean geometry. This is a fairly lengthy article (56 pages) in which I present a fundamental property of polygons. I have already been ...
6
votes
1
answer
224
views
Necessary and sufficient condition for tangential polygon to be cyclic
Can you prove or disprove the following claim?
Claim. Let $A_1,A_2, \ldots ,A_n$ be the vertices of an $n$-sided tangential polygon and let $B_1,B_2, \ldots ,B_n$ be the contact points of the ...
- 2,661
5
votes
1
answer
323
views
Embedding an icosahedron
A transitive set in $\mathbf{R}^n$ is a finite set with a transitive group of symmetries. I want to understand how subsets of a transitive set constrain the group.
Let me start with the example of a ...
- 9,617
1
vote
2
answers
316
views
Is there an area-preserving concentric diffeomorphism of the ellipse?
$\DeclareMathOperator\Vol{Vol}$This is a cross-post.
Let $0<b<1$ be a fixed parameter, and let $(R(\theta),\theta)$ be the polar coordinates of the ellipse
$$E=\{(x,y) \in \mathbb R^2 \, | \, \...
- 6,741
4
votes
1
answer
215
views
Point of concurrency [closed]
I am looking for the proof of the following claim:
Claim: Let $\triangle ABC$ be an arbitrary triangle, $D$ its nine-point center and $E,F,G$ are the nine-point centers of the triangles $\triangle ...
- 2,661
1
vote
0
answers
920
views
Maximizing a piecewise-linear convex function
Crossposted on Operations Research SE.
I am working on an optimization problem where some of the terms of the objective function to maximize are expressed as a piecewise linear function of variables:
...
- 111
5
votes
1
answer
244
views
Smallest regular $m$-gon covering a regular $n$-gon
I start by stating the problem, which is already hinted in the title of the question. I do believe it is a research-level question.
Let us fix a regular $n$-gon with area $1$. What is the smallest ...
- 1,889
2
votes
0
answers
115
views
Sufficient coordinate-free condition for points being co-spheric
Question:
is there a theorem that guarantees that
$\mathcal{P}\subset\mathbb{E}^n$ is finite set of points in a Euclidean space and all radii of the $(n-1)$-spheres that are defined by the $n$-...
- 13.2k
1
vote
1
answer
317
views
A generalization of Harcourt's theorem
This question is closely related to my previous question.
Can you prove the claim given below? The following claim is a conjectured generalization of Harcourt's theorem.
Claim. Let $A_1,A_2 \ldots ...
- 2,661
6
votes
0
answers
320
views
Does this plane geometry theorem have a name (well-known)?
Consider three circles $(O_1)$, $(O_2)$, $(O_3)$. Denote the homothetic center of $\{$$(O_1)$, $(O_2)$$\}$ by $A$, the homothetic center of $\{$$(O_2)$, $(O_3)$$\}$ by $B$. Let $C$, $D$ be two points ...
- 1,776
1
vote
0
answers
322
views
Decomposition of Polyhedral - An example
There is no doubt that clear examples consolidate the understanding of concepts being learnt. I am new to finding the structure and decomposition of a polyhedra. Suppose that we have the system
$$ \...
- 111
0
votes
1
answer
76
views
A question on graph partitioning
Given a connected un-directed simple graph $G=(V,E)$, is there a polynomial time algorithm to find the smallest subset $S$ of $V$ such that each node in $V \setminus S$ has at least 50% of its ...
- 1,216
1
vote
1
answer
320
views
A formula for the area of bicentric quadrilateral
Can you provide a proof for the claim given below? The following claim is inspired by Harcourt's theorem and can be seen as its generalization to quadrilaterals.
Claim. Given bicentric quadrilateral $...
- 2,661
2
votes
1
answer
202
views
The centroid, the first and second Napoleon points and $X(930)$ lie on a circle
Can you provide an elementary proof for the claim given below?
Preliminary definitions:
$X(110)=$ focus of Kiepert parabola.
$X(137)=X(110)$ of orthic triangle .
$X(930)=$ anticomplement of $X(137)$ .
...
- 2,661
1
vote
0
answers
105
views
Differential of the gradient of a strictly convex function
For $n\geq 2$, we consider $\mathbb{R}^n$ endowed with the usual scalar product. Let $f\in\mathcal{C}^2(\mathbb{R}^n,\mathbb{R})$ be a striclty convex function such that $\nabla f$ is nowhere ...
- 449
1
vote
1
answer
1k
views
Check if a point is in the interior of the convex hull of some other points in high dimensions, and lower-bounding the largest enclosed ball [closed]
Given $m$ points $P=\{p_0, p_1, ..., p_m\}$ in high dimensions (e.g. 100), it is known that computing (or even representing) their convex hull $\text{conv}(P)$ is generally intractable due to the ...
- 11
2
votes
1
answer
184
views
Four concyclic triangle centers
Can you prove the claim given below? Inspired by Lester's theorem I have formulated the following claim:
Claim. Given any scalene triangle $\triangle ABC$ . Let $D$ be the reflection of incenter in ...
- 2,661
3
votes
0
answers
87
views
Additional symmetries of the Traveling Salesman Polytope
Given the complete graph $K_n=(V,E)$, the Traveling Salesman Polytope is a convex polytope in $\Bbb R^E$ obtained as the convex hull of the indicator vectors of (edge-sets of) Hamiltonian cycles in $...
- 13.6k
16
votes
1
answer
1k
views
Status of Larry Guth's Sponge Problem
[Edited Jan 23, 2021]
Let $D^n$ be the $n$-dimensional unit radius disk in euclidean $\mathbb{R}^n$.
Larry Guth's Sponge Problem asks: Does there exist a constant $\epsilon=\epsilon_n$ such that every ...
- 2,274
1
vote
1
answer
157
views
Constructing representations of probability revision functions
Let $P$ be a probability distribution over a finite Boolean algebra $\mathfrak{B}$, and fix a parameter $t_{P} \in (\frac{2}{3}, 1)$. Define the `revision function of $P$', $R_{P}: \mathfrak{B}\...
- 631
5
votes
0
answers
267
views
Are there any neusis-hard/neusis-complete problems?
I have lately been enjoying Richeson's Tales of Impossibility (see MAA review), an accessible book on the famous problems of Euclidean geometry including angle trisection/cube doubling/heptagon ...
- 2,185
4
votes
3
answers
286
views
Finding Pythagorean quadruples on a given plane?
In 2D one cannot construct Pythagorean triples $x^2+y^2=m^2$ ($x,y,m\in\mathbb{Z}$) that lie on every line through the origin (e.g., a Pythagorean triple with $x=y$ would require $\sqrt{2}$ to be ...
- 41
2
votes
2
answers
537
views
A generalization of Napoleon's theorem
Can you provide a proof for the following proposition?
Proposition. Given an arbitrary $\triangle ABC$. The $\triangle AEB$, $\triangle BFC$ and $\triangle CDA$ are constructed on the sides of the $...
- 2,661
2
votes
2
answers
247
views
Six concyclic points
Can you provide a proof for the following proposition:
Proposition. Let $\triangle ABC$ be an arbitrary triangle with excenters $J_A$,$J_B$ and $J_C$ . Let $G$ be the orthogonal projection of the $...
- 2,661
3
votes
2
answers
275
views
Four concyclic points inside bicentric quadrilateral
Can you provide a proof for the following proposition:
Proposition. Let quadrilateral $ABCD$ be inscribed into a circle with center $O$ and circumscribed around a circle with center $I$. Let $X$ be a ...
- 2,661
1
vote
1
answer
628
views
Allowing an "OR" option between equations in a linear program
I am looking for a way to express an "or" option in a system of linear inequalities for a linear program I am working on.
I will explain what I mean precisely: Lets say I have a set of ...
- 141
12
votes
2
answers
969
views
Intersection point of three circles
Can you provide a proof for the following proposition:
Proposition. Let $\triangle ABC$ be an arbitrary triangle with orthocenter $H$. Let $D,E,F$ be a midpoints of the $AB$,$BC$ and $AC$ , ...
- 2,661
2
votes
1
answer
305
views
Expected triangle area of normal distributed vertices with colinear expectations
For the bounty the already answered problem was reformulated
This question was already answered for random variables in $\mathbb{R}^3$. Now I am looking for the solution in $\mathbb{R}^2$ that could ...
6
votes
0
answers
256
views
What is the expected value of the volume of a tetrahedron inscribed in the unit sphere?
Four (non-coincident) points on the unit sphere determine a tetrahedron. What is the expected value of the volume of such a tetrahedron--the volume of the sphere itself being $\frac{4 \pi}{3} \approx ...
- 723
1
vote
0
answers
54
views
How to tile a plane such that moving from one tile to the next in any of the 8 cardinal directions is the same length?
When tiling the euclidean plane with squares (like most board games), moving diagonally to another tile is longer than moving vertically or horizontally. Is there a tiling such that moving in any of ...
- 11
2
votes
2
answers
294
views
Minimum Euclidean squared norm in the convex hull of points with rational coordinates
This is probably known, but I have not located a reference.
Let $P$ be the convex hull of $k$ points in $\mathbb R^n$ with rational coordinates. Consider the Euclidean square norm function $F:P\to\...
- 4,729
0
votes
0
answers
92
views
Lines through the origin every pair of which meet at the same angle
This item isn't getting attention, so I'll try it here:
begin quote
The three lines through antipodal pairs of centers of faces of a cube meet each other pairwise at $90^\circ$ angles.
The three lines ...
