三角不等式の証明と等号成立条件 | 数学のたな