X8¶
NAGEL POINT
Let NaNbNc be the points in which the A-excircle meets BC, the B-excircle meets CA, and the C-excircle meets AB, respectively. The lines ANa, BNb, CNc concur in X8. Another construction of Na is to start at A and trace around ABC half its perimeter, and similarly for Nb and Nc. Also, X8 is the incenter of the anticomplementary triangle.
X8 (NAGEL POINT) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
"""GEOMETOR construction model for X_8 = NAGEL 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,
incenter_of,
nagel_point_of,
promote_point_to_top,
)
from geometor.etc.render import write_center_svg
def construct_x_00008(
model: Model, A: spg.Point, B: spg.Point, C: spg.Point
) -> spg.Point:
"""Construct X_8 = NAGEL POINT on reference triangle ABC."""
X_8 = nagel_point_of(model, A, B, C, ID="X_8", classes=["selected", "target"], draw_cevians=True)
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_20 = eval_trilinear_point(model, A, B, C, 'cos(A) - cos(B)*cos(C)', ID="X_20", classes=["center", "incident"])
X_40 = eval_trilinear_point(model, A, B, C, 'cos(B) + cos(C) - cos(A) - 1', ID="X_40", classes=["center", "incident"])
central_line(model, X_20, X_40, 20, 40, incident=True)
X_7 = gergonne_point_of(model, A, B, C, ID="X_7", classes=["center", "incident"])
X_65 = eval_trilinear_point(model, A, B, C, 'cos(B) + cos(C)', ID="X_65", classes=["center", "incident"])
central_line(model, X_7, X_65, 7, 65, incident=True)
return promote_point_to_top(model, X_8)
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_8 on the given reference triangle."""
model = create_model('X_8 = NAGEL POINT')
A, B, C = construct_baseline_triangle(model, *sides, show_guides=show_guides)
construct_x_00008(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-00008.json"))
write_center_svg(
model_acute,
here / "x-00008.svg",
subtitle="(a, b, c) = (5, 6, 7) | AB = 1",
)