Suppose we transform the points by applying a motion. Since motions
don't change distances, proving the inequality for the original
triangle is equivalent to proving it for the transformed one.
We can always transform so that one of the points maps to , so we need only prove the inequality
.