ZAKLJUČAK:

Siječanj 2007. Niko Grgić

Pomiči vrhove trokuta i uvjeri se da  je tako.

M = (1.9333333333333333, -2.4)
E = (7.2, -33.766666666666666)
pomiči = 0 (slider from 0 to 4, step 0.02)
δ = 3.141592653589793 rad
C = (10.133333333333333, 6.866666666666666)
A = (2.2666666666666706, 1.6999999999999993)
g: (1 + sgn(3 - pomiči + 0)) / 2
t: (1 + sgn(2 - pomiči + 0)) / 2
s: (1 + sgn(1 - pomiči + 0)) / 2
a_1: s t g
a_2: (1 - s) t g
a_3: (1 - s) (1 - t) g
a_4: (1 - s) (1 - t) (1 - g)
f: a_3 (pomiči - 2) + a_4
d: a_1 pomiči + a_2 + a_3 + a_4
e: a_2 (pomiči - 1) + a_3 + a_4
B = (11.966666666666669, 1.833333333333333)
u = Vector(A, C)
P_3: C + d u
P, c, a, b = Polygon(A, B, C)
d_1 = Line(C, c)
h = Circle(A, 2)
k_1 = Circle(B, 2)
p = Circle(C, 2)
H = Intersect(h, c, 1)
I = Intersect(h, b, 1)
v = Vector(B, C)
P_1: A + d u
P_2: B + d u
n_1 = Segment(P_1, P_3)
t_1 = Segment(P_1, P_2)
α = Angle(P_2, P_1, P_3)
T_1: A + e v
T_2: B + e v
T_3: C + e v
a_5 = Segment(T_2, T_3)
b_1 = Segment(T_2, T_1)
β = Angle(T_3, T_2, T_1)
T_5 = Rotate(A, f δ, C)
r_1 = Segment(C, T_5)
T_4 = Rotate(B, f δ, C)
s_1 = Segment(C, T_4)
γ = Angle(T_5, C, T_4)
T1: "α + β + γ" + "   =   " + α + " + " + β + " + " + γ + "   =   " + (α + β + γ) + "
Zbroj veličina kutova u svakom trokutu je 180°."
D = (2.933333333333333, -1.4333333333333333)
F = If(pomiči > 3.4, D, E)
i: a_4 (pomiči - 3)
G = If(pomiči > 3, D, E)
K = (20.5, -2.8333333333333335)
J = If(pomiči == 4, K, E)
L = If(pomiči > 3.7, M, E)