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.
489
questions
3
votes
1
answer
111
views
Psychological test for Euclidean geometry
There is the so-called FCI test.
It contains a list of questions such that anyone who can speak will have an opinion.
Based on the answers one can determine if the person knows elementary mechanics.
I ...
- 42.4k
0
votes
0
answers
28
views
Enumeration of flat integral $K_4$
Question:
What is known about the enumeration of all $(a,b,c,d,e,f)\in\mathbb{N}^6_+: \\ \quad\operatorname{GCD}(a,b,c,d,e,f)=1\ \\ \land\ \exists \lbrace x_1,x_2,x_3,x_4\rbrace\subset\mathbb{E}^2:\ \...
- 12.5k
0
votes
1
answer
176
views
"On models of elementary elliptic geometry"
While perusing p. 237 of the 3rd ed. of Marvin Greenberg's book on Euclidean and non-Euclidean geometries, I learned that it can actually be proven that "all possible models of hyperbolic ...
- 8,672
11
votes
1
answer
378
views
Smallest sphere containing three tetrahedra?
What is the smallest possible radius of a sphere which contains 3 identical plastic tetrahedra with side length 1?
- 111
6
votes
2
answers
223
views
Does "perpendicular phase incoherence" satisfy the triangle inequality?
I asked this question at https://math.stackexchange.com/q/4783968/222867, but even after a 200-point bounty, no solution was provided, only some thoughts regarding possible directions. So I'm now ...
- 658
15
votes
3
answers
1k
views
Is symmetric power of a manifold a manifold?
A Hausdorff, second-countable space $M$ is called a topological manifold if $M$ is locally Euclidean. Let $SP^{n}(M): = \left(M \times M \times \cdots \times M \right)/ \Sigma_{m}$, where product is ...
- 339
4
votes
3
answers
880
views
Is there a pyramid with all four faces being right triangles? [closed]
If such a pyramid exists, could someone provide the coordinates of its vertices?
3
votes
1
answer
176
views
Another implication of the Affine Desargues Axiom
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
- 40.2k
10
votes
1
answer
470
views
A projective plane in the Euclidean plane
Problem. Is there a subset $X$ in the Euclidean plane such that $X$ is not contained in a line and for any points $a,b,c,d\in X$ with $a\ne b$ and $c\ne d$, the intersection $X\cap\overline{ab}$ is ...
- 40.2k
6
votes
1
answer
329
views
Desargues ten point configuration $D_{10}$ in LaTeX
I want to draw the Desargues configuration $10_3$ in LaTeX using the standard picture environment, which allows only lines with the slopes $n:m$ where $\max\{|n|,|m|\}\le 6$. Is it possible? If not, ...
- 40.2k
1
vote
0
answers
12
views
Estimate on the minimum distance from integer points on some fixed hyperplanes to a moving hyperplane
Suppose in $\mathbf{R}^n$ there are $m$ given hyperplanes $\Pi_j:\sum_{i=1}^n c_{i,j}e_i=0$ all of which go through the origin, and all the coefficients $c_{i,j}$ are rational (you can make them all ...
- 909
0
votes
0
answers
47
views
Finding a point that minimizes sum of distances to a given set of lines
Given a set $L$ of size $n$ of lines in $\mathbb{R}^d$, find a point $x \in \mathbb{R}^d$ that minimizes: $$\sum\limits_{l\in L}\min\limits_{y\in l} {\lvert \lvert x-y \rvert\rvert}^2$$
I wrote a 1.5-...
- 19
9
votes
3
answers
479
views
Was the small Desargues Theorem known to ancient Greeks?
My question concerns the classical Desargues Theorem and its simplest version
The small Desargues Theorem: Let $A$, $B$, $C$ be three distinct parallel lines and $a,a'\in A$, $b,b'\in B$, $c,c'\in C$,...
- 40.2k
2
votes
1
answer
63
views
Calculating a relaxed Delaunay Triangulation
The triangles of a planar Delaunay Triangulations are essentially characterized by the property that no triangle's corner is inside another triangle's circumcircle; Delaunay Triangulations can be ...
- 12.5k
1
vote
1
answer
79
views
Is every triangulation the projection of a convex hull
Question:
given the triangulation $T$ of a set $P$ of $n$ points $p_1,\dots,p_n$ in the euclidean plane whose convex hull is a triangle, can we always find a set $Q$ of $n+1$ points $q_0,q_1,\dots,q_n$...
- 12.5k
2
votes
0
answers
197
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,076
3
votes
0
answers
197
views
Which manhole covers fall through their holes?
Apparently one of the reasons why all manhole covers are shaped like discs is because for any other shape, the manhole cover would fall through its own hole. As stated this is not necessarily a ...
- 25k
0
votes
0
answers
21
views
Piecewise affine-isometric maps of polytopal graphs into the plane
There are well-known "relatively faithful" representations of the polytopal metric subgraphs $C^n\subseteq\mathbb R^n$ (with the euclidean distance, for all $n\geq 0$) of hypercubes into the ...
- 972
6
votes
1
answer
160
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,567
5
votes
1
answer
375
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,828
0
votes
0
answers
104
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
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 ...
- 76.9k
0
votes
0
answers
74
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
96
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
430
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 ...
1
vote
1
answer
127
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 ...
- 711
0
votes
0
answers
27
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
45
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,\,\...
- 12.5k
2
votes
1
answer
134
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
203
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
146
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
261
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
16
votes
0
answers
385
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 ...
- 19k
16
votes
1
answer
422
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, ...
- 40.2k
0
votes
1
answer
103
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,586
1
vote
1
answer
91
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 ...
- 17k
6
votes
0
answers
101
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
40
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
175
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 ...
- 25k
1
vote
0
answers
414
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,320
1
vote
1
answer
208
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
396
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 ...
- 28.7k
10
votes
1
answer
536
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?
...
- 371
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, ...
- 1,076
19
votes
1
answer
808
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
143
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
59
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 ...
- 76.9k
3
votes
1
answer
81
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,427
4
votes
1
answer
131
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
135
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