A problem with equilateral triangles: What is it?
A Mathematical Droodle
What if applet does not run?
-->
21 January 2016, Created with GeoGebra
The applet suggests the following problem:
Let there be three equal equilateral triangles each with one vertex at the center of a circle and the other two on its circumference. Denote the vertices on the circumference as A_{1}, B_{1}, A_{2}, B_{2}, and A_{3}, B_{3}. Let M_{1} be the midpoint of B_{1}A_{2}, M_{2} the midpoint of B_{2}A_{3}, and M_{3} the midpoint of B_{3}A_{1}. Prove that the triangle M_{1}M_{2}M_{3} is also equilateral.
I'll use complex numbers and the criteria from Connes' proof of Morley's theorem.
Assume that the center of the circle lies at the origin. Borrowing notations from that page, the fact that the three triangles are equilateral is then expressed as
(1) | A_{i} + jB_{i} = 0, i = 1, 2, 3 |
M_{1} = (B_{1} + A_{2})/2, etc. To prove that the triangle in question is equilateral suffice it to show that
(2) | M_{1} + jM_{2} + j^{2}M_{3} = 0, |
or
(3) | (B_{1} + A_{2}) + j(B_{2} + A_{3}) + j^{2}(B_{3} + A_{1}) = 0. |
All it takes to see that this is indeed so is a substitution from (1):
(4) | B_{1} - jB_{2} + jB_{2} - j^{2}B_{3} + j^{2}B_{3} - j^{3}B_{1} = 0, |
but j^{3} = 1, which concludes the proof.
Remark
We have proved more than we set out to. Indeed, the proof only depends on (1), i.e. on the fact that the three triangles are equilateral. We never used the condition that 6 vertices of those triangles lie on a circle.
What if applet does not run? -->21 January 2016, Created with GeoGebra
An extension of this proof could be found elsewhere.
Remark
The same method proves a further generalization of the theorem. Above, three equilateral triangles have shared a vertex (the one assumed to coincide with the origin). We may split that point into three provided they form another equilateral triangle. More accurately, replace (1) with
(1') | A_{i} + jB_{i} + j^{2}C_{i} = 0, i = 1, 2, 3 |
and add a condition binding vertices C into an equilateral triangle:
(5) | C_{1} + jC_{2} + j^{2}C_{3} = 0. |
(3) remains valid, but its derivation (4) should be modified ever so lightly to produce (2).
Remark
As has been reported by Martin Gardner in his article The Asymmetric Propeller that appeared in The College Mathematics Journal, v. 30, n. 1, 1999 (18-22), an even more general result has been proved by Leon Bankoff. The four triangles in question must not be equilateral at all! If all four are similar, then the corresponding midpoints form a fifth triangle of the same shape, i.e. similar to the given four. The above method of proof however meets here its limitation. A different technique shows that even in a more general situation complex numbers can do a wonderful job.
The problem has been included in the 28th (1967) Putnam Competition (B1) in the following form:
A hexagon is inscribed in a circle radius 1. Alternate sides have length 1. Show that the midpoints of the other three sides form an equilateral triangle.
|Activities| |Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny
65001646 |