Proposition 1

Proposition 1

Proposition 1

\mathbb{To\; construct\; an\; equilateral\; triangle\;}\
\mathbb{on\; a\; given\;finite\; straight\; line.}

A = (3.467901234567901, -1.832098765432099)
B = (5.023456790123457, -1.832098765432099)
a = Segment(A, B)
c = Circle(A, B)
d = Circle(B, A)
C = Intersect(c, d, 2)
b = Segment(A, C)
e = Segment(B, C)