Hauteurs

Médianes

Médiatrices

Droite d'Euler

Cercle d'Euler

A = (6.86, 2.32)
B = (0.38, -4.18)
C = (10.44, -3.96)
a = Line(A, B)
b = Line(B, C)
c = Line(C, A)
d = OrthogonalLine(C, a)
e = OrthogonalLine(A, b)
f = OrthogonalLine(B, c)
H = Intersect(d, e)
D = Intersect(a, d)
E_1 = Intersect(c, f)
F = Intersect(e, b)
αhauteur = Angle(C, D, A)
βhauteur = Angle(A, E_1, B)
γhauteur = Angle(A, F, B)
g = Segment(A, B)
h = Segment(B, C)
i = Segment(C, A)
G_1 = Midpoint(g)
I = Midpoint(h)
J = Midpoint(i)
jmediane = Segment(G_1, C)
kmediane = Segment(A, I)
lmediane = Segment(J, B)
G = Intersect(lmediane, kmediane)
m = OrthogonalLine(I, h)
n = OrthogonalLine(J, i)
p = OrthogonalLine(G_1, g)
O = Intersect(p, n)
hauteur3 = Segment(B, E_1)
hauteur1 = Segment(D, C)
hauteur5 = Segment(F, A)
hauteur4 = Segment(B, H)
hauteur6 = Segment(C, H)
hauteur2 = Segment(A, H)
c_1 = Segment(E_1, A)
d_1 = Segment(D, A)
e_1 = Segment(D, B)
f_1 = Segment(E_1, C)
g_1 = Segment(F, B)
h_1 = Segment(F, C)
i_1Euler = Line(H, G)
E = Midpoint(H, O)
k_1euler = Circle(E, F)
I' = Mirror(I, O)
J' = Mirror(J, O)
K = Mirror(G_1, O)
j_1mediatrice = Segment(G_1, K)
I1mediatrice = Segment(I, I')
m_1mediatrice = Segment(J, J')
δmediatrice = Angle(O, I, C)
εmediatrice = Angle(O, G_1, B)
ζmediatrice = Angle(O, J, A)
j = true
k = true
l = true
q = Segment(O, E)
r = Segment(E, H)
o = false
s = false