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.
472
questions
6
votes
1
answer
150
views
$\mathbb{Q}$-rank of the space of angles of pythagorean triples
A pythagorean triple is a triple of integers $(a,b,c)$ with $a^2 + b^2 = c^2$. Given a triple, $(a/c, b/c)$ is a point on the unit circle, so we may associate to it the normalized angle
$$\theta_{a,b} ...
- 6,253
5
votes
1
answer
322
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 ...
- 4,798
0
votes
0
answers
90
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 ...
22
votes
1
answer
579
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 ...
- 72.6k
0
votes
0
answers
70
views
Geometry of inner products between the unit vector and several given vectors
Let $\mathcal{S}$ denote the set of all unit complex-valued $d$-dimensional vectors, i.e.,
$$
\mathcal{S} \triangleq \left\{ \mathbf{s}\in \mathbb{C}^{d} \mid \mathbf{s}^{\mathrm{H}}\mathbf{s}=1 \...
- 550
0
votes
0
answers
90
views
Is Morley’s observation complete?
Morley’s observation states that in a triangle the intersections of trisectors proximal to a (triangle) side lie six by six on three triples of parallel lines that make angles of 60° with each other. ...
11
votes
0
answers
417
views
What sequence maximizes the final distance?
This problem was created by professor Ronaldo Garcia from Universidade Federal de Goiás (UFG) and he showed it to me at an event in my university. This problem has a lot of history and he told me he ...
0
votes
1
answer
85
views
$1$-Lipschitz map from hyperbolic to Euclidean plane
I'm trying to find a reference to the following statement.
Define a function $f$ from the hyperbolic plane (in the Poincaré unit disc model using polar coordinates) to the Euclidean plane (using polar ...
- 681
0
votes
0
answers
25
views
Alternative equivalence results for the constructibility of real numbers
Everyone is aware of the standard result from undergraduate field theory that a real number $\alpha$ is constructible by straightedge and compass if and only if there exists a finite sequence of field ...
- 273
0
votes
1
answer
40
views
Constructing a polygon from another with collinearity constraints
Let $P$ be a closed polygon defined by the sequence
$p_0,\,\dots,\,p_{n-1},p_0$ of points.
Question:
how can one construct, with straightedge and compass alone, another sequence of points $q_0,\,\...
- 11.9k
2
votes
1
answer
127
views
Finding angle with geometric approach [closed]
I would like to solve the problem in this picture:
with just an elementary geometric approach. I already solved with trigonometry, e.g. using the Bretschneider formula, finding that the angle $ x = ...
- 29
6
votes
3
answers
189
views
Minimum diameter of set inscribed in a unit sphere
For a study of the stability of certain maps taking values in a sphere I have the following question.
Let $A$ be a subset of $\mathbb{R}^n$. Suppose $A$ lies in a unit ball, but in no ball of smaller ...
- 71
-1
votes
2
answers
138
views
Condition to be concyclic [closed]
What condition would you impose upon $n$ points on a plane of which no three points are collinear so that they are
concyclic if the distances of each point from the all remaining points are known? (...
14
votes
1
answer
235
views
How many distances are required to calculate all distances among $n$ points in the Euclidean plane?
I want to know all the pairwise distances between points $P_1,P_2,\ldots,P_n$ in the Euclidean plane (or equivalently, I want to reconstruct the set of points up to congruence). Let's say I have an ...
- 513
0
votes
0
answers
44
views
Symmetrically $3d$ embeddable graphs with high girth
Let a symmetrically $3d$ embeddable graph be a graph that can be embedded into $3d$ so that the embedding is arc-transitive, which means that every vertex-edge pair with the vertex incident to the ...
- 181
16
votes
0
answers
377
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 ...
- 19.1k
14
votes
0
answers
271
views
A textbook on foundations of geometry in spirit of Tarski
I am interested in a textbook for studying (and teaching) foundations of geometry in the spirit of Tarski. I know that there is a rather old German book [W. Schwabhäuser, W. Szmielew, A. Tarski, ...
- 38.7k
0
votes
1
answer
90
views
Orthogonal projection of a point centrally-symmetric closed convex subset of $\mathbb R^n$ never expands the coordinates of the point
Let $C$ be a closed convex subset of $\mathbb R^n$ which is symmetric about the standard coordinate axes. For example, think of $C$ as the unit-ball for an $\ell_p$-norm, for some $p \in [1,\infty]$. ...
- 6,338
1
vote
1
answer
87
views
A 'natural' enumerable metric space with integral distances which is essentially the Euclidean space
It is easy to construct a metric space $E_d$ such that all points
of $E_d$ are at mutually integral distance and such that there is a map $\varphi$ from $E_d$ into the $d$-dimensional Euclidean space ...
- 15.9k
7
votes
0
answers
88
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 ...
1
vote
0
answers
39
views
Fashioning higher precision tool from a lower precision tool
I'm not sure where to ask this question.
Suppose I have one or more rulers with which I can measure distances with up to 1 mm error. Is there a way I could make another tool of higher precision (e.g. ...
- 169
5
votes
0
answers
171
views
Generalization of IMO5 from 1987
The following question appeared as question 5 on the IMO in 1987:
Prove that for all $n \geq 3$ one can find $n$ distinct points on the Euclidean plane with the property that the distance between any ...
- 22.9k
1
vote
0
answers
406
views
A metric geometry problem which calculates the limitation of human eyes
This is the update version of this question A functional inequality which calculates the limitation of human eyes
Let an Euclidean space $M$ (or a path connected metric space) be partitioned into ...
- 1,220
1
vote
1
answer
185
views
Does the cosine of a matrix have a geometric (non power series) interpretation? [closed]
You can adapt the power series definition of cosine to take in a matrix. Does this have a geometric interpretation/definition? Can it be used for various purposes? I actually have extended the matrix ...
- 65
15
votes
1
answer
382
views
Is there a conceptual reason why so many triplets of lines in a triangle are concurrent?
One of the striking phenomena one can't help but notice in elementary Euclidean geometry is how easy it appears to be to define triples of lines in a triangle which meet in a point. Now for each ...
- 26.4k
9
votes
1
answer
518
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?
...
- 361
3
votes
1
answer
2k
views
Does this hexagon theorem have a name?
Question : Do you know this property of a hexagon?
Consider the configuration: Six points $A_1$, $A_2$, $A_3$, $A_4$, $A_5$, $A_6$ in a plane and let six points $B_i \in A_iA_{i+1}$ for $i=1, 2,\dots, ...
- 984
19
votes
1
answer
799
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$ ...
- 513
2
votes
1
answer
138
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$; $\...
user423633
58
votes
4
answers
7k
views
Is orientability a miracle?
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}$This question is prompted by a recent highly-upvoted question, Conceptual reason why the sign of a permutation is well-defined? The responses made ...
- 72.6k
3
votes
1
answer
76
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 ...
- 2,417
4
votes
1
answer
117
views
The outer Nagel points and unknown central circle
Na, Nb, Nc are the outer Nagel points. A'B'C' is the contact triangle. I claim that lines A'B', A'C', B'C' always cut the sides of the triangle NaNbNc at six points corresponding to an unknown circle.
...
- 425
5
votes
0
answers
125
views
Maximal number of vertices of the intersection of a flat and a hypercube
Consider the intersection of an $n$-dimensional hybercube and an $m$-dimensional flat (affine subspace) which contains the diagonal of the hypercube. This is a convex polytope. What is the maximal ...
- 1,358
2
votes
1
answer
111
views
Is the max-centre map continuous for open bounded domains?
Let $A$ be an open bounded subset of euclidean $n$-space $\mathbb{R}^n$. For $x\in A$, let $r=r(x)$ be the maximal radius such that the ball centred at $x$ with radius $r=r(x)$ is contained in $A$, i....
- 2,234
4
votes
0
answers
317
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 ...
- 984
22
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 ...
- 19.1k
1
vote
0
answers
50
views
Proving convexity of total distance between two parties with one meeting point [closed]
Apologies if I´m not using the correct mathematical wording or notation. I´ll try my best in the following problem
Suppose you have a coordinate system and 5 coordinates ($A1$, $A2$, $B1$, $B2$, $M_{x,...
- 11
7
votes
3
answers
393
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 ...
- 22.9k
13
votes
1
answer
301
views
A randomized version of straight-edge and compass construction
Suppose you start with two points in the plane which are distance 1 apart, which for concreteness can be $(0,0)$ and $(0,1)$. Then you keep marking new points based on ruler and compass constructions. ...
- 4,919
1
vote
0
answers
84
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 ...
- 425
1
vote
0
answers
86
views
Definition of a unit ball in an Euclidean subspace? [closed]
Suppose $\Lambda$ is a $3$ dimensional lattice inside $\mathbb{R}^4$ and let $E$ be the subspace $\mathbb{R}$-spanned by $\Lambda$.
What exactly is meant by the unit ball in $E$? This is something ...
- 3,373
6
votes
1
answer
258
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 ...
- 425
1
vote
0
answers
106
views
How do Euclid’s postulates imply that a line has more than two points? [closed]
How do Euclid’s postulates imply that there exist more points than provided as assumptions, e.g. in the statement:
Let C1 be the circle centered at A, with radius AB, let C2 be the circle centered at ...
- 11
2
votes
0
answers
58
views
Historical question about tangent lines to disjoint circles
It is pretty well known that two disjoint circles have 4 different lines that are simultaneously tangent to both circles. There are constructions with ruler and compass available in many books, but I ...
13
votes
1
answer
9k
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. ...
- 425
3
votes
1
answer
271
views
Constructing an equilateral triangle using Tarski's axioms for geometry
In Euclid's first geometry proposition, he constructs an equilateral triangle given an arbitrary line segment. I was wondering if it was possible to prove this straight from Tarski's axioms for ...
6
votes
2
answers
419
views
The 4th Lemoine circle
The first and second Lemoine circles are well-known to geometers. According to this article the third Lemoine circle has been first discovered by Jean-Pierre Ehrmann in 2002. It is worth noting that ...
- 425
14
votes
2
answers
922
views
Is there a square with all corner points on the spiral $r=k\theta$, $0 \leq \theta \leq \infty$?
I've posted this question on Math Stack Exchange, but I want to bring it here too, because 1) the proof seems missing in the literature, although they are some sporadic mentions and 2) maybe it ...
1
vote
1
answer
71
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,643
5
votes
1
answer
435
views
Is there a mapping from Euclidean space to real numbers which relatively preserves distance? [closed]
Motivation: I need to find a mapping from $n$-dimensional Euclidean space to real numbers such that the distance between each pair of points in the quoted space is relatively-preserved after the ...
- 213