2o   ΚΡΙΤΗΡΙΟ   ΙΣΟΤΗΤΑΣ   ΤΡΙΓΩΝΩΝ  ( Γ - Π - Γ )

Αντιπαράδειγμα

Α = (-1.84, -1.08)
Β = (2.94, -1.14)
a = Segment(Α, Β)
ϕ = 0.6457718232379019 rad (slider from 0 to 180°, step 0.017453292519943295)
ω = 1.832595714594046 rad (slider from 0 to 180°, step 0.017453292519943295)
Β' = Rotate(Β, ϕ, Α)
γ = Angle(Β, Α, Β')
b = Ray(Α, Β')
Α' = Rotate(Α, (-ω), Β)
δ = Angle(Α', Β, Α)
c = Ray(Β, Α')
Γ = Intersect(b, c)
d = Segment(Α, Γ)
e = Segment(Γ, Β)
πολύγ1, β_1, γ_1, α_1 = Polygon(Γ, Α, Β)
Δ = (14.42, -0.5)
f_1: abs(a)
Ε = Point(Circle[Δ, abs(a)])
f = Segment(Δ, Ε)
Ε' = Rotate(Ε, ϕ, Δ)
ε = Angle(Ε, Δ, Ε')
g = Ray(Δ, Ε')
Δ' = Rotate(Δ, (-ω), Ε)
ζ = Angle(Δ', Ε, Δ)
h = Ray(Ε, Δ')
Ζ = Intersect(g, h)
i = Segment(Δ, Ζ)
j = Segment(Ζ, Ε)
πολύγ2, ε_1, ζ_1, δ_1 = Polygon(Ζ, Δ, Ε)
k = false
P = (12.6, 0.04)
K = Point(Circle[P, a])
l = Segment(P, K)
E' = Rotate(P, ϕ, K)
α = Angle(P, K, E')
m = Ray(K, E')
Δ'_1 = Rotate(K, (-(180° - ϕ - ω)), P)
β = Angle(Δ'_1, P, K)
n = Ray(P, Δ'_1)
M = Intersect(m, n)
p = Segment(P, M)
q = Segment(K, M)
η = Angle(K, M, P)