Triangle Inequality
Date: 27 January 2013

Given three side lengths, when can you determine that a triangle can be created?

A = (-4.79412947789084, 0.02244406123210071)
B = (7.20587052210916, 0.02244406123210071)
a_1 = Segment(A, B)
b = 5 (slider from 1 to 15, step 1)
a = 8 (slider from 1 to 15, step 1)
c = Circle(A, b)
d = Circle(B, a)
C = Point(c)
b_1 = Segment(A, C)
D = Point(d)
e = Segment(B, D)
E = Intersect(c, d, 1)
F = Intersect(c, d, 2)
istriangle1: (Distance[E, C] < 0.1) ∧ (Distance[E, D] < 0.1)
poly1, b_2, a_2, e_1 = Polygon(A, E, B)
istriangle2: (Distance[F, C] < 0.1) ∧ (Distance[F, D] < 0.1)
poly2, a_3, b_3, f = Polygon(B, F, A)