GT: a² + b² = c²
KL: ∡BAC = 90°

E_1 = (-6.057978163022511, -11.480476279221453)
J = (44.00483553213783, -1.7379316315481221)
A = (9.267372968149024, 0.41491531306883145)
C = (22.366899292174217, 0.560871038127608)
a_2 = Segment(A, C)
b_2 = OrthogonalLine(A, a_2)
B = Point(b_2)
đa giác1, b, a, c = Polygon(B, A, C)
k: c * c
l: a * a + b * b
α = Angle(C, A, B)