exo_90

x

B: (1, 0)
A: (0, 0)
poly1, g, h, i, j, C, D = Polygon(A, B, 4)
E = Point(h)
CE = Distance(C, E)
c = Circle(C, CE)
F = Intersect(c, i)
k = Segment(C, F)
t1, f_1, a_1, g_1 = Polygon(A, E, F)
EA = Distance(E, A)
AE = Segment(A, E)
texte2 = LaTeX(AE, true, true)
EF = Segment(E, F)
texte3 = LaTeX(EF, true, true)
AF = Segment(A, F)
texte4 = LaTeX(AF, true, true)
b = Distance(E, A)
α = Angle(F, E, A)