Self-circumference of rotors (Q1271969)

A rotor in an equilateral triangle is a convex body that can be freely rotated in the triangle such that it always touches all sides. The authors give various bounds for invariants of a rotor and its polar dual and their \(n\)-dimensional analogs. The first theorem says that, if the equilateral triangle has height \(1\) then the area of a rotor is at least \(\pi/9\) with equality if the rotor is a circle of radius \(1/3\). Theorem 4, as an exception, does not deal with rotors but with plane convex sets of constant width. It gives a lower bound for the circumference in terms of the area. The last general result shows that the same estimate holds for rotors in an equilateral triangle of height \(3\). In the final section several invariants of the Reuleaux triangle are calculated.