1

cos(α+β)

sen(α+β)

cosβ

senβ cosα

senβ

cosβ senα

C = (5.5200000000000005, -3.24)
A = (-9.08, -3.24)
a = Line(A, C)
G = Point(a)
F = Point(a)
f = Circle(F, G)
I = Point(f)
α = Angle(G, F, I)
E = Point(a)
D = Point(a)
e = Circle(D, E)
H = Point(e)
β = Angle(E, D, H)
O = Intersect(xAxis, yAxis)
B = Point(xAxis)
B' = Rotate(B, α, O)
P = Rotate(B', β, O)
k = Line(O, B')
m = OrthogonalLine(P, k)
Q = Intersect(k, m)
c = Circle(O, B)
b = Segment(D, E)
d = Segment(F, G)
distanciaDE = Distance(D, E)
distanciaFG = Distance(F, G)
g = Segment(D, H)
h = Segment(F, I)
i = Distance(D, E)
j = Distance(F, G)
γ = Angle(B, O, B')
l = Ray(O, P)
u = Vector(O, Q)
v = Vector(Q, P)
n = Segment(O, P)
J = Point(n)
p = OrthogonalLine(Q, xAxis)
q = OrthogonalLine(P, xAxis)
r = OrthogonalLine(P, p)
s = OrthogonalLine(Q, p)
V = Intersect(q, s)
S = Intersect(p, r)
T = Intersect(q, xAxis)
R = Intersect(p, xAxis)
w = Vector(S, P)
t = Segment(Q, V)
z = Vector(R, Q)
u_1 = Vector(Q, S)
v_1 = Vector(O, R)
w_1 = Vector(T, P)
ε = Angle(S, Q, P)
ζ = Angle(B, O, P)
K = (-7.020000000000001, -1.24)
L = (-6.0200000000000005, -1.24)
a_1 = Segment(K, L)
L' = Rotate(L, ζ, K)
η = Angle(L, K, L')
b_1 = Segment(K, L')
text2: "α+β = " + ζ
z_1 = Vector(R, T)
c_1 = Vector(O, T)
θ = Angle(R, O, Q)
d_1 = Vector(R, T)
δ = Angle(Q, O, P)
ι = Angle(Q, O, P)
κ = Angle(B', O, P)
e_1 = Line(O, B)
f_1 = OrthogonalLine(O, e_1)
λ = Angle(O, T, P)
μ = Angle(O, R, Q)
ν = Angle(Q, S, P)
ξ = Angle(P, Q, O)