There are lots of proofs for this theorem, as well as quite a few other relationships in this figure that we did not explore in class.
A basic description of the construction with GSP is at
http://mathforum.org/~annie/gsp.handouts/napoleon/
This link has a nice discussion of the history of Napoleon and math, but some of the proofs get pretty complicated:
http://www.mathpages.com/home/kmath270/kmath270.htm
A link with lots of proofs
http://www.cut-the-knot.com/proofs/napoleon.html
Proof by Tessellation (with interactive Java):
http://www.cut-the-knot.com/Generalization/NapTess.html
This page expresses the composition proof in class using complex numbers to write the formula for rotation.
http://nrich.maths.org/mathsf/journalf/dec98/mcprob5.html
This one uses the Fermat point to prove Napoleon without transformations
http://agutie.homestead.com/files/Geoproblem_B.htm#Tope
This link defines the point and gives its basic properties
http://cedar.evansville.edu/~ck6/tcenters/class/fermat.html
This link has more background and context
http://www.geocities.com/Paris/Rue/1861/fermatpt.html
This link has a lot about the Fermat point
http://www.cut-the-knot.com/Generalization/fermat_point.html
This link shows pictures of a bunch of special points of a triangle