Questions tagged [polygons]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
43 views

Explicit equation for border of the Minkowski sum of sets

Assume we have sets of the form $$ M_j = \{x\in\mathbb{R}^d : f_j(x) \le 0,x \ge 0\} $$ where $x\ge 0$ means $x_i \ge 0 \quad \forall i=1,\dots, d$. Goal I am looking for an (explicit) representation ...
user avatar
  • 121
15 votes
4 answers
757 views

Unlinked interlocking planar polygons

Let $P$ and $Q$ be the boundary segments of two planar simple polygons. View these boundaries as rigid wires. Fix $Q$ in, say, the $xy$-plane, and imagine $P$ arranged in $\mathbb{R}^3$ so that $P$ ...
user avatar
5 votes
1 answer
138 views

Inserting points into a polygon

I want to insert $n$ points into arbitrary polygon $P$ described by ordered list of its vertexes $v_1, v_2, ..., v_m$. Each inserted point must distanced from the others on distance at least $d$. In ...
user avatar
1 vote
0 answers
20 views

Separability of graph component embeddings

I have an undirected graph. I also have an embedding of the graph in $\mathbb{R}^3$. Assume that the graph has 2 connected components. I want to know whether there exists a plane (or better - any ...
user avatar
1 vote
0 answers
41 views

To extend the Steiner-Lehmus theorem

The Steiner Lehmus theorem (https://en.wikipedia.org/wiki/Steiner%E2%80%93Lehmus_theorem) states: Every triangle with two angle bisectors of equal lengths is isosceles. Question: What could one say ...
user avatar
  • 3,379
0 votes
1 answer
90 views

The dimension of the normal cone of a face in a polytope

Let $P$ is a polytope in $\mathbb{R}^n$ if $F$ is one of its faces of dimension $d$ then the dimension of its normal cone $\mathcal{N}(F)$ is $n-d$.\ This seems to be intuitively obvious but I can't ...
user avatar
3 votes
1 answer
53 views

Scissor congruence for foliated polygons

Given two polygons of equal area with horizontal foliations, can one describe the obstruction (if there is any but I suspect the answer to be yes) to scissor-equivalence respecting the horizontal ...
user avatar
1 vote
1 answer
104 views

Is there a non-trivial, exact analytic (symbolic) conformal map from some polygon to some rectangle?

I'm looking for any example of a conformal map $m: P \to Q$ where $P$ is some polygon of at least $4$ sides, $Q$ is a rectangle, and and $m$ is not linear (so $P$ and $Q$ are not merely scaled, ...
user avatar
  • 49
6 votes
1 answer
354 views

Sum of the lengths of all diagonals in a regular polygon

I believe that the sum of the lengths of diagonals of a regular polygon ($n$-gon) is always greater than or equal to any other irregular polygon ($n$-gon) inscribed in a circle.. For example for a 4-...
user avatar
1 vote
1 answer
63 views

Collinearity in tangential pentagon [closed]

I am looking for a proof of the following claim: Given tangential pentagon. Touching point of the incircle and the side of the pentagon,the vertex opposite to that side and the intersection point of ...
user avatar
  • 2,615
2 votes
0 answers
716 views

Happy ending problem – Why not a proof by induction?

I have been thinking for a while on the happy ending problem, looking for approaches to attack the Erdős–Szekeres conjecture: the smallest number of points for which any general position arrangement ...
user avatar
1 vote
1 answer
127 views

High-dimensional polytopes

I have two questions regarding polytopes in high dimensions, $\mathbb{R}^d$ where $d > 3$, that I could not find resources for on the web for. Suppose I have a polytope that is non-convex: How can ...
user avatar
  • 43
3 votes
1 answer
129 views

The product of the lengths of two line segments that belong to Newton line [closed]

I am looking for the proof of the following claim: Consider a family of bicentric quadrilaterals with the same inradius length and the same distance between incenter and circumcenter. Denote by $P$ ...
user avatar
  • 2,615
3 votes
1 answer
249 views

Need help with finding all angles of 11 sided 3D object [closed]

Question: I'm an artist trying to build a hendecahedron for a project (Image below to see the shape). This object consists of 5 pentagons at the base, 1 pentagon on the bottom, then 5 quadrilaterals ...
user avatar
1 vote
1 answer
44 views

On triangulations and "coverage" of circumcircles

Let $P$ be a convex quadrilateral defined by four vertices $a$, $b$, $c$, and $d$. Suppose that the circumcircle of $\triangle abd$ contains $c$.* Let $D(\triangle abc)$ to denote the area enclosed by ...
user avatar
2 votes
0 answers
61 views

Principal diagonals of octagon meet in a single point

Can you provide a proof for the following claim: Claim. Given octagon circumscribed about an ellipse. If the vertices of the octagon lie on another ellipse then its principal diagonals meet in a ...
user avatar
  • 2,615
3 votes
1 answer
135 views

Construct by compactness (Pentagonal tiling – Rao paper)

In the (arxiv) paper, Exhaustive search of convex pentagons which tile the plane, on page 4 under the proof of Lemma 2, it is said that: "... We keep a connected component $H_d'$ of $H_{d}$ such ...
user avatar
1 vote
1 answer
66 views

Equal products of triangle areas

Can you prove the following claim: Claim. Given hexagon circumscribed about an ellipse. Let $A_1,A_2,A_3,A_4,A_5,A_6$ be the vertices of the hexagon and let $B$ be the intersection point of its ...
user avatar
  • 2,615
3 votes
1 answer
88 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 ...
user avatar
  • 2,615
1 vote
1 answer
204 views

Partitioning a convex $n$-polygon

Let $P$ be a convex polygon with $n\ge3$ vertices. Let $\mathcal{Z}_K(P)$ be a partition of the polygon into $K$ polygonal (but not necessarily convex) parts whose interiors are pairwise disjoint, $$ \...
user avatar
  • 121
6 votes
4 answers
396 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$ ...
user avatar
  • 2,615
15 votes
1 answer
575 views

Acute triangles in "obtuse" polygons?

Let $P$ be a convex polygon. Suppose every interior angle of $P$ is obtuse. Is it always the case that there exist three vertices $p, q, r$ of $P$ such that $\triangle pqr$ is acute? I conjecture ...
user avatar
2 votes
1 answer
73 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 ...
user avatar
  • 2,615
1 vote
0 answers
143 views

Does there exist an isometry between a regular polygon and a circle?

In order to define the question in a meaningful fashion, I am referring to a smooth manifold $\mathcal{M}$ within an $\epsilon$-neighborhood of a regular polygon $\mathcal{P}$ satisfying $$\max\{\|x-p\...
user avatar
  • 475
3 votes
1 answer
155 views

Generalizing Pythagorean Theorem: equations defining edges of a (convex) $n$-gon with $n-2$ prescribed angles?

Let $n\geq 3$ be an integer and $0<\alpha_1, \dots ,\alpha_{n-2}<1$. Let's say a tuple of positive numbers $(e_1,\dots, e_n)$ is nice if there is a convex $n$-gon $A_1\dots A_n$ such that $\hat ...
user avatar
  • 29.6k
0 votes
0 answers
62 views

Reference request: realizing a set of numbers as interior angles of a convex n-gons

Let $\{a_1,...,a_n\}$ be a set of positive numbers. Recently, a smart kid asked me how to decide if there is a convex polygon $A_1A_2...A_n$ such that the interior angle at $A_i$ is $a_i$ degrees. Let'...
user avatar
  • 29.6k
4 votes
1 answer
182 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 ...
user avatar
  • 2,615
6 votes
1 answer
183 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 ...
user avatar
  • 2,615
1 vote
1 answer
227 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 ...
user avatar
  • 2,615
1 vote
1 answer
240 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 $...
user avatar
  • 2,615
6 votes
0 answers
94 views

Zero-area-free embedding of points on the grid

Given $n$, I am looking for the smallest $m$ such that there is an $n$ element subset $S$ of the $m\times m$ grid (i.e., $n$ points with integer coordinates in $[0,m]^2$) such that no matter how one ...
user avatar
  • 17.1k
3 votes
0 answers
122 views

Illuminating a just-barely irrational polygon

As has been discussed earlier on MO,1,2 recently an impressive advance was proved concerning internally illuminating a mirrored polygon. Here is the result: Corollary 3. Let $P$ be a rational polygon....
user avatar
0 votes
0 answers
24 views

Maintain the area of a polygon when offsetting one side

I have an irregular polygon with the a specific area (area_red). How can I get the (parallel) offset value (y) of n selected sides in order to maintain the same area (area _red = area_green) when (...
user avatar
  • 101
1 vote
0 answers
54 views

Is the mean center of the vertices of a convex polygon always inside the polygon? [closed]

As simple as that. I'm doing an R program where I need to order clockwise a bunch of points that describe a regular polygon and to do that I figured I could find a point inside, change to polar ...
user avatar
8 votes
1 answer
168 views

Counting polygons in arrangements

For an arrangement of lines $\cal{A}$ in the plane, an inducing polygon $P$ is a simple polygon satisfying: (a) every edge $e$ of $P$ lies on some line $\ell$ of $\cal{A}$, and (b) every line $\ell \...
user avatar
3 votes
1 answer
702 views

Brother of Japanese theorem for cyclic quadrilaterals

I am looking for a proof of a like result as follows and Higher-dimensional generalizations? Let $A, B, C, D$ be four point with lengths of $AB, BC, CD, DA$ are $a, b, c, d$ respectively. Let $F \in ...
user avatar
4 votes
1 answer
321 views

Construct closed chain of $k$-gon around $n$ points-$n, k$ are odd primes number

Question 1: I am looking for a proof of the conjectures 1, 2, 3 as follows? Question 2: In conjecture 3, in general case, I can not give a formula of $X$. But I think, If $n, k$ are odd primes number ...
user avatar
4 votes
1 answer
205 views

A closed chain of $2n+1$-gon around $2n+1$-points

I posed a generalization of Theorem 3.2 In my paper Conjecture: Let $P_1, P_2,....,P_{2n+1}$ and $O$ be $2n+2$ points in plane. Construct a chain $2n+1$ regular ${2n+1}$-gons $A_{1\;1}A_{1\;2}...A_{1\;...
user avatar
1 vote
0 answers
73 views

How can construct the equilateral $A''B''C''$ such that area of $A''B''C''$ is biggest

Let $ABC$ be arbitrary triangle in a plane. Let $A'B'C'$ and $A''B''C''$ be two equilateral triangles such that $A \in B'C'$, $B \in C'A'$, $C \in A'B'$ and $A \in B''C''$, $B \in C''A''$, $C \in A''B'...
user avatar
3 votes
1 answer
207 views

How can construct three circles in a given triangle such that three internal tangent form an equilateral triangle

How can construct three circles in a given triangle such that three internal tangent form an equilateral triangle? See also: Malfatti circles
user avatar
3 votes
0 answers
159 views

Hypothesis: An injection from polygons into $SO(2) \times S_n$

I have stumbled upon a possible representation of polygons by a concise description of their behaviour under rotation. I would like to know more about it and, obviously, if it is actually a bijection. ...
user avatar
11 votes
2 answers
619 views

Strange formula for area of a convex polygon

Consider a convex $n-$gon in $\mathbb{R}^2$ with sides contained in the lines $y=k_ix+b_i, 1\leq i\leq n.$ Then its area equals to $$ S=\frac{1}{2}\sum_{i=1}^{n} \frac{(b_{i+1}-b_i)^2}{k_{i+1}-k_i}. $$...
user avatar
0 votes
1 answer
123 views

Point generation in polygon

I know about the Halton sequence. But so far I can’t find the formulas by which points are generated. Also worried is the question Halton sequence generates points only in the rectangle? Or can I ...
user avatar
1 vote
1 answer
192 views

Can we split a polygon in half (vertex-wise) by a diagonal, but with a constant maximum difference?

This is a followup to my last question - Can we prove that simple polygons can always be split in half (vertex-wise) by diagonals? Is there a constant natural number K for which the following is true:...
user avatar
0 votes
1 answer
67 views

Can we prove that simple polygons can always be split in half (vertex-wise) by diagonals?

Can we prove that for any simple polygon with more than 3 vertices there always exists a diagonal which: is inside the polygon doesn't intersect with any edges splits the polygon in two polygons in ...
user avatar
0 votes
0 answers
142 views

Automorphism group of the cycle graph with $k$ diagonals

Let $C_n$ be the cycle graph on $n$ vertices. Then $Aut(C_n) \cong D_{2n}$ the dihedral group of order $n$. Now, let $C_{n,i}$ be the cycle graph with $i$ many diagonals connecting opposite vertices ...
user avatar
  • 1,119
2 votes
0 answers
51 views

Complexity of existence of simple polygonalization with prescribed area?

This is a followup on my previous question. Fekete proved the NP-completeness of deciding the existence of simple polygonalization with minimum (or maximum) enclosed area (simple polygonalization is ...
user avatar
1 vote
1 answer
99 views

Projections of particular simplex yielding boundary of a regular polygon?

What is the maximum $m$ such that there is a simplex with $n$ vertex points in $n-1$ dimensions whose projection yields boundary of a regular $m$-gon on $2D$ plane?
user avatar
  • 1,708
2 votes
1 answer
327 views

Build reversed No-Fit-Polygon

I need some robust algorithm to optimally fit one non-convex polygon into another. The destination one can contain holes. Recently I found scholarly articles on this subject: One of them describes ...
user avatar
5 votes
1 answer
204 views

Generalizations of the "Curious Tiger" Polygon

I actually don't know, whether the polygon I describe here already has name, but let me explain the problem, that is solved by the polygon, with a little story: Imagine a flat terrain with bushes of ...
user avatar