un tetraedro è ortocentrico se e solo i suoi segmenti medioani sono uguali

A = (-1.0242939054711915, 5.151110112284034, 0)
B = (2.982951882393621, -2.9495410590393707, 0)
C = (5.881565047534323, 3.378939727144349, 0)
t1, c, a, b = Polygon(A, B, C)
f = OrthogonalLine(A, a, space)
g = OrthogonalLine(B, b, space)
D_{1} = Intersect(g, f)
h = OrthogonalLine(D_{1}, xOyPlane)
D = Point(h)
d, facciaABE, facciaBCE, facciaACE, spigoloAE, spigoloBE, spigoloCE = Pyramid(t1, D)
p = Plane(facciaACE)
i = OrthogonalLine(B, p)
H = Intersect(i, h)
K = Midpoint(a)
L = Midpoint(b)
M = Midpoint(spigoloCE)
j = Segment(B, L)
k = Segment(A, K)
l = Segment(D, K)
m = Segment(B, M)
n = Segment(M, A)
q = Segment(D, L)
F = Midpoint(c)
P = Midpoint(spigoloBE)
r = Segment(D, F)
s = Segment(P, A)
E = Midpoint(spigoloAE)
t = Segment(M, F)
e = Segment(P, L)
f_1 = Segment(K, E)