G.276 least numbers ratio — Code

VII.22

The least numbers of those which have the same ratio with them are prime to one another.
A B C D E
"""Programmatic construction for Book VII, Proposition 22 (VII.22)."""

        from __future__ import annotations

        from geometor.model import Model


        def construct_g1() -> Model:
            """Construct the figure 0329.g1 using geometor.model."""
            model = Model("VII.22")

            # Single-letter horizontal number segments A, B, C, D, E
            A_l = model.set_point(27.0, -14.0, classes=["given"], ID="A")
            A_r = model.set_point(181.0, -14.0, ID="A_r")

            B_l = model.set_point(25.0, -41.0, classes=["given"], ID="B")
            B_r = model.set_point(147.0, -41.0, ID="B_r")

            C_l = model.set_point(25.0, -65.0, classes=["given"], ID="C")
            C_r = model.set_point(95.0, -65.0, ID="C_r")

            D_l = model.set_point(23.0, -85.0, classes=["given"], ID="D")
            D_r = model.set_point(85.0, -85.0, ID="D_r")

            E_l = model.set_point(23.0, -109.0, classes=["given"], ID="E")
            E_r = model.set_point(72.0, -109.0, ID="E_r")

            # Number segments
            model.set_segment(A_l, A_r)
            model.set_segment(B_l, B_r)
            model.set_segment(C_l, C_r)
            model.set_segment(D_l, D_r)
            model.set_segment(E_l, E_r)

            return model


        if __name__ == "__main__":
            construct_g1()