Book X · Proposition 90

X.90

To find the sixth apotome.Heath, 1908

Every step, checked

• both terms are rational in squaregiven
• they are commensurable in square onlygiven
• the greater term is the greatergiven
• the remainder is an apotomeby X.73
• and it is the sixth apotomeby X.90

What it needs, and what needs it

Needs: X.73

Used by: X.96

Rests on: X.85-90

Depth: 1 steps of argument above the first principles. Parallel postulate: not needed.

What it takes on trust

Nothing. It draws no intersections and reads nothing off the picture.

The proposition as code

@proposition(ref, CONSTRUCTION,
             sample=lambda rng, _i=index: _binomial_of_species(_i))
def _species(a, b, _i=index) -> Out:
    hypothesis("both terms are rational in square",
               is_rational_in_square(a) and is_rational_in_square(b))
    hypothesis("they are commensurable in square only", not commensurable(a, b))
    hypothesis("the greater term is the greater", sign(a - b) > 0)
    remainder = a - b
    named = classify(remainder)
    wanted = BINOMIAL_SPECIES[_i - 1]
    because(prop_X_73, a, b)
    claim("the remainder is an apotome", "X.73", named.family == "apotome")
    claim(f"and it is the {wanted} apotome", ref, named.species == wanted)
    return Out(apotome=remainder, species=named.species)