X110¶
FOCUS OF KIEPERT PARABOLA
Scimemi proves that if the Euler line is reflected in every side of triangle ABC, then the three reflections concur in X110.
X110 (FOCUS OF KIEPERT PARABOLA) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
"""GEOMETOR construction model for X_110 = FOCUS OF KIEPERT PARABOLA."""
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,
incenter_of,
nine_point_center_of,
promote_point_to_top,
)
from geometor.etc.render import write_center_svg
def construct_x_00110(
model: Model, A: spg.Point, B: spg.Point, C: spg.Point
) -> spg.Point:
"""Construct X_110 = FOCUS OF KIEPERT PARABOLA on reference triangle ABC."""
X_110 = eval_trilinear_point(model, A, B, C, 'csc(B - C)', ID="X_110", classes=["selected", "target"])
X_5 = nine_point_center_of(model, A, B, C, ID="X_5", classes=["center", "incident"])
X_49 = eval_trilinear_point(model, A, B, C, 'cos(3*A)', ID="X_49", classes=["center", "incident"])
central_line(model, X_5, X_49, 5, 49, incident=True)
X_1 = incenter_of(model, A, B, C, ID="X_1", classes=["center", "incident"])
X_60 = eval_trilinear_point(model, A, B, C, '1/(1 + cos(B - C))', ID="X_60", classes=["center", "incident"])
central_line(model, X_1, X_60, 1, 60, incident=True)
X_3 = circumcenter_of(model, A, B, C, ID="X_3", 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_3, X_74, 3, 74, incident=True)
return promote_point_to_top(model, X_110)
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_110 on the given reference triangle."""
model = create_model('X_110 = FOCUS OF KIEPERT PARABOLA')
A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
construct_x_00110(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-00110.json"))
write_center_svg(
model_acute,
here / "x-00110.svg",
subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
)