An Anticomplementary Triangle Surprise
What Is It About?
A Mathematical Droodle
The applet suggests the following theorem [Honsberger, pp. 276-278] from triangle geometry:
On the sides of ΔABC, construct similarly oriented equilateral triangles ABZ, BCX, CAY. In turn, on the sides of ΔXYZ, form triangles XYR, YZP, ZXQ with an orientation opposite to that of ABZ, BCX, CAY. Then ΔPQR is the anticomplementary triangle of ΔABC.
As on several other occasions (e.g., Three Isosceles Triangles, When a Triangle is Equilateral?, and others), we can make a good use of complex numbers. Points X, Y, Z are linear combinations of A, B, C with complex coefficients:
X = (1 - c)B + cC,|
Y = (1 - c)C + cA,
Z = (1 - c)A + cB,
c = (1 + i3)/2,|
1 - c = (1 - i3)/2.
On the other hand, by construction,
P = (1 - c)Z + cY,|
Q = (1 - c)X + cZ,
R = (1 - c)Y + cX.
In terms of A, B, C these can be written as
We want to show that, e.g., PQ||AB and that C is the midpoint of PQ. From (2),
which tells us that PQ is parallel to AB and is twice as long. Further,
so that indeed C is the midpoint of PQ.
- Honsberger, In Pólya's Footsteps, MAA, 1999
Copyright © 1996-2018 Alexander Bogomolny