X3598

1st LIU POINT

Let OA be the circle passing through B and C, internally tangent to the incircle, and likewise for OB and OC. Let PA be the point where OA meets the incircle, and likewise for PB and PC. Let QA be the point of intersection of the tangents to the incircle at PB and PC, and likewise for PB and PC. Then X3598 is the perspector of the triangles PAPBPC and QAQBQC; this point is also X7-of-QAQBQC. This point and X3599 were discovered by Kang-Ying Liu of St. Andrew’s Priory School, Honolulu, Hawaii, during 2010.
< 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) { 2, 7 }: Centroid–Gergonne Line { 56, 105 }: Central Line L(56, 105) { 22, 347 }: Central Line L(22, 347) { 269, 479 }: Central Line L(269, 479) { 25, 1119 }: Central Line L(25, 1119) { 1002, 1469 }: Central Line L(1002, 1469) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_2 = CENTROID (0.5374, 0.2000) X_7 = GERGONNE POINT (0.5903, 0.2769) X_56 = EXSIMILICENTER(CIRCUMCIRCLE, INCIRCLE) (0.6316, 0.3438) X_105 = Λ(INCENTER, SYMMEDIAN POINT) (0.9714, -0.0933) X_22 = EXETER POINT (0.4143, -0.1221) X_347 = ISOTOMIC CONJUGATE OF X(280) (0.4531, -0.0404) X_269 = ISOGONAL CONJUGATE OF X(200) (0.6369, 0.3847) X_479 = -CROSS CONJUGATE OF X(279) (0.6392, 0.4221) X_25 = HOMOTHETIC CENTER OF ORTHIC AND TANGENTIAL TRIANGLES (0.6329, 0.4497) X_1119 = 2nd HATZIPOLAKIS PERSPECTOR (0.6322, 0.5039) X_1002 = ISOGONAL CONJUGATE OF X(1001) (0.5967, 0.2704) X_1469 = -BETH CONJUGATE OF X(984) (0.6171, 0.3088) X_3598 = 1st LIU POINT (0.6341, 0.3406) A B C X2 X7 X56 X105 X22 X347 X269 X479 X25 X1119 X1002 X1469 X3598 (a, b, c) = (5, 6, 7) | AB = 1

X3598 (1st LIU POINT) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

"""GEOMETOR construction model for X_3598 = 1st LIU 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,
            gergonne_point_of,
            promote_point_to_top,
        )
        from geometor.etc.render import write_center_svg


        def construct_x_03598(
            model: Model, A: spg.Point, B: spg.Point, C: spg.Point
        ) -> spg.Point:
            """Construct X_3598 = 1st LIU POINT on reference triangle ABC."""
            X_3598 = eval_trilinear_point(model, A, B, C, 'b*c*(a - b + c)*(a + b - c)*(3*a**(2) + b**(2) + c**(2) - 2*b*c)', ID="X_3598", classes=["selected", "target"])
            X_2 = centroid_of(model, A, B, C, ID="X_2", classes=["center", "incident"])
            X_7 = gergonne_point_of(model, A, B, C, ID="X_7", classes=["center", "incident"])
            central_line(model, X_2, X_7, 2, 7, incident=True)
            X_56 = eval_trilinear_point(model, A, B, C, 'a/(b + c - a)', ID="X_56", classes=["center", "incident"])
            X_105 = eval_trilinear_point(model, A, B, C, '1/(b**(2) + c**(2) - a*(b + c))', ID="X_105", classes=["center", "incident"])
            central_line(model, X_56, X_105, 56, 105, incident=True)
            X_22 = eval_trilinear_point(model, A, B, C, 'a*(b**(4) + c**(4) - a**(4))', ID="X_22", classes=["center", "incident"])
            X_347 = eval_trilinear_point(model, A, B, C, '((-1 - cos(A) + cos(B) + cos(C))*(sec(A/2))**(2))', ID="X_347", classes=["center", "incident"])
            central_line(model, X_22, X_347, 22, 347, incident=True)
            return promote_point_to_top(model, X_3598)


        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_3598 on the given reference triangle."""
            model = create_model('X_3598 = 1st LIU POINT')
            A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
            construct_x_03598(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-03598.json"))
            write_center_svg(
                model_acute,
                here / "x-03598.svg",
                subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
            )