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)

13
votes
0answers
335 views

About the ratio of the areas of a convex pentagon and the inner pentagon made by the five diagonals

I've thought about the following question for a month, but I'm facing difficulty. Question : Letting $S{^\prime}$ be the area of the inner pentagon made by the five diagonals of a convex pentagon ...
10
votes
0answers
175 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 ...
7
votes
0answers
31 views

Reference Request: Complete Proof of Braikenridge–Maclaurin Theorem

Where can I find a reference to a complete proof of the Braikenridge–Maclaurin theorem, which is stated as: If the three pairs of opposite sides of (an irregular) hexagon meet at three collinear ...
6
votes
0answers
72 views

Regular polygons constructed inside regular polygons

Let $P$ be a regular $n$-gon, and erect on each edge toward the inside a regular $k$-gon, with edge lengths matching. See the example below for $n=12$ and $k=3,\ldots,11$.       Two ...
5
votes
0answers
74 views

Polygons with coincident area and perimeter centroids

Let $P$ be a simple, planar polygon. Define $c_a$ as the area centroid of $P$, i.e., the center of gravity of the closed shape $P$. Define $c_p$ as the perimeter centroid of $P$, the center of gravity ...
5
votes
0answers
395 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 ...
5
votes
0answers
109 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 ...
5
votes
0answers
548 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 ...
5
votes
0answers
140 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 ...
5
votes
0answers
92 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$ ...
4
votes
0answers
35 views

Polar of a non centred ball.

Recall that the polar of a set $A\subset\mathbb{R}^n$ is the following set: $$A^{\circ} = \lbrace c \in \mathbb{R}^{n} |\; \langle c,x \rangle \leq 1 \quad \forall x \in A \rbrace$$ where $\langle ...
4
votes
0answers
98 views

A surprising locus of points

I was playing with the setup for Desargues Theorem in Geogebra today and got a very odd-looking (to me) result. I imagine I could grind through this analytically and get an ugly-looking parametric ...
4
votes
0answers
204 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
101 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
189 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
24 views

Ratio between subsegments of space diagonal of a cube

Let $ABCDEFGH$ be a cube where $ABCD$ is the ground face and $E$ is about $A$, $F$ above $B$, and so on. Consider the space diagonal $AG$, and call $P$ the orthogonal projection of $B$ on $AG$. The ...
3
votes
0answers
52 views

About pythagorean triples

In the circle of diameter $AB$ it is well known each point $C$ determines a right triangle $\Delta ABC$ and so it is with every point $D$ on the circle of diameter $AC$ determining a right triangle ...
3
votes
0answers
24 views

On the solutions of a system of inequalities avoiding Helly's theorem

Let $a_1,b_1,\cdots,a_4,b_4\in\mathbb{R},r_1,\cdots,r_4\in(0,+\infty)$. Show that, if $\not\exists (x,y)\in\mathbb{R}^2$ such that $$ \begin{cases} (x-a_1)^2+(y-b_1)^2\le r_1\\ ...
3
votes
0answers
57 views

Given $n$ points, can we always connect them such that every angle is at least $30°$?

Suppose $x_1, \ldots, x_n \in \mathbb{R}^2$ are given, all distinct. We can make a sequence of these points (for example $(x_2, x_1, x_3)$, if $n=3$). The question is, can we always make such a ...
3
votes
0answers
52 views

Area of an equilateral triangle

Prove that if triangle $\triangle RST$ is equilateral, then the area of $\triangle RST$ is $\sqrt{\frac34}$ times the square of the length of a side. My thoughts: Let $s$ be the length of $RT$. ...
3
votes
0answers
38 views

Generalizing convexity of sets

Let $X$ be a subset of some Euclidean space. We say that $X$ is convex if for any two points $p$, $q$ in $X$, the line segment joining $p$ and $q$ is also in $X$. But what if we loosen this definition ...
3
votes
0answers
61 views

Pythagorean rectilinear polygons

Polygons all of whose edges meet at right angles are called rectilinear polygons. I am interested in rectilinear polygons with integer distance between each pair of vertices. Such rectilinear polygons ...
3
votes
0answers
58 views

A question concerning radians and arc length

I was asked by a colleague yesterday about how the formula for the arc length of a circle is derived. I wanted to give them a correct answer, so I said I'd get back to them once I'd thought about it ...
3
votes
0answers
83 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
237 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
230 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
89 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 ...
3
votes
0answers
93 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
255 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

