Suppose △ACE is equilateral, then △BDF is always equilateral, because three triangles ACE, CDE, EFA are identical and shape of the hexagon ABCDEF is invariable under the 120∘ rotation around the center of △ACE. That is, since B→D→F is obtained from the 120∘ rotation, △BDF is an equilateral triangle.
We now show that if three similar triangles ABC, CDE, EFA are not of a isosceles triangle whose two same angles are 30∘, the converse is true. First, let ∠BAC=∠DCE=∠FEA=α, ∠BCA=∠DEC=∠FAE=β. Suppose that △BDF is equilateral. Let
ACABACBC=CECD=EAEF=s=CEDE=EAFA=t,
AC=a, CE=b, EA=c. For △ABF, we have
BF2=AB2+FA2−2AB⋅FA⋅cos(∠BAF)=(sa)2+(tc)2−2stac⋅cos(α+β+A)=s2a2+t2c2−2stac[cos(α+β)cosA−sin(α+β)sinA].
Similarly we have,
BD2=s2b2+t2a2−2stab[cos(α+β)cosC−sin(α+β)sinC]
DF2=s2b2+t2a2−2stab[cos(α+β)cosC−sin(α+β)sinC].
21acsinA=21absinC=21bcsinE equals the area of △ACE, and BF2=BD2=DF2. Moreover, we have 2accosA=a2+c2−b2, 2abcosC=a2+b2−c2, 2bccosE=b2+c2−a2. Let cos(α+β)=K, then we have
s2a2+t2c2−stK(a2+c2−b2)=s2b2+t2c2−stK(a2+b2−c2)=s2c2+t2b2−stK(b2+c2−a2)
Now let
s2−t2=x,2stK−s2=y,t2−2stK=z,
then we have
xa2+yb2+zc2=ya2+zb2+xc2=za2+xb2+yc2(1)
From the equations (1), suppose first that x=y=z, then we have s=t and K=21; hence α+β=60∘. That is, three similar triangles ABC, CDE, EFA are of a isosceles triangle whose two same angles are 30∘. We exclude this case. Second, suppose x,y,z are either all distinct or two of them are equal, then we get the equations a=b=c by some calculations, which means that △ACE is equilateral. We conclude that △ACE is equilateral unless three similar triangles ABC, CDE, EFA are of a isosceles triangle whose two same angles are 30∘. □