Question

ぐり

どうして等号成立がこのようになるのですか？

Answer 1

天才ラッコ

三角不等式で等号が成立するのは同符号のときです。
積が0以上になるってのは、同符号(0含む)をスマートな表現にしただけですね。