证明:设三角形ABC对应边外的正三角形的中心分别为D,E,F,
则:∠FAB=∠FBA=∠DBC=∠DCB=∠EAC=∠ECA=30
在多边形AFBDCE中作一点G,使AG=AF,GE=DC,
连GF,GA,GE,
因△ABF,△BCD,△ACE均为底角等于30度的等腰三角形,
所以:△ABF∽△BCD∽△ACE
AF/AB=AE/AC=DC/BC
而AG=AF,GE=DC
所以:AG/AB=AE/AC=GE/BC,
△AGE∽△ABC
∠GAE=∠BAC,∠AGE=∠ABC
∠FAG=∠EAF-∠GAE=∠EAF-∠BAC=60
△AGF为等边三角形
AG=AF, ∠AGF=60,
在△FBD和△FGE中,
FB=FG, BD=GE, ∠FBD=∠FGE
所以:△FBD≌△FGE, (SAS)
FD=FE
同理可证:FD=DE
则 △DEF为等边三角形 <证毕>
这个如果换成是在任意一个三角形的三条边上分别向内做出三个等边三角形,则这三个等边三角形的中心仍能构成一个等边三角形,称内拿破仑三角形
证明过程同上,完全相同。