Collinearity problem (Newton-Gauss line)

I had some troubles with this problem : Let $ABCD$ be a convex quadrilateral. $M$ and $N$ are the midpoints of the diagonals $AC$ and $BD$. The sides $AB$ and $CD$ are extended until they ...
2
votes
0answers
24 views

Name of the segment connecting a point's coordinate axis projections?

Given any point $(x,y)$ in the real plane consider the corresponding line segment connecting $(x,0)$ with $(0,y)$. See diagram. Is there a name for this special segment? (I believe that in ...
2
votes
0answers
54 views

Alternative proof for the equality of two angles in an isosceles triangle.

From the answers of my previous question, I got an idea to prove equality of two angles in an isosceles triangle. In that question the equality of two angles in a right-angled-isosceles triangle was ...
2
votes
0answers
50 views

Triangle side-length problem

my problem is the following. A triangle ABC is given. P is a point on $\overline{AB}$. $k_1, k_2, k$ are the radii of the in-circles of APC, BPC, ABC. $s_1, s_2, s$ are radii of the ex-circles of ...
2
votes
0answers
20 views

Statue and a flag distances

Next to a flagpole is a statue that measures 9m high. The upper end of the flagpole with the bottom of the statue form an angle of 53.13 degrees to the floor, and the upper end of the flagpole to the ...
2
votes
0answers
60 views

Why is unit circle not sufficient to bound the partial sums?

I want to find vectors $\textbf{v}_1, \dots,\textbf{v}_n$ in $\mathbb{R}^2$ with that $\sum_{i=1}^n\textbf{v}_i=\textbf{0}$ and $\Vert \textbf{v}_i\Vert\leq 1$ for all $i=1,\dots,n$, such that for ...
2
votes
0answers
30 views

Relating the incenters of the original and medial triangles.

Let I be the incenter of △ABC. If I is also the incenter of the medial triangle of △ABC, show that △ABC must be equilateral. I'm thinking a place to start would be to show the distance between AC and ...
2
votes
0answers
47 views

Intesection point of feet of altitudes

If triangle has vertexes at $(x_1,y_1),(x_2,y_2),(x_3,y_3)$, is the intersection points of feet of altitudes $$x_h = \frac{x_1x_2(y_2-y_1) + x_2x_3(y_3-y_2) + x_3x_1(y_1-y_3) + y_1^2(y_3-y_2) + ...
2
votes
0answers
30 views

Convexity of circle in neutral geometry

I am trying to prove that a circle is convex in neutral geometry. i.e. If $A$ and $B$ are inside a circle $C$, than any point in $AB$ is also in $C$. But I have difficulty in proving it. The case ...
2
votes
0answers
92 views

how to find angle between two added up vectors in cartesian space

I would like to find the angle between two vectors (theta) -> v1 From i to i+1 v1=(xi1-xi , yi1-y1) and v2 from i+1 to i+2 v2=(xi2-xi1, yi2-yi1), which are shown as in the figure (but v1 and v2 can be ...
2
votes
0answers
53 views

A condition for both cyclic and tangential quadrilaterals

I'm looking for a nice condition that characterizes quadrilaterals that are both cyclic and tangential (i.e. there exists a circle that touches each side). I know that both concepts have some nice ...
2
votes
0answers
95 views

Derivation of Steepest Descent Direction used in Line Search Methods

In the numerical optimization text I am reading, the Steepest Descent Direction was derived by considering $$ \min_{||p||_2\leq 1} p^T\nabla f(x_k) $$ This resulted in $$ p_k=-\frac{\nabla ...
2
votes
0answers
103 views

Expected area of an inscribed triangle in a sphere

On the surface of a unit sphere, three points $A$, $B$ and $C$ are chosen in the following way: Points $A$ and $B$ are chosen randomly and independently on the whole surface After $A$ ...
2
votes
0answers
67 views

How do we understand and visualize the meridians of a 3-sphere?

The equator of a n-sphere is (n-1)-sphere. Then the equator of a 3-sphere is a 2-sphere. Does this mean the meridian of a 3-sphere is a hemisphere (half 2-sphere)? In contrast, Wikipedia describes the ...
2
votes
0answers
76 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 \,|| ...
2
votes
0answers
134 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
241 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
166 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
173 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
141 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
88 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 ...