Teorema del catet (I)
Author: Pep Bujosa

Gir

a

b

c

m

c

c

Translació

c

m

Simetria

Teorema del catet (I)

n

 \frac{ c }{m }

=

 \frac{ a }{c } 

c² = m · a

Deducció

α = 0 rad (slider from 0 to 1.0471975511965976, step 0.017453292519943295)
A = (1, -2.02)
B = (10, -2.02)
a = Segment(A, B)
B' = Rotate(B, 59.99999999999999°, A)
β = Angle(B, A, B')
b = Ray(A, B')
c = Semicircle(A, B)
C = Intersect(c, b, 2.0)
polígon1, b_1, c_1, a_1 = Polygon(C, A, B)
d = OrthogonalLine(C, c_1)
D = Intersect(d, c_1)
polígon2, d_1, c_2, a_2 = Polygon(C, A, D)
C' = Mirror(C, c_1)
A' = Mirror(A, c_1)
D' = Mirror(D, c_1)
polígon2', d', c', a' = Polygon(C', A', D')
C'' = Rotate(C', α, D')
A'' = Rotate(A', α, D')
D'' = Rotate(D', α, D')
polígon2'', d'', c'', a'' = Polygon(C'', A'', D'')
u = Vector(D'', C)
e = 0 (slider from 0 to 1, step 0.1)
v: e * u
C''' = Translate(C'', v)
A''' = Translate(A'', v)
D''' = Translate(D'', v)
polígon2''', d''', c''', a''' = Polygon(C''', A''', D''')
f = false
polígon3, b_2, c_3, d''_1 = Polygon(C, D'', B)
g = false