a^{2}

b^{2}

c^{2}

India tõestus

A = Intersect(xAxis, yAxis)
B = Point(xAxis)
hulknurk1, f, g, h, i, C, D = Polygon(A, B, 4)
E = Point(hulknurk1)
j = OrthogonalLine(E, f)
k = Segment(A, C)
F = Intersect(j, k)
l = Line(F, f)
G = Intersect(l, i)
H = Intersect(j, h)
I = Intersect(l, g)
J = Point(xAxis)
u = Vector(A, J)
hulknurk1' = Translate(hulknurk1, u)
E' = Translate(E, u)
j' = Translate(j, u)
F' = Translate(F, u)
t1, d, g_1, f_1 = Polygon(G, F, D)
t2, d_1, f_2, h_1 = Polygon(F, H, D)
t3, i_1, e, b = Polygon(E, B, I)
t4, f_3, e_1, i_2 = Polygon(E, I, F)
K = (8, 5)
v = Vector(F, K)
w = Vector(G, J)
L = (13, 5)
a = Vector(H, L)
M = Centroid(t1)
N = Centroid(t2)
O = Centroid(t3)
P = Centroid(t4)
N' = Translate(N, a)
M' = Translate(M, w)
O' = Translate(O, u)
P' = Translate(P, v)
m = Segment(N, N')
n = Segment(M, M')
p = Segment(P, P')
q = Segment(O, O')
Q = Point(m)
R = Point(p)
S = Point(q)
T = Point(n)
c = Vector(N, Q)
r = Vector(P, R)
s = Vector(O, S)
t = Vector(M, T)
F'_{1} = Translate(F, c)
H' = Translate(H, c)
D' = Translate(D, c)
t5, d', f'_{1}, h' = Polygon(F'_{1}, H', D')
E'_{1} = Translate(E, s)
B' = Translate(B, s)
I' = Translate(I, s)
t6, i', e'_{1}, b' = Polygon(E'_{1}, B', I')
G' = Translate(G, t)
F'_{2} = Translate(F, t)
D'_{1} = Translate(D, t)
t7, d'_{1}, g', f'_{2} = Polygon(G', F'_{2}, D'_{1})
E'_{2} = Translate(E, r)
I'_{1} = Translate(I, r)
F'_{3} = Translate(F, r)
t8, f'_{3}, e'_{2}, i'_{1} = Polygon(E'_{2}, I'_{1}, F'_{3})
j_1 = Segment(G, I)
k_1 = Segment(H, E)