Some properties of constant width shapes in the plane
Shapes of constant width in the plane have the property that they are convex and any pair of parallel tangent or supporting lines are at a fixed constant width apart. The circle is the most obvious example of shapes having constant width. However, many more such shapes exist.






Feynman recalls in his book What Do You Care What Other People Think? that the Challenger disaster might be caused by the fact that the section of the booster rockets may not have been perfectly circular. Check out this link for more details. The procedure to check for roundness was to measure the diameter of the cylinder at different angles around the tank. As you may imagine, if the tank’s section has non-circular constant width, this technique does not detect anything wrong.
The most famous examples of constant width shapes are the Reuleaux triangle and more generally, Reuleaux polygons in general. These shapes are not just mathematical curiosities, but have various applications. Reuleaux triangles are used in the rotary Wankel engine design and square drilling machines, while the twenty pence British coin is a Reuleaux heptagon.
Read more…Applications of Helly’s theorem
- Prove that if the plane can be covered with
half planes then there exist three of these which also cover the plane.
- On a circle consider a finite set of arcs which do not cover the circle, such that any two of them have non-void intersection. Show that all arcs have a common points. If the arcs cover the circle does the conclusion still hold?
- Consider
half circles which cover the whole circle. Show that we can pick three of them which still cover the circle.
I’ll not provide the solutions for now. The title should be a strong indication towards finding a solution!
Helly’s Theorem
Helly’s theorem. Let convex figures be given in the plane and suppose each three of them have a common point. Prove that all
figures have a common point.
Can the convexity hypothesis be removed?
Read more…Computing Restricted Voronoi Cells with Geogram
Given a shape and a family of
points in
, the Voronoi diagram associated to this set of points consists in a partition of
such that each cell contains points closest to the current point than to any other point. Efficient algorithms exist for computing Voronoi diagrams, however in common implementations, the Voronoi cells are not clipped to a bounded region. Indeed, cells corresponding to a “boundary” point among the points considered will be infinite, in this case. Clipping to a bounded region is not difficult, but might require some careful coding.
The software Geogram (https://github.com/BrunoLevy/geogram) has a routine for building the clipped Voronoi diagrams. It gets as inputs the Voronoi points and a triangulation of the bounding box . The reason behind this choice is probably motivated by the existence of efficient clipping algorithm for intersections between polygons and a triangle. Below I show how Geogram can be called from Matlab in a basic situation where
is a square. I tested this on a linux system. Keep in mind that Geogram needs to be installed on the machine prior to launching this code.
The code is tested and works very well for thousands of Voronoi cells. The computation in Geogram is really fast. Most of the time is the post-processing in Matlab and the input-output stage.
Read more…Construct inellipse from tangency points
In this post I describe the steps for constructing an inellipse starting from the tangency points
. It is classical that a necessary and sufficient condition for
to exist is that
are concurrent. The construction is inspired from T. H. Eagles, Constructive geometry of plane curves, with numerous examples, Macmillan and Co, 1885.
Let be the midpoint of
and
be the midpoint of
. Then the center of the inellipse is
.
Construct the symmetric of
through
. Thus
is a diameter of
.
Draw the line through
parallel to
. Define
and let
be the intersection of
with the parallel to
through
. Construct
such that
. Then
. Construct
, the symmetric of
through
. In this way we constructed another diameter
conjugate to
.
Construct the segment , orthogonal to
, having midpoint at
such that
. The angle bisector of
is the principal axis of
.
The lengths of the axes of the ellipse are given by and
.
The construction is shown in the following image.
Inscribed squares: Symmetric case
I recently heard about the “inscribed square” problem which states that on any closed, continuous curve without self intersections there should exist four points which are the vertices of a (non-degenerate) square. This problem, first raised by Otto Toeplitz in 1911, is still unsolved today. Many particular cases are solved (convex curves, smooth curves, etc.). Nevertheless, things quickly get complicated as one gets close to the original problems where only continuity is assumed.
I will show below a quick argument for a very particular case. Suppose the curve is symmetric with respect to the origin. Since the curve is simple, the origin does not lie on the curve. Consider the curve
, rotated with
degrees around the origin. Then curves
must intersect. Indeed, by continuity, there exists a point
which is closest to the origin on the curve
and a point
furthest away from the origin on the same curve. The rotated curve has the same minimal and maximal distances to the origin. Therefore, point
lies in the interior of
(or on the boundary) and point
lies outside of
(or on the boundary). In either case, going from
to
on
we must intersect the curve
.
If is a point of intersection, it lies both on
and on its rotation with
degrees. Moreover, the symmetric points also lie on
by symmetry. Therefore, we have four points at equal distance from the origin, for which the rays from the origin form equal angles. These points are the vertices of a square!
Build three particular equal segments in a triangle
I recently stumbled upon the following problem:
Consider a triangle . Construct points
on
, respectively such that
.
I was not able to solve this myself, so a quick search on Google using “BP=PQ=QC” yielded the following article where the solution to the problem above is presented.
Read more…Geometry problem: a property of the 40-40-100 triangle
Consider the triangle with
and
. Consider
such that
. Prove that
.
This is a surprising result and easy to remember. I first saw this back in the days I was solving olympiad problems. The 40-40-100 triangle has this nice characteristic property. There is a very nice geometric proof and a one liner trigonometry argument.
Read more…Geometry problem: a property of the 30-70-80 triangle
Consider a triangle with angles
,
,
. Let
be the bisector of the angle
. Consider
such that
. Prove that the triangle
is isosceles.
Minimal volume of some particular convex sets in the cube
Consider a cube and a convex body contained in it such that the projections of this body on every face of the cube completely covers that face. Prove that the volume of the convex body is at least equal with a third of the volume of the cube.
Graham’s Biggest Little Hexagon
Think of the following problem: What is the largest area of a Hexagon with diameter equal to 1?
As is the case with many questions similar to the one above, called polygonal isoperimetric problems, the first guess is the regular hexagon. For example, the largest area of a Hexagon with fixed perimeter is obtained for the regular hexagon. However, for the initial question, the regular hexagon is not the best one. Graham proved in his paper “The largest small hexagon” that there exists a better competitor and he showed precisely which hexagon is optimal. More details on the history of the problem and more references can be found in Graham’s paper, the Wikipedia page or the Mathworld page.
I recently wanted to use this hexagon in some computations and I was surprised I could not find explicitly the coordinates of such a hexagon. The paper “Isodiametric Problems for Polygons” by Mossinghoff was as close as possible to what I was looking for, although the construction is not explicit. Therefore, below I present a strategy to find what is the optimal hexagon and I will give a precise (although approximate) variant for the coordinates of Graham’s hexagon.
Read more…Benford’s law
I learned about this while reading the first chapter of the book Le théorème du parapluie – Ou l’art d’observer le monde dans le bon sens by Mickaël Launay. Apparently, the first digits of random numbers appearing in everyday life are not distributed evenly. At least not in the way you would expect!
If you are curios, perform the following experiment. Go in a supermarket with a notebook with columns marked from 1 to 9. Pick random products and mark a line on the column corresponding to the first digit of the price. You will be surprised to know that the digits 1 and 2 occur more often than larger ones. This phenomenon is not limited to prices and is called Benford’s law. The explanation behind this phenomenon is that the numbers appearing in real life are not uniformly distributed in the usual way, but they are uniformly distributed in a multiplicative way. Therefore, there should be as many numbers between 1 and 2 as between 2 and 4 or 4 and 8. This is quite unintuitive at first sight. Consult the link above for further references and mathematical justifications.
In the meantime, let’s put this to the test by looking at first digits of the populations of world countries. We are going to do this in an automated way using the data from worldometers.info and a script inspired from here.
Read more…Matrices with entries of the form f(i,j) in Matlab
It is often necessary to define a matrix with entries where
are line and column indices. Using loops is possible, but is not the most elegant solution. Also, it may not be the fastest. Here is a way to construct such matrices fast and easy: simply use meshgrid to construct the arrays of indices
. Take a look at the example below and construct your own:
N = 10;
[I,J] = meshgrid(1:N,1:N);
A = N+1-max(I,J);
Integrating polynomials on polygons
Given the coordinates of a polygon
, compute the following quantities:
Therefore, the area and the centroid of can be computed analytically in terms of the coordinates. More generally, integrals of all polynomials in the coordinates can be evaluated. To convince yourself that this is possible, recall Green’s formula. If
are functions of
and
,
is a two dimensional domain and
is its boundary, then
In the following I will omit the double integral, for simplicity and write simply . The path integration along
is anticlockwise. To compute an integral of the form
consider a parametrization
and use the formula
The analogue formula holds for the variant. Let us now turn to the case of polygons. Consider
a polygon, the indices of the vertices being considered modulo
whenever necessary. Observe that in order to compute the area of
, it is enough to consider
and
in (1). The coordinates of
are denoted
,
. We parametrize the segment
using
. Thus we are ready to compute:
Computing the integral and regrouping the terms we obtain the familiar formula
We have the following analogue computations:
- To compute
use
. We obtain
- To compute
use
. We obtain
- To compute
use
. We obtain
- To compute
use
. We obtain
I guess, up to this point you can convince yourself that the general case is just a matter of choosing the right functions in formula (1) and performing the one dimensional integrations.
IMO 2022 – Problem 4 – Geometry
Problem 4. Let be a convex pentagon such that
. Assume that there is a point
inside
with
,
and
. Let line
intersect lines
and
at points
and
, respectively. Assume that the points
occur on their line in that order. Let line
intersect lines
and
at points
and
, respectively. Assume that the points
occur on their line in that order. Prove that the points
lie on a circle.
IMO 2022 – Problem 2 – Non-standard functional equation
Problem 2. Let denote the set of positive real numbers. Find all functions
such that for each
, there is exactly one
satisfying
.
IMC 2022 – Day 1 – Problem 2
Problem 2. Let be a positive integer. Find all
real matrices
having only real eigenvalues satisfying
for some integer .
IMC 2022 – Day 1 – Problem 1
Problem 1. Let be an integrable function such that
for all
. Prove that
Solution: If you want just a hint, here it is: Cauchy-Schwarz. For a full solution read below.
Read more…Function with zero average on vertices of all regular polygons
Fix a positive integer . Let
be a function such that for any regular
-gon
we have
Prove that is identically equal to zero.
Source: Romanian Team Selection Test 1996, see also the Putnam Contest Problems from 2009.
Solution: The solution comes by looking at some examples:
1. Consider an equilateral triangle . It is possible to produce another two equilateral triangles
and
such that
,
are equilateral. Note that we kept a common vertex and we rotated the initial triangle by
and
. Applying the result for all the small triangles and summing we obtain
where the missing terms are again sums of values of on some equilateral triangles. It follows that
.
2. For a square things are even simpler, since considering rotations of a square around one vertex one ends up with a configuration containing a square, its midpoints and its center. A similar reasoning shows that the value of the function at the center needs to be equal to zero, summing the values of the function
on the vertices of all small squares.
In the general case, the idea is the same. Consider an initial polygon and rotate it around
with angles
,
. Then sum all the values of the function on the vertices of these regular polygons. Observe that the vertex
is repeated
times while all other vertices are part of some regular polygon. In the end we get
where the zeroes correspond to sums over vertices of regular polygons.
The same type of reasoning should hold when the sum over vertices of regular polygons is replaced by an integral on a circle. The proof would follow the same lines. Fix a point , then integrate
on all rotations of the circle
through
. On one side this integral should be equal to zero. On the other it contains the value of
in
and values on concentric circles in
. This should imply that
is zero for any point
.
Hadwiger-Finsler inequality – translation of the original paper
The Hadwiger-Finsler inequality states that if are the side lengths of a triangle and
is its area then we have
.
I recently decided to take a look at the original paper: Finsler, Paul; Hadwiger, Hugo (1937). “Einige Relationen im Dreieck”. Commentarii Mathematici Helvetici. 10 (1): 316–326. doi:10.1007/BF01214300
This motivated me to try and translate it. Below you can find the document translated into English. Since do not speak German, do not hesitate to suggest corrections and improvements!