| Manifesto | Bookstore | Contents | Amazon store | Term index | What changed? | Contact | Recommend |
Adams' CircleAssume the incircle of DABC touches the sides BC, AC and AB in points D, E, and F respectively. The lines AD, BE and CF meet at the Gergonne point G of the triangle. DEF is known as the Gergonne triangle (and also contact triangle) of DABC. Suppose three lines are drawn through G parallel to the sides of the Gergonne triangle. These meet the sides of DABC in 6 points P, Q, R, S, T, U, as shown in the applet below. The following statement is due to C. Adams (1843):
What we want to show is that the six points P, Q, R, S, T, U are equidistant from I. Since the points D, E, F are the pedal points (the feet of the perpendiculars from) of the incenter I, this is equivalent to having all the segments DP, DQ, ER, ES, FT, FU equal.
AE and AF being tangents from A to the incircle,
Similarly, DQ = FT and DP = ES. Assume a line through A parallel to BC meets DE in X and DF in Y. DEAX is similar to DDCE, which is isosceles. Thus DEAX is also isosceles and
Similarly,
However, AE = AF, which implies that A is the midpoint of XY. Extend PS and QT to meet XY in M and N, respectively. The side lines of the triangles DXY and GMN are parallel, which makes the triangles similar and A the midpoint of MN. Subtracting gives
But MX = DP as the opposite sides of parallelogram DPMX. Similarly, NY = DQ. Together with (2), this gives
Taking into account (1) completes the proof. A beautiful result in triangle geometry. References
|
| 34221413 |  |
