1. (sss) trikotnika sta skladna, če se ujemata v vseh treh stranicah.
Author: Milan Gaberšek

1. skladnostni izrek
Trikotnika sta skladna, če se ujemata v treh stranicah.

A = (0, 0)
B = (7, 0)
asx = Line(A, B)
c = Segment(A, B)
d = Circle(A, 5)
e = Circle(B, 6)
Cx = (0.62, 3)
D = (5.513656287057806, 2.9680123294570833)
a_1 = Segment(Cx, D)
E = (5.4212969386401815, 5.461714736732946)
F = (-1.3517219453189533, 4.599694151501784)
b_1 = Segment(E, F)
G = Intersect(d, a_1, 1)
H = Intersect(e, a_1, 1)
I = Intersect(d, b_1, 1)
J = Intersect(e, b_1, 1)
g = CircleArc(B, J, H)
f = CircleArc(A, G, I)
C = Intersect(g, f, 1)
a = Segment(B, C)
b = Segment(A, C)