X3098

INTERSECTION OF LINES X3X_6 AND X69X_74

Let AA1A2, BB1B2, CC1C2 be the circumcircle-inscribed equilateral triangles used in the construction of the Trinh triangle. Let A' be the midpoint of A1 and A2, and define B' and C' cyclically. Triangle A'B'C' is homothetic to ABC at X3 and perspective to the Trinh triangle at X3098.
< 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) { 3, 6 }: Brocard Axis { 69, 74 }: Central Line L(69, 74) { 30, 141 }: Central Line L(30, 141) { 184, 323 }: Central Line L(184, 323) { 20, 1352 }: Central Line L(20, 1352) { 35, 1469 }: Central Line L(35, 1469) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_3 = CIRCUMCENTER (0.5000, 0.1021) X_6 = SYMMEDIAN POINT (LEMOINE POINT, GREBE POINT) (0.6000, 0.2672) X_69 = SYMMEDIAN POINT OF THE ANTICOMPLEMENTARY TRIANGLE (0.4122, 0.0654) X_74 = ISOGONAL CONJUGATE OF EULER INFINITY POINT (0.7484, -0.3437) X_30 = EULER INFINITY POINT (0.7469, 0.7481) X_141 = COMPLEMENT OF SYMMEDIAN POINT (0.5061, 0.1663) X_184 = INVERSE OF X(125) IN THE BROCARD CIRCLE (0.5788, 0.1496) X_323 = ISOTOMIC CONJUGATE OF X(94) (-0.8839, -1.3275) X_20 = DE LONGCHAMPS POINT (0.3878, -0.1916) X_1352 = REFLECTION OF X(6) IN X(5) (0.5122, 0.2306) X_35 = {X(1),X(3)}-HARMONIC CONJUGATE OF X(36) (0.5373, 0.1706) X_1469 = -BETH CONJUGATE OF X(984) (0.6171, 0.3088) X_3098 = INTERSECTION OF LINES X(3)X(6) AND X(69)X(74) (0.4500, 0.0195) A B C X3 X6 X69 X74 X30 X141 X184 X323 X20 X1352 X35 X1469 X3098 (a, b, c) = (5, 6, 7) | AB = 1

X3098 (INTERSECTION OF LINES X3X_6 AND X69X_74) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

"""GEOMETOR construction model for X_3098 = INTERSECTION OF LINES X_3X_6 AND X_69X_74."""

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


        def construct_x_03098(
            model: Model, A: spg.Point, B: spg.Point, C: spg.Point
        ) -> spg.Point:
            """Construct X_3098 = INTERSECTION OF LINES X_3X_6 AND X_69X_74 on reference triangle ABC."""
            X_3098 = eval_trilinear_point(model, A, B, C, 'a*(a**(4) - 2*b**(4) - 2*c**(4) - 2*b**(2)*c**(2) + c**(2)*a**(2) + a**(2)*b**(2))', ID="X_3098", classes=["selected", "target"])
            X_3 = circumcenter_of(model, A, B, C, ID="X_3", classes=["center", "incident"])
            X_6 = symmedian_point_of(model, A, B, C, ID="X_6", classes=["center", "incident"])
            central_line(model, X_3, X_6, 3, 6, incident=True)
            X_69 = eval_trilinear_point(model, A, B, C, '(cos(A))/a**(2)', ID="X_69", classes=["center", "incident"])
            X_74 = eval_trilinear_point(model, A, B, C, '1/(cos(A) - 2*cos(B)*cos(C))', ID="X_74", classes=["center", "incident"])
            central_line(model, X_69, X_74, 69, 74, incident=True)
            X_30 = eval_trilinear_point(model, A, B, C, 'cos(A) - 2*cos(B)*cos(C)', ID="X_30", classes=["center", "incident"])
            X_141 = eval_trilinear_point(model, A, B, C, 'b*c*(b**(2) + c**(2))', ID="X_141", classes=["center", "incident"])
            central_line(model, X_30, X_141, 30, 141, incident=True)
            return promote_point_to_top(model, X_3098)


        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_3098 on the given reference triangle."""
            model = create_model('X_3098 = INTERSECTION OF LINES X_3X_6 AND X_69X_74')
            A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
            construct_x_03098(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-03098.json"))
            write_center_svg(
                model_acute,
                here / "x-03098.svg",
                subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
            )