三角不等式取等号使每对对边平行,且沿周界行进时方向相反。
设 a=AB→\mathbf a=\overrightarrow{AB}a=AB、b=BC→\mathbf b=\overrightarrow{BC}b=BC、c=CD→\mathbf c=\overrightarrow{CD}c=CD。第 2 步的等号条件给出正数 r,s,tr,s,tr,s,t,使得 DE→=−ra\overrightarrow{DE}=-r\mathbf aDE=−ra、EF→=−sb\overrightarrow{EF}=-s\mathbf bEF=−sb、FA→=−tc\overrightarrow{FA}=-t\mathbf cFA=−tc。第 1 步的零和关系等价于 a+c=sb\mathbf a+\mathbf c=s\mathbf ba+c=sb。利用边向量闭合关系、此等式以及 a,c\mathbf a,\mathbf ca,c 不平行,得到 r=t=1/sr=t=1/sr=t=1/s。