1ο   ΚΡΙΤΗΡΙΟ   ΙΣΟΤΗΤΑΣ   ΤΡΙΓΩΝΩΝ    ( Π - Γ - Π )

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

Α = (0.48, 4.94)
Β = (-2.24, 2.32)
a = Segment(Α, Β)
ϕ = 1.3962634015954636 rad (slider from 0 to 180°, step 0.017453292519943295)
Β' = Rotate(Β, ϕ, Α)
β = Angle(Β, Α, Β')
b = Ray(Α, Β')
Γ = Point(b)
c = Segment(Β, Γ)
d = Segment(Α, Γ)
Δ = (8.66, 4.94)
e_1: abs(a)
Ε = Point(Circle[Δ, abs(a)])
e = Segment(Δ, Ε)
Δ' = Rotate(Δ, ϕ, Ε)
γ = Angle(Δ, Ε, Δ')
f = Ray(Ε, Δ')
g = Circle(Ε, d)
Ζ = Intersect(g, f, 1)
h = Segment(Ε, Ζ)
i = Segment(Ζ, Δ)
πολύγ1, γ_1, α_1, β_1 = Polygon(Α, Β, Γ)
πολύγ2, δ, ζ, ε = Polygon(Ζ, Ε, Δ)
j = false
K = (6.18, 1.62)
P = Point(Circle[K, a])
k = Segment(K, P)
p = Circle(P, d)
E' = Rotate(P, ϕ, K)
α = Angle(P, K, E')
l = Ray(K, E')
M = Intersect(p, l, 1)
m = Segment(P, M)
n = Segment(K, M)