XIII.12 Proposition XIII.12
If an equilateral triangle be inscribed in a circle, the square on the side of the triangle is triple of the square on the radius.
Proof
For inscribed equilateral triangle, side =r3. Proven via
I.47 on the perpendicular bisector configuration. lines 74–74 in main.tex