G.309 square numbers there — Code¶
Between two square numbers there is one mean proportional number, and the square has to the square the ratio duplicate of that which the side has to the side.
"""Programmatic construction for Book VIII, Proposition 11 (VIII.11)."""
from __future__ import annotations
from geometor.model import Model
def construct_g1() -> Model:
"""Construct the figure 0369.g1 using geometor.model."""
model = Model("VIII.11")
# Single-letter horizontal number segments A, B, C, D, E
A_l = model.set_point(26.0, -15.0, classes=["given"], ID="A")
A_r = model.set_point(89.0, -15.0, ID="A_r")
B_l = model.set_point(23.0, -41.0, classes=["given"], ID="B")
B_r = model.set_point(165.0, -41.0, ID="B_r")
C_l = model.set_point(24.0, -65.0, classes=["given"], ID="C")
C_r = model.set_point(58.0, -65.0, ID="C_r")
D_l = model.set_point(130.0, -65.0, classes=["given"], ID="D")
D_r = model.set_point(176.0, -65.0, ID="D_r")
E_l = model.set_point(24.0, -91.0, classes=["given"], ID="E")
E_r = model.set_point(118.0, -91.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()