geometry/is-point-on-line.hpp

• View this file on GitHub
• Last update: 2026-08-30 15:33:14+09:00
• Include: #include "geometry/is-point-on-line.hpp"

Depends on

• geometry/base.hpp
• geometry/cross.hpp
• geometry/is-parallel.hpp
• geometry/line.hpp

Required by

• 幾何ライブラリ (geometry/geometry.hpp)

Verified with

• test/mytest/geometry/geometry.test.cpp

Code

#pragma once

#include "is-parallel.hpp"

namespace geometry {
    // 点cが直線ab上にあるか
    inline bool isPointOnLine(const Point &a, const Point &b, const Point &c) {
        return isParallel(Line(a, b), Line(a, c));
    }
} // namespace geometry

#line 2 "geometry/is-point-on-line.hpp"

#line 2 "geometry/is-parallel.hpp"

#line 2 "geometry/cross.hpp"

#line 2 "geometry/base.hpp"

#include <cmath>
#include <complex>

namespace geometry {
    // Point : 複素数型を位置ベクトルとして扱う
    // 実軸(real)をx軸、挙軸(imag)をy軸として見る
    using D = long double;
    using Point = std::complex<D>;
    const D EPS = 1e-7;
    const D PI = std::acos(D(-1));

    inline bool equal(const D &a, const D &b) { return std::fabs(a - b) < EPS; }
} // namespace geometry
#line 4 "geometry/cross.hpp"

namespace geometry {
    // 外積(cross product) : a×b = |a||b|sinΘ
    inline D cross(const Point &a, const Point &b) {
        return (a.real() * b.imag() - a.imag() * b.real());
    }
} // namespace geometry
#line 2 "geometry/line.hpp"

#line 4 "geometry/line.hpp"

namespace geometry {
    // Line : 直線を表す構造体
    // b - a で直線・線分を表せる
    struct Line {
        Point a, b;
        Line() = default;
        Line(Point a, Point b) : a(a), b(b) {}
        // Ax+By=C
        Line(D A, D B, D C) {
            if(equal(A, 0)) {
                a = Point(0, C / B), b = Point(1, C / B);
            } else if(equal(B, 0)) {
                a = Point(C / A, 0), b = Point(C / A, 1);
            } else if(equal(C, 0)) {
                a = Point(0, C / B), b = Point(1, (C - A) / B);
            } else {
                a = Point(0, C / B), b = Point(C / A, 0);
            }
        }
    };
} // namespace geometry
#line 5 "geometry/is-parallel.hpp"

namespace geometry {
    // 2直線の平行判定 : a//b <=> cross(a, b) = 0
    inline bool isParallel(const Line &a, const Line &b) {
        return equal(cross(a.b - a.a, b.b - b.a), 0);
    }
} // namespace geometry
#line 4 "geometry/is-point-on-line.hpp"

namespace geometry {
    // 点cが直線ab上にあるか
    inline bool isPointOnLine(const Point &a, const Point &b, const Point &c) {
        return isParallel(Line(a, b), Line(a, c));
    }
} // namespace geometry

Back to top page