We can write this as:
*A b/ |C* | a\ | c *BThe classical version one learns in school:
The lower bound version:
This is intuitive because the large value for is attained when . (since lengths are non-negative, we have . if , then the point and thus .
A/C (b=0)|| a=c|BOtherwise, will have some length that will cover (at worst), or cancel (at best). The two cases are something like:
A ||b ||c|*C ||a || || BIn this case, it's clear that (since ) and . In the other case, we will have:
Cb|| || A| || ||ac|| || || || BWhere we get , and . These are the extremes when the triangle has
zero thickness. In general, because the points are spread out, when we
project everything on the line, we will get less-than( <=)
instead of equals ( =).