三角不等式で等号が成り立つには a,b,ca,b,ca,b,c が同じ向きでなければならず、3頂点が一直線上に並ぶことになる。非退化三角形ではこれは起こらないので、∣OH∣<3R|OH|<3R∣OH∣<3R である。