Author: Andreas Brinken

Zum Nachweis der Behauptung
müssen wir zeigen, dass der Um-
kreismittelpunkt U beim rechtwink-
ligen Dreieck genau in der Mitte 
der Hypotenuse liegt.

=U

A = (0.96, -0.08)
B = (8.5, -0.24)
c = Semicircle(A, B)
C = Point(c)
Vieleck1, c_1, a, b = Polygon(A, B, C)
α = Angle(A, C, B)
k = Semicircle(A, B)
d = LineBisector(a)
M_{BC} = Intersect(d, a)
D = Point(d)
β = Angle(D, M_{BC}, B)
M_{AB} = Midpoint(c_1)
f = Line(B, d)
g = Line(C, d)