La droite d'Euler
Author: Yvan Monka - m@ths et tiques 2010

Droite d'Euler

Médianes

Médiatrices

Hauteurs

Bissecrices

A = (-3.033333333333333, -8.566666666666666)
B = (1.775757575757575, -0.3090909090909103)
C = (16.866666666666667, -4.233333333333333)
P, c, a, b = Polygon(A, B, C)
d = LineBisector(A, C)
e = LineBisector(B, C)
f = LineBisector(A, B)
M_3 = Intersect(c, f)
M_1 = Intersect(a, e)
M_2 = Intersect(d, b)
g = Segment(B, M_2)
h = Segment(A, M_1)
i = Segment(C, M_3)
j = AngularBisector(B, C, A)
k = AngularBisector(A, B, C)
l = AngularBisector(B, A, C)
m = OrthogonalLine(B, b)
n = OrthogonalLine(A, a)
p = OrthogonalLine(C, c)
O = Intersect(f, d)
H = Intersect(p, n)
K = Intersect(k, j)
G = Intersect(i, g)
t = Line(H, O)
o = true
u = true
v = true
w = true
q = Segment(B, M_1)
r = Segment(M_1, C)
s = Segment(C, M_2)
a_1 = Segment(M_2, A)
b_1 = Segment(A, M_3)
c_1 = Segment(M_3, B)
α = Angle(O, M_1, C)
β = Angle(O, M_2, C)
γ = Angle(O, M_3, B)