pohyb

pohyb

pohyb

pohyb

pohyb

pobyb

Ďalší z dôkazov Pytagorovej vety

A = (2.2343734262485504, 2.1889601858304326)
B = (-1.8121701277584243, 5.206944715447152)
c = Segment(A, B)
c_2 = Semicircle(A, B)
C = Point(c_2)
mnohouholník1, c_1, a, b = Polygon(A, B, C)
mnohouholník3, h, i, j, k, F, G = Polygon(C, B, 4)
mnohouholník4, l, m, n, p, H, I = Polygon(B, A, 4)
w = (0, 0)
z = (0, 0)
e: a + b
o: a + b
mnohouholník2, d, f, g, q, D, E = Polygon(A, C, 4)
J = (11.332539094076667, 8.054882787456448)
r = Line(J, b)
s = OrthogonalLine(J, r)
t = Circle(J, o)
K = Intersect(t, r, 2)
mnohouholník5, a_1, b_1, d_1, e_1, L, M = Polygon(K, J, 4)
u = Vector(A, K)
N = Point(u)
v = Vector(A, N)
u_1 = (0.02992817653890828, -0.029928176538908252)
v_1 = (0, 0)
A' = Translate(A, v_1)
w_1 = (0, 0)
mnohouholník2' = Translate(mnohouholník2, w_1)
mnohouholník2'' = Translate(mnohouholník2', v)
z_1 = Vector(G, L)
O = Point(z_1)
f_1 = Vector(G, O)
mnohouholník3' = Translate(mnohouholník3, f_1)
g_1 = Vector(A, M)
P = Point(g_1)
h_1 = Vector(A, P)
i_1 = (0, 0)
A'_1 = Translate(A, i_1)
B' = Translate(B, i_1)
C' = Translate(C, i_1)
A'_2 = Translate(A, h_1)
B'_1 = Translate(B, h_1)
C'_1 = Translate(C, h_1)
mnohouholník1', c'_1, a'_2, b'_1 = Polygon(A'_2, B'_1, C'_1)
Q = Midpoint(B, H)
A'_3 = Mirror(A, Q)
B'_2 = Mirror(B, Q)
C'_2 = Mirror(C, Q)
mnohouholník1'_1, c'_2, a'_3, b'_2 = Polygon(A'_3, B'_2, C'_2)
A'_4 = Rotate(A, 90°, Q)
B'_3 = Rotate(B, 90°, Q)
C'_3 = Rotate(C, 90°, Q)
mnohouholník1'_2, c'_3, a'_4, b'_3 = Polygon(A'_4, B'_3, C'_3)
A'_5 = Rotate(A, 270°, Q)
B'_4 = Rotate(B, 270°, Q)
C'_4 = Rotate(C, 270°, Q)
mnohouholník1'_3, c'_4, a'_5, b'_4 = Polygon(A'_5, B'_4, C'_4)
j_1 = Vector(H, M)
R = Point(j_1)
k_1 = Vector(H, R)
S = Translate(A'_3, k_1)
T = Translate(B'_2, k_1)
U = Translate(C'_2, k_1)
mnohouholník6, u_2, s_1, t_1 = Polygon(S, T, U)
l_1 = Vector(C'_4, J)
V = Point(l_1)
m_1 = Vector(C'_4, V)
W = Translate(A'_5, m_1)
Z = Translate(B'_4, m_1)
A_1 = Translate(C'_4, m_1)
mnohouholník7, a_2, w_2, z_2 = Polygon(W, Z, A_1)
n_1 = Vector(A, W)
B_1 = Point(n_1)
p_1 = Vector(A, B_1)
C_1 = Translate(A'_4, p_1)
D_1 = Translate(B'_3, p_1)
E_1 = Translate(C'_3, p_1)
mnohouholník8, e_2, c_3, d_2 = Polygon(C_1, D_1, E_1)