外接円（外心）の関係式