Propriété des triangles semblables par Thalès

kc

kb

ka

c

b

a

kb

kc

B = (-1.1887024390243914, 0.3487414634146374)
C = (3.3275902439024394, -0.7351609756097538)
A = (0.5053232291670723, 1.8863226248998048)
f = Segment(B, A)
g = Segment(A, C)
h = Segment(C, B)
B' = (5.7372075086578365, 2.6337346648270556)
C' = (3.8366454642713954, 0.4342078044697142)
i = Segment(B', C')
α = Angle(C, B, A)
β = Angle(A, C, B)
γ = Angle(B, A, C)
B'' = Rotate(C', Angle[C, B, A], B')
δ = Angle(C', B', B'')
j = Line(B', B'')
A''_1 = Rotate(B', (-Angle[A, C, B]), C')
ε = Angle(A''_1, C', B')
k = Line(C', A''_1)
A' = Intersect(j, k)
l = Segment(B', A')
m = Segment(A', C')
etape = 0 (slider from 0 to 4, step 1)
c = Circle(C, Distance[C', A'])
d = Circle(C, Distance[B', C'])
t = Segment(B', C')
c_1 = Circle(B, Distance[B', A'])
h_1 = Circle(B, Distance[B', C'])
C'_1 = Rotate(C, (-δ), B)
η = Angle(C'_1, B, C)
q = Ray(B, C'_1)
B'_1 = Rotate(B, ε, C)
θ = Angle(B, C, B'_1)
r = Ray(C, B'_1)
A'' = Intersect(q, r)
ι = Angle(C, A'', B)
κ = Angle(B', A', C')
s = Segment(A'', C)
a = Segment(B, A'')