X498¶
YFF CONCURRENT CONGRUENT CIRCLES POINT
X498 and X499 are harmonic conjugate points with respect to X1 and X2, in analogy with such pairs with respect to X1, X4 and with respect to X1, X5.
X498 (YFF CONCURRENT CONGRUENT CIRCLES POINT) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
"""GEOMETOR construction model for X_498 = YFF CONCURRENT CONGRUENT CIRCLES 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,
circumcenter_of,
construct_baseline_triangle,
create_model,
eval_trilinear_point,
incenter_of,
orthocenter_of,
promote_point_to_top,
)
from geometor.etc.render import write_center_svg
def construct_x_00498(
model: Model, A: spg.Point, B: spg.Point, C: spg.Point
) -> spg.Point:
"""Construct X_498 = YFF CONCURRENT CONGRUENT CIRCLES POINT on reference triangle ABC."""
X_498 = eval_trilinear_point(model, A, B, C, '1 + 2*sin(B)*sin(C)', ID="X_498", classes=["selected", "target"])
X_1 = incenter_of(model, A, B, C, ID="X_1", classes=["center", "incident"])
X_2 = centroid_of(model, A, B, C, ID="X_2", classes=["center", "incident"])
central_line(model, X_1, X_2, 1, 2, incident=True)
X_3 = circumcenter_of(model, A, B, C, ID="X_3", classes=["center", "incident"])
X_12 = eval_trilinear_point(model, A, B, C, '1 + cos(B - C)', ID="X_12", classes=["center", "incident"])
central_line(model, X_3, X_12, 3, 12, incident=True)
X_4 = orthocenter_of(model, A, B, C, ID="X_4", classes=["center", "incident"])
X_35 = eval_trilinear_point(model, A, B, C, '1 + 2*cos(A)', ID="X_35", classes=["center", "incident"])
central_line(model, X_4, X_35, 4, 35, incident=True)
return promote_point_to_top(model, X_498)
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_498 on the given reference triangle."""
model = create_model('X_498 = YFF CONCURRENT CONGRUENT CIRCLES POINT')
A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
construct_x_00498(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-00498.json"))
write_center_svg(
model_acute,
here / "x-00498.svg",
subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
)