Questions tagged [plane-geometry]
Plane Geometry is about flat shapes like lines, circles and triangles , shapes that can be drawn on a piece of paper
479
questions
3
votes
1
answer
177
views
Analytic or holomorphic extension of the ellipse perimeter function
Let ${\mathbb{R}^2}^+=\{(x,y)\in \mathbb{R}^2\mid x>0, y>0\}$.
Let $P:{\mathbb{R}^2}^+\to \mathbb{R}$ be the function with $P(a,b)=$ $\text{The perimeter of ellipse}\;\; \frac{x^2}{a^2}+\frac{y^...
6
votes
1
answer
215
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 ...
7
votes
1
answer
172
views
Stability Question for Isotopies Between Compact Sets
Suppose $X, Y$ are compact sets in $\mathbb{R}^2$ and $F$ is an ambient isotopy carrying $X$ onto $Y$.
Is there an ambient isotopy $F'$ agreeing with $F$ on $X$ and which is constant in a ...
4
votes
1
answer
212
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 ...
6
votes
1
answer
277
views
Proof of Denjoy-Riesz Theorem and Moore's Generalization?
The Denjoy-Riesz Theorem states that any compact zero-dimensional subset of the plane can be covered by an arc, i.e. an embedded image of $[0,1]$. Sometimes it's stated just for covering a Cantor Set,...
1
vote
0
answers
103
views
Length of isoline $x(1-x)y(1-y)=c$
For the integral appearing in this answer, it may be beneficial to derive the length $L(c)$ of the isoline:
$$x(1-x)y(1-y) = c,$$
where $x,y$ are ranging in $[0,1]$, and constant $c\in [0,\frac1{16}]$....
2
votes
1
answer
114
views
On covering a disk by non-overlapping subdisks
I posted this question many years ago on math stackexchange but it did not get an answer. It had circulated as a puzzle in graduate school.
A disk $D$ of radius $1$ contains disks $D_i$ ($i \ge 1$) of ...
1
vote
1
answer
298
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 ...
6
votes
0
answers
314
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 ...
2
votes
1
answer
149
views
To cut a triangle into $n$ $p$-sided polygonal regions
Given any triangular region and two integers $n$ and $p$ which can be large and $p > 4$. It is needed to cut the triangle into $n$ $p$-gons (e.g., cut a triangle into 10 heptagons). Among the $p$-...
1
vote
1
answer
292
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
votes
1
answer
196
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
votes
1
answer
173
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 ...
6
votes
2
answers
536
views
On circles and ellipses drawn on an infinite planar square lattice
Consider a plane with a square lattice formed by all points with both coordinates as integers. As can be easily seen, a simple parabola can be found that passes through infinitely many of the square ...
0
votes
1
answer
78
views
Extending functional inequality from rectangles to parallelograms
Let $f$ be a function defined on the unit square $R = [0,1]^2 \subseteq \mathbf{R}^2$ satisfying
$f \geq 0$, $f(0,0) = 0$,
$\frac{\partial{f}}{\partial{x}} \geq 0$, $\frac{\partial{f}}{\partial{y}} \...
22
votes
1
answer
880
views
Happy ants never leave compact domain?
I am curious if the following seemingly simple question has an easy answer?
Consider an ant population of $N$ ants that lives in $\mathbb R^2$. Each ant can be labeled by some coordinate $x\in \mathbb ...
2
votes
2
answers
521
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 $...
11
votes
2
answers
296
views
Connecting a compact subset by a simple curve
Let $K$ be a compact subset of $\mathbb R^n$ with $n\ge 2$ (say if you like $n=2$, which is possibly sufficiently representative).
Q: Does there exist a closed simple curve $u:\mathbb S^1\to\mathbb R^...
2
votes
2
answers
244
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 $...
3
votes
2
answers
243
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 ...
14
votes
4
answers
1k
views
Six points on an ellipse
Can you prove the following proposition:
Proposition. Let $\triangle ABC$ be an arbitrary triangle with centroid $G$. Let $D,E,F$ be the points on the sides $AC$,$AB$ and $BC$ respectively , such ...
1
vote
1
answer
87
views
Vertices of 2 self-polar triangles lie on conic
I have conic $\gamma$ and two self-polar triangles $ABC$, $XYZ$ with respect to my conic. Why can I construct a one conic through $ABCXYZ$?
3
votes
1
answer
586
views
Weird geometry problem I found
I found this problem in a section of an old notebook, where I used to write down weird problems I came across and that I didn't know how to solve. Long story short, I rediscovered this notebook a week ...
6
votes
1
answer
226
views
Constructing M-curves à la Hilbert
I have been reading some text about Harnack's theorem. The theorem basically says that for degree $d$, the maximal number of connected components in the real (projective) plane of a plane curve with ...
90
votes
5
answers
4k
views
Does this property characterize straight lines in the plane?
Take a plane curve $\gamma$ and a disk of fixed radius whose center moves along $\gamma$. Suppose that $\gamma$ always cuts the disk in two simply connected regions of equal area. Is it true that $\...
2
votes
2
answers
184
views
What is the minimum number of triangle centers sufficient to unambiguously describe a triangle?
I am looking for a minimal number of properties describing a triangle so that these properties are invariant to the choice of a Cartesian coordinate system as well as to the order in which the ...
8
votes
0
answers
204
views
Which subsets of the plane are similar to all their affine images?
A parabola P in the plane has the nice property that the image of P under any affine transformation is similar to P itself.
Which other subsets of the plane have this property?
I wondered aloud about ...
8
votes
1
answer
1k
views
Possible new theorem in plane geometry encompassing 5 famous geometry theorems
I am looking for a proof of a generalization Napoleon theorem, Bottema theorem and Brahmagupta theorem and van Aubel theorem, and Finsler–Hadwiger theorem in one configuration, as follows:
Let four ...
5
votes
1
answer
324
views
Discovered 240 new circles associated with Pascal's line
I am looking for a proof or a reference request for a problem as follows:
Problem: Let a cyclic hexagon with sidelines $l_1$, $l_2$, $l_3$, $l_4$, $l_5$, $l_6$ and $l_1 \cap l_4 =A$, $l_3 \cap l_6 = ...
3
votes
1
answer
176
views
On some centers of convex regions based on partitions
These questions are inspired by Yaglom and Boltyanskii's 'Convex figures'.
Winternitz Theorem: If a 2D convex figure is divided into 2 parts by a line $l$ that passes through its center of gravity, ...
1
vote
1
answer
79
views
Isotopy Classes of Non-Connected Planar Sets
I was just looking through some of my old questions on StackExchange and noticed that this one went totally unresolved. I still think it'd be useful as a lemma for plane topology if it were true, and ...
10
votes
2
answers
685
views
Geometric construction of the fourth intersection points of two conics
In general, two conics in the plane intersect at most 4 points. Suppose three of those points are given as $A,B,C$. Then let $c_1$ be the conic passing through those three points and $D_1,E_1$. Let $...
3
votes
3
answers
491
views
Can you measure the degree of uniformity of a 2d shape?
Is there a calculation that could take the points that make of the outline of a 2 dimensional shape and provide a numeric evaluation representative of the uniformity or symmetry of the shape.
Such as ...
0
votes
0
answers
36
views
Vertex configuration to tile repeat unit
I am working with elongated triangular tiling which has a vertex configuration of 3.3.3.4.4 and noticed that the representative symmetry is not the repeat unit. Is there a general formula to convert ...
1
vote
1
answer
110
views
Identity map minus Cremona transformation
Let $ \delta $ be the triangle with vertices $(1,0,0)$, $(0,1,0)$ and $(0,0,1)$ in $\mathbb R^3$. It's a face of the standard octahedron. The Cremona transformation
$$\mathcal C: (x, y, z) \mapsto - \...
8
votes
1
answer
254
views
A claim on partitioning a convex planar region into congruent pieces
Let us define a perfect congruent partition of a planar region $R$ as a partition of it with no portion left over into some finite number n of pieces that are all mutually congruent (ie any piece can ...
2
votes
0
answers
135
views
Perimeter points in triangle
Let $ABC$ denotes a triangle and $p(ABC)$ denotes its perimeter. We say two points $O_1$ and $O_2$ inside this triangle are perimeter points if there are points $a$, $b$ and $c$ on the sides $BC$, $AC$...
2
votes
2
answers
267
views
Property of triangle centers
$M$ is the intersection of 3 cevians in the triangle $ABC$.
$$AB_1 = x,\quad CA_1 = y,\quad BC_1= z.$$
It can be easily proven that for both Nagel and Gergonne points the following equation is true:
$...
2
votes
0
answers
70
views
Separating a certain planar region with an open set
I have a fairly specific question related to plane separation properties. I couldn't quite see how to use Phragmen–Brouwer properties to answer it because those kind of results generally apply to ...
3
votes
1
answer
770
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 ...
20
votes
1
answer
896
views
Minimal pizza cutting
Given a circle, we want to divide it into $n$ connected equally sized pieces. In such a way that the total length of the cutting is minimal. What can we say about the solution for each $n$. Are they ...
4
votes
1
answer
236
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\;...
6
votes
3
answers
1k
views
Is $\arcsin(1/4) / \pi$ irrational?
Is $\arcsin(1/4) / \pi$ rational? An approximation given by a calculator seem to suggest that it isn't, but I found no proof. Thanks in advance!
2
votes
1
answer
96
views
There is no general method to construct n-regular polygon such that the given n-polygon inscribed the n-regular polygon
Conjecture 1: With $n\ge 5$, given general n-polygon, there is no general method to construct n-regular polygon such that the given n-polygon inscribed the n-regular polygon (with one and only one ...
5
votes
1
answer
153
views
On folding a polygonal sheet
Consider a polygonal sheet $P$ of area $A$ with $N$ vertices (it material is not stretchable or tearable). Let $n$ be a positive integer >=2.
Question: Let $P$ lie on a flat plane. We need to fold ...
1
vote
0
answers
82
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'...
6
votes
1
answer
377
views
Who was Bickart?
The term "Bickart points" is often used for the foci of the Steiner circumellipse of a triangle. Who was Bickart, and what was the first publication to use the term?
2
votes
0
answers
51
views
How many “linkage shapes” in the plane have $n$ “joints”?
A linkage shape in the plane with $n$ joints means a choice of $n$ points (a.k.a., vertices) in the plane joined by struts (a.k.a., edges). The joints are flexible pivots for the struts connecting ...
1
vote
2
answers
343
views
When is the inside of a Jordan curve open? [closed]
I'm working purely on intuition here. The Jordan curve theorem states that a Jordan curve separates the plane into a bounded component and an infinite component. For toy curves, it seems like this ...
3
votes
1
answer
278
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