PM=P'M. Por tanto PMQ = P'MQ=P'Q
Por la desigualdad triangular,
          P'MQ≤P'NQ 

A = (-6.76, 1.48)
B = (5.5, 1.48)
r = Line(A, B)
P = (-3.04, 2.52)
Q = (1.86, 3.48)
N = Point(r)
PNQ = PolyLine(P, N, Q)
P' = Mirror(P, r)
a = Segment(P', Q)
M = Intersect(r, a)
PMQ = PolyLine(P, M, Q)
polígono1, n, p', q = Polygon(P', Q, N)
Demostración = true