Skip to main content

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.

5 votes
3 answers
549 views

An inequality in an Euclidean space

For $n\geq 1$, endow $\mathbb{R}^n$ with the usual scalar product. Let $u=(1,1,\dots,1)\in\mathbb{R}^n$, $v\in {]0,+\infty[^n}$ and denote by $p_{u^\perp}$ and $p_{v^\perp}$ the orthographic ...
G. Panel's user avatar
  • 629
8 votes
4 answers
854 views

What are the $\inf$ and $\sup$ of the area of quadrilateral given its sides length?

I asked this question on MSE here. Given a quadrilateral with side lengths $a,b,c$ and $d$ (listed in order around the perimeter), t's known that the area, is always less than or equal to $\frac{(a+...
pie's user avatar
  • 421
6 votes
1 answer
188 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 $...
Glen Whitney's user avatar
2 votes
1 answer
80 views

Difference of probabilities of two random vectors lying in the same set

Suppose I have to random vectors: $$\mathbf{z} = (z_1, \dots, z_n)^T, \quad \mathbf{v} = (v_1, \dots, v_n)^T$$ and set $A \subset \mathbb{R}^n$. I want to find an upper bound $B$ for the following ...
Grigori's user avatar
  • 33
15 votes
2 answers
2k views

How can I (semi-formally) convince myself that Euclidean geometry comports with visual intuition?

I originally posted this question on Math.SE and received some interesting comments but no answers. Now that some time has passed I thought that it might be appropriate to post here as well; perhaps ...
M. Sperling's user avatar
19 votes
1 answer
1k views

Does a function from $\mathbb R^2$ to $\mathbb R$ which sums to 0 on the corners of any unit square have to vanish everywhere?

Does a function from $\mathbb{R}^2$ to $\mathbb{R}$ which sums to 0 on the corners of any unit square have to vanish everywhere? I think the answer is yes but I am not sure how to prove it. If we ...
Ivan Meir's user avatar
  • 4,822
9 votes
1 answer
164 views

Is it possible for the dihedral angles of a polyhedron to all grow simultaneously?

(Originally on MSE.) Suppose $P$ and $Q$ are combinatorially equivalent non-self-intersecting polyhedra in $\mathbb{R}^3$, with $f$ a map from edges of $P$ to edges of $Q$ under said combinatorial ...
RavenclawPrefect's user avatar
1 vote
0 answers
77 views

The intersection of $ n $ cylinders in $ 3D$ space

I posted the question on here, but received no answer I recently found out about the Steinmetz Solids, obtained as the intersection of two or three cylinders of equal radius at right angles. If we set ...
user967210's user avatar
3 votes
1 answer
130 views

Bounding distance to an intersection of polyhedra

Let $P$ and $Q$ be polyhedra in ${\mathbb R}^m$ with a non-empty intersection. I believe there should exist a constant $C_{PQ}>0$ such that for any point $x\in {\mathbb R}^m$ the following ...
Anton Kapustin's user avatar
3 votes
2 answers
188 views

Bounding distance to a polyhedron

I need to estimate the Euclidean distance from a point $x\in {\mathbb R}^m$ to a polyhedron $P\subset {\mathbb R}^m$ in terms of distances from $x$ to the tangent hyperplanes which define $P$. By a ...
Anton Kapustin's user avatar
10 votes
3 answers
2k views

Is there an absolute geometry that underlies spherical, Euclidean and hyperbolic geometry?

A space form is defined as a complete Riemannian manifold with constant sectional curvature. Fixing the curvature to +1, 0 & -1 and then taking the universal cover by the Killing–Hopf theorem ...
Mozibur Ullah's user avatar
1 vote
0 answers
39 views

Characterization of Gaussian Gram matrices

From Euclidean geometry we know that a matrix $C$ is a matrix of squared Euclidean distances between some points if and only if $-\frac{1}{2} H D H \succeq 0$ (positive semi-definite) with $H = (I - \...
Titouan Vayer's user avatar
12 votes
2 answers
1k views

Group generated by two irrational plane rotations

What groups can arise as being generated by two rotations in $\mathbb R^2$ by angles $\not \in \mathbb Q\pi$? If the centers of the rotations coincide, then the rotations commute and generate some ...
Ethan Dlugie's user avatar
  • 1,267
1 vote
1 answer
320 views

Geometry in $\mathbb{R}^n$: angle between projections of a rectangle

Consider a hyper rectangle $R$ in $\mathbb{R}^n$ defined by $|x_i|\leq M_i$ for all $i\leq n$. Consider a linear affine subspace $L$ of dimension $1\leq k <n$ such that $L\cap R\neq \emptyset$. For ...
Alainty's user avatar
  • 11
2 votes
1 answer
143 views

An alternative to Cayley Menger determinant for calculating simplex volume

I recently came across the determinant of a symmetric $3\times 3$ matrix $\begin{pmatrix} 2a^2& a^2+b^2-c^2& a^2+d^2-e^2\\ a^2+b^2-c^2& 2b^2& b^2+d^2-f^2\\ a^2+d^2-...
Manfred Weis's user avatar
  • 12.8k

15 30 50 per page
1
2
3 4 5
35