Zaslavsky's Theorem: What is it?
A Mathematical Droodle
Explanation
Copyright © 1996-2008 Alexander Bogomolny
Zaslavsky's Theorem
Given triangle ABC, point P, and reflection A'B'C' of ABC in P. Let three parallel lines through A', B', and C' intersect BC, AC, and AB in X, Y, Z, respectively. Then X, Y, Z are collinear.
The theorem was posted at the Yahoo's Hyacinthos discussion forum by Alexey Zaslavsky, and its solution that we follow below was posted by Darij Grinberg at the geometry-college newsgroup.
We are to show that three points on the side lines of a triangle are collinear. The situation calls for Menelaus' theorem. It suffices to show that
| (1) |
BX/CX × CY/AY × AZ/BZ = 1.
|
(Here and below all segments are directed.) Let the line through C parallel to the "parallel triplet" intersect BA' at N, AB' at K and A'B' at Z'.
First note that Z' is a reflection of Z in P, so that B'Z' = -BZ. Also, since the points A, B, and Z are collinear, so are their reflections A', B', and Z'. In particular, A'Z' = -AZ. Thus
Further
| |
| BX/CX × CY/AY × AZ/BZ |
= BA'/NA' × B'K/B'A × AZ/BZ |
| |
= BA'/NA' × B'K/(-BA') × AZ/BZ |
| |
= -B'K/NA' × AZ/BZ |
| |
= B'Z'/A'Z' × AZ/BZ |
| |
= BZ/AZ × AZ/BZ |
| |
= 1. |
|
Q.E.D.
In a private correspondence Alexey Zaslavsky made the following remark:
| |
My original formulation was stronger: this line and the sidelines of the two triangles touch some conic. And there is nice proof of this fact. Let the line l touch the conic inscribed in both triangles and intersect the lines A'C' and B'C' in points P, Q. It is sufficient to prove that AQ and BP are parallel. This follows by applying Brianchon theorem to hexagon ABXQPY where X, Y are the infinite points of BC and AC.
|
Copyright © 1996-2008 Alexander Bogomolny
|