geometry assuming the parallel postulate of Euclid: in a plane, given a line and a point not on that line, there is exactly one line parallel to the given line through the given point.

learn more… | top users | synonyms (1)

9
votes
0answers
188 views

Hidden geometrical gems in Euclid's Elements?

I am teaching a course in Euclidean geometry at the University of South Carolina, and it seemed highly appropriate and interesting to read Euclid himself. (See here for a wonderful, and completely ...
8
votes
0answers
177 views

Can we alter Hilbert's axioms to have $\mathbb{Q}^3$ as a unique model?

Can we alter Hilbert's axioms to have $\mathbb{Q}^3$ as a unique model? The critical axioms seem to be the congruence axioms IV.1 and IV.4, and presumably the line completeness axiom V.2. But how ...
7
votes
0answers
140 views

Number of circles in configuration

Consider the $n^2$ lattice points $(i, j)$, where $1 \leq i, j \leq n$. Let the number of circles that pass through at least 3 points of this set be $C(n)$. What is a good way to count this? Is there ...
6
votes
0answers
78 views

What property does this equation calculate?

It's pretty difficult to Google for the meaning of a formula. This is the equation, it has to do with ellipses and GIS coordinates. $$\nu =\frac{ a} {\sqrt{(1 - (e^2 \cdot \sin(\varphi))^2)}}$$ $a$ ...
5
votes
0answers
244 views

Intuition - The Shortest Curve Between Two Points is a Line

The references below aver that the following is not crudely trivial: The shortest curve between two points is a (straight) line. An elementary school teacher construed it as follows ...
4
votes
0answers
252 views

Counting simple quadrilaterals in a rectangular lattice.

I've been trying to make an algorithm to find the number of all possible simple quadrilaterals in a N*M lattice. I already have a brute force solution but since this is a Project Euler problem I ...
4
votes
0answers
196 views

Minimal number of moves to construct the challenges (circle packings and regular polygons) in Ancient Greek Geometry?

In the web game Ancient Greek Geometry, there are challenges to construct regular polygons and circle packings using ruler and compass constructions. The game measures the number of line and circles ...
4
votes
0answers
112 views

Biggest ball included in an intersection of balls

I would like to prove that for any family of balls $\{B(c_i,r_i)\}_i \subset \mathbb{R}^d$ such that $\{c_1, \dots, c_n\} \subset \bigcap_i B(c_i,r_i) $ and $\forall i, r_i \geq 1$, there exists a ...
4
votes
0answers
167 views

Three properties of the Lebesgue measure on $\mathbb{R}^n$

I'm writing notes for my upcoming class in Game Theory and I realized some time ago that I only need three properties of the Lebesgue measure $\lambda$ on $\mathbb{R^n}$. It is a non-negative ...
4
votes
0answers
90 views

Unlit region in a Room lined with Mirror

Mathematician Ernst Straus wondered if a room lined with mirror can always be lit with a single match. He (or someone else) discovered that in the following room, light shone from A can't reach B: ...
4
votes
0answers
165 views

Which chapters of Euclid's elements would be helpful for drawing a grid?

I am drawing a $19 \times 19$ grid on my desk. For aesthetic purposes, I don't want to use a ruler. Rather, I want to use Euclidean theorems to 'prove' to myself that such and such line meets at a ...
3
votes
0answers
62 views

How to determine the length of $x$ in this sketch?

Consider the following construction: Assume that you are given the lengths of the sides $a,b,c,d,e$ as well as the size of the angle $\phi$. The task is to determine the length of $x$ in terms of the ...
3
votes
0answers
180 views

Menelaus's Theorem clarification

If three points, one on each side of a triangle (extended if necessary) are collinear, then the product of the ratios of division of the sides by the points is -1 if internal ratios are considered ...
3
votes
0answers
186 views

Ellipse and circles

Playing with an ellipse I discovered the following properties and am now looking for a nice proof or references. Let's consider an ellipse with foci $A$ and $B$ and let $C$ be a point on it. Let $l$ ...
3
votes
0answers
88 views

Computing the proportion of vectors with the same sign

Let $s \propto (1, \ldots, 1)$ be a d-dimensional unit vector, so that $s_i = 1 / \sqrt{d}$. Let ${\cal V} = \{ u \in {\mathbb S}^{d-1}:u \cdot s = \cos \theta \}$ be a collection of unit vectors that ...
3
votes
0answers
238 views

Euclidean geometry and the Euclidean group

At Wikipedia's Erlangen program I read that "quite often, it appears there are two or more distinct geometries with isomorphic automorphism groups". Some examples are given. But what are examples ...
2
votes
0answers
26 views

Are a half-disk and a quarter-disk scissors-congruent?

Call two measurable subsets of the plane of equal area scissors-congruent if one can be decomposed into a finite number of measurable pieces which may be reassembled to yield the second. Any polygon ...
2
votes
0answers
43 views

What do the Purser's theorem says?

Mathworld's entry on Purser's Theorem says the following: Let $t, u$, and $v$ be the lengths of the tangents to a circle $C$ from the vertices of a triangle with sides of lengths $a, b$, and $c$. ...
2
votes
0answers
60 views

Shining a laser into a mirror maze

I tried to formulate the following problem in a more mechanical way involving soccer balls, but the physics got too unrealistic. I know that what follows could be made more precise, but I hope the ...
2
votes
0answers
96 views

Dynamic Geometry Software for Straight-edge and Compass Constructions

Geogebra is a very good dynamic geometry software. It has so many default tools, e.g. parallel line, angle bisector, tangent to the circle, inscribed and circumscribed circles, etc. But I want the ...
2
votes
0answers
76 views

Megiddo's algorithm for lines of least weighted sum distance from a set of points

I came across the following problem: Given a set of n points (coordinate in 2d plane) within a rectangular space, find out a line ($ax+by=c$), from which the sum of the perpendicular distances of all ...
2
votes
0answers
141 views

categorical description of the Minkowski sum of polytopes

Consider the category $\textbf{Poly}$ of polytopes, where the objects are convex hulls of finite subsets of $\mathbb{R}^d$ for arbitrary $d \in \mathbb{N}$ and where the morphisms are affine maps ...
2
votes
0answers
26 views

Characterization of Convex Polygons

John Lee's Axiomatic Geometry has an interesting characterization of convex and non-convex vertices for polygons. Let $P$ be a polygon. Consider a ray emanating from a vertex of $P$ which does not ...
2
votes
0answers
71 views

Are there impossible boolean constructions?

I was reading about logic and I remember, for example: That with the binary $\mathtt{NAND}$ connector can be used to assemble all the other binary connectors - I already know that there are primitive ...
2
votes
0answers
129 views

Infimum over area of certain convex polygons

Let us identify the Euclidean plane with the complex plane $\Bbb C$. For every $n\ge 1$, consider the following collection of finite sets in $\Bbb C^{n+1}$: $$S_n:=\{(z_0,z_1,\dots,z_n)\in\Bbb ...
2
votes
0answers
81 views

Inequalities involving areas of triangles in the plane, and generalizations

It is known that if $O$ is the origin, and $A, B, C, D$ are points in the first quadrant (in $\Re^2$) ordered such that the sequence of slopes of the lines $OA, OB, OC, OD$ is increasing, then $\Delta ...
2
votes
0answers
62 views

About the relation between a tetrahedra and spheres moving in a tetrahedra

I found the following question in a book: There exists a regular triangle $OAB$ which has edge-length $2$. Let $H, I, J$ be a foot of the perpendicular line drawn from a point $P$ in $OAB$ to the ...
2
votes
0answers
147 views

euclidean distance vs squared euclidean distances in 1 dimension, which one is the best?

I would like to compare the "disparities" between two groups. I define the mean disparity of a group as the mean of all the euclidean distances within the group with both groups presenting their ...
2
votes
0answers
64 views

quadrature formula for a lune

I have been reading about quadrature formulas in the complex plane. On the set $\mathbb{D} = \{|z| < 1\}$ we have $\int_{\mathbb{D}} f(z) dA = \pi f(0)$. Standard result in Harmonic functions. ...
2
votes
0answers
39 views

light geometry and art

I'm a professional artist. I have a question regarding light logic. I have simplified the problem a bit. Imagine a segment in 3D space, AB of known length and a point light illuminating the ...
2
votes
0answers
289 views

Derivative/Jacobian of the matrix logarithm

I need help finding the Jacobian of the matrix logarithm function, i.e. $\log{M} = R$ defined by $e^R = M = V\begin{bmatrix}e^{\lambda_1} & & \\ & \ddots & \\ & & e^{\lambda_n} ...
2
votes
0answers
186 views

What is requirement to inscibe sphere in pyramid with quadrilateral base?

In certain math problem the only information about pyramid with quadrilateral base is that you can inscribe sphere inside. What kind of constraints was put on my pyramid ABCDS? Is it something ...
2
votes
0answers
35 views

Euclidian embedding of lines

I'm looking for a way to convert a set of lines in R^3 into points in R^n so that distance between any pair of points points is a good approximation of the distance between corresponding pair of ...
2
votes
0answers
393 views

Equations of branches of a mind map

Sorry for the long question, but it's not so simple to explain. Consider a mind map like this: I want to draw branches in a cartesian coordinate system. I'd like to find two equations which ...
2
votes
0answers
337 views

Euler's Line of a medial triangle

I have the following problem with a comment below on the steps that I took so far. Here is the example: Let triangle ABC be any triangle. The midpoints of the sides in Triangle ABC are labeled $A', ...
2
votes
0answers
65 views

Plane tessellation $6^2*3^2$

An article I am reading mentioned "the plane tessellation $6^2*3^2$", I tried looking it up and I found all sort of plane tessellations - but not $6^2*3^2$. However, I did find information about ...
2
votes
0answers
213 views

Geometric interpretation of element by element division of one vector by another

This is my first post here, and I'm not a mathematician, so please go easy on me :) In statistics there is a geometric interpretation of correlation that uses basic vector geometry. This is fairly ...
2
votes
0answers
182 views

Is there a similar formula in spherical and hyperbolic geometry as Euclidean Geometry?

In an Euclidean plane, we know that the area of a triangle is determined by the length of base and the height, then is there a similar thing do happen in Spherical and hyperbolic spaces? In ...
2
votes
0answers
651 views

History of mathematical symbols, especially the symbol for right angle

Yesterday a child asked me, why (historically) a right angle is denoted by an arc and a dot like in this picture: I dont't know it, but I am interested in it too, so I post this question to this ...
2
votes
0answers
515 views

Is there a formula for the solid angle at each vertex of tetrahedron?

A tetrahedron has four vertices as much as a triangle has three vertices. A tetrahedron therefore can have four solid angles as much as a triangle can have three angles. I am wondering: Is there a ...
2
votes
0answers
196 views

Generalized Jordan curve theorem (and a related MAIN QUESTION)

Preliminaries A Jordan map is a continuous map $f: [0,1] \rightarrow \mathbb{R}^2$ such that $f(0) = f(1)$ the restriction of $f\ $ to $[0,1)$ is injective A Jordan curve is a subset $\gamma$ of ...
2
votes
0answers
81 views

Solving some geometry problems using involutions

Some geometry problems ( like this and this ) have short solutions if we use involutions. What references are there for solving geometry problems using involutions? I am particularly interested in ...
2
votes
0answers
153 views

Characterizations of Euclidean space

There are presumably three ways of characterizing the abstract Euclidean space $E^n$ that are quite different in spirit: axiomatically (with axioms concerning dimension) by the abstract Euclidean ...
1
vote
0answers
28 views

Geometric conditions equivalent to a set being the unit circle for some norm

Here's the question, as in the textbook (Real Mathematical Analysis, Pugh). The unit ball with respect to a norm $||\, \cdot \,||$ on $\mathbb{R}^2$ is $$ \{ v \in \mathbb{R}^2 : ||\, v \,|| ...
1
vote
0answers
31 views

Solution for the value of an angle of a triangle ABC

Find value of angle m< DBC Where $$BD=DC=AC$$ $$2(m\langle BAC)=14(m\langle ABD)=7(m\langle BCD)$$ I tried hard but im out of ideas now, I know the answer is 20 but I want to know how, thanks ...
1
vote
0answers
118 views

Find features in a Signed Distance Field

I'm currently trying to improve a meshing algorithm for signed distance fields (which are of the form $f(x,y,z) = w$, where $x,y,z$ is the location of my query, $w$ indicates the distance to the ...
1
vote
0answers
28 views

Which kinds of geometry have an angle measure?

It is possible to construct alternative planes to the usual Euclidean plane $\mathbb{R}^2$ by replacing the real numbers $\mathbb{R}$ with other ordered fields $F$. Depending on the choice of $F$, ...
1
vote
0answers
20 views

When the euclidean distance criteria does not work?

Good day to everyone. I have a question about classification in presence of additive gaussian noise. Assuming a predefined reference set of $N$ complex-valued vectors ...
1
vote
0answers
15 views

Alternative coordinates for the complex plane $\mathrm{Re}[e^{-is}z]=a$, $\mathrm{Re}[e^{-it}z]=b $

I am defining coordintes on $\mathbb{C}$ using a "generalized" real and imaginary part. Here $a,b \in \mathbb{R}$. \begin{eqnarray*} \mathrm{Re}[e^{-is}z]&=&a \\ ...
1
vote
0answers
90 views

3D Game: Pitch Yaw Roll of a point

I have a flat elliptical plane and I'm trying to figure out how to represent it based on its direction. So I basically need to calculate its pitch, yaw, and roll. I have a camera at $C$, and a point ...