Nagel Point: What Is It About?
A Mathematical Droodle
Explanation
Copyright © 1996-2009 Alexander Bogomolny
The applet may suggest the following statement:
| |
Let E, D, F be the points of tangency of the excircles of ABC and its sides, as in the applet below. Prove that AD, BE, CF are concurrent. The point of concurrency is known as the Nagel point of ABC.
|
The proof relies on Ceva's theorem.
First, let CC denote the excircle of ABC opposite the vertex C. CC is tangent to the side AB and the side lines AC and BC in points F, T and U. Since, CT and CU are the two tangents from C to CC, they are equal in length:
For a similar reason
| (2) | AT = AF, and |
| (3) | BU = BF. |
(1)-(3) immediately imply that F is a perimeter splitter in the sense that
If a, b, c are the side lengths of the ABC and p its semiperimeter in a standard way, then this fact could be rewritten as
so that
Similarly, we obtain additional four identities:
| |
AE = p - c CE = p - a
CD = p - b BD = p - c.
|
Ceva's identity is then verified directly:
| |
AE/CE·CD/BD·BF/AF = (p-c)/(p-a)·(p-b)/(p-c)·(p-a)/(p-b) = 1.
|
(A curious fact is that these same points D, E, F arise in a related, yet quite a different construction.)
Copyright © 1996-2009 Alexander Bogomolny
|