Similar Triangles on Sides of a Quadrilateral
What is it about?
A Mathematical Droodle
13 March, 2017, Created with GeoGebra
The applet may suggest the following statement [de Villiers]:
On the sides of an arbitrary quadrilateral ABCD similar triangles ABP, CBQ, CDR, ADS are constructed, so that the angles at the vertices P, Q, R, and S are equal, as are their angles sharing any of the vertices A, B, C, or D. Then the quadrilateral PQRS is a parallelogram.
This clear generalization of a problem where all four triangles are equilateral was discovered by Michael de Villiers and confirmed with the dynamic geometry software. Having proved the theorem, he later discovered an earlier proof by R. Finney who made a reference to a 1881 result.
Let (M, r, a) stand for the spiral similarity with center M, coefficient r, and angle a. The sum of any two spiral similarities is either a rotation, a translation, or a homothety. As a spiral similarity, homothety is given by
Assume the common angle at vertices P, Q, R, and S equals q. Consider the four spiral similarities:
|(1)||TP + TQ + TR + TS = (A, PB/PA·QC/QB·RD/DC·SA/SD, 0).|
However, triangles ABP, CBQ, CDR, ADS:
|(2)||PB/PA = QB/QC = RD/RC = SD/SA.|
Thus the homothety coefficient in (1) equals
|(3)||r = (PB/PA·QC/QB)·(RD/DC·SA/SD) = 1·1 = 1.|
We see that the sum of the four transformations is a translation with a fixed point, i.e. the identity transformation. Along the way we also found that the sum of any two consecutive transformations is a genuine translation whose inverse is the sum of the other two transformations (executed in a certain order of course.)
Let P' be the image of P under the sum
- M. de Villiers, The Role of Proof in Investigative, Computer-based Geometry: Some Personal Reflections, in Geometry Turned On, MAA Notes 41, 1997, pp. 15-24
- R. L. Finney, Dynamic Proofs of Euclidean Theorems, Math Magazine, 43, pp. 177-185.
- I. M. Yaglom, Geometric Transformations II, MAA, 1968