# Questions tagged [geometric-constructions]

The geometric-constructions tag has no usage guidance.

41
questions

1
vote

0
answers

73
views

### Obstruction for a manifold to admit a periodic Ricci flow

Let M be a (compact) smooth manifold. What kind of obstruction exist for M to admit a metric whose Ricci flow is a t-periodic flow?

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 ...

1
vote

1
answer

102
views

### Reconstructing an ellipse from an arc, synthetically

Given only an arc of a circle, we can easily reconstruct it fully without any use of analytic geometry - indeed using only compass and straightedge. Note that by "given only an arc", we mean ...

5
votes

0
answers

108
views

### Is an equilateral triangle constructible in a Tarski plane?

By a Tarski space I understand a mathematical structure $(X,\mathsf B,\equiv)$ consisting of set $X$, a betweenness relation $\mathsf B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\...

0
votes

0
answers

44
views

### Can one $n$-sect a general angle using a "rods and hinges" construction?

This question was inspired by a post by Alon Amit.
It is a standard algebra result that it is impossible to $n$-sect a given angle using only a ruler and compass. In fact, it is impossible to trisect ...

2
votes

1
answer

183
views

### Construction of the Lipschitz function with a given Lipschitz constant, given two values and with small Lipschitz norm

Let the function $f\colon [a,b] \to\mathbb{C}$ be Lipschitz and let $|f(a)| \geq c,$ $|f(b)| = c$ and $\varepsilon > 0.$
It is easy to see that if $\|f\|_{\infty}< \frac{\varepsilon}{2} =: \...

2
votes

0
answers

46
views

### A construction of Weyl-equivariant maps from the space of regular Cartan triples to the space of tuples of complex polynomials (up to scalar factors)

Let $G$ be a compact semisimple Lie group and let $T$ be a maximal torus in $G$. On the Lie algebra level, we have a real Lie algebra $\mathfrak{g}$ and a (particular) real slice, say $\mathfrak{t}$, ...

10
votes

4
answers

2k
views

### How can we determine the center of a circle using a straightedge?

