All Questions
Tagged with plane-geometry euclidean-geometry
104 questions
2
votes
1
answer
141
views
Does this result above six points follow have a name?
Does this result above six points follow have a name?
Let $A$, $B$, $C$, $D$, $E$, $F$ be six points in the plane and $AB, CF, ED$ are concurrent and $BC, DA, FE$ are concurrent then $CD, EB, AF$ ...
2
votes
2
answers
243
views
A necessary and sufficient condition for three diagonals of a hexagon to be concurrent
When talking about the condition for the three diagonals of a hexagon to be concurrent, we will think of Brianchon's theorem. Using software, I discovered a necessary and sufficient trigonometric ...
- 76
15
votes
2
answers
1k
views
Do two new special points in any triangle exist?
There are some special points in any triangle, as Fermat point, symmedian point, incenter, Morley center, et cetera.
Let $P$ be a point on the plane, $PA$, $PB$, $PC$ meet $BC$, $CA$, $AB$ at $...
CommunityBot
- 1
3
votes
1
answer
145
views
Triangle centers formed a rectangle associated with a convex cyclic quadrilateral
Similarly Japanese theorem for cyclic quadrilaterals, Napoleon theorem, Thébault's theorem, I found a result as follows and I am looking for a proof that:
Let $ABCD$ be a convex cyclic quadrilateral.
...
CommunityBot
- 1
5
votes
1
answer
1k
views
Is this a new result about hexagon?
Let a hexagon $AB'CA'BC'$ let $AB' \cap A'B=C''$, $BC' \cap B'C = A''$, $CA' \cap C'A = B''$ then three conditions as follows equivalent:
Three lines $AA', BB', CC'$ are concurrent (let the point of ...
- 1,776
3
votes
1
answer
418
views
Generalization of Tucker circle, Conway circle and van Lamoen circle
Theorem 9.1 in this paper as follows is a generalization of Turker circle. Turker circles is a generalization of many circles as: Cosine Circle, circum circle, First Lemoine Circle, Gallatly Circle, ...
- 785
3
votes
1
answer
145
views
Incenter-of-mass of a polygon
"Circumcenter of mass"
is a natural generalization of circumcenter to non-cyclic polygons.
CCM(P) can be defined as the weighted average of the circumcenters
of the triangles in any ...
CommunityBot
- 1
2
votes
0
answers
114
views
Another Butterfly theorem — Conway like circle
Have You seen these result as follows before?
In Figure 1: $AA'=BB'=tAB$; $CC'=DD'=tCD$, where t is real number then $ABCD$ is a cyclic quadrilateral iff $A'B'C'D'$ is a cyclic quadrilateral.
In the ...
- 12.9k
7
votes
2
answers
805
views
Continuing generalization of the Simson line
In 2014, I found a nice result in plane geometry, the result is a generalization of the Simson line theorem, and there are nine proofs for this result were published in [1]-[7]. Continuing, I find a ...
- 61
1
vote
0
answers
112
views
Is the formula known? and can we generalized for higher dimensions?
In this configuration as follows, we have a nice formula:
$$\cos(\varphi)=\frac{OF.OE+OB.OC}{OF.OB+OE.OC}$$
Is the formula known? and can we generalized for higher dimensions?
- 4,713
0
votes
0
answers
77
views
In how many ways is it possible to order the sides and diagonals according to their length for all n-gons?
If we'd do it for example for 4-gons, for quadrilaterals, we could start with all the possible quadrilaterals.
We could say that the four vertices are a,b,c and d.
And then we'd have 6 lines, I mean,
...
- 39.9k
6
votes
1
answer
255
views
Inscribing one regular polygon in another
Say that one polygon $P$ is inscribed in another one $Q$, if $P$ is contained entirely in (the interior and boundary of) $Q$ and every vertex of $P$ lies on an edge of $Q$. It's clear that a regular $...
- 109k
8
votes
2
answers
1k
views
Quadrature of the Lune
What is a good reference for the following result which I believe is proved by Tchebotarev.
There are exactly 5 types of Lunes that are squarable. (Hippocrates produced three and then two more were ...
- 91.8k
25
votes
6
answers
2k
views
Are there infinitely many "generalized triangle vertices"?
Briefly, I'd like to know whether there are infinitely many "generalized triangle centers" which - like the orthocenter - are indistinguishable from a vertex of the original triangle. This ...
- 20.5k
2
votes
0
answers
213
views
A generalization of the Archimedean circle
I proposed a generalization of the Archimedean circle : In this figure $M$ is the midpoint of $AB$, $DE$; $(G)$, $(H)$, $(M)$ are the semicircles. Then two yellow circles are congruent.
Question: Is ...
- 1,776
22
votes
1
answer
1k
views
Aperiodic monotile without reflections?
The recently discovered amazing aperiodic monotile (or "einstein") of David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss tiles the plane only if reflections of the ...
- 114k
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 $\...
- 10.6k
6
votes
1
answer
435
views
On the aperiodic monotile
One of the more mind-boggling aspects of the Penrose tiles is that there are uncountably many distinct tilings of the plane, but every tiling contains every finite region that appears in another ...
- 561
0
votes
0
answers
128
views
Concurrencies determined by intersections of angle trisectors (and isogonal lines) in a triangle
The famous Morley’s theorem, states that in a triangle the interior angle trisectors, proximal to sides respectively, meet at the vertices of an equilateral. However the six trisectors meet at 12 ...
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 ...
11
votes
6
answers
1k
views
Decomposing the plane into intervals
I posted this on Stack Exchange and got a lot of interest, but no answer.
A recent Missouri State problem stated that it is easy to decompose the plane into half-open intervals and asked us to do so ...
- 55
16
votes
0
answers
391
views
Is "Escherian metamorphosis" always possible?
$\DeclareMathOperator\int{int}\DeclareMathOperator\diam{diam}\DeclareMathOperator\area{area}\DeclareMathOperator\cl{cl}\DeclareMathOperator\ran{ran}\DeclareMathOperator\dom{dom}$This is a tweaked ...
- 20.5k
15
votes
1
answer
838
views
Ratio of circumscribed/inscribed $(n{-}1)$-gons
As a discrete analog of the MO question,
"Löwner-John Ellipsoid: incribed and circumscribed,"
I've been wondering what might be the maximum ratio
of this quantity?
Let $P$ be a convex ...
- 2,821
6
votes
0
answers
121
views
How many equilaterals have vertices intersections of angle trisectors of a triangle?
The celebrated Morley’s theorem ensures that the interior trisectors, proximal to sides respectively, meet at vertices of an equilateral.
In the paper Trisectors like Bisectors with Equilaterals ...
9
votes
2
answers
595
views
Strengthened version of Isoperimetric inequality with n-polygon
Let $ABCD$ be a convex quadrilateral with the lengths $a, b, c, d$ and the area $S$. The main result in our paper equivalent to:
\begin{equation} a^2+b^2+c^2+d^2 \ge 4S + \frac{\sqrt{3}-1}{\sqrt{3}}\...
- 2,222
10
votes
1
answer
551
views
Formula for "cointersection" of three circles?
I am working on the problem of finding "rational" dodecahedrons, and I have run across an interesting subproblem: How do you tell if three circles have a common intersection point?
...
- 109k
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,222
19
votes
1
answer
819
views
All saddles in the unit ball have area $<2\pi$?
Let $M$ be the saddle surface in $\mathbb R^3$ defined by $x^2-y^2+z=0$. For any $r\geq 0$ and $(x_0,y_0,z_0)\in\mathbb R^3$, let $rM+(x_0,y_0,z_0)$ denotes the surface obtained by scaling $M$ by $r$ ...
- 61.9k
6
votes
4
answers
691
views
Triangle angle bisectors, trisectors, quadrisectors, …
With the triangle
angle bisector theorem
and
Morley's trisector theorem
as background ,
are there any pretty theorems known for triangle $n$-sectors,
$n > 3$?
For example, angle quadrisectors?
The ...
CommunityBot
- 1
2
votes
1
answer
155
views
Concyclic point made from Six arbitrary points
Let $A_1A_2A_3A_4A_5$ be irregular convex Pentagon and Let $P$ be arbitrary point anywhere in Plane geometry.
Let $X_1,X_2,X_3,X_4,X_5$ be Circumcircle of $\triangle PA1A3$; $\triangle PA2A4$; $\...
- 4,713
3
votes
1
answer
85
views
How big can a triangle be, whose sides are the perpendiculars to the sides of a triangle from the vertices of its Morley triangle?
Given any triangle $\varDelta$, the perpendiculars from the vertices of its (primary) Morley triangle to their respective (nearest) side of $\varDelta$ intersect in a triangle $\varDelta'$, which is ...
- 1,986
4
votes
0
answers
384
views
Two triangles have the same centroid theorem
Let $\triangle ABC$ and $\triangle A'B'C'$ be two triangles. The line through $A$ and perpendicular to $AA'$ meets the line through $B'$ and perpendicular to $BB'$ at $A_b$; The line through $A$ and ...
- 33.8k
14
votes
1
answer
2k
views
Dao's theorem on six circumcenters associated with a cyclic hexagon
This questions from Ngo Quang Duong's paper
In 2013, O. T. Dao published without proof a theorem with title Another seven circles theorem in Cut the Knot, a free site for popular expositionsof many ...
- 33.8k
1
vote
1
answer
385
views
Cramer–Castillon problem like
Special case of Golden ratio as a property of conic section (is it known?) as follows:
Let $ABC$ be arbitrary triangle and $DEF$ is the its tangential triangle. Let $CF$ meets $AB$ at $G$ and $BE$ ...
- 1,776
2
votes
1
answer
802
views
Three circles meet at a point [closed]
I am looking for the proof of the following proposition:
Proposition. Let $\triangle ABC$ be an arbitrary triangle with circumcenter $O$. Let $A',B',C'$ be a reflection points of the points $A,B,C$ ...
CommunityBot
- 1
7
votes
3
answers
400
views
Maximizing the area of a region involving triangles
I thought of a question while making up an exercise sheet for high school students, and posted it on MathStackExchange but did not receive an answer (the original post is here), so I thought perhaps ...
CommunityBot
- 1
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
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 ...
- 680
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 $...
- 445
1
vote
0
answers
96
views
Pseudo-Droz-Farny circles
I would like to present a construction of 2 circles. These 2 circles are somewhat similar in appearance to the well known Droz-Farny circles that can be drawn for every isogonal conjugate pairs of ...
- 445
6
votes
1
answer
311
views
Lemoine-Lozada circles
I made some rookie attempt to define the 4th Lemoine circle recently. The alternative name for this circle was suggested yesterday. Further investigation revealed a family of circles associated with ...
- 63.9k
5
votes
0
answers
235
views
Arrangement of points, lines, and planes
Is it possible to construct a finite nontrivial arrangement of points, lines, and planes in 3-dimensional Euclidean space with the following properties?
every line is incident with four points and ...
- 1,444
3
votes
0
answers
301
views
A problem on configuration of Dao's theorem on six circumcenters
Abstract: In the figure belows: Three lines through center of pair opposite red circle are concurrent. This is a statement of Dao's theorem on six circumcenter, a new theorem in plane geometry which ...
- 1,776
1
vote
1
answer
84
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 ...
- 5,901
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 ...
- 1,848
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 ...
- 680
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 ...
- 680
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 ...
- 109k
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 ...
- 619
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