Chứng minh:
AE+EB > AD+DB

A_1 = (-3.6528563748868392, -1.2920110713453994)
B_1 = (13.103900451946032, -1.2920110713453994)
a = Line(A_1, B_1)
A = (-0.41909628549803934, 2.1288260480080416)
B = (8.827854052754232, 4.32029982759384)
C = Mirror(A, a)
b = Segment(B, C)
D = Intersect(a, b)
E = Point(a)
c = Segment(A, D)
d = Segment(A, E)
e = Segment(B, E)
f = Segment(A, C)
F = Intersect(a, f)
g = Segment(E, C)