Beweise: Die Gerade BD halbiert den Winkel EDF

Hinweis 1

Hinweis 2

Hinweis 3

Ergebnis 1

Hinweis 4

Zeige analog, dass der Winkel ADE
die Größe β hat.

A = (1.52, -3.3000000000000003)
B = (15.32, -3.38)
C = (13.22, 5.96)
poly1, c, a, b = Polygon(A, B, C)
d = Line(A, B)
e = Line(B, C)
f = Line(C, A)
g = OrthogonalLine(C, d)
h = OrthogonalLine(B, f)
i = OrthogonalLine(A, e)
D = Intersect(h, f)
E = Intersect(g, d)
F = Intersect(e, i)
poly2, f_1, d_1, e_1 = Polygon(D, E, F)
M_c = Midpoint(c)
k = Circle(M_c, B)
j = Segment(A, F)
β = Angle(F, B, A)
β_1 = Angle(A, D, F)
l = false
m = false
n = false
β_. = Angle(F, D, C)
o = false
p = false

Tool: Höhenfußpunktdreieck
Ein: Punkt, Punkt, Punkt   Aus: Höhenfußpunktdreieck
Input: A, B, C
Output: D, E, F, poly2

d = Line(A, B)
e = Line(B, C)
f = Line(C, A)
g = OrthogonalLine(C, d)
h = OrthogonalLine(B, f)
i = OrthogonalLine(A, e)
D = Intersect(h, f)
E = Intersect(g, d)
F = Intersect(e, i)
poly2, f_1, d_1, e_1 = Polygon(D, E, F)