X2091

2nd STEVANOVIC PERSPECTOR

The bisector AX1 of angle A meets the A-excircle in two points; let A' be the point closer to I, and define B' and C' cyclically. Then triangle A'B'C' is perspective to the intouch triangle, and the perspector is X2091. (Milorad Stevanovic, Hyacinthos #8088, 10/02/03)
< 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) incircle: Incircle of △ABC { 57, 173 }: Central Line L(57, 173) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_1 = INCENTER (0.5714, 0.2333) X_57 = ISOGONAL CONJUGATE OF X(9) (0.6138, 0.3110) X_173 = CONGRUENT ISOSCELIZERS POINT (0.5924, 0.2741) X_2091 = 2nd STEVANOVIC PERSPECTOR (0.6089, 0.3026) A B C X1 X57 X173 X2091 (a, b, c) = (5, 6, 7) | AB = 1

X2091 (2nd STEVANOVIC PERSPECTOR) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

"""GEOMETOR construction model for X_2091 = 2nd STEVANOVIC PERSPECTOR."""

        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,
            promote_point_to_top,
        )
        from geometor.etc.render import write_center_svg


        def construct_x_02091(
            model: Model, A: spg.Point, B: spg.Point, C: spg.Point
        ) -> spg.Point:
            """Construct X_2091 = 2nd STEVANOVIC PERSPECTOR on reference triangle ABC."""
            X_2091 = eval_trilinear_point(model, A, B, C, '((1/(b + c - a))*(sin(B/2) + sin(C/2))*sec(A/2))', ID="X_2091", classes=["selected", "target"])
            X_57 = eval_trilinear_point(model, A, B, C, '1/(b + c - a)', ID="X_57", classes=["center", "incident"])
            X_173 = eval_trilinear_point(model, A, B, C, 'cos(B/2) + cos(C/2) - cos(A/2)', ID="X_173", classes=["center", "incident"])
            central_line(model, X_57, X_173, 57, 173, incident=True)
            return promote_point_to_top(model, X_2091)


        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_2091 on the given reference triangle."""
            model = create_model('X_2091 = 2nd STEVANOVIC PERSPECTOR')
            A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
            construct_x_02091(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-02091.json"))
            write_center_svg(
                model_acute,
                here / "x-02091.svg",
                subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
            )