η ισότητα   α  = β + γ  εκφράζει το Πυθαγόρειο Θεώρημα
Author: Χατζηπαράσχης  Αντώνης (ΠΕ 03 )

A = Point(xAxis)
B = Point(yAxis)
Ο = Intersect(xAxis, yAxis)
e = Segment(B, Ο)
α = Segment(Ο, A)
Ε_1, g, h, α_2, j, E, F = Polygon(Ο, A, 4)
G = Point(xAxis)
H = Point(yAxis)
β_3 = Segment(G, Ο)
q = Segment(H, Ο)
Ε_2, r, s, β_2, β, J, K = Polygon(G, Ο, 4)
C = Point(yAxis)
b = OrthogonalLine(G, xAxis)
c = OrthogonalLine(A, xAxis)
k = Segment(C, J)
l = Segment(C, B)
p = Segment(B, E)
a = OrthogonalLine(C, b)
D = Intersect(b, a)
I = Intersect(c, a)
d = Segment(D, C)
i = Segment(C, I)
m = Segment(K, C)
n = Segment(C, E)
t = Segment(I, E)
κ = Segment(D, K)
poly1, a_1, b_1, c_1, d_1 = Polygon(D, K, H, C)
poly2, e_1, f_1, g_1, h_1 = Polygon(C, I, E, B)
a_1 = OrthogonalLine(E, n)
b_1 = OrthogonalLine(K, m)
L = Point(xAxis)
poly11, l_4, k_4, g_3 = Polygon(K, G, L)
poly12, a_3, e_5, l_5 = Polygon(E, L, A)
g_1 = Segment(K, L)
h_1 = Segment(L, E)
poly3, e_2, l_1, a_2 = Polygon(L, A, E)
poly4, l_2, k_2, g_2 = Polygon(K, G, L)
ζ = Angle(E, L, K)
poly5, k_3, c_3, e_3, l_3 = Polygon(K, C, E, L)
poly13, k_5, c_5, e_6, l_6 = Polygon(K, C, E, L)
M = (6, 4)
N = (10, 4)
O = Point(xAxis)
poly9, c_2, k_1, h_2 = Polygon(K, H, C)
P = Point(xAxis)
poly6, m_1, β_1, o, p_1 = Polygon(M, N, O, P)
Q = (10, -3)
R = (13, -3)
S = (13, 0)
T = (10, 0)
poly7, t_1, q_1, r_1, α_1 = Polygon(T, Q, R, S)
η = Angle(S, O, N)
U = (14, 7)
V = (17, 3)
poly8, n_2, u, v, γ = Polygon(N, U, V, S)
θ = Angle(S, N, U)
δ = Angle(S, N, U)
ε = Angle(S, O, N)
poly10, e_4, c_4, b_2 = Polygon(C, B, E)