G.431 find the fifth binomial segment — Code

X.52

Find the fifth binomial segment.
A C B D H E F G 
"""Programmatic construction for Book X, Proposition 52 (X.52)."""

        from __future__ import annotations

        from geometor.model import Model


        def construct_g1() -> Model:
            """Construct the figure 0115.g1 using geometor.model."""
            model = Model("X.52")

            # Number line AB divided at C
            A = model.set_point(26.0, -19.0, classes=["given"], ID="A")
            C = model.set_point(26.0, -94.0, classes=["given"], ID="C")
            B = model.set_point(26.0, -144.0, classes=["given"], ID="B")

            # Single-letter magnitude segments D and H
            D_t = model.set_point(58.0, -19.0, classes=["given"], ID="D")
            D_b = model.set_point(58.0, -69.0, ID="D_b")

            H_t = model.set_point(58.5, -144.0, classes=["given"], ID="H")
            H_b = model.set_point(58.5, -191.0, ID="H_b")

            # Line EG divided at F
            E = model.set_point(100.0, -19.0, classes=["given"], ID="E")
            F = model.set_point(100.0, -74.0, classes=["given"], ID="F")
            G = model.set_point(100.0, -164.0, classes=["given"], ID="G")

            # Base lines
            model.construct_line(A, B)
            model.construct_line(D_t, D_b)
            model.construct_line(H_t, H_b)
            model.construct_line(E, G)

            # Segments
            model.set_segment(A, B)
            model.set_segment(A, C)
            model.set_segment(C, B)
            model.set_segment(D_t, D_b)
            model.set_segment(H_t, H_b)
            model.set_segment(E, G)
            model.set_segment(E, F)
            model.set_segment(F, G)

            # Collinear sections
            model.set_section([A, C, B])
            model.set_section([E, F, G])

            return model


        if __name__ == "__main__":
            construct_g1()