and 
is given by 
, where 
and 
are the edgepoints of the line joining them.
The distance between two points and is given by , where and are the edgepoints of the line joining them.
For the first property, 
if and only if 
. Since 
, this is possible if and only if 
.