D:\_doc\CORSI\CG\Trisezione

eq1: x^(2) + y^(2) - 16 = 0
A = (8, 0)
B = Point(eq1)
f = Tangent(B, eq1)
g = OrthogonalLine(A, f)
C = Intersect(f, g)
loc1 = Locus(C, B)
D = Point(loc1)
E = Intersect(xAxis, yAxis)
i = Segment(E, D)
j = Segment(D, C)
F = Intersect(eq1, f, 1)
k = Segment(B, F)
α = Angle(C, D, E)
l = Segment(C, A)
β = Angle(D, C, A)