X2122

EIGENTRANSFORM OF X8

< 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) { 1, 84 }: Central Line L(1, 84) { 109, 1035 }: Central Line L(109, 1035) { 34, 1767 }: Central Line L(34, 1767) { 608, 1249 }: Central Line L(608, 1249) { 603, 1450 }: Central Line L(603, 1450) { 1406, 1456 }: Central Line L(1406, 1456) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_8 = NAGEL POINT (0.4694, 0.1333) X_56 = EXSIMILICENTER(CIRCUMCIRCLE, INCIRCLE) (0.6316, 0.3438) X_1 = INCENTER (0.5714, 0.2333) X_84 = ISOGONAL CONJUGATE OF X(40) (0.6071, 0.6816) X_109 = Ψ(INCENTER, CIRCUMCENTER) (0.3636, 0.5938) X_1035 = ISOGONAL CONJUGATE OF X(1034) (0.4590, -14.0277) X_34 = -BETH CONJUGATE OF X(4) (0.6332, 0.4792) X_1767 = MIMOSA TRANSFORM OF X(347) (2.7220, 22.3050) X_608 = ISOGONAL CONJUGATE OF X(345) (0.6361, 0.4975) X_1249 = ISOGONAL CONJUGATE OF X(1073) (-0.9482, -15.9845) X_603 = -CEVA CONJUGATE OF X(56) (0.5992, 0.1851) X_1450 = -BETH CONJUGATE OF X(392) (0.6088, 0.2886) X_1406 = -BETH CONJUGATE OF X(46) (0.6653, 0.5088) X_1456 = -BETH CONJUGATE OF X(516) (0.7238, 1.0576) X_2122 = EIGENTRANSFORM OF X(8) (0.3815, -2.1505) A B C X8 X56 X1 X84 X109 X1035 X34 X1767 X608 X1249 X603 X1450 X1406 X1456 X2122 (a, b, c) = (5, 6, 7) | AB = 1

X2122 (EIGENTRANSFORM OF X8) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

"""GEOMETOR construction model for X_2122 = EIGENTRANSFORM OF X_8."""

        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,
            construct_baseline_triangle,
            create_model,
            eval_trilinear_point,
            incenter_of,
            intersect_lines,
            point_from_barycentrics,
            promote_point_to_top,
        )
        from geometor.etc.render import write_center_svg


        def construct_x_02122(
            model: Model, A: spg.Point, B: spg.Point, C: spg.Point
        ) -> spg.Point:
            """Construct X_2122 = EIGENTRANSFORM OF X_8 on reference triangle ABC."""
            X_1 = incenter_of(model, A, B, C, ID="X_1", classes=["center"])
            X_84 = eval_trilinear_point(model, A, B, C, '1/(cos(B) + cos(C) - cos(A) - 1)', ID="X_84", classes=["center"])
            X_109 = eval_trilinear_point(model, A, B, C, 'a/(cos(B) - cos(C))', ID="X_109", classes=["center"])
            X_1035 = point_from_barycentrics(model, A, B, C, 9.6083789, 14.775956, -23.384335, ID="X_1035", classes=["center"])
            central_line(model, X_1, X_84, 1, 84)
            central_line(model, X_109, X_1035, 109, 1035)
            X_2122 = intersect_lines(model, X_1, X_84, X_109, X_1035, ID="X_2122", classes=["selected", "target"])
            X_34 = eval_trilinear_point(model, A, B, C, '1 - sec(A)', ID="X_34", classes=["center", "incident"])
            X_1767 = point_from_barycentrics(model, A, B, C, -16.139785, -20.043011, 37.182796, ID="X_1767", classes=["center", "incident"])
            central_line(model, X_34, X_1767, 34, 1767, incident=True)
            return promote_point_to_top(model, X_2122)


        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_2122 on the given reference triangle."""
            model = create_model('X_2122 = EIGENTRANSFORM OF X_8')
            A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
            construct_x_02122(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-02122.json"))
            write_center_svg(
                model_acute,
                here / "x-02122.svg",
                subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
            )