Droite de Simson
Author: Yvan Monka - m@ths et tiques 2010

Droite de Simson

A = (-0.28, 0.62)
B = (2.02, 4.08)
C = (5.64, 1.12)
poly1, c, a, b = Polygon(A, B, C)
d = Circle(A, C, B)
M = Point(d)
e = Line(B, C)
f = Line(C, A)
g = Line(A, B)
h = OrthogonalLine(M, e)
i = OrthogonalLine(M, f)
j = OrthogonalLine(M, g)
M_3 = Intersect(j, g)
M_1 = Intersect(h, e)
M_2 = Intersect(i, f)
k = Line(M_3, M_2)
α = Angle(M, M_3, A)
β = Angle(M, M_2, C)
γ = Angle(M, M_1, B)