CB: cateto

AC: cateto

proyección del cateto rojo

altura

AD: proyección del cateto rojo

DB: proyección del cateto verde

CD: altura (segmento)

altura (recta)

AB: hipotenusa

B = Point(xAxis)
A = Intersect(xAxis, yAxis)
c = Semicircle(A, B)
C = Point(c)
t1, c_1, a_{1}, b = Polygon(A, B, C)
k_1 = OrthogonalLine(C, c_1)
vCC = Vector(C, C)
vAA = Vector(A, A)
μ = 2 (slider from 0 to 2)
vBB = Vector(B, B)
D = (0.5062668456463018, 0.007980242782064622)
f = Segment(A, D)
g = Segment(D, B)
h = Segment(C, D)
i = Segment(A, B)