Zindler curve

Figure 1: Zindler curve. Any of the chords of equal length cuts the curve and the enclosed area into halves.

Figure 2: Examples of Zindler curves with a = 8 (blue), a = 16 (green) and a = 24 (red).

A Zindler curve is a simple closed plane curve with the defining property that:

(L) All chords which cut the curve length into halves have the same length.

The most simple examples are circles. The Austrian mathematician Konrad Zindler discovered further examples, and gave a method to construct them. Herman Auerbach was the first, who used (in 1938) the now established name Zindler curve.

Auerbach proved that a figure bounded by a Zindler curve and with half the density of water will float in water in any position. This gives a negative answer to the bidimensional version of Stanislaw Ulam's problem on floating bodies (Problem 19 of the Scottish Book), which asks if the disk is the only figure of uniform density which will float in water in any position (the original problem asks if the sphere is the only solid having this property in three dimension).

Zindler curves are also connected to the problem of establishing if it is possible to determine the direction of the motion of a bicycle given only the closed rear and front tracks.

Equivalent definitions

An equivalent definition of a Zindler curve is the following one:

(A) All chords which cut the area into halves have the same length.

These chords are the same, which cut the curve length into halves.

Another definition is based on Zindler carousels of two chairs. Consider two smooth curves in R² given by λ₁ and λ₂. Suppose that the distance between points λ₁(t) and λ₂(t) are constant for each t ∈ R and that the curve defined by the midpoints between λ₁ and λ₂ is such that its tangent vector at the point t is parallel to the segment from λ₁(t) to λ₂(t) for each t. If the curves λ₁ and λ₂ parametrizes the same smooth closed curve, then this curve is a Zindler curve.

Examples

Consider a fixed real parameter [math]\displaystyle{ a }[/math]. For [math]\displaystyle{ a\gt 4 }[/math], any of the curves

[math]\displaystyle{ z(u)= x(u) +iy(u)=e^{2iu}+2e^{-iu} +ae^{iu/2}\; , \ u\in [0,4\pi]\; , }[/math]

is a Zindler curve. For [math]\displaystyle{ a\ge 24 }[/math] the curve is even convex. The diagram shows curves for [math]\displaystyle{ a=8 }[/math] (blue), [math]\displaystyle{ a=16 }[/math] (green) and [math]\displaystyle{ a=24 }[/math] (red). For [math]\displaystyle{ a\ge 8 }[/math] the curves are related to a curve of constant width.

Figure 3: Sample curve with a=4 is NOT a Zindler curve, because there are desired chords, which intersects the curve at a third point.

Proof of (L): The derivative of the parametric equation is

[math]\displaystyle{ z'(u)=i\Big(2e^{2iu}-2e^{-iu} +\frac{a}{2}e^{iu/2}\Big) \; }[/math] and

[math]\displaystyle{ |z'(u)|^2=z'(u)\overline{z'(u)}= \cdots =8+\frac{a^2}{4}-8\cos 3u \; . }[/math]

[math]\displaystyle{ |z'(u)| }[/math] is [math]\displaystyle{ 2\pi }[/math]-periodic. Hence for any [math]\displaystyle{ u_0 }[/math] the following equation holds

[math]\displaystyle{ \int_{u_0}^{u_0+2\pi} |z'(u)| \, du = \int_0^{2\pi} |z'(u)|\,du \; , }[/math]

which is half the length of the entire curve. The desired chords, which divide the curve into halves are bounded by the points [math]\displaystyle{ \;z(u_0)\; ,\;z(u_0+2\pi)\; }[/math] for any [math]\displaystyle{ u_0 \in [0,4\pi] }[/math]. The length of such a chord is [math]\displaystyle{ |z(u_0+2\pi)-z(u_0)|= \cdots =|2ae^{iu_0/2}|=2a \; , }[/math] hence independent of [math]\displaystyle{ u_0 }[/math]. ∎

For [math]\displaystyle{ a=4 }[/math] the desired chords meet the curve in an additional point (see Figure 3). Hence only for [math]\displaystyle{ a\gt 4 }[/math] the sample curves are Zindler curves.

Generalizations

The property defining Zindler curves can also be generalized to chords that cut the perimeter of the curve in a fixed ratio α different from 1/2. In this case, one may consider a chord system (a continuous selection of chords) instead of all chords of the curve. These curves are known as α-Zindler curves, and are Zindler curves for α = 1/2. This generalization of Zindler curve has the following property related to the floating problem: let γ be a closed smooth curve with a chord system cutting the perimeter in a fixed ratio α. If all the chords of this chord system are in the interior of the region bounded by γ, then γ is a α-Zindler curve if and only if the region bounded by γ is a solid of uniform density ρ that floats in any orientation.

See also

• Curve of constant width
• Reuleaux polygon

References

• Herman Auerbach: Sur un problème de M. Ulam concernant l’équilibre des corps flottants (PDF; 796 kB), Studia Mathematica 7 (1938), 121–142.
• K. L. Mampel: Über Zindlerkurven, Journal für reine und angewandte Mathematik 234 (1969), 12–44.
• Konrad Zindler: Über konvexe Gebilde. II. Teil, Monatshefte für Mathematik und Physik 31 (1921), 25–56.
• H. Martini, S. Wu: On Zindler Curves in Normed Planes, Canadian Mathematical Bulletin 55 (2012), 767–773.
• J. Bracho, L. Montejano, D. Oliveros: Carousels, Zindler curves and the floating body problem, Periodica Mathematica Hungarica 49 (2004), 9–23.
• P. M. Gruber, J.M. Wills: Convexity and Its Applications, Springer, 1983, ISBN:978-3-0348-5860-1, p. 58.

External links

• http://www.thphys.uni-heidelberg.de/~wegner/Fl2mvs/Movies.html - A page by Franz Wegner illustrating some bodies that float in any direction.
• https://www.rose-hulman.edu/~finn/research/bicycle/tracks.html - A page by David L. Finn illustrating some pair of curves which is not possible to determine which one is the rear or the front track of a bicycle.