X1140

INNER PENTAGON POINT

Let A' be the innermost vertex of the regular pentagon erected inward on side BC of ABC. Define B' and C' cyclically. Then triangle A'B'C' is perspective to ABC, and the perspector is X1140. See references at X1140.
< A B C >: Reference Triangle △ABC [ A B ]: Sideline AB (Base c = 1) [ B C ]: Sideline BC (Side a) [ C A ]: Sideline CA (Side b) { 6, 1139 }: Central Line L(6, 1139) { 5, 3370 }: Central Line L(5, 3370) { 2, 3396 }: Central Line L(2, 3396) { 4, 3395 }: Central Line L(4, 3395) { 3, 3397 }: Central Line L(3, 3397) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_3369 = SIN(A - 2π/5) POINT (0.3449, -0.1541) X_6 = SYMMEDIAN POINT (LEMOINE POINT, GREBE POINT) (0.6000, 0.2672) X_1139 = OUTER PENTAGON POINT (0.5970, 0.3096) X_5 = NINE-POINT CENTER (0.5561, 0.2489) X_3370 = SEC(A - 2π/5) POINT (0.5569, 0.2237) X_2 = CENTROID (0.5374, 0.2000) X_3396 = SIN(A + 2π/5) POINT (0.5378, 0.1645) X_4 = ORTHOCENTER (0.6122, 0.3958) X_3395 = COS(A + 2π/5) POINT (0.6210, 0.3019) X_3 = CIRCUMCENTER (0.5000, 0.1021) X_3397 = SEC(A + 2π/5) POINT (0.5013, 0.1676) X_1140 = INNER PENTAGON POINT (0.5248, 1.3312) A B C X3369 X6 X1139 X5 X3370 X2 X3396 X4 X3395 X3 X3397 X1140 (a, b, c) = (5, 6, 7) | AB = 1

X1140 (INNER PENTAGON POINT) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

"""GEOMETOR construction model for X_1140 = INNER PENTAGON POINT."""

        from __future__ import annotations

        from pathlib import Path

        import sympy.geometry as spg
        from geometor.model import Model

        from geometor.etc.ops import (
            central_line,
            centroid_of,
            construct_baseline_triangle,
            create_model,
            eval_trilinear_point,
            nine_point_center_of,
            promote_point_to_top,
            symmedian_point_of,
        )
        from geometor.etc.render import write_center_svg


        def construct_x_01140(
            model: Model, A: spg.Point, B: spg.Point, C: spg.Point
        ) -> spg.Point:
            """Construct X_1140 = INNER PENTAGON POINT on reference triangle ABC."""
            X_1140 = eval_trilinear_point(model, A, B, C, '(csc(A))/(cot(A) - cot(2*pi/5))', ID="X_1140", classes=["selected", "target"])
            X_6 = symmedian_point_of(model, A, B, C, ID="X_6", classes=["center", "incident"])
            X_1139 = eval_trilinear_point(model, A, B, C, '(csc(A))/(cot(A) + cot(2*pi/5))', ID="X_1139", classes=["center", "incident"])
            central_line(model, X_6, X_1139, 6, 1139, incident=True)
            X_5 = nine_point_center_of(model, A, B, C, ID="X_5", classes=["center", "incident"])
            X_3370 = eval_trilinear_point(model, A, B, C, '(sec(A - 2*pi  /5))', ID="X_3370", classes=["center", "incident"])
            central_line(model, X_5, X_3370, 5, 3370, incident=True)
            X_2 = centroid_of(model, A, B, C, ID="X_2", classes=["center", "incident"])
            X_3396 = eval_trilinear_point(model, A, B, C, '(sin(A + 2*pi  /5))', ID="X_3396", classes=["center", "incident"])
            central_line(model, X_2, X_3396, 2, 3396, incident=True)
            return promote_point_to_top(model, X_1140)


        def build_model(
            sides: tuple[float, float, float] = (5.0, 6.0, 7.0),
            show_guides: bool = False,
        ) -> Model:
            """Build a `geometor.model.Model` for X_1140 on the given reference triangle."""
            model = create_model('X_1140 = INNER PENTAGON POINT')
            A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
            construct_x_01140(model, A, B, C)
            return model


        if __name__ == "__main__":
            here = Path(__file__).resolve().parent
            model_acute = build_model((5.0, 6.0, 7.0))
            model_acute.save(str(here / "x-01140.json"))
            write_center_svg(
                model_acute,
                here / "x-01140.svg",
                subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
            )