Höhenschnmittpunktsatz
Author: Haftendorn
Date: Okt 05

Höhenschnittpunktsatz

Ha , Okt 05

Die Höhen im Dreieck ABC

sind die Mittelsenkrechten im Dreieck EFG

Die Höhen schneiden sich in einem Punkt.

zum Beweis:

A = (0.5166666666666657, -0.01666666666666572)
B = (11.266666666666666, 0.06666666666666667)
C = (2.9749999999999988, 5.316666666666667)
P, c, a, b = Polygon(A, B, C)
d = OrthogonalLine(C, c)
e = OrthogonalLine(A, a)
f = OrthogonalLine(B, b)
g = Line(C, c)
h = Line(A, a)
i = Line(B, b)
D = (11.033333333333333, 5.7)
E = Intersect(h, g)
F = Intersect(g, i)
G = Intersect(i, h)
Q, f_1, e_1, g_1 = Polygon(E, G, F)