G.147 fit a chord in a circle equal to a segment — Code

IV.1

Fit into a given circle a chord equal to a given segment not greater than the diameter of the circle.
A B C E F D 
"""Programmatic construction for Book IV, Proposition 1 (IV.1)."""

        from __future__ import annotations

        from geometor.model import Model


        def construct_g1() -> Model:
            """Construct the figure 0086.g1 using geometor.model."""
            model = Model("IV.1")

            # Points (y-inverted for standard mathematical coordinates)
            O = model.set_point(93.0, -95.0, ID="O")
            B = model.set_point(25.0, -95.0, classes=["given"], ID="B")
            C = model.set_point(161.0, -95.0, classes=["given"], ID="C")
            E = model.set_point(105.0, -95.0, ID="E")
            A = model.set_point(137.94, -43.97, ID="A")
            F = model.set_point(137.94, -146.03, ID="F")

            # Standalone segment D endpoints
            D1 = model.set_point(202.0, -30.0, classes=["given"], ID="D1")
            D2 = model.set_point(258.0, -30.0, classes=["given"], ID="D2")

            # Circles
            model.construct_circle(O, B)
            model.construct_circle(C, E)

            # Construction lines
            model.construct_line(B, C)

            # Segments
            model.set_segment(B, C)
            model.set_segment(B, E)
            model.set_segment(C, E)
            model.set_segment(C, A)
            model.set_segment(D1, D2)

            # Collinear section
            model.set_section([B, E, C])

            return model


        if __name__ == "__main__":
            construct_g1()