All Questions
Tagged with elementary-proofs mg.metric-geometry
31 questions
3
votes
1
answer
147
views
Arcular triangle inequality
Is it true that if inside a circular segment $S$, with vertices $a$ and $b$, we take two circular arcs, one from $a$ to $c$ and the other from $c$ to $b$, then the sum of the lengths of these two arcs ...
- 18.8k
6
votes
2
answers
430
views
Geometric proof of the three-dimensional Pythagorean theorem
All the proofs of the high-dimensional Pythagorean theorem that I know are based on induction or the additivity of the dot product. Is there any geometric construction that's similar to the well-known ...
- 1,431
35
votes
17
answers
6k
views
Which theorems have Pythagoras' Theorem as a special case?
Loomis famously wrote hundreds of proofs of Pythagoras' Theorem (reference below), but these are all basically proofs "from below". Today on Twitter @panlepan mentioned Carnot's theorem ...
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 ...
- 445
15
votes
1
answer
17k
views
The 4th vertex of a triangle?
I was immensely surprised and amused by the idea of the fourth side of a triangle that was introduced by B.F.Sherman in 1993. 'Sherman's Fourth Side of a Triangle' by Paul Yiu is available here. ...
- 445
1
vote
1
answer
111
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 ...
- 2,661
3
votes
1
answer
158
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$ ...
- 2,661
4
votes
2
answers
211
views
Six conelliptic points
Can you prove the following proposition:
Proposition. Given an arbitrary triangle $\triangle ABC$. Let $D,E,F$ be the points on the sides $AB$,$BC$ and $AC$ respectively , such that $\frac{AB}{DA}=\...
- 2,661
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$ ...
- 2,661
2
votes
0
answers
83
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 ...
- 2,661
1
vote
1
answer
159
views
Generalizing Bottema's theorem
Can you provide another proof for the claim given below?
Claim. In any triangle $\triangle ABC$ construct triangles $\triangle ACE$ and $\triangle BDC$ on sides $AC$ and $BC$ such that $\frac{AE}{AC}...
- 2,661
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
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
2
votes
0
answers
224
views
Polyhedron - sphere intersection
newbie here.
I'd like to ask you, if you know some brief, but somewhat solid proof of a convex polyhedron and a sphere centered at one of its vertices (with small enough radius, so it intersects only ...
- 31
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
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
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
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
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
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
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
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
8
votes
2
answers
320
views
Area method in Lobachevskian geometry
There are many proofs in Euclidean geometry using the area method; for example, Ceva's theorem or the proof of Pythagorean theorem shown below.
Do you know such proofs in hyperbolic geometry?
I ...
- 45k
1
vote
1
answer
247
views
Formally proving that a metric is not induced by any norm in $\mathbb{R}^n$ [closed]
What is the procedure to formally prove that no norm exists in $\mathbb{R}^n$, that induces a metric $d$?
My first instinctive idea would be to show that $d$ is a metric in $\mathbb{R}^n$, but after ...
user138015
11
votes
2
answers
414
views
Sum of squared nearest-neighbor distances between points in a square
Let $\square_2=\{(x,y): 0\leq x, y\leq1\}$ be the unit square in $\mathbb{R}^2$. Take $n>1$ points $P_1, \dots, P_n\in\square_2$.
Denote the distances $d_j=\min\{\Vert P_k-P_j\Vert: k\neq j\}$, ...
- 43.2k
22
votes
15
answers
7k
views
Geodesics on the sphere
In a few days I will be giving a talk to (smart) high-school students on a topic which includes a brief overview on the notions of curvature and of gedesic lines. As an example, I will discuss flight ...
- 3,749
17
votes
2
answers
1k
views
Why are the medians of a triangle concurrent? In absolute geometry
This fact holds true in absolute geometry, and I would like to see an elementary synthetic proof not using the classification of absolute planes (Euclidean and hyperbolic planes) and specific models. ...
- 109k
3
votes
0
answers
135
views
Lattices achieving best density
Let $\Lambda \subset \mathbb{R}^n$ be an Euclidean lattice with generator matrix $B$. Define the center density $\delta(\Lambda)$ in the usual way as $\delta(\Lambda) = \rho^n/|\det{B}|$, where $\rho$ ...
- 800