Napoleon's Theorem: Third Proof with Complex Numbers
Napoleon's theorem claims that the centers A', B', C', of the equilateral triangles A''BC, AB''C, ABC'', erected on the sides (either all inwardly or all outwardly) of a given triangle ABC form an equilateral triangle. In the proof we are going to use complex numbers. The proof comes from [Bollobás, pp. 124-125] where the author makes an observation that after the slogan 'let's use vectors and complex numbers' no more thinking is needed. While this is true that one of algebra's purposes and uses is to mechanize solving problems, this is a third proof of Napoleon's theorem that makes use of complex numbers. So that, perhaps, some deliberation as to which road to choose might follow a conscious decision to base a proof on complex numbers.
The applet below serves to illustrate the proof.
|What if applet does not run?|
Let a = CA', b = AB', c = BC', j = eiπ/3, the counterclockwise rotation through 60° so that
0 = a + ja + b + jb + c + jc = (1 + j)(a + b + c)
a + b + c = 0.
For ΔA'B'C' to be equilateral suffice it to have, say, A'B' = jA'C'. Let's see that this is indeed so:
|jA'C' - A'B'||= j(A'B + BC') + (B'C + CA')|
|= j(ja + c) + (jb + a)|
|= (j² + 1)a + jc + jb|
|= j(a + b + c)|
and we are done.
- B. Bollobás, The Art of Mathematics: Coffee Time in Memphis, Cambridge University Press, 2006
Copyright © 1996-2018 Alexander Bogomolny