R UMA
KV COIMBATORE
CHENNAI REGION

In a right triangle the square of hypotenuse is equal to sum of squares of other two sides

Show the statement

FIFTH = 1 (slider from 0 to 1, step 0.001)
FOURTH = 1 (slider from 0 to 1, step 0.001)
A = Intersect(xAxis, yAxis)
C = Point(yAxis)
poly3, n, p, q, r, H, I = Polygon(A, C, 4)
B = Point(xAxis)
poly2, j, k, l, m, F, G = Polygon(B, A, 4)
t1, c, a, b = Polygon(A, B, C)
poly1, f, g, h, i, D, E = Polygon(C, B, 4)
s = Line(I, i)
K = Intersect(s, b)
e = Segment(K, I)
t = Line(A, h)
J = Intersect(p, t)
d = Segment(J, A)
L = Intersect(d, e)
d_1 = Circle(B, Segment[J, L])
P = Intersect(d_1, a)
THIRD = 1 (slider from 0 to 1, step 0.001)
SECOND = 1 (slider from 0 to 1, step 0.001)
FIRST = 1 (slider from 0 to 1, step 0.001)
q1, j_1, c_1, k_1, l_1 = Polygon(J, C, K, L)
t2, a_1, k_2, l_2 = Polygon(K, L, A)
t3, a_2, l_3, i_1 = Polygon(L, I, A)
q2, h_1, j_2, l_4, i_2 = Polygon(H, J, L, I)
V: L + (FIRST * (B - L))
u = Vector(L, V)
J' = Translate(J, u)
C' = Translate(C, u)
K' = Translate(K, u)
L' = Translate(L, u)
q1', j', c', k', l' = Polygon(J', C', K', L')
W: L + (SECOND * (C - L))
v = Vector(L, W)
K'_1 = Translate(K, v)
L'_1 = Translate(L, v)
A' = Translate(A, v)
t2', a', k'_1, l'_1 = Polygon(K'_1, L'_1, A')
X: L + (THIRD * (E - L))
w = Vector(L, X)
L'_2 = Translate(L, w)
I' = Translate(I, w)
A'_1 = Translate(A, w)
t3', a'_1, l'_2, i' = Polygon(L'_2, I', A'_1)
Y: L + (FOURTH * (D - L))
u_1 = Vector(L, Y)
H' = Translate(H, u_1)
J'_1 = Translate(J, u_1)
L'_3 = Translate(L, u_1)
I'_1 = Translate(I, u_1)
q2', h', j'_1, l'_3, i'_1 = Polygon(H', J'_1, L'_3, I'_1)
M = Intersect(a, f)
N = Intersect(a, f)
O = Intersect(a, f)
Z: F + (FIFTH * (P - F))
v_1 = Vector(F, Z)
poly2' = Translate(poly2, v_1)
o = false