X2677–X2770¶
Rigby-Simson RS(P, U) & Simson-Rigby SR(P, U) Points
X2677–X2770 (Rigby-Simson RS(P, U) & Simson-Rigby SR(P, U) Points) — 16 representative centers (from 94 in collection) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
Group Preamble — RS Points and SR Points (Rigby-Simson points and Simson-Rigby points)
Centers X2677 to X2770 are examples of Rigby-Simson points and Simson-Rigby points. These two types of points are discussed in
Ross Honsberger , Episodes in Nineteenth and Twentieth Century Euclidean Geometry , Mathematical Association of America, 1995. Chapter 11: The Orthopole, pages 124-136.
Specifically, on pages 132-136, Honsberger defines the “Rigby Point,” in honor of John Rigby, as the orthopole of the six sides of two triangles, all of whose vertices lie on a circle, and he notes that this orthopole lies on the six Simson lines of the vertices.
Now suppose that P =\(p : q : r\) (trilinears) and U =\(u : v : w\) are distinct points on the circumcircle of a triangle ABC. Their Simson lines meet in a point X which is here called the Rigby-Simson point of P and U, denoted by RS(P,U). That is, RS(P,U) is the orthopole of line PU with respect to triangle ABC.
On the circumcircle, there is a unique point K whose Simson line is perpendicular to line PU, and whose Simson line also passes through RS(P,U). The point K is here called the Simson-Rigby point of P and U, denoted by SR(P,U). Note that SR(P,U) = Λ(P,U)
If you have The Geometer’s Sketchpad, you can view RS(P,U) and SR(P,U) (RigbySimson.gsp).
Continuing with contributions of Peter Moses during October, 2004, trilinears for RS(P,U) are
\(f(a,b,c,p,q,r,u,v,w) : f(b,c,a,q,r,p,v,w,u) : f(c,a,b,r,p,q,w,u,v)\), where
\(f(a,b,c,p,q,r,u,v,w) = 1/[a^{2}r^{2}v^{2}(q \cos A - p \cos B)(w \cos A - u \cos C)] - 1/[a^{2}q^{2}w^{2}(r \cos A - p \cos C)(v \cos A - u \cos B)]\),
and trilinears for SR(P,U), reckoned as the point of intersection of lines P-to-\(U ^{- 1}\) and U-to-\(P ^{- 1}\), are
(rv - qw)/(qv - rw) : (pw - ru)/(rw - pu) : (qu - pv)/(pu - qv).
In the following list, the appearance of I, J, K means that RS(Xi,Xj) = X(K):
In the next list (from P. Moses, Oct. 15, 2004), the appearance of I, J, K means that SR(Xi,Xj) = X(K):