Chordal problem

In the book there is a generalization of the equichordal point problem attributed to R. Gardner.

A Curve and Its Chord

We consider a point [math]\displaystyle{ O }[/math] inside a Jordan curve with the property that for any chord [math]\displaystyle{ [X,Y] }[/math] of the curve passing through [math]\displaystyle{ O }[/math] the two parts [math]\displaystyle{ [X,O] }[/math] and [math]\displaystyle{ [O,Y] }[/math] of the chord satisfy the following equation, where [math]\displaystyle{ \alpha }[/math] is a fixed real number:

[math]\displaystyle{ |X-O|^\alpha+|O-Y|^\alpha = c }[/math]

where [math]\displaystyle{ c }[/math] is a constant not depending on the chord. In this article we will call a point [math]\displaystyle{ O }[/math] satisfying equation a chordal point, or [math]\displaystyle{ \alpha }[/math]-chordal point.

The template for all chordal problems is this:

Problem: Is there a curve with two or more distinct points with this property?

Curves with one equichordal point

The center of the circle is a solution of the chordal equation for an arbitrary [math]\displaystyle{ \alpha }[/math]. One can show a continuum of solutions for many [math]\displaystyle{ \alpha }[/math], for example, [math]\displaystyle{ \alpha=1 }[/math]. The method of construction such solutions is by writing the equation of the curve in the form [math]\displaystyle{ r = f(\theta) }[/math] in polar coordinates. For [math]\displaystyle{ \alpha=1 }[/math], the solution may be found in this article.

An example

This is an example of a curve with one equichordal point. based on an example in. The core idea is that we may start with any Jordan arc given in polar coordinates by an equation [math]\displaystyle{ r=r_0(\theta) }[/math], [math]\displaystyle{ 0\leq\theta\leq\pi }[/math], and complement it to a closed Jordan curve given by the equation [math]\displaystyle{ r=r(\theta) }[/math] for all [math]\displaystyle{ \theta\in[0,2\pi] }[/math]. Along the way, we must satisfy some number of conditions to ensure continuity of the resulting curve.

Let us define a function [math]\displaystyle{ r_0(\theta) }[/math] by the formula:

[math]\displaystyle{ r_0(\theta) = x+\left(\frac{1}{2}-x\right)\cos2\theta }[/math]

where [math]\displaystyle{ x }[/math] is a real parameter and [math]\displaystyle{ x\in(1/4,1/2] }[/math]. This function is clearly defined for all real [math]\displaystyle{ \theta }[/math], but we only use its values for [math]\displaystyle{ 0\leq\theta\leq\pi }[/math]. Clearly, [math]\displaystyle{ r(0)= r(\pi) }[/math].

We define the second function [math]\displaystyle{ r(\theta) }[/math] by the formula:

[math]\displaystyle{ r(\theta) = \begin{cases} r_0(\theta)&\text{ if }0\leq\theta\leq\pi\\ 1-r_0(\theta-\pi)&\text{ if }\pi\leq\theta\leq2\pi. \end{cases} }[/math]

This function has the following properties:

1. [math]\displaystyle{ r(\theta)\gt 0 }[/math];
2. [math]\displaystyle{ r(\theta) }[/math] is continuous on [math]\displaystyle{ [0,2\pi] }[/math];
3. [math]\displaystyle{ r(0)=r(2\pi) }[/math], so [math]\displaystyle{ r(\theta) }[/math] extends uniquely to a [math]\displaystyle{ 2\pi }[/math]-periodic, continuous function on [math]\displaystyle{ (-\infty,\infty) }[/math]; from now on, we identify [math]\displaystyle{ r }[/math] with this extension;
4. [math]\displaystyle{ r(\theta)+r(\theta+\pi) = 1 }[/math] for all [math]\displaystyle{ \theta\in(-\infty,\infty) }[/math].

These properties imply that the curve given in polar coordinates by the equation [math]\displaystyle{ r=r(\theta) }[/math] is a closed Jordan curve and that the origin is an equichordal point.

The construction presented here and based on results in a curve which is [math]\displaystyle{ C^1 }[/math] but not [math]\displaystyle{ C^2 }[/math], with the exception of [math]\displaystyle{ x=1 }[/math], when the curve becomes a circle. Rychlik formulated conditions on the Fourier series of [math]\displaystyle{ r(\theta) }[/math] which easily allow constructing of curves with one equichordal point, including analytic curves. Rychlik gives a specific example of an analytic curve:

[math]\displaystyle{ r = 0.5+0.2\,\sin\theta + 0.2\,\cos3\theta }[/math]

Fourier series analysis in Rychlik's paper reveals the pattern of Fourier coefficients of all suitable functions [math]\displaystyle{ r(\theta) }[/math].

Special cases

For [math]\displaystyle{ \alpha=1 }[/math] we obtain the equichordal point problem, and for [math]\displaystyle{ \alpha=-1 }[/math] we obtain the equireciprocal point problem considered by Klee.

We may also consider a more general relationship between [math]\displaystyle{ |X-O| }[/math] and [math]\displaystyle{ |O-Y| }[/math]. For example, the equiproduct point problem is obtained by considering the equation:

[math]\displaystyle{ |X-O||O-Y|=c. \, }[/math]

Equivalently,

[math]\displaystyle{ \log|X-O| + \log|O-Y| = c'\,. }[/math]

This naturally leads to a more general class of problems. For a given function [math]\displaystyle{ f:\mathbb{R}^+\to\mathbb{R} }[/math] we may study the equations:

[math]\displaystyle{ f(|X-O|) + f(|O-Y)) = c . }[/math]

Even more generally, we could consider a function [math]\displaystyle{ f(x,y) }[/math] of two real variables. We need to assume that [math]\displaystyle{ f }[/math] is symmetric, i.e. [math]\displaystyle{ f(x,y)=f(y,x) }[/math]. Then we may consider the equation:

[math]\displaystyle{ f(|X-O|, |O-Y|) = c. }[/math]

Clearly, [math]\displaystyle{ f(x,y) }[/math] needs only be defined for positive [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math]. Thus, the family of chordal problems of this type is parameterized by symmetric functions of two variables.

The status of various special cases

The equichordal point problem (α = 1)

This has been the most famous of the chordal problems. In this case, the equation states that every chord passing through [math]\displaystyle{ O }[/math] has the same length. It has become known as the equichordal point problem, and was fully solved in 1996 by Marek Rychlik.

The equireciprocal point problem (α = −1)

Klee proved that the ellipse solves the equireciprocal point problem, with the ellipse foci serving as the two equireciprocal points. However, in addition to the ellipses, many solutions of low smoothness also exist, as it was shown in. From the point of view of the equichordal point problem, this is due to the lack of hyperbolicity of the fixed points of a certain map of the plane.

Other cases

The method used in Rychlik's proof for the equichordal point problem may only generalize to some rational values of [math]\displaystyle{ \alpha }[/math]. A reasonable conjecture could be:

Conjecture: There are no solutions of the Chordal Problem for rational [math]\displaystyle{ \alpha }[/math] close to 1.

See also

• Equichordal point problem