Hofstadter points explained

In plane geometry, a Hofstadter point is a special point associated with every plane triangle. In fact there are several Hofstadter points associated with a triangle. All of them are triangle centers. Two of them, the Hofstadter zero-point and Hofstadter one-point, are particularly interesting.[1] They are two transcendental triangle centers. Hofstadter zero-point is the center designated as X(360) and the Hofstafter one-point is the center denoted as X(359) in Clark Kimberling's Encyclopedia of Triangle Centers. The Hofstadter zero-point was discovered by Douglas Hofstadter in 1992.[1]

Hofstadter triangles

Let be a given triangle. Let be a positive real constant.

Rotate the line segment about through an angle towards and let be the line containing this line segment. Next rotate the line segment about through an angle towards . Let be the line containing this line segment. Let the lines and intersect at . In a similar way the points and are constructed. The triangle whose vertices are is the Hofstadter -triangle (or, the -Hofstadter triangle) of .[2] [1]

Special case

Trilinear coordinates of the vertices of Hofstadter triangles

The trilinear coordinates of the vertices of the Hofstadter -triangle are given below:

\begin A(r) &=& 1 &:& \frac &:& \frac \\[2pt] B(r) &=& \frac &:& 1 &:& \frac \\[2pt] C(r) &=& \frac &:& \frac &:& 1\end

Hofstadter points

For a positive real constant, let be the Hofstadter -triangle of triangle . Then the lines are concurrent.[3] The point of concurrence is the Hofstdter -point of .

Trilinear coordinates of Hofstadter -point

The trilinear coordinates of the Hofstadter -point are given below.

\frac \ :\ \frac \ :\ \frac

Hofstadter zero- and one-points

The trilinear coordinates of these points cannot be obtained by plugging in the values 0 and 1 for in the expressions for the trilinear coordinates for the Hofstadter -point.

The Hofstadter zero-point is the limit of the Hofstadter -point as approaches zero; thus, the trilinear coordinates of Hofstadter zero-point are derived as follows:

\begin \displaystyle \lim_ & \frac &:& \frac &:& \frac \\[4pt] \implies \displaystyle \lim_ & \frac &:& \frac &:& \frac \\[4pt] \implies \displaystyle \lim_ & \frac &:& \frac &:& \frac \end

Since

\limr\tfrac{\sinrA}{rA}=\limr\tfrac{\sinrB}{rB}=\limr\tfrac{\sinrC}{rC}=1,

\implies \frac\ :\ \frac\ :\ \frac \quad = \quad \frac\ :\ \frac\ :\ \frac

The Hofstadter one-point is the limit of the Hofstadter -point as approaches one; thus, the trilinear coordinates of the Hofstadter one-point are derived as follows:

\begin \displaystyle \lim_ & \frac &:& \frac &:& \frac \\[4pt] \implies \displaystyle \lim_ & \frac &:& \frac &:& \frac \\[4pt] \implies \displaystyle \lim_ & \frac &:& \frac &:& \frac \end

Since

\limr\tfrac{(1-r)A}{\sin(A-rA)}=\limr\tfrac{(1-r)B}{\sin(B-rB)}=\limr\tfrac{(1-r)C}{\sin(C-rC)}=1,

\implies \frac\ :\ \frac\ :\ \frac \quad = \quad \frac\ :\ \frac\ :\ \frac

Notes and References

  1. Web site: Kimberling. Clark. Hofstadter points. 11 May 2012.
  2. Web site: Weisstein. Eric W.. Hofstadter Triangle. MathWorld--A Wolfram Web Resource. 11 May 2012.
  3. C. Kimberling. Hofstadter points. Nieuw Archief voor Wiskunde. 1994. 12. 109–114.