Questions tagged [euclidean-geometry]

Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the Elements. Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these.

Filter by
Sorted by
Tagged with
1
vote
1answer
47 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 ...
14
votes
2answers
2k views

Is it a new discovery on conic section?

I discovered a problem in plane geometry (there are some nice special cases) as follows: Let $ABC$ be a triangle and $\Omega$ be arbitrary circumconic. Let two points $A_b, A_c \in BC$, $B_c, B_a \in ...
1
vote
1answer
81 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}...
1
vote
1answer
249 views

Cramer–Castillon problem like

Cramer–Castillon problem being very difficult problem. Related to the Cramer–Castillon problem configuration, I posed a problem as follows: Let $ABC$ be arbitrary triangle and let three collinear ...
3
votes
1answer
77 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 ...
1
vote
0answers
39 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. ...
4
votes
0answers
120 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 ...
5
votes
0answers
217 views

Generalization of the half-angle formulas

The following is a generalization of the half-angle formulas presented in the following link for a triangle: http://www.nabla.hr/GE-AppTrigonomB1.htm Generalization. Let $a$, $b$, $c$, $d$ be the ...
18
votes
2answers
430 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 ...
5
votes
2answers
213 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$ ...
6
votes
2answers
710 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
votes
1answer
50 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 ...
-8
votes
1answer
111 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 ...
44
votes
2answers
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 ...
8
votes
1answer
197 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 ...
9
votes
1answer
135 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$-...
4
votes
1answer
125 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 ...
5
votes
0answers
142 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
1answer
137 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 ...
5
votes
1answer
211 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 ...
1
vote
2answers
262 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 \, | \, \...
4
votes
1answer
182 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 ...
4
votes
1answer
178 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 ...
0
votes
0answers
11 views

Existence of optimal non-trivial point sets in Euclidean space w.r.t. circumscribed circles of triangles

Consider the following modificaton to a triangle with sides $a\leqq b\leqq c$: add to $a$ and $b$ the contant value $\omega_0$ that yields the triangle with sidelengths $\ a+\omega_0,\ b+\omega_0,\ c\ ...
2
votes
0answers
85 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$-...
1
vote
1answer
170 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
0answers
256 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
vote
1answer
210 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
1answer
121 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)$ . ...
1
vote
0answers
52 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 ...
2
votes
1answer
109 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 ...
16
votes
1answer
813 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 ...
5
votes
0answers
140 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 ...
4
votes
3answers
234 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 ...
1
vote
1answer
288 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 $...
1
vote
1answer
92 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
votes
2answers
147 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 ...
11
votes
1answer
673 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$ , ...
0
votes
0answers
42 views

What are the expected values of the volumes of two classes of ellipsoids contained within the unit 3-ball, and/or what is their ratio?

Consider the class of all ellipsoids contained in the unit 3-ball, and also the subclass of those ellipsoids also contained within tetrahedra also contained in the unit 3-ball. What are the expected ...
2
votes
1answer
153 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 ...
5
votes
0answers
101 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 ...
1
vote
0answers
38 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 ...
2
votes
2answers
116 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\...
0
votes
0answers
80 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 ...
1
vote
0answers
18 views

Maximizing the volume of the intersection of a fixed ball with a cube with varying width and location

Given a ball $B$ and a linear subspace $L$ in $\mathbb{R}^n$, what is the maximum value of $\frac{vol(B \cap C)}{vol(C)}$ where $C$ is a cube of the form $x + [0, h]^n$ for $x \in L$ and $h \in \...
70
votes
4answers
2k views

Does this property characterize straight lines in the plane?

Take a plane curve $\gamma$ and a disc 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
0answers
72 views

Can an exterrior of a ball in Euclidean space be considered a ball itself under any proposed generalization?

If we take an n-dimensional Euclidean space and cut off a ball centered at origin, we get a set that has boundary equal to the surface area of the cut off ball. I wonder whether there were any ...
6
votes
0answers
163 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 ...
3
votes
1answer
82 views

Solid angles at points in an orthosimplex

Given a point ${\bf x} = (x_1,x_2,\dots,x_n)$ in the orthosimplex $K = \{(x_1,x_2,\dots,x_n)\ : \ 0 \leq x_1 \leq x_2 \leq \dots \leq x_n \leq 1\}$, what proportion of a ball of radius $\epsilon$ ...
4
votes
0answers
131 views

Trade-off between covering number, ball radius and diameter of $d$-dimensional shapes

Given any $d$-dimensional shape $X$ in the Euclidean space, let $\ell(X)$ be the length of the longest line segment connecting two points of $X$. How can we prove the following statement? There exists ...

1
2 3 4 5
9