X190

YFF PARABOLIC POINT

In unpublished notes, Yff has studied the parabola tangent to sidelines BC, CA, AB and having focus X101. If A',B',C' are the respective points of tangency, then the lines AA', BB', CC' concur in X190.
< 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, 45 }: Central Line L(2, 45) { 9, 75 }: Central Line L(9, 75) { 37, 86 }: Central Line L(37, 86) { 99, 101 }: Central Line L(99, 101) { 69, 144 }: Central Line L(69, 144) { 6, 192 }: Central Line L(6, 192) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_649 = CROSSDIFFERENCE OF X(1) and X(2) (-21.0000, 14.6969) X_2 = CENTROID (0.5374, 0.2000) X_45 = -BETH CONJUGATE OF X(1) (0.5418, 0.1981) X_9 = MITTENPUNKT (0.5110, 0.1615) X_75 = ISOTOMIC CONJUGATE OF INCENTER (0.4988, 0.1682) X_37 = CROSSPOINT OF INCENTER AND CENTROID (0.5567, 0.2158) X_86 = CEVAPOINT OF INCENTER AND CENTROID (0.5534, 0.2171) X_99 = STEINER POINT (0.1109, 0.4322) X_101 = Ψ(INCENTER, SYMMEDIAN POINT) (0.2143, 0.5249) X_69 = SYMMEDIAN POINT OF THE ANTICOMPLEMENTARY TRIANGLE (0.4122, 0.0654) X_144 = ANTICOMPLEMENT OF X(7) (0.4317, 0.0461) X_6 = SYMMEDIAN POINT (LEMOINE POINT, GREBE POINT) (0.6000, 0.2672) X_192 = -CEVA CONJUGATE OF X(2) (CONGRUENT PARALLELIANS POINT) (0.6147, 0.2635) X_190 = YFF PARABOLIC POINT (0.0748, 0.3999) A B C X649 X2 X45 X9 X75 X37 X86 X99 X101 X69 X144 X6 X192 X190 (a, b, c) = (5, 6, 7) | AB = 1

X190 (YFF PARABOLIC POINT) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

"""GEOMETOR construction model for X_190 = YFF PARABOLIC 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,
            mittenpunkt_of,
            promote_point_to_top,
        )
        from geometor.etc.render import write_center_svg


        def construct_x_00190(
            model: Model, A: spg.Point, B: spg.Point, C: spg.Point
        ) -> spg.Point:
            """Construct X_190 = YFF PARABOLIC POINT on reference triangle ABC."""
            X_190 = eval_trilinear_point(model, A, B, C, 'b*c/(b - c)', ID="X_190", classes=["selected", "target"])
            X_2 = centroid_of(model, A, B, C, ID="X_2", classes=["center", "incident"])
            X_45 = eval_trilinear_point(model, A, B, C, '2*b + 2*c - a', ID="X_45", classes=["center", "incident"])
            central_line(model, X_2, X_45, 2, 45, incident=True)
            X_9 = mittenpunkt_of(model, A, B, C, ID="X_9", classes=["center", "incident"])
            X_75 = eval_trilinear_point(model, A, B, C, '1/a**(2)', ID="X_75", classes=["center", "incident"])
            central_line(model, X_9, X_75, 9, 75, incident=True)
            X_37 = eval_trilinear_point(model, A, B, C, 'b + c', ID="X_37", classes=["center", "incident"])
            X_86 = eval_trilinear_point(model, A, B, C, 'b*c/(b + c)', ID="X_86", classes=["center", "incident"])
            central_line(model, X_37, X_86, 37, 86, incident=True)
            return promote_point_to_top(model, X_190)


        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_190 on the given reference triangle."""
            model = create_model('X_190 = YFF PARABOLIC POINT')
            A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
            construct_x_00190(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-00190.json"))
            write_center_svg(
                model_acute,
                here / "x-00190.svg",
                subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
            )