Theorem 31.1.1 · Equilateral Triangle
If the side length of an equilateral triangle is , then
This follows directly from the 30-60-90 triangle.
The height from the top vertex lands at the midpoint of the base, so it cuts the triangle into two 30-60-90 triangles. Each has hypotenuse and short leg .
The long leg (the height) is times the short leg: . You can also get it from Pythagoras: .
Area .