D'après la propriété de Pythagore, BC² = BA² + AC²

Si on considère l'angle ABC, [AB] est le côté adjacent.
On peut donc écrire cos(ABC)=AB/BC

En appliquant la somme des angles,
on trouve le deuxième angle ACB

AB = 10 (slider from 0 to 10, step 0.1)
AC = 7.2 (slider from 0 to 10, step 0.1)
A = (8, -2)
c = Circle(A, AB)
B = Point(c)
d = Segment(A, B)
e = OrthogonalLine(A, d)
f = Circle(A, AC)
C = Intersect(f, e, 2)
β = Angle(A, C, B)
g = Distance(B, C)
P, b_1, c_1, a_1 = Polygon(C, A, B)
T2: "On trouve BC = " + g
α = Angle(C, B, A)
T4: "Ainsi, cos(ABC) = " + AB + "/" + g + " = " + (AB / g)
T5: "A la machine, on trouve ABC = acs(" + (AB / g) + ") = " + α
T7: "ACB = 90° - ABC = 90° - " + "α" + " = " + β