Zaslavsky's Theorem: What is it?
A Mathematical Droodle
What if applet does not run? 
Activities Contact Front page Contents Geometry
Copyright © 19962018 Alexander BogomolnyZaslavsky'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.
What if applet does not run? 
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 geometrycollege 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
(2)  B'Z'/A'Z' = BZ/AZ. 
Further

Q.E.D.
Michel Cabart has observed that the proof can be shortened by a simple device:
Let us draw any oriented axis with origin P, not parallel (for example perpendicular) to the parallel triplet. All points have an ordinate t_{A}, t_{B}, etc. and we have

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. 
Activities Contact Front page Contents Geometry
Copyright © 19962018 Alexander Bogomolny69089904