The Blaschke-Lebesgue theorem revisited

We revisit a classic proof of the Blaschke-Lebesgue theorem. It is based on the support function of a convex curve and the approximation of constant width curves by Reuleaux polygons.