Given a circle with diameter AB, how can we determine the center of the circle with a straightedge (we cannot measure lengths, cannot measure angles, or draw parallel lines,... We can only draw ...

32
votes

3
answers

2k
views

### Is the hierarchy of relative geometric constructibility by straightedge and compass a dense order?

Consider the hierarchy of relative geometric constructibility by
straightedge and compass. Namely, given a geometric figure $B$, a
set of points in the plane, we define that geometric figure $A$ is
...

3
votes

0
answers

113
views

### Geometric construction exercises

Many of you know dynamic geometry exercises in Euclidea; if not, here is one example.
It lets you do a geometric construction and sends a message once you achieve the result.
I am looking for a way to ...

2
votes

0
answers

79
views

### The power of Archimedean spirals: is there an algebraic characterization of Archimedean numbers?

I asked this question over a year ago on Math.StackExchange but I didn't get an answer.
In his famous treatise On spirals, Archimedean used a spiral to square the circle and trisect an angle. There ...

7
votes

0
answers

142
views

### Compass and straightedge construction of Poncelet polygons

Gauss–Wantzel theorem states that
A regular n-gon is constructible with straightedge and compass if and only if $n = 2^kp_1p_2...p_t$, where $p_i$'s are distinct Fermat primes (A Fermat prime is a ...

10
votes

1
answer

685
views

### How to shrink a square with minimal distortion?

$\newcommand{\CO}{\text{CO}_2}$
$\newcommand{\euc}{\mathfrak{e}}$
$\newcommand{\SO}{\text{SO}_2}$
$\newcommand{\al}{\alpha}$
$\newcommand{\dist}{\text{dist}}$
$\newcommand{\Lip}{\text{Lip}_{\text{inj}}...

5
votes

0
answers

232
views

### Are there any neusis-hard/neusis-complete problems?

I have lately been enjoying Richeson's Tales of Impossibility (see MAA review), an accessible book on the famous problems of Euclidean geometry including angle trisection/cube doubling/heptagon ...

28
votes

2
answers

1k
views

### Can a fixed finite-length straightedge and finite-size compass still construct all constructible points in the plane?

I am hoping that the brilliant MathOverflow geometers can help me out.
Question 1. Suppose that I have a fixed finite-length straightedge and fixed finite-size compass. Can I still construct all ...

4
votes

2
answers

511
views

### Domino tiling obtained from space-filling curves, is possible to predict basic properties?

Periodic and aperiodic domino tiling systems can be obtained by the following construction rules:
Draw a regular square grid n×n of n2 cells.
Select a space-filling curve that is consistent with ...

10
votes

1
answer

1k
views

### How can we find n points on a plane so that as many pairs of points as possible have the same distance?

There are $n$ points on the plane, and we need to maximize the number of pairs of points which have the same Euclidean distance.

0
votes

0
answers

63
views

### Examples of geometrical interpretations for sequences of particular values of Dirichlet series

The remark [1] (in Spanish) shows a geometric interpretation (linking two sequences) of particular values of a given Dirichlet series, that are $\zeta(k)$ and $\zeta(2k)$. I wondered about if it is ...

1
vote

1
answer

113
views

### Projections of particular simplex yielding boundary of a regular polygon?

What is the maximum $m$ such that there is a simplex with $n$ vertex points in $n-1$ dimensions whose projection yields boundary of a regular $m$-gon on $2D$ plane?

6
votes

1
answer

364
views

### Algorithm to decide whether two constructible numbers are equal?

The set of constructible numbers
https://en.wikipedia.org/wiki/Constructible_number
is the smallest field extension of $\mathbb{Q}$ that is closed under square root and complex conjugation. I am ...

5
votes

1
answer

860
views

### What makes a geometric construction more or less stable?

I'm not entirely sure if this is "research level" math or not, but I asked on Math.SE and it was suggested I try asking here, so hopefully it's of interest to this community. (Original question on M....

37
votes

1
answer

2k
views

### Wanted, dead or alive: Have you seen this curve? (circular variant of cardioid)

Let me start with the context. This is definitely not a "research level" question, but I'm hoping that the research community will be able to settle for me whether or not a particular construction ...

3
votes

1
answer

305
views

### Is it possible to construct an isosceles triangle by using a ruler and without using a pair of compasses?

It is well known that on Euclidean plane one can construct an isosceles triangle on given straight line by using a ruler and a pair of compasses.
Also it is possible to construct straight line ...

5
votes

1
answer

168
views

### Antoine's Necklace and positive Hausdorff/Lebesgue measure

I have the following question:
The usual construction of the Antoine's Necklace produces a Cantor of $1$-dimensional Hausdorff measure in $\mathbb R^3$.
I would like to know whether one could adapt ...

4
votes

1
answer

732
views

### Focus of parabola using only a ruler

It is an easy exercise that using ruler and compass one find the focus of a given parabola.
Can one do the same using only a ruler? -- if not, why?

9
votes

0
answers

409
views

### How can we join two points with a small ruler? [closed]

We want to join by a line two distinct points $A$ and $B$. We have only a ruler of length $l>0$ and a pen. If $AB>l$ how can we do this? Imagine a method that works when $AB$ is really huge and ...

32
votes

2
answers

996
views

### Term for "uncheckable constructions"

Is there a term for "uncheckable geometric constructions"?
Say, Angle Trisection and Doubling the Cube are checkable;
i.e., if the answer is given one can do finite Compass-and-straightedge ...

10
votes

0
answers

680
views

### The construction of the 257gon

If $\zeta\in\mathbb C$ is a primitive $257$th root of unity, the Galois group $\operatorname{Gal}(\mathbb Q(\zeta)/\mathbb Q)$ is cyclic of order $256=2^8$, so we know that there is a sequence of $8$ ...

2
votes

3
answers

3k
views

### Mid point with set square?

Is it possible to construct the midpoint of a segment in the hyperbolic plane
using the set square only?
With the set square one can
draw the line through the given two points and
drop the ...

1
vote

1
answer

255
views

### Algebraic characterization of points constructible by compass and straightedge

The typical characterization of points constructible by compass and straightedge is the following:
Let $S\subseteq\mathbb{C}$ with $0,1\in S$, $K_0 = \mathbb{Q}(S\cup \bar{S})$ and $a\in\mathbb{C}$.
...

5
votes

2
answers

2k
views

### How to draw Archimedean-Galileo spiral?

It is known that some plane curves can be drawn with a tool. For instance, I heard at a web site that Archimedes created his spiral in the third century B.C. by fooling around with a compass and ...

5
votes

4
answers

1k
views

### What are the lengths that can be constructed with straightedge but without compass?

Most field theory textbooks will describe the field of constructible numbers, i.e. complex numbers corresponding to points in the Euclidean plane that can be constructed via straightedge and compass. ...

6
votes

2
answers

656
views

### Bolyai's construction

Here is Bolyai's construction (in Klein model), which I learned recently from answer of Will Jagy to this question.
It is a Compass-and-straightedge construction of asymptotically parallel line in ...

11
votes

2
answers

1k
views

### Is there a ruler and compass construction of the common perpendicular of two geodesics in H^3?

Assume we have two geodesics in the Poincaré ball model of $\mathbb{H}^3$, viewed as arcs intersecting the boundary of and contained in the Euclidean unit sphere in $\mathbb{R}^3$. Is there a ruler ...

9
votes

2
answers

2k
views

### Is there a compass and straightedge construction of parallel lines in hyperbolic geometry?

Is there a compass and straightedge construction of parallel lines in hyperbolic geometry?
That is, given a line and a point not on the line, construct a line parallel to the given line.

27
votes

6
answers

2k
views

### How fast are a ruler and compass?

This may be more of a recreational mathematics question than a research question, but I have wondered about it for a while. I hope it is not inappropriate for MO.
Consider the standard assumptions ...

14
votes

3
answers

2k
views

### Neusis constructions

Is there some simple description of which complex numbers are "constructible" with straightedge and compass and neusis?
See http://en.wikipedia.org/wiki/Constructible_number and http://en.wikipedia....

16
votes

1
answer

2k
views

### Origami Constructions: Intersecting two Circles

It is well known that every construction that can be performed with compass and straightedge alone can also be performed using origami, see:
R. Geretschlager. Euclidean Constructions and the Geometry ...

7
votes

3
answers

4k
views

### how to construct a spherical dodecahedron?

using only a spherical ruler (to construct great lines) and a pair of compasses, how can you construct a regular dodecahedron on the surface of the sphere? thank you very much.

3
votes

5
answers

1k
views

### Approximate solutions for trisecting the angle or squaring the circle

Hello all, it is well-known by transcendence results or Galois theory that famous geometric problems such as trisecting an angle or "squaring the circle" (i.e. given a disk of radius 1 construct a ...

4
votes

1
answer

1k
views

### On using field extensions to prove the impossiblity of a straightedge and compass construction

Let $z \in \mathbb{C}$. Consider the following statements:
The point $z$ can be constructed with straightedge and compass starting from the points $\{ 0,1\}$.
There is a field extension $K / \mathbb{...