さらに、三点の座標が具体的にと与えられているならば、上式はformula_5の形になる。