Articles of discrete geometry

Is every finite group of isometries a subgroup of a finite reflection group?

Is every finite group of isometries in $d$-dimensional Euclidean space a subgroup of a finite group generated by reflections? By “reflection” I mean reflection in a hyperplane: the isometry fixing a hyperplane and moving every other point along the orthogonal line joining it to the hyperplane to the same distance on the other side. Every […]

Approximating Euclidean geometry, restricted to $\mathbb{Q}$

I’m having trouble putting this into a fully coherent question, so I’ll give the broad question, then a few bullet points to give you a better idea of what I’m asking. I’m looking for a line of investigation (research papers, books, whatever) that looks at the following question: If I only have rational numbers at […]

Number of point subsets that can be covered by a disk

Given $n$ distinct points in the (real) plane, how many distinct non-empty subsets of these points can be covered by some (closed) disk? I conjecture that if no three points are collinear and no four points are concyclic then there are $\frac{n}{6}(n^2+5)$ distinct non-empty subsets that can be covered by a disk. (I have the […]

Number of circuits that surround the square.

Consider a grid $G$ in the $\mathbb{R}^2$ plane formed by the points $(x,y)$ with integer coordinates i.e. $G=\{(x,y)\in\mathbb{R}^2: x\in\mathbb{Z},\;y\in\mathbb{Z} \}$. For $n>0$ let $B_n$ square centered at $(0,0)$ whose sides have length $2^{n+1} + 1$. Note that $B_n=\{-2^n,\ldots,0,\ldots,+2^n \}\times \{-2^n,\ldots,0,\ldots,+2^n \}$. Consider all the circuits as a finite set of points $p_{0},p_1,\ldots, p_{k-1},p_k,p_{k+1}\ldots, p_n$ such […]

Dissecting an equilateral triangle into equilateral triangles of pairwise different sizes

It is know that a square can be dissected into other square such that no two of the squares have the same size. This is the simplest dissection of that kind: Is it also possible to dissect an equilateral triangle into equilateral triangles such that no two of them have the same size?

Pick's Theorem on a triangular (or hex) grid

Pick’s theorem says that given a square grid consisting of all points in the plane with integer coordinates, and a polygon without holes and non selt-intersecting whose vertices are grid points, its area is given by: $$i + \frac{b}{2} – 1$$ where $i$ is the number of interior lattice points and $b$ is the number […]

Circle enclosing all but one of $n$ points

It looks like a simple question but it turns out rather difficult to me. Here is the question: Given $n$ points on the plane, can we always draw a circle that includes exactly $n-1$ of them?

square cake with raisins

Alice bakes a square cake, with $n$ raisins (= points). Bob cuts $p$ square pieces. They are axis-aligned, interior-disjoint, and each piece must contain at least $2$ raisins. Note that a single raisin can be shared by two pieces (if it is on their boundary), or even four pieces (if it is on their corner). […]

Dividing a square into equal-area rectangles

How many ways are there to tile an $n\times n$ square with exactly $n$ rectangles, each of which has integer sides and area $n$? The sequence $C(n)$ begins 1, 2, 2, 9, 2, 46, 2, 250, 37. Clearly $C(p) = 2$ for prime $p$. The value $C(8) = 250$ was provided to me by Sjoerd […]

Why can't three unit regular triangles cover a unit square?

A square with edge length $1$ has area $1$. An equilateral triangle with edge length $1$ has area $\sqrt{3}/4 \approx 0.433$. So three such triangles have area $\approx 1.3$, but it requires four such triangles to cover the unit square, e.g.:           Q. How can it be proved that three unit […]