Napoleon's Theorem states that if you take a general triangle and draw an equilateral triangle on each side, then the triangle formed by joining the incenters of these new triangles is equilateral. You can see that the length is symmetrical in a,b,c and hence identical for the three sides of the triangle.

This example will show how easy it is to create complicated figures in Geometry Expressions.