Musselman's theorem explained

In Euclidean geometry, Musselman's theorem is a property of certain circles defined by an arbitrary triangle.

Specifically, let

T

be a triangle, and

A

,

B

, and

C

its vertices. Let

A*

,

B*

, and

C*

be the vertices of the reflection triangle

T*

, obtained by mirroring each vertex of

T

across the opposite side. Let

O

be the circumcenter of

T

. Consider the three circles

SA

,

SB

, and

SC

defined by the points

AOA*

,

BOB*

, and

COC*

, respectively. The theorem says that these three Musselman circles meet in a point

M

, that is the inverse with respect to the circumcenter of

T

of the isogonal conjugate or the nine-point center of

T

.

The common point

M

is point

X1157

in Clark Kimberling's list of triangle centers.

History

The theorem was proposed as an advanced problem by John Rogers Musselman and René Goormaghtigh in 1939, and a proof was presented by them in 1941. A generalization of this result was stated and proved by Goormaghtigh.

Goormaghtigh’s generalization

The generalization of Musselman's theorem by Goormaghtigh does not mention the circles explicitly.

As before, let

A

,

B

, and

C

be the vertices of a triangle

T

, and

O

its circumcenter. Let

H

be the orthocenter of

T

, that is, the intersection of its three altitude lines. Let

A'

,

B'

, and

C'

be three points on the segments

OA

,

OB

, and

OC

, such that

OA'/OA=OB'/OB=OC'/OC=t

. Consider the three lines

LA

,

LB

, and

LC

, perpendicular to

OA

,

OB

, and

OC

though the points

A'

,

B'

, and

C'

, respectively. Let

PA

,

PB

, and

PC

be the intersections of these perpendicular with the lines

BC

,

CA

, and

AB

, respectively.

It had been observed by Joseph Neuberg, in 1884, that the three points

PA

,

PB

, and

PC

lie on a common line

R

. Let

N

be the projection of the circumcenter

O

on the line

R

, and

N'

the point on

ON

such that

ON'/ON=t

. Goormaghtigh proved that

N'

is the inverse with respect to the circumcircle of

T

of the isogonal conjugate of the point

Q

on the Euler line

OH

, such that

QH/QO=2t

.

References

[1] [2] [3] [4] [5] [6] [7] [8] [9]

Notes and References

  1. Jean-Louis Ayme, le point de Kosnitza, page 10. Online document, accessed on 2014-10-05.
  2. D. Grinberg (2003) On the Kosnita Point and the Reflection Triangle. Forum Geometricorum, volume 3, pages 105–111
  3. [John Rogers Musselman]
  4. Clark Kimberling (2014), Encyclopedia of Triangle Centers, section X(1157) . Accessed on 2014-10-08
  5. John Rogers Musselman and René Goormaghtigh (1941), Solution to Advanced Problem 3928. American Mathematics Monthly, volume 48, pages 281–283
  6. Eric W. Weisstein, Musselman's theorem. online document, accessed on 2014-10-05.
  7. Khoa Lu Nguyen (2005), A synthetic proof of Goormaghtigh's generalization of Musselman's theorem. Forum Geometricorum, volume 5, pages 17–20
  8. Ion Pătrașcu and Cătălin Barbu (2012), Two new proofs of Goormaghtigh theorem. International Journal of Geometry, volume 1, pages=10–19,
  9. [Joseph Jean Baptiste Neuberg|Joseph Neuberg]