# Asymmetric Propeller: a Generalization

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

This is a variant of the Asymmetric Propeller theorem, a simple generalization and the last one to deal with three equilateral triangles. The applet attempts to illustrate the proof by L. Bankoff, P. Erdös and M. S. Klamkin.

The three equilateral triangles with a shared vertex O may be conveniently denoted as OAA', OBB' and OCC'. Two triangles ABC and A'B'C' are equal, similarly oriented and are obtained from each other by a rotation through 60^{o}. If O is the center of a coordinate system and d a rotation through 60^{o} in the positive direction, then ^{2},^{o}, a well-known criterion is used to verify whether a triangle is equilateral or not. In our case, we should check whether

j^{2}(A + B') + j(B + C') + (C + A') = 0.

Let's see. Since j^{2} = d^{4} = -d,

j^{2}(A + B') + j(B + C') + (C + A') | = -d(A + dB) + d^{2}(B + dC) + (C + dA) |

= -dA - d^{2}B + d^{2}B - C + C + dA | |

= 0. |

So indeed, the triangle in question is equilateral.

Hubert Shutrick found an elegant geometric argument that could be described as a "nondiscrete induction": if the statement of the theorem holds for one configuration of three equilateral triangles then it also holds for a modification of the latter. Since one can always start with a symmetric configuration of three congruent equilateral triangles for which the statement obviously holds, it holds for any configuration.

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny