G.355 even number even — Code¶
If from an even number an even number be subtracted, the remainder is even.
"""Programmatic construction for Book IX, Proposition 24 (IX.24)."""
from __future__ import annotations
from geometor.model import Model
def construct_g1() -> Model:
"""Construct the figure 0420.g3 using geometor.model."""
model = Model("IX.24")
# Subdivided horizontal number segment AB (divided at C)
A = model.set_point(14.0, -30.0, classes=["given"], ID="A")
C = model.set_point(118.0, -30.0, ID="C")
B = model.set_point(163.0, -30.0, classes=["given"], ID="B")
# Base line
model.construct_line(A, B)
# Whole and subdivided segments on AB
model.set_segment(A, B)
model.set_segment(A, C)
model.set_segment(C, B)
# Collinear section
model.set_section([A, C, B])
return model
if __name__ == "__main__":
construct_g1()