G.358 odd number even — Code

IX.27

If from an odd number an even number be subtracted, the remainder is odd.

"""Programmatic construction for Book IX, Proposition 27 (IX.27)."""

        from __future__ import annotations

        from geometor.model import Model


        def construct_g1() -> Model:
            """Construct the figure 0422.g1 using geometor.model."""
            model = Model("IX.27")

            # Horizontal number segment AB divided at D and C
            A = model.set_point(11.0, -29.0, classes=["given"], ID="A")
            D = model.set_point(28.0, -29.0, ID="D")
            C = model.set_point(92.0, -29.0, ID="C")
            B = model.set_point(159.0, -29.0, classes=["given"], ID="B")

            # Base line
            model.construct_line(A, B)

            # Whole and subdivided segments
            model.set_segment(A, B)
            model.set_segment(A, D)
            model.set_segment(A, C)
            model.set_segment(D, C)
            model.set_segment(D, B)
            model.set_segment(C, B)

            # Collinear sections
            model.set_section([A, D, B])
            model.set_section([A, C, B])
            model.set_section([A, D, C])
            model.set_section([D, C, B])

            return model


        if __name__ == "__main__":
            construct_g1()