G.101 intersecting chords not through the center do not bisect — Code¶
In a circle, two intersecting chords that do not both pass through the center do not bisect one another.
"""Programmatic construction for Book III, Proposition 4 (III.4)."""
from __future__ import annotations
from geometor.model import Model
def construct_g1() -> Model:
"""Construct the figure 0017.g1 using geometor.model."""
model = Model("III.4")
# Points (y-inverted for standard mathematical coordinates)
F = model.set_point(97, -89, ID="F")
A = model.set_point(24.56, -112, classes=["given"], ID="A")
C = model.set_point(167.25, -118, classes=["given"], ID="C")
B = model.set_point(93.8, -164.93, classes=["given"], ID="B")
D = model.set_point(169.44, -66, classes=["given"], ID="D")
E = model.set_point(130.85, -116.47, ID="E")
# Construction circle ABCD
model.construct_circle(F, A)
# Segments
model.set_segment(A, C)
model.set_segment(B, D)
model.set_segment(F, E)
model.set_segment(A, E)
model.set_segment(E, C)
model.set_segment(B, E)
model.set_segment(E, D)
# Sections
model.set_section([A, E, C])
model.set_section([B, E, D])
# Angles (wedges)
model.set_wedge(E, F, F, A)
model.set_wedge(E, F, F, B)
return model
if __name__ == "__main__":
construct_g